Mul Mul Add Mul x6 -4 sqrt acosh x6 x5 Add x0 Pow cos x0 Pow x6 x0 
Mul Mul Add Mul x6 -4 sqrt acosh x6 x5 Add 1 Mul Pow cos x0 Add Pow x6 x0 -1 Add Mul Pow x6 x0 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Mul Pow x6 Add x0 -1 Mul x6 log x6 