Mul Add atanh x0 Mul acot Mul -0.999329299739067 x2 x0 Add Mul x4 Add x0 pi x7 
Add Mul Add Mul x4 Add x0 pi x7 Add Pow Add 1 Mul -1 Mul x0 x0 -1 acot Mul -0.999329299739067 x2 Mul Add atanh x0 Mul acot Mul -0.999329299739067 x2 x0 x4 