Pow exp Add Add x0 3 sqrt sec acosh x6 x0 
Mul Pow exp Add Add x0 3 sqrt sec acosh x6 Add x0 -1 Add Mul x0 exp Add Add x0 3 sqrt sec acosh x6 Mul exp Add Add x0 3 sqrt sec acosh x6 log exp Add Add x0 3 sqrt sec acosh x6 