Mul asin x0 Pow acosh E Add x5 csch Pow Add x0 4 x4 
Add Mul Pow acosh E Add x5 csch Pow Add x0 4 x4 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 Mul Pow acosh E Add Add x5 csch Pow Add x0 4 x4 -1 Mul Mul acosh E log acosh E Mul Mul Mul -1 coth Pow Add x0 4 x4 csch Pow Add x0 4 x4 Mul Pow Add x0 4 Add x4 -1 x4 