Add Mul x0 Pow acoth x0 Pow Add x0 Add x0 sin x5 Mul x0 x2 pi 
Add Pow acoth x0 Pow Add x0 Add x0 sin x5 Mul x0 x2 Mul x0 Mul Pow acoth x0 Add Pow Add x0 Add x0 sin x5 Mul x0 x2 -1 Add Mul Pow Add x0 Add x0 sin x5 Mul x0 x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul Pow Add x0 Add x0 sin x5 Add Mul x0 x2 -1 Add Mul Mul x0 x2 2 Mul Mul Add x0 Add x0 sin x5 log Add x0 Add x0 sin x5 x2 