Pow Add x7 acosh sec Mul x0 E x0 
Mul Pow Add x7 acosh sec Mul x0 E Add x0 -1 Add Mul x0 Mul Mul Mul tan Mul x0 E sec Mul x0 E E Pow Mul sqrt Add sec Mul x0 E -1 sqrt Add 1 sec Mul x0 E -1 Mul Add x7 acosh sec Mul x0 E log Add x7 acosh sec Mul x0 E 