acoth atan atan Mul x0 Add x2 E 
Mul Mul Mul Add x2 E Pow Add 1 Mul Mul x0 Add x2 E Mul x0 Add x2 E -1 Pow Add 1 Mul atan Mul x0 Add x2 E atan Mul x0 Add x2 E -1 Pow Add 1 Mul -1 Mul atan atan Mul x0 Add x2 E atan atan Mul x0 Add x2 E -1 