Mul asin Add Pow Add asec Add exp x0 Pow x0 E x0 Mul Mul x0 -4 acot x2 x0 E 
Mul E Mul Add Mul Pow Add asec Add exp x0 Pow x0 E x0 Add Mul Mul x0 -4 acot x2 -1 Add Mul Mul Mul x0 -4 acot x2 Add Mul Add exp x0 Mul Pow x0 Add E -1 E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add exp x0 Pow x0 E Add exp x0 Pow x0 E -1 Add exp x0 Pow x0 E Add exp x0 Pow x0 E -1 1 Mul Mul Add asec Add exp x0 Pow x0 E x0 log Add asec Add exp x0 Pow x0 E x0 Mul acot x2 -4 1 Pow sqrt Add 1 Mul -1 Mul Add Pow Add asec Add exp x0 Pow x0 E x0 Mul Mul x0 -4 acot x2 x0 Add Pow Add asec Add exp x0 Pow x0 E x0 Mul Mul x0 -4 acot x2 x0 -1 