Add acosh Mul cosh cos atanh x0 Mul Pow x5 Mul acos x0 3 pi x0 
Add Mul Add Mul Mul Pow x5 Mul acos x0 3 pi Mul sinh cos atanh x0 Mul Mul -1 sin atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul cosh cos atanh x0 Mul pi Mul Pow x5 Add Mul acos x0 3 -1 Mul Mul x5 log x5 Mul 3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul cosh cos atanh x0 Mul Pow x5 Mul acos x0 3 pi -1 sqrt Add 1 Mul cosh cos atanh x0 Mul Pow x5 Mul acos x0 3 pi -1 1 