Pow Add x0 Mul x6 Mul -0.457657554360286 Pow atan x2 Mul x0 exp acoth x5 -2 
Mul Pow Add x0 Mul x6 Mul -0.457657554360286 Pow atan x2 Mul x0 exp acoth x5 3 Mul -2 Add 1 Mul x6 Mul -0.457657554360286 Mul Pow atan x2 Add Mul x0 exp acoth x5 -1 Mul Mul atan x2 log atan x2 exp acoth x5 