Mul Pow Add x0 Add asec acos x0 Add Pow Pow x2 Mul acos Mul -2 pi 625 cosh x0 x0 -2 Pow x4 3 
Mul Pow x4 3 Mul Pow Add x0 Add asec acos x0 Add Pow Pow x2 Mul acos Mul -2 pi 625 cosh x0 x0 3 Mul -2 Add 1 Add Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acos x0 acos x0 -1 acos x0 acos x0 -1 Add Mul Pow Pow x2 Mul acos Mul -2 pi 625 Add cosh x0 -1 Mul Mul Pow x2 Mul acos Mul -2 pi 625 log Pow x2 Mul acos Mul -2 pi 625 sinh x0 1 