Pow Pow x1 x0 Mul cosh x0 tan Add x0 3 
Mul Pow Pow x1 x0 Add Mul cosh x0 tan Add x0 3 -1 Add Mul Mul cosh x0 tan Add x0 3 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Mul Pow x1 x0 log Pow x1 x0 Add Mul tan Add x0 3 sinh x0 Mul cosh x0 Pow sec Add x0 3 2 