cosh Mul Mul acos Add x0 sec Add x0 x7 x3 cos cos x0 
Mul sinh Mul Mul acos Add x0 sec Add x0 x7 x3 cos cos x0 Add Mul cos cos x0 Mul x3 Mul -1 Mul Add 1 Mul tan Add x0 x7 sec Add x0 x7 Pow sqrt Add 1 Mul -1 Mul Add x0 sec Add x0 x7 Add x0 sec Add x0 x7 -1 Mul Mul acos Add x0 sec Add x0 x7 x3 Mul Mul -1 sin cos x0 Mul -1 sin x0 