acos csch Mul sech x4 Pow x7 sqrt x0 
Mul -1 Mul Mul Mul Mul -1 coth Mul sech x4 Pow x7 sqrt x0 csch Mul sech x4 Pow x7 sqrt x0 Mul sech x4 Mul Pow x7 Add sqrt x0 -1 Mul Mul x7 log x7 Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul csch Mul sech x4 Pow x7 sqrt x0 csch Mul sech x4 Pow x7 sqrt x0 -1 