Mul Mul Pow x0 Mul asinh Pow pi x0 Add acsch E pi Mul x0 x0 x6 
Mul x6 Add Mul Mul x0 x0 Mul Pow x0 Add Mul asinh Pow pi x0 Add acsch E pi -1 Add Mul asinh Pow pi x0 Add acsch E pi Mul Mul x0 log x0 Mul Add acsch E pi Mul Mul Pow pi Add x0 -1 Mul pi log pi Pow sqrt Add 1 Mul Pow pi x0 Pow pi x0 -1 Mul Pow x0 Mul asinh Pow pi x0 Add acsch E pi Add x0 x0 