atanh Mul Mul sec x0 x0 Mul Add 0.0625000000000000 x4 x0 
Mul Add Mul Mul Add 0.0625000000000000 x4 x0 Add Mul x0 Mul tan x0 sec x0 sec x0 Mul Mul sec x0 x0 Add 0.0625000000000000 x4 Pow Add 1 Mul -1 Mul Mul Mul sec x0 x0 Mul Add 0.0625000000000000 x4 x0 Mul Mul sec x0 x0 Mul Add 0.0625000000000000 x4 x0 -1 