Add Add Mul Mul x0 Pow Pow 4 x4 cosh Mul 5 Mul exp x0 cosh x2 cosh Pow asech x0 E x7 x0 
Add Add Mul cosh Pow asech x0 E Add Pow Pow 4 x4 cosh Mul 5 Mul exp x0 cosh x2 Mul x0 Mul Pow Pow 4 x4 Add cosh Mul 5 Mul exp x0 cosh x2 -1 Mul Mul Pow 4 x4 log Pow 4 x4 Mul sinh Mul 5 Mul exp x0 cosh x2 Mul 5 Mul cosh x2 exp x0 Mul Mul x0 Pow Pow 4 x4 cosh Mul 5 Mul exp x0 cosh x2 Mul sinh Pow asech x0 E Mul Pow asech x0 Add E -1 Mul E Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 