atanh Pow Add x4 Add Pow x0 Add Mul x2 x0 x0 -1 Add Mul x0 asec x7 pi 
Mul Mul Pow Add x4 Add Pow x0 Add Mul x2 x0 x0 -1 Add Add Mul x0 asec x7 pi -1 Add Mul Add Mul x0 asec x7 pi Mul Pow x0 Add Add Mul x2 x0 x0 -1 Add Add Mul x2 x0 x0 Mul Mul x0 log x0 Add x2 1 Mul Mul Add x4 Add Pow x0 Add Mul x2 x0 x0 -1 log Add x4 Add Pow x0 Add Mul x2 x0 x0 -1 asec x7 Pow Add 1 Mul -1 Mul Pow Add x4 Add Pow x0 Add Mul x2 x0 x0 -1 Add Mul x0 asec x7 pi Pow Add x4 Add Pow x0 Add Mul x2 x0 x0 -1 Add Mul x0 asec x7 pi -1 