Mul x0 Pow Pow asin Mul coth x5 sech acosh x6 Pow x0 pi -5 
Add Pow Pow asin Mul coth x5 sech acosh x6 Pow x0 pi -5 Mul x0 Mul Pow Pow asin Mul coth x5 sech acosh x6 Pow x0 pi 6 Mul -5 Mul Pow asin Mul coth x5 sech acosh x6 Add Pow x0 pi -1 Mul Mul asin Mul coth x5 sech acosh x6 log asin Mul coth x5 sech acosh x6 Mul Pow x0 Add pi -1 pi 