Add Mul Add x5 Add Add Pow x3 Add -2 acot x0 csc Pow acoth x0 Mul 3 acos pi x0 4 x0 
Add Mul 4 Add Add Mul Pow x3 Add Add -2 acot x0 -1 Mul Mul x3 log x3 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul -1 cot Pow acoth x0 Mul 3 acos pi csc Pow acoth x0 Mul 3 acos pi Mul Pow acoth x0 Add Mul 3 acos pi -1 Mul Mul 3 acos pi Pow Add 1 Mul -1 Mul x0 x0 -1 1 1 