Mul Pow Add E acosh x0 Mul Add x3 x1 x0 Pow x0 Add Pow log exp asec x0 Mul x1 x0 x2 
Add Mul Pow x0 Add Pow log exp asec x0 Mul x1 x0 x2 Mul Pow Add E acosh x0 Add Mul Add x3 x1 x0 -1 Add Mul Mul Add x3 x1 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Add E acosh x0 log Add E acosh x0 Add x3 x1 Mul Pow Add E acosh x0 Mul Add x3 x1 x0 Mul Pow x0 Add Add Pow log exp asec x0 Mul x1 x0 x2 -1 Add Add Pow log exp asec x0 Mul x1 x0 x2 Mul Mul x0 log x0 Mul Pow log exp asec x0 Add Mul x1 x0 -1 Add Mul Mul x1 x0 Mul Mul exp asec x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow exp asec x0 -1 Mul Mul log exp asec x0 log log exp asec x0 x1 