Mul atanh x7 Pow acoth Add x0 Mul acosh x1 cosh Add Mul x0 x0 cos x0 exp x0 
Mul atanh x7 Mul Pow acoth Add x0 Mul acosh x1 cosh Add Mul x0 x0 cos x0 Add exp x0 -1 Add Mul exp x0 Mul Add 1 Mul acosh x1 Mul sinh Add Mul x0 x0 cos x0 Add Add x0 x0 Mul -1 sin x0 Pow Add 1 Mul -1 Mul Add x0 Mul acosh x1 cosh Add Mul x0 x0 cos x0 Add x0 Mul acosh x1 cosh Add Mul x0 x0 cos x0 -1 Mul Mul acoth Add x0 Mul acosh x1 cosh Add Mul x0 x0 cos x0 log acoth Add x0 Mul acosh x1 cosh Add Mul x0 x0 cos x0 exp x0 