asec Pow Add x0 Pow log Mul -2 cosh Add x1 x2 x7 -4 
Mul Mul Pow Add x0 Pow log Mul -2 cosh Add x1 x2 x7 5 -4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Add x0 Pow log Mul -2 cosh Add x1 x2 x7 -4 Pow Add x0 Pow log Mul -2 cosh Add x1 x2 x7 -4 -1 Pow Add x0 Pow log Mul -2 cosh Add x1 x2 x7 -4 Pow Add x0 Pow log Mul -2 cosh Add x1 x2 x7 -4 -1 