Pow Mul x0 acot x3 Mul x0 Add sec Add Mul x0 x0 x0 4 
Mul Pow Mul x0 acot x3 Add Mul x0 Add sec Add Mul x0 x0 x0 4 -1 Add Mul Mul x0 Add sec Add Mul x0 x0 x0 4 acot x3 Mul Mul Mul x0 acot x3 log Mul x0 acot x3 Add Add sec Add Mul x0 x0 x0 4 Mul x0 Mul Mul tan Add Mul x0 x0 x0 sec Add Mul x0 x0 x0 Add Add x0 x0 1 