exp Mul Pow Add acos x1 Mul x0 Pow x2 Pow asech x0 x1 x0 acosh x0 
Mul exp Mul Pow Add acos x1 Mul x0 Pow x2 Pow asech x0 x1 x0 acosh x0 Add Mul acosh x0 Mul Pow Add acos x1 Mul x0 Pow x2 Pow asech x0 x1 Add x0 -1 Add Mul x0 Add Pow x2 Pow asech x0 x1 Mul x0 Mul Pow x2 Add Pow asech x0 x1 -1 Mul Mul x2 log x2 Mul Pow asech x0 Add x1 -1 Mul x1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Add acos x1 Mul x0 Pow x2 Pow asech x0 x1 log Add acos x1 Mul x0 Pow x2 Pow asech x0 x1 Mul Pow Add acos x1 Mul x0 Pow x2 Pow asech x0 x1 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 