Mul Pow Mul Pow x5 Mul -3 acsch Add acos x4 Pow x0 pi x0 -2 x5 
Mul x5 Mul Pow Mul Pow x5 Mul -3 acsch Add acos x4 Pow x0 pi x0 3 Mul -2 Add Mul x0 Mul Pow x5 Add Mul -3 acsch Add acos x4 Pow x0 pi -1 Mul Mul x5 log x5 Mul -3 Mul Mul -1 Mul Pow x0 Add pi -1 pi Pow Mul Mul Add acos x4 Pow x0 pi Add acos x4 Pow x0 pi sqrt Add 1 Mul -1 Pow Mul Add acos x4 Pow x0 pi Add acos x4 Pow x0 pi -1 -1 Pow x5 Mul -3 acsch Add acos x4 Pow x0 pi 