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