exp Mul x0 sqrt sin Add Pow acoth x0 x0 x0 
Mul exp Mul x0 sqrt sin Add Pow acoth x0 x0 x0 Add sqrt sin Add Pow acoth x0 x0 x0 Mul x0 Mul Pow Mul 2 sqrt sin Add Pow acoth x0 x0 x0 -1 Mul cos Add Pow acoth x0 x0 x0 Add Mul Pow acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 1 