Mul Mul x2 asech Pow sqrt x0 x0 Add x3 Pow x2 sinh log x0 
Add Mul Add x3 Pow x2 sinh log x0 Mul x2 Mul Mul Pow sqrt x0 Add x0 -1 Add Mul x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 log sqrt x0 Pow Mul Mul Pow sqrt x0 x0 Pow sqrt x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow sqrt x0 x0 Pow sqrt x0 x0 -1 -1 Mul Mul x2 asech Pow sqrt x0 x0 Mul Pow x2 Add sinh log x0 -1 Mul Mul x2 log x2 Mul cosh log x0 Pow x0 -1 