Mul atanh Mul Pow x0 Add Pow x2 asec x5 asec x0 sqrt x1 x0 
Add Mul x0 Mul Mul sqrt x1 Mul Pow x0 Add Add Pow x2 asec x5 asec x0 -1 Add Add Pow x2 asec x5 asec x0 Mul Mul x0 log x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Pow x0 Add Pow x2 asec x5 asec x0 sqrt x1 Mul Pow x0 Add Pow x2 asec x5 asec x0 sqrt x1 -1 atanh Mul Pow x0 Add Pow x2 asec x5 asec x0 sqrt x1 