Mul log Pow Pow tan Pow x2 x0 csch x4 3 acot x1 
Mul acot x1 Mul Mul Pow Pow tan Pow x2 x0 csch x4 2 Mul 3 Mul Pow tan Pow x2 x0 Add csch x4 -1 Mul csch x4 Mul Pow sec Pow x2 x0 2 Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Pow Pow tan Pow x2 x0 csch x4 3 -1 