acot Mul Mul Mul Add x0 -4 Pow x0 x7 Mul Add x0 acoth Pow acsc x1 0.995054753686730 x5 x0 
Mul -1 Mul Add Mul x0 Add Mul Mul Add x0 acoth Pow acsc x1 0.995054753686730 x5 Add Pow x0 x7 Mul Add x0 -4 Mul Pow x0 Add x7 -1 x7 Mul Mul Add x0 -4 Pow x0 x7 x5 Mul Mul Add x0 -4 Pow x0 x7 Mul Add x0 acoth Pow acsc x1 0.995054753686730 x5 Pow Add 1 Mul Mul Mul Mul Add x0 -4 Pow x0 x7 Mul Add x0 acoth Pow acsc x1 0.995054753686730 x5 x0 Mul Mul Mul Add x0 -4 Pow x0 x7 Mul Add x0 acoth Pow acsc x1 0.995054753686730 x5 x0 -1 