Mul asec Pow x2 Mul E Pow Mul x2 cosh x4 x0 Add Add E 1 -2 
Mul Add Add E 1 -2 Mul Mul Pow x2 Add Mul E Pow Mul x2 cosh x4 x0 -1 Mul Mul x2 log x2 Mul E Mul Pow Mul x2 cosh x4 Add x0 -1 Mul Mul x2 cosh x4 log Mul x2 cosh x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x2 Mul E Pow Mul x2 cosh x4 x0 Pow x2 Mul E Pow Mul x2 cosh x4 x0 -1 Pow x2 Mul E Pow Mul x2 cosh x4 x0 Pow x2 Mul E Pow Mul x2 cosh x4 x0 -1 