acot Pow Mul Mul acot x0 Pow Mul 1.54308063481524 x0 x0 Pow x7 x0 asech x0 
Mul -1 Mul Mul Pow Mul Mul acot x0 Pow Mul 1.54308063481524 x0 x0 Pow x7 x0 Add asech x0 -1 Add Mul asech x0 Add Mul Pow x7 x0 Add Mul Pow Mul 1.54308063481524 x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow Mul 1.54308063481524 x0 Add x0 -1 Add Mul x0 1.54308063481524 Mul Mul 1.54308063481524 x0 log Mul 1.54308063481524 x0 Mul Mul acot x0 Pow Mul 1.54308063481524 x0 x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Mul Mul Mul acot x0 Pow Mul 1.54308063481524 x0 x0 Pow x7 x0 log Mul Mul acot x0 Pow Mul 1.54308063481524 x0 x0 Pow x7 x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul Pow Mul Mul acot x0 Pow Mul 1.54308063481524 x0 x0 Pow x7 x0 asech x0 Pow Mul Mul acot x0 Pow Mul 1.54308063481524 x0 x0 Pow x7 x0 asech x0 -1 