Pow x0 Mul Pow sqrt x5 x0 1.57079632679490 
Mul Pow x0 Add Mul Pow sqrt x5 x0 1.57079632679490 -1 Add Mul Pow sqrt x5 x0 1.57079632679490 Mul Mul x0 log x0 Mul 1.57079632679490 Mul Pow sqrt x5 Add x0 -1 Mul sqrt x5 log sqrt x5 