acosh Add Pow x0 sec Pow Mul x0 x1 x3 Add x0 4 
Mul Add Mul Pow x0 Add sec Pow Mul x0 x1 x3 -1 Add sec Pow Mul x0 x1 x3 Mul Mul x0 log x0 Mul Mul tan Pow Mul x0 x1 x3 sec Pow Mul x0 x1 x3 Mul Pow Mul x0 x1 Add x3 -1 Mul x3 x1 1 Pow Mul sqrt Add Add Pow x0 sec Pow Mul x0 x1 x3 Add x0 4 -1 sqrt Add 1 Add Pow x0 sec Pow Mul x0 x1 x3 Add x0 4 -1 