tan Add acosh x1 Add -1 cosh Add x0 log exp Mul x7 csch x0 
Mul Pow sec Add acosh x1 Add -1 cosh Add x0 log exp Mul x7 csch x0 2 Mul sinh Add x0 log exp Mul x7 csch x0 Add 1 Mul Mul exp Mul x7 csch x0 Mul x7 Mul Mul -1 coth x0 csch x0 Pow exp Mul x7 csch x0 -1 