Add cosh Pow x0 cosh acos Pow x0 Mul x0 5 Mul asech cos x1 x0 
Add Mul sinh Pow x0 cosh acos Pow x0 Mul x0 5 Mul Pow x0 Add cosh acos Pow x0 Mul x0 5 -1 Add cosh acos Pow x0 Mul x0 5 Mul Mul x0 log x0 Mul sinh acos Pow x0 Mul x0 5 Mul -1 Mul Mul Pow x0 Add Mul x0 5 -1 Add Mul x0 5 Mul Mul x0 log x0 5 Pow sqrt Add 1 Mul -1 Mul Pow x0 Mul x0 5 Pow x0 Mul x0 5 -1 asech cos x1 