Flyspeck/tan.elf

tan : real -&gt; real.