sec acosh Mul 3 sech Mul x0 x4 
Mul Mul tan acosh Mul 3 sech Mul x0 x4 sec acosh Mul 3 sech Mul x0 x4 Mul Mul 3 Mul Mul tanh Mul x0 x4 Mul -1 sech Mul x0 x4 x4 Pow Mul sqrt Add Mul 3 sech Mul x0 x4 -1 sqrt Add 1 Mul 3 sech Mul x0 x4 -1 