Mul asec Add 5 x2 Mul Mul x1 Pow x3 Mul -4 log sec acosh Add x0 x0 -2 
Mul asec Add 5 x2 Mul -2 Mul x1 Mul Pow x3 Add Mul -4 log sec acosh Add x0 x0 -1 Mul Mul x3 log x3 Mul -4 Mul Mul Mul tan acosh Add x0 x0 sec acosh Add x0 x0 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 Pow sec acosh Add x0 x0 -1 