atanh Mul Add Mul x0 Pow log x0 x2 asec x0 Add pi x0 
Mul Add Mul Add pi x0 Add Add Pow log x0 x2 Mul x0 Mul Pow log x0 Add x2 -1 Mul x2 Pow x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Add Mul x0 Pow log x0 x2 asec x0 Pow Add 1 Mul -1 Mul Mul Add Mul x0 Pow log x0 x2 asec x0 Add pi x0 Mul Add Mul x0 Pow log x0 x2 asec x0 Add pi x0 -1 