Mul Add x0 pi Add Add Mul acoth Pow Mul x0 x0 Mul 3 E cot x0 E atan x3 
Add Add Add Mul acoth Pow Mul x0 x0 Mul 3 E cot x0 E atan x3 Mul Add x0 pi Add Mul cot x0 Mul Mul Pow Mul x0 x0 Add Mul 3 E -1 Mul Mul 3 E Add x0 x0 Pow Add 1 Mul -1 Mul Pow Mul x0 x0 Mul 3 E Pow Mul x0 x0 Mul 3 E -1 Mul acoth Pow Mul x0 x0 Mul 3 E Mul -1 Pow csc x0 2 