Mul Pow Add Mul x0 Add sec Pow x0 sech Add 2 x7 x0 acot x0 -2 Pow x0 E 
Add Mul Pow x0 E Mul Pow Add Mul x0 Add sec Pow x0 sech Add 2 x7 x0 acot x0 3 Mul -2 Add Add Add sec Pow x0 sech Add 2 x7 x0 Mul x0 Add Mul Mul tan Pow x0 sech Add 2 x7 sec Pow x0 sech Add 2 x7 Mul Pow x0 Add sech Add 2 x7 -1 sech Add 2 x7 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow Add Mul x0 Add sec Pow x0 sech Add 2 x7 x0 acot x0 -2 Mul Pow x0 Add E -1 E 