Mul atan x3 atanh Mul Mul acos acoth x0 exp x0 Mul 0.0156250000000000 x0 
Mul atan x3 Mul Add Mul Mul 0.0156250000000000 x0 Add Mul exp x0 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Mul acos acoth x0 exp x0 Mul Mul acos acoth x0 exp x0 0.0156250000000000 Pow Add 1 Mul -1 Mul Mul Mul acos acoth x0 exp x0 Mul 0.0156250000000000 x0 Mul Mul acos acoth x0 exp x0 Mul 0.0156250000000000 x0 -1 