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