Pow atan Add 5 Pow acoth x0 -3 x7 
Mul Pow atan Add 5 Pow acoth x0 -3 Add x7 -1 Mul x7 Mul Mul Pow acoth x0 4 Mul -3 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add 5 Pow acoth x0 -3 Add 5 Pow acoth x0 -3 -1 