acot Pow acoth Mul x0 -3 Add Mul Pow atan x7 x0 x0 Mul x0 x7 
Mul -1 Mul Mul Pow acoth Mul x0 -3 Add Add Mul Pow atan x7 x0 x0 Mul x0 x7 -1 Add Mul Add Mul Pow atan x7 x0 x0 Mul x0 x7 Mul -3 Pow Add 1 Mul -1 Mul Mul x0 -3 Mul x0 -3 -1 Mul Mul acoth Mul x0 -3 log acoth Mul x0 -3 Add Add Mul x0 Mul Pow atan x7 Add x0 -1 Mul atan x7 log atan x7 Pow atan x7 x0 x7 Pow Add 1 Mul Pow acoth Mul x0 -3 Add Mul Pow atan x7 x0 x0 Mul x0 x7 Pow acoth Mul x0 -3 Add Mul Pow atan x7 x0 x0 Mul x0 x7 -1 