Mul x5 Pow Mul Mul Mul pi cosh acos x0 Pow Pow x0 -1 x0 sech asin x5 x4 
Mul x5 Mul Pow Mul Mul Mul pi cosh acos x0 Pow Pow x0 -1 x0 sech asin x5 Add x4 -1 Mul x4 Mul sech asin x5 Add Mul Pow Pow x0 -1 x0 Mul pi Mul sinh acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul pi cosh acos x0 Mul Pow Pow x0 -1 Add x0 -1 Add Mul x0 Mul Pow x0 2 -1 Mul Pow x0 -1 log Pow x0 -1 