atan atan Mul exp Add x0 Add Mul x2 Mul x0 tanh acot x7 -4 acot x7 
Mul Mul Mul acot x7 Mul exp Add x0 Add Mul x2 Mul x0 tanh acot x7 -4 Add 1 Mul x2 tanh acot x7 Pow Add 1 Mul Mul exp Add x0 Add Mul x2 Mul x0 tanh acot x7 -4 acot x7 Mul exp Add x0 Add Mul x2 Mul x0 tanh acot x7 -4 acot x7 -1 Pow Add 1 Mul atan Mul exp Add x0 Add Mul x2 Mul x0 tanh acot x7 -4 acot x7 atan Mul exp Add x0 Add Mul x2 Mul x0 tanh acot x7 -4 acot x7 -1 