Pow Mul Add Pow x7 sqrt x0 Add Mul exp x0 x0 -3 x0 Add -1 asech cosh x0 
Mul Pow Mul Add Pow x7 sqrt x0 Add Mul exp x0 x0 -3 x0 Add Add -1 asech cosh x0 -1 Add Mul Add -1 asech cosh x0 Add Mul x0 Add Mul Pow x7 Add sqrt x0 -1 Mul Mul x7 log x7 Pow Mul 2 sqrt x0 -1 Add Mul x0 exp x0 exp x0 Add Pow x7 sqrt x0 Add Mul exp x0 x0 -3 Mul Mul Mul Add Pow x7 sqrt x0 Add Mul exp x0 x0 -3 x0 log Mul Add Pow x7 sqrt x0 Add Mul exp x0 x0 -3 x0 Mul sinh x0 Pow Mul Mul cosh x0 cosh x0 sqrt Add 1 Mul -1 Pow Mul cosh x0 cosh x0 -1 -1 