Pow Mul sinh Pow Add -2 atanh sqrt tan Add acos Add x1 x5 x0 sinh x7 Pow x0 x6 -3 
Mul Pow Mul sinh Pow Add -2 atanh sqrt tan Add acos Add x1 x5 x0 sinh x7 Pow x0 x6 4 Mul -3 Add Mul Pow x0 x6 Mul cosh Pow Add -2 atanh sqrt tan Add acos Add x1 x5 x0 sinh x7 Mul Pow Add -2 atanh sqrt tan Add acos Add x1 x5 x0 Add sinh x7 -1 Mul sinh x7 Mul Mul Pow Mul 2 sqrt tan Add acos Add x1 x5 x0 -1 Pow sec Add acos Add x1 x5 x0 2 Pow Add 1 Mul -1 Mul sqrt tan Add acos Add x1 x5 x0 sqrt tan Add acos Add x1 x5 x0 -1 Mul sinh Pow Add -2 atanh sqrt tan Add acos Add x1 x5 x0 sinh x7 Mul Pow x0 Add x6 -1 x6 