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