Add Mul acot x4 Pow x0 asech x5 sin Pow x0 acot Add sin x1 asech x3 
Add Mul acot x4 Mul Pow x0 Add asech x5 -1 asech x5 Mul cos Pow x0 acot Add sin x1 asech x3 Mul Pow x0 Add acot Add sin x1 asech x3 -1 acot Add sin x1 asech x3 