Mul Add Add Pow cos x4 x0 Add acot x0 Mul Mul x0 x5 Mul asin x0 x0 x4 -2 
Mul -2 Add Mul Pow cos x4 Add x0 -1 Mul cos x4 log cos x4 Add Mul -1 Pow Add 1 Mul x0 x0 -1 Add Mul Mul asin x0 x0 x5 Mul Mul x0 x5 Add Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 asin x0 