0.947 * [progress]: [Phase 1 of 3] Setting up. 0.004 * * * [progress]: [1/2] Preparing points 0.372 * * * [progress]: [2/2] Setting up program. 0.619 * [progress]: [Phase 2 of 3] Improving. 0.623 * [simplify]: Simplifying: (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) 0.623 * [simplify]: Sending expressions to egg_math: (- (* h1 h0) (* (/ 1.0 (* h2 h2)) (tan (* h1 h0))))