Pow Mul Mul acot sinh x0 x0 Add Mul x0 2 -3 x6 
Mul Pow Mul Mul acot sinh x0 x0 Add Mul x0 2 -3 Add x6 -1 Mul x6 Add Mul Add Mul x0 2 -3 Add Mul x0 Mul -1 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 acot sinh x0 Mul Mul acot sinh x0 x0 2 