Pow x0 Mul Mul Pow tan sqrt log Add Mul cosh x2 2 4 Add x0 Mul x6 -3 x0 x0 
Mul Pow x0 Add Mul Mul Pow tan sqrt log Add Mul cosh x2 2 4 Add x0 Mul x6 -3 x0 x0 -1 Add Mul Mul Pow tan sqrt log Add Mul cosh x2 2 4 Add x0 Mul x6 -3 x0 x0 Mul Mul x0 log x0 Add Mul x0 Add Mul x0 Mul Pow tan sqrt log Add Mul cosh x2 2 4 Add Add x0 Mul x6 -3 -1 Mul tan sqrt log Add Mul cosh x2 2 4 log tan sqrt log Add Mul cosh x2 2 4 Pow tan sqrt log Add Mul cosh x2 2 4 Add x0 Mul x6 -3 Mul Pow tan sqrt log Add Mul cosh x2 2 4 Add x0 Mul x6 -3 x0 