Pow x0 Mul x0 Pow Add tan Mul x0 x4 x0 acot Add x4 x0 
Mul Pow x0 Add Mul x0 Pow Add tan Mul x0 x4 x0 acot Add x4 x0 -1 Add Mul x0 Pow Add tan Mul x0 x4 x0 acot Add x4 x0 Mul Mul x0 log x0 Add Pow Add tan Mul x0 x4 x0 acot Add x4 x0 Mul x0 Mul Pow Add tan Mul x0 x4 x0 Add acot Add x4 x0 -1 Add Mul acot Add x4 x0 Add Mul Pow sec Mul x0 x4 2 x4 1 Mul Mul Add tan Mul x0 x4 x0 log Add tan Mul x0 x4 x0 Mul -1 Pow Add 1 Mul Add x4 x0 Add x4 x0 -1 