Mul csc Mul 2 x7 sqrt Pow asinh x7 acoth Pow x0 Mul 2 x2 
Mul csc Mul 2 x7 Mul Pow Mul 2 sqrt Pow asinh x7 acoth Pow x0 Mul 2 x2 -1 Mul Pow asinh x7 Add acoth Pow x0 Mul 2 x2 -1 Mul Mul asinh x7 log asinh x7 Mul Mul Pow x0 Add Mul 2 x2 -1 Mul 2 x2 Pow Add 1 Mul -1 Mul Pow x0 Mul 2 x2 Pow x0 Mul 2 x2 -1 