atanh tan Add Mul 0.540302305868140 x0 x0 
Mul Mul Pow sec Add Mul 0.540302305868140 x0 x0 2 1.54030230586814 Pow Add 1 Mul -1 Mul tan Add Mul 0.540302305868140 x0 x0 tan Add Mul 0.540302305868140 x0 x0 -1 