Add tan cosh Pow Mul sqrt x7 x1 sin acot Mul Add x0 x0 x1 pi 
Mul Pow sec cosh Pow Mul sqrt x7 x1 sin acot Mul Add x0 x0 x1 2 Mul sinh Pow Mul sqrt x7 x1 sin acot Mul Add x0 x0 x1 Mul Pow Mul sqrt x7 x1 Add sin acot Mul Add x0 x0 x1 -1 Mul Mul Mul sqrt x7 x1 log Mul sqrt x7 x1 Mul cos acot Mul Add x0 x0 x1 Mul -1 Mul Mul x1 2 Pow Add 1 Mul Mul Add x0 x0 x1 Mul Add x0 x0 x1 -1 