acos Mul Add Mul Pow x4 atan atan x0 exp x4 sqrt log coth x4 tanh x0 
Mul -1 Mul Add Mul tanh x0 Mul exp x4 Mul Pow x4 Add atan atan x0 -1 Mul Mul x4 log x4 Mul Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul atan x0 atan x0 -1 Mul Add Mul Pow x4 atan atan x0 exp x4 sqrt log coth x4 Pow sech x0 2 Pow sqrt Add 1 Mul -1 Mul Mul Add Mul Pow x4 atan atan x0 exp x4 sqrt log coth x4 tanh x0 Mul Add Mul Pow x4 atan atan x0 exp x4 sqrt log coth x4 tanh x0 -1 