Add Pow Add 1 x7 Pow cosh x0 asin x0 Mul E Mul x2 Add acsch x0 Mul x0 Pow Add x4 -4 x0 
Add Mul Pow Add 1 x7 Add Pow cosh x0 asin x0 -1 Mul Mul Add 1 x7 log Add 1 x7 Mul Pow cosh x0 Add asin x0 -1 Add Mul asin x0 sinh x0 Mul Mul cosh x0 log cosh x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul E Mul x2 Add Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Add Pow Add x4 -4 x0 Mul x0 Mul Pow Add x4 -4 Add x0 -1 Mul Add x4 -4 log Add x4 -4 