Mul Pow Mul acot Add x0 -1 asech x0 sin x0 Mul Add x7 Add E -2 x2 
Mul Mul Add x7 Add E -2 x2 Mul Pow Mul acot Add x0 -1 asech x0 Add sin x0 -1 Add Mul sin x0 Add Mul asech x0 Mul -1 Pow Add 1 Mul Add x0 -1 Add x0 -1 -1 Mul acot Add x0 -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Mul acot Add x0 -1 asech x0 log Mul acot Add x0 -1 asech x0 cos x0 