tan Add acosh x7 atanh Add Mul cosh sin x7 x0 x0 
Mul Pow sec Add acosh x7 atanh Add Mul cosh sin x7 x0 x0 2 Mul Add cosh sin x7 1 Pow Add 1 Mul -1 Mul Add Mul cosh sin x7 x0 x0 Add Mul cosh sin x7 x0 x0 -1 