Pow Add Mul sqrt x7 3 x0 Pow exp pi sin x0 
Mul Pow Add Mul sqrt x7 3 x0 Add Pow exp pi sin x0 -1 Add Pow exp pi sin x0 Mul Mul Add Mul sqrt x7 3 x0 log Add Mul sqrt x7 3 x0 Mul Pow exp pi Add sin x0 -1 Mul Mul exp pi log exp pi cos x0 