Mul Mul x0 atan Add x0 x0 Mul -2 Add Mul 3 acsch pi Add Mul 0.339836909454122 Add E E x0 
Add Mul Mul -2 Add Mul 3 acsch pi Add Mul 0.339836909454122 Add E E x0 Add atan Add x0 x0 Mul x0 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul x0 atan Add x0 x0 -2 