sec Pow acot x1 Pow Add -4 x4 x0 
Mul Mul tan Pow acot x1 Pow Add -4 x4 x0 sec Pow acot x1 Pow Add -4 x4 x0 Mul Pow acot x1 Add Pow Add -4 x4 x0 -1 Mul Mul acot x1 log acot x1 Mul Pow Add -4 x4 Add x0 -1 Mul Add -4 x4 log Add -4 x4 