Pow Add Pow acot x0 cosh x7 Pow x7 Mul Pow x0 -2 -4 3 
Mul Pow Add Pow acot x0 cosh x7 Pow x7 Mul Pow x0 -2 -4 2 Mul 3 Add Mul Pow acot x0 Add cosh x7 -1 Mul cosh x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow x7 Add Mul Pow x0 -2 -4 -1 Mul Mul x7 log x7 Mul -4 Mul Pow x0 3 -2 