Add Mul x7 Add cot Mul Mul Pow acoth acot x0 9 Add sqrt x0 x3 Add -2 pi x0 -2 
Mul x7 Add Mul Mul -1 Pow csc Mul Mul Pow acoth acot x0 9 Add sqrt x0 x3 Add -2 pi 2 Mul Add -2 pi Add Mul Add sqrt x0 x3 Mul Pow acoth acot x0 8 Mul 9 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acot x0 acot x0 -1 Mul Pow acoth acot x0 9 Pow Mul 2 sqrt x0 -1 1 