Mul Mul sec Pow x0 E Mul x0 2 Add x0 Mul -3 acosh Mul x2 x0 
Add Mul Add x0 Mul -3 acosh Mul x2 x0 Add Mul Mul x0 2 Mul Mul tan Pow x0 E sec Pow x0 E Mul Pow x0 Add E -1 E Mul sec Pow x0 E 2 Mul Mul sec Pow x0 E Mul x0 2 Add 1 Mul -3 Mul x2 Pow Mul sqrt Add Mul x2 x0 -1 sqrt Add 1 Mul x2 x0 -1 