Add x0 Add Add acos Pow acosh x0 1.41421356237310 sec Mul Mul 5 Add x6 Pow 2.29243166956118 E x0 atan x0 
Add 1 Add Add Mul -1 Mul Mul Pow acosh x0 0.414213562373095 Mul 1.41421356237310 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow acosh x0 1.41421356237310 Pow acosh x0 1.41421356237310 -1 Mul Mul tan Mul Mul 5 Add x6 Pow 2.29243166956118 E x0 sec Mul Mul 5 Add x6 Pow 2.29243166956118 E x0 Mul 5 Add x6 Pow 2.29243166956118 E Pow Add 1 Mul x0 x0 -1 