Mul x0 tan Add x0 Mul asech exp Mul Pow x0 x0 Pow x4 acot x4 x0 
Add tan Add x0 Mul asech exp Mul Pow x0 x0 Pow x4 acot x4 x0 Mul x0 Mul Pow sec Add x0 Mul asech exp Mul Pow x0 x0 Pow x4 acot x4 x0 2 Add 1 Add Mul x0 Mul Mul exp Mul Pow x0 x0 Pow x4 acot x4 Mul Pow x4 acot x4 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul Mul exp Mul Pow x0 x0 Pow x4 acot x4 exp Mul Pow x0 x0 Pow x4 acot x4 sqrt Add 1 Mul -1 Pow Mul exp Mul Pow x0 x0 Pow x4 acot x4 exp Mul Pow x0 x0 Pow x4 acot x4 -1 -1 asech exp Mul Pow x0 x0 Pow x4 acot x4 