Mul Pow tan Mul x0 Add Add x5 -4 x2 Mul x4 Mul Mul acot x0 x0 4 -1.37340076694502 
Mul -1.37340076694502 Mul Pow tan Mul x0 Add Add x5 -4 x2 Add Mul x4 Mul Mul acot x0 x0 4 -1 Add Mul Mul x4 Mul Mul acot x0 x0 4 Mul Pow sec Mul x0 Add Add x5 -4 x2 2 Add Add x5 -4 x2 Mul Mul tan Mul x0 Add Add x5 -4 x2 log tan Mul x0 Add Add x5 -4 x2 Mul x4 Mul 4 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 acot x0 