Pow Add x0 csch sinh Mul 3 x0 atanh Pow acot x3 4 
Mul Pow Add x0 csch sinh Mul 3 x0 Add atanh Pow acot x3 4 -1 Mul atanh Pow acot x3 4 Add 1 Mul Mul Mul -1 coth sinh Mul 3 x0 csch sinh Mul 3 x0 Mul cosh Mul 3 x0 3 