Add Pow x2 x0 Pow Pow pi Add Mul x0 Pow acos acsch x2 x0 asin x5 4 
Add Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Pow Pow pi Add Mul x0 Pow acos acsch x2 x0 asin x5 3 Mul 4 Mul Pow pi Add Add Mul x0 Pow acos acsch x2 x0 asin x5 -1 Mul Mul pi log pi Add Pow acos acsch x2 x0 Mul x0 Mul Pow acos acsch x2 Add x0 -1 Mul acos acsch x2 log acos acsch x2 