Pow Pow Mul x0 x0 acsc sqrt Mul -1 Mul x0 -5 Mul x4 -2 
Mul Pow Pow Mul x0 x0 acsc sqrt Mul -1 Mul x0 -5 Add Mul x4 -2 -1 Mul Mul x4 -2 Mul Pow Mul x0 x0 Add acsc sqrt Mul -1 Mul x0 -5 -1 Add Mul acsc sqrt Mul -1 Mul x0 -5 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul -1 Mul Mul Pow Mul 2 sqrt Mul -1 Mul x0 -5 -1 6 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sqrt Mul -1 Mul x0 -5 sqrt Mul -1 Mul x0 -5 -1 sqrt Mul -1 Mul x0 -5 sqrt Mul -1 Mul x0 -5 -1 