atanh Add Add x0 5 Add Mul Add Add Add x0 atan x0 Add x0 x7 pi x0 E 
Mul Add 1 Add Mul x0 Add Add 1 Pow Add 1 Mul x0 x0 -1 1 Add Add Add x0 atan x0 Add x0 x7 pi Pow Add 1 Mul -1 Mul Add Add x0 5 Add Mul Add Add Add x0 atan x0 Add x0 x7 pi x0 E Add Add x0 5 Add Mul Add Add Add x0 atan x0 Add x0 x7 pi x0 E -1 