Mul x0 Add sec Mul exp x0 acosh x6 Mul Add x0 x0 3.59251716459620 
Add Add sec Mul exp x0 acosh x6 Mul Add x0 x0 3.59251716459620 Mul x0 Add Mul Mul tan Mul exp x0 acosh x6 sec Mul exp x0 acosh x6 Mul acosh x6 exp x0 5.59251716459620 