Mul Pow acoth pi Add Add x6 sin x0 Add 2 x3 cosh x0 
Add Mul cosh x0 Mul Pow acoth pi Add Add Add x6 sin x0 Add 2 x3 -1 Mul Mul acoth pi log acoth pi cos x0 Mul Pow acoth pi Add Add x6 sin x0 Add 2 x3 sinh x0 