Mul Pow x0 x7 Mul acot acot Add x0 atanh tan Add x4 E Add 2249642366.70586 Pow x0 x4 
Add Mul Mul acot acot Add x0 atanh tan Add x4 E Add 2249642366.70586 Pow x0 x4 Mul Pow x0 Add x7 -1 x7 Mul Pow x0 x7 Add Mul Add 2249642366.70586 Pow x0 x4 Mul -1 Mul Mul -1 Pow Add 1 Mul Add x0 atanh tan Add x4 E Add x0 atanh tan Add x4 E -1 Pow Add 1 Mul acot Add x0 atanh tan Add x4 E acot Add x0 atanh tan Add x4 E -1 Mul acot acot Add x0 atanh tan Add x4 E Mul Pow x0 Add x4 -1 x4 