Mul x2 asech Mul Add pi cot Mul Add Mul -4 x0 x0 x3 pi 
Mul x2 Mul Mul pi Mul Mul -1 Pow csc Mul Add Mul -4 x0 x0 x3 2 Mul x3 3 Pow Mul Mul Mul Add pi cot Mul Add Mul -4 x0 x0 x3 pi Mul Add pi cot Mul Add Mul -4 x0 x0 x3 pi sqrt Add 1 Mul -1 Pow Mul Mul Add pi cot Mul Add Mul -4 x0 x0 x3 pi Mul Add pi cot Mul Add Mul -4 x0 x0 x3 pi -1 -1 