Mul Mul Pow x0 Pow sec x1 x3 Add sec Mul acosh x0 x3 x4 x1 
Mul x1 Add Mul Add sec Mul acosh x0 x3 x4 Mul Pow x0 Add Pow sec x1 x3 -1 Pow sec x1 x3 Mul Pow x0 Pow sec x1 x3 Mul Mul tan Mul acosh x0 x3 sec Mul acosh x0 x3 Mul x3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 