atanh Add Add x1 pi Pow 2 atanh asec Mul x5 x0 
Mul Mul Pow 2 Add atanh asec Mul x5 x0 -1 Mul 2.69314718055995 Mul Mul x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x5 x0 Mul x5 x0 -1 Mul x5 x0 Mul x5 x0 -1 Pow Add 1 Mul -1 Mul asec Mul x5 x0 asec Mul x5 x0 -1 Pow Add 1 Mul -1 Mul Add Add x1 pi Pow 2 atanh asec Mul x5 x0 Add Add x1 pi Pow 2 atanh asec Mul x5 x0 -1 