Mul cosh acos Mul -5 x0 Pow x5 Mul Mul x6 asech x0 x5 
Add Mul Pow x5 Mul Mul x6 asech x0 x5 Mul sinh acos Mul -5 x0 Mul -1 Mul -5 Pow sqrt Add 1 Mul -1 Mul Mul -5 x0 Mul -5 x0 -1 Mul cosh acos Mul -5 x0 Mul Pow x5 Add Mul Mul x6 asech x0 x5 -1 Mul Mul x5 log x5 Mul x5 Mul x6 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 