Mul Add x0 x1 Add x0 Add csc Add Mul x0 3 acoth x0 x3 
Add Add x0 Add csc Add Mul x0 3 acoth x0 x3 Mul Add x0 x1 Add 1 Mul Mul Mul -1 cot Add Mul x0 3 acoth x0 csc Add Mul x0 3 acoth x0 Add 3 Pow Add 1 Mul -1 Mul x0 x0 -1 