Add Add Add Mul csc x2 x0 exp x0 Pow log acoth x0 Add x0 x3 x0 
Add Add Add csc x2 exp x0 Mul Pow log acoth x0 Add Add x0 x3 -1 Add Mul Add x0 x3 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow acoth x0 -1 Mul log acoth x0 log log acoth x0 1 