sec Mul Add x6 Mul acosh x2 Add Mul -0.881373587019543 x6 x0 1.44644133224814 
Mul Mul tan Mul Add x6 Mul acosh x2 Add Mul -0.881373587019543 x6 x0 1.44644133224814 sec Mul Add x6 Mul acosh x2 Add Mul -0.881373587019543 x6 x0 1.44644133224814 Mul 1.44644133224814 acosh x2 