acot Pow Pow Mul -2 x2 cosh acot x0 Mul -3 x1 
Mul -1 Mul Mul Pow Pow Mul -2 x2 cosh acot x0 Add Mul -3 x1 -1 Mul Mul -3 x1 Mul Pow Mul -2 x2 Add cosh acot x0 -1 Mul Mul Mul -2 x2 log Mul -2 x2 Mul sinh acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Pow Pow Mul -2 x2 cosh acot x0 Mul -3 x1 Pow Pow Mul -2 x2 cosh acot x0 Mul -3 x1 -1 