Mul sec asinh Mul x0 x3 acosh Mul x0 x0 
Add Mul acosh Mul x0 x0 Mul Mul tan asinh Mul x0 x3 sec asinh Mul x0 x3 Mul x3 Pow sqrt Add 1 Mul Mul x0 x3 Mul x0 x3 -1 Mul sec asinh Mul x0 x3 Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 