Pow x1 acsc sqrt Mul x0 cosh x4 
Mul Pow x1 Add acsc sqrt Mul x0 cosh x4 -1 Mul Mul x1 log x1 Mul -1 Mul Mul Pow Mul 2 sqrt Mul x0 cosh x4 -1 cosh x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sqrt Mul x0 cosh x4 sqrt Mul x0 cosh x4 -1 sqrt Mul x0 cosh x4 sqrt Mul x0 cosh x4 -1 