csc Mul Mul x0 Add cos log x7 Mul Mul 4 x0 Mul x0 pi 4 
Mul Mul Mul -1 cot Mul Mul x0 Add cos log x7 Mul Mul 4 x0 Mul x0 pi 4 csc Mul Mul x0 Add cos log x7 Mul Mul 4 x0 Mul x0 pi 4 Mul 4 Add Add cos log x7 Mul Mul 4 x0 Mul x0 pi Mul x0 Add Mul Mul x0 pi 4 Mul Mul 4 x0 pi 