Add Mul atan x0 Add x0 Mul x2 sqrt Add 4 Add Pow x7 4 Pow 0.841470984807897 x4 csc Pow acoth x0 -2 
Add Add Mul Add x0 Mul x2 sqrt Add 4 Add Pow x7 4 Pow 0.841470984807897 x4 Pow Add 1 Mul x0 x0 -1 atan x0 Mul Mul Mul -1 cot Pow acoth x0 -2 csc Pow acoth x0 -2 Mul Pow acoth x0 3 Mul -2 Pow Add 1 Mul -1 Mul x0 x0 -1 