Pow Pow cos x2 x0 Mul asin x0 Mul x6 Pow pi 4 
Mul Pow Pow cos x2 x0 Add Mul asin x0 Mul x6 Pow pi 4 -1 Add Mul Mul asin x0 Mul x6 Pow pi 4 Mul Pow cos x2 Add x0 -1 Mul cos x2 log cos x2 Mul Mul Pow cos x2 x0 log Pow cos x2 x0 Mul Mul x6 Pow pi 4 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 