Add Pow Mul log acot pi 2 exp x0 Add Pow Mul x0 -1 4 tan Pow x0 E 
Add Mul Pow Mul log acot pi 2 Add exp x0 -1 Mul Mul Mul log acot pi 2 log Mul log acot pi 2 exp x0 Add Mul Pow Mul x0 -1 3 3 Mul Pow sec Pow x0 E 2 Mul Pow x0 Add E -1 E 