Add Mul x1 cos cosh Mul x2 Add Pow x4 3 Pow tan Mul x0 x2 acot acoth x0 -4 
Mul x1 Mul Mul -1 sin cosh Mul x2 Add Pow x4 3 Pow tan Mul x0 x2 acot acoth x0 Mul sinh Mul x2 Add Pow x4 3 Pow tan Mul x0 x2 acot acoth x0 Mul x2 Mul Pow tan Mul x0 x2 Add acot acoth x0 -1 Add Mul acot acoth x0 Mul Pow sec Mul x0 x2 2 x2 Mul Mul tan Mul x0 x2 log tan Mul x0 x2 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 