exp Add Pow x0 Add acsch acoth Add Add x7 pi -5 x7 x0 
Mul exp Add Pow x0 Add acsch acoth Add Add x7 pi -5 x7 x0 Add Mul Pow x0 Add Add acsch acoth Add Add x7 pi -5 x7 -1 Add acsch acoth Add Add x7 pi -5 x7 1 