asec Mul x3 Pow Add 4 Mul Pow Add -5 Add exp Pow acosh x0 x0 4 x0 4 cosh Add x0 x0 
Mul Mul x3 Mul Pow Add 4 Mul Pow Add -5 Add exp Pow acosh x0 x0 4 x0 4 Add cosh Add x0 x0 -1 Add Mul cosh Add x0 x0 Mul 4 Mul Pow Add -5 Add exp Pow acosh x0 x0 4 Add x0 -1 Add Mul x0 Mul exp Pow acosh x0 x0 Mul Pow acosh x0 Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 log acosh x0 Mul Add -5 Add exp Pow acosh x0 x0 4 log Add -5 Add exp Pow acosh x0 x0 4 Mul Mul Add 4 Mul Pow Add -5 Add exp Pow acosh x0 x0 4 x0 4 log Add 4 Mul Pow Add -5 Add exp Pow acosh x0 x0 4 x0 4 Mul sinh Add x0 x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x3 Pow Add 4 Mul Pow Add -5 Add exp Pow acosh x0 x0 4 x0 4 cosh Add x0 x0 Mul x3 Pow Add 4 Mul Pow Add -5 Add exp Pow acosh x0 x0 4 x0 4 cosh Add x0 x0 -1 Mul x3 Pow Add 4 Mul Pow Add -5 Add exp Pow acosh x0 x0 4 x0 4 cosh Add x0 x0 Mul x3 Pow Add 4 Mul Pow Add -5 Add exp Pow acosh x0 x0 4 x0 4 cosh Add x0 x0 -1 