Add Add asinh x0 sqrt Pow Mul -1 x0 sec cosh Add x7 x4 Pow Mul x2 2 x0 
Add Add Pow sqrt Add 1 Mul x0 x0 -1 Mul Pow Mul 2 sqrt Pow Mul -1 x0 sec cosh Add x7 x4 -1 Mul Pow Mul -1 x0 Add sec cosh Add x7 x4 -1 Mul sec cosh Add x7 x4 -1 Mul Pow Mul x2 2 Add x0 -1 Mul Mul x2 2 log Mul x2 2 