atanh Mul cosh sin x0 Mul atanh cot x7 x0 
Mul Add Mul Mul atanh cot x7 x0 Mul sinh sin x0 cos x0 Mul cosh sin x0 atanh cot x7 Pow Add 1 Mul -1 Mul Mul cosh sin x0 Mul atanh cot x7 x0 Mul cosh sin x0 Mul atanh cot x7 x0 -1 