atan Add Pow Add acot x7 Add 5 x0 x1 acsch atan Pow -4 x6 
Mul Mul Pow Add acot x7 Add 5 x0 Add x1 -1 x1 Pow Add 1 Mul Add Pow Add acot x7 Add 5 x0 x1 acsch atan Pow -4 x6 Add Pow Add acot x7 Add 5 x0 x1 acsch atan Pow -4 x6 -1 