Pow x1 Pow Mul csch acot sqrt x6 x0 sinh x0 
Mul Pow x1 Add Pow Mul csch acot sqrt x6 x0 sinh x0 -1 Mul Mul x1 log x1 Mul Pow Mul csch acot sqrt x6 x0 Add sinh x0 -1 Add Mul sinh x0 csch acot sqrt x6 Mul Mul Mul csch acot sqrt x6 x0 log Mul csch acot sqrt x6 x0 cosh x0 