Mul Mul x0 x0 Mul x0 Pow exp x0 Pow x5 sech cot acoth pi 
Add Mul Mul x0 Pow exp x0 Pow x5 sech cot acoth pi Add x0 x0 Mul Mul x0 x0 Add Pow exp x0 Pow x5 sech cot acoth pi Mul x0 Mul Pow exp x0 Add Pow x5 sech cot acoth pi -1 Mul Pow x5 sech cot acoth pi exp x0 