Pow acosh Pow 4 x7 cos Pow atanh x4 x0 
Mul Pow acosh Pow 4 x7 Add cos Pow atanh x4 x0 -1 Mul Mul acosh Pow 4 x7 log acosh Pow 4 x7 Mul Mul -1 sin Pow atanh x4 x0 Mul Pow atanh x4 Add x0 -1 Mul atanh x4 log atanh x4 