Mul acsch x0 Pow Pow tanh Pow Mul 5 x2 pi acos x0 4 
Add Mul Pow Pow tanh Pow Mul 5 x2 pi acos x0 4 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul acsch x0 Mul Pow Pow tanh Pow Mul 5 x2 pi acos x0 3 Mul 4 Mul Pow tanh Pow Mul 5 x2 pi Add acos x0 -1 Mul Mul tanh Pow Mul 5 x2 pi log tanh Pow Mul 5 x2 pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 