Mul exp Mul x0 0.958924274663138 atanh Add Mul Mul Mul x0 x0 x0 x7 pi 
Add Mul atanh Add Mul Mul Mul x0 x0 x0 x7 pi Mul exp Mul x0 0.958924274663138 0.958924274663138 Mul exp Mul x0 0.958924274663138 Mul Mul x7 Add Mul x0 Add x0 x0 Mul x0 x0 Pow Add 1 Mul -1 Mul Add Mul Mul Mul x0 x0 x0 x7 pi Add Mul Mul Mul x0 x0 x0 x7 pi -1 