Add x5 Pow x7 Add atanh asec Add Mul x5 x0 pi x0 
Mul Pow x7 Add Add atanh asec Add Mul x5 x0 pi x0 -1 Mul Mul x7 log x7 Add Mul Mul x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul x5 x0 pi Add Mul x5 x0 pi -1 Add Mul x5 x0 pi Add Mul x5 x0 pi -1 Pow Add 1 Mul -1 Mul asec Add Mul x5 x0 pi asec Add Mul x5 x0 pi -1 1 