exp Pow atan x0 Pow acoth x5 Mul exp Mul -4 x0 Add x0 x0 
Mul exp Pow atan x0 Pow acoth x5 Mul exp Mul -4 x0 Add x0 x0 Mul Pow atan x0 Add Pow acoth x5 Mul exp Mul -4 x0 Add x0 x0 -1 Add Mul Pow acoth x5 Mul exp Mul -4 x0 Add x0 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Pow acoth x5 Add Mul exp Mul -4 x0 Add x0 x0 -1 Mul Mul acoth x5 log acoth x5 Add Mul Add x0 x0 Mul exp Mul -4 x0 -4 Mul exp Mul -4 x0 2 