Mul x0 Add Mul Add x5 cot Add x0 x0 acoth exp x0 -5 
Add Add Mul Add x5 cot Add x0 x0 acoth exp x0 -5 Mul x0 Add Mul acoth exp x0 Mul Mul -1 Pow csc Add x0 x0 2 2 Mul Add x5 cot Add x0 x0 Mul exp x0 Pow Add 1 Mul -1 Mul exp x0 exp x0 -1 