exp Mul Add -2 Add Pow x0 cos acot x0 x0 tan exp Mul asech x0 pi 
Mul exp Mul Add -2 Add Pow x0 cos acot x0 x0 tan exp Mul asech x0 pi Add Mul tan exp Mul asech x0 pi Add Mul Pow x0 Add cos acot x0 -1 Add cos acot x0 Mul Mul x0 log x0 Mul Mul -1 sin acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 1 Mul Add -2 Add Pow x0 cos acot x0 x0 Mul Pow sec exp Mul asech x0 pi 2 Mul exp Mul asech x0 pi Mul pi Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 