cos atanh Pow Add acosh Mul E -3 x0 4 
Mul Mul -1 sin atanh Pow Add acosh Mul E -3 x0 4 Mul Mul Pow Add acosh Mul E -3 x0 3 4 Pow Add 1 Mul -1 Mul Pow Add acosh Mul E -3 x0 4 Pow Add acosh Mul E -3 x0 4 -1 