cos Pow x7 Add acosh x5 Pow Pow Add x0 x0 2 x0 
Mul Mul -1 sin Pow x7 Add acosh x5 Pow Pow Add x0 x0 2 x0 Mul Pow x7 Add Add acosh x5 Pow Pow Add x0 x0 2 x0 -1 Mul Mul x7 log x7 Mul Pow Pow Add x0 x0 2 Add x0 -1 Add Mul x0 Mul Add x0 x0 4 Mul Pow Add x0 x0 2 log Pow Add x0 x0 2 