Pow Pow x0 asin x3 Pow cos x0 pi 
Mul Pow Pow x0 asin x3 Add Pow cos x0 pi -1 Add Mul Pow cos x0 pi Mul Pow x0 Add asin x3 -1 asin x3 Mul Mul Pow x0 asin x3 log Pow x0 asin x3 Mul Pow cos x0 Add pi -1 Mul pi Mul -1 sin x0 