Mul x4 Add Pow acot Add Mul Add Add E Mul x0 3 coth pi 5 x0 -5 Mul Mul x0 x0 x1 
Mul x4 Add Mul Pow acot Add Mul Add Add E Mul x0 3 coth pi 5 x0 6 Mul -5 Mul -1 Mul 9 Pow Add 1 Mul Add Mul Add Add E Mul x0 3 coth pi 5 x0 Add Mul Add Add E Mul x0 3 coth pi 5 x0 -1 Mul x1 Add x0 x0 