Mul pi Add exp E Mul Add sec Mul x4 atan x0 Pow Mul x0 x0 Pow cot x1 -4 pi 
Mul pi Mul pi Add Mul Mul tan Mul x4 atan x0 sec Mul x4 atan x0 Mul x4 Pow Add 1 Mul x0 x0 -1 Mul Pow Mul x0 x0 Add Pow cot x1 -4 -1 Mul Pow cot x1 -4 Add x0 x0 