sec Mul 2 acosh Pow Mul x4 x0 -1 
Mul Mul tan Mul 2 acosh Pow Mul x4 x0 -1 sec Mul 2 acosh Pow Mul x4 x0 -1 Mul 2 Mul Mul Pow Mul x4 x0 2 Mul -1 x4 Pow Mul sqrt Add Pow Mul x4 x0 -1 -1 sqrt Add 1 Pow Mul x4 x0 -1 -1 