1.050 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.855 * * * [progress]: [2/2] Setting up program.
0.860 * [progress]: [Phase 2 of 3] Improving.
0.862 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l))))
1.312 * * [simplify]: iteration  0 :  671  enodes  (cost  14 )
1.312 * * [simplify]: iteration  1 :  671  enodes  (cost  14 )
1.313 * [simplify]: Simplified to:
   (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l))))
1.314 * * [progress]: iteration 1 / 4
1.315 * * * [progress]: picking best candidate
1.317 * * * * [pick]: Picked  #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))>
1.317 * * * [progress]: localizing error
1.330 * * * [progress]: generating rewritten candidates
1.330 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.342 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.352 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.357 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
1.363 * * * [progress]: generating series expansions
1.364 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.369 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
1.369 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.372 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.372 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.372 * [taylor]: Taking taylor expansion of (* PI l) in l
1.372 * [taylor]: Taking taylor expansion of PI in l
1.372 * [taylor]: Taking taylor expansion of l in l
1.373 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.373 * [taylor]: Taking taylor expansion of (* PI l) in l
1.373 * [taylor]: Taking taylor expansion of PI in l
1.373 * [taylor]: Taking taylor expansion of l in l
1.374 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.374 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.374 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.374 * [taylor]: Taking taylor expansion of (* PI l) in l
1.374 * [taylor]: Taking taylor expansion of PI in l
1.374 * [taylor]: Taking taylor expansion of l in l
1.374 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.374 * [taylor]: Taking taylor expansion of (* PI l) in l
1.374 * [taylor]: Taking taylor expansion of PI in l
1.374 * [taylor]: Taking taylor expansion of l in l
1.380 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
1.380 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.380 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.380 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.380 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.380 * [taylor]: Taking taylor expansion of PI in l
1.380 * [taylor]: Taking taylor expansion of l in l
1.380 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.380 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.380 * [taylor]: Taking taylor expansion of PI in l
1.380 * [taylor]: Taking taylor expansion of l in l
1.380 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.380 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.380 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.380 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.380 * [taylor]: Taking taylor expansion of PI in l
1.380 * [taylor]: Taking taylor expansion of l in l
1.380 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.380 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.380 * [taylor]: Taking taylor expansion of PI in l
1.380 * [taylor]: Taking taylor expansion of l in l
1.382 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
1.382 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.383 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.383 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.383 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.383 * [taylor]: Taking taylor expansion of -1 in l
1.383 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.383 * [taylor]: Taking taylor expansion of PI in l
1.383 * [taylor]: Taking taylor expansion of l in l
1.383 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.383 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.383 * [taylor]: Taking taylor expansion of -1 in l
1.383 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.383 * [taylor]: Taking taylor expansion of PI in l
1.383 * [taylor]: Taking taylor expansion of l in l
1.383 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.383 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.383 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.383 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.383 * [taylor]: Taking taylor expansion of -1 in l
1.383 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.383 * [taylor]: Taking taylor expansion of PI in l
1.383 * [taylor]: Taking taylor expansion of l in l
1.383 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.383 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.383 * [taylor]: Taking taylor expansion of -1 in l
1.383 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.383 * [taylor]: Taking taylor expansion of PI in l
1.383 * [taylor]: Taking taylor expansion of l in l
1.386 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.386 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in (F l) around 0
1.386 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in l
1.386 * [taylor]: Taking taylor expansion of 1.0 in l
1.386 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l
1.386 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.386 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.386 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.386 * [taylor]: Taking taylor expansion of (* PI l) in l
1.386 * [taylor]: Taking taylor expansion of PI in l
1.386 * [taylor]: Taking taylor expansion of l in l
1.386 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.386 * [taylor]: Taking taylor expansion of (* PI l) in l
1.386 * [taylor]: Taking taylor expansion of PI in l
1.386 * [taylor]: Taking taylor expansion of l in l
1.386 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.387 * [taylor]: Taking taylor expansion of F in l
1.387 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F
1.387 * [taylor]: Taking taylor expansion of 1.0 in F
1.387 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F
1.387 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
1.387 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.387 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
1.387 * [taylor]: Taking taylor expansion of (* PI l) in F
1.387 * [taylor]: Taking taylor expansion of PI in F
1.387 * [taylor]: Taking taylor expansion of l in F
1.387 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
1.387 * [taylor]: Taking taylor expansion of (* PI l) in F
1.387 * [taylor]: Taking taylor expansion of PI in F
1.387 * [taylor]: Taking taylor expansion of l in F
1.388 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.388 * [taylor]: Taking taylor expansion of F in F
1.388 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F
1.388 * [taylor]: Taking taylor expansion of 1.0 in F
1.388 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F
1.388 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
1.389 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.389 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
1.389 * [taylor]: Taking taylor expansion of (* PI l) in F
1.389 * [taylor]: Taking taylor expansion of PI in F
1.389 * [taylor]: Taking taylor expansion of l in F
1.389 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
1.389 * [taylor]: Taking taylor expansion of (* PI l) in F
1.389 * [taylor]: Taking taylor expansion of PI in F
1.389 * [taylor]: Taking taylor expansion of l in F
1.389 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.389 * [taylor]: Taking taylor expansion of F in F
1.389 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l
1.389 * [taylor]: Taking taylor expansion of 1.0 in l
1.389 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l
1.389 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.389 * [taylor]: Taking taylor expansion of (* PI l) in l
1.390 * [taylor]: Taking taylor expansion of PI in l
1.390 * [taylor]: Taking taylor expansion of l in l
1.390 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.390 * [taylor]: Taking taylor expansion of (* PI l) in l
1.390 * [taylor]: Taking taylor expansion of PI in l
1.390 * [taylor]: Taking taylor expansion of l in l
1.391 * [taylor]: Taking taylor expansion of 0 in l
1.393 * [taylor]: Taking taylor expansion of 0 in l
1.395 * [taylor]: Taking taylor expansion of 0 in l
1.397 * [taylor]: Taking taylor expansion of 0 in l
1.398 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in (F l) around 0
1.398 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in l
1.398 * [taylor]: Taking taylor expansion of 1.0 in l
1.398 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l
1.398 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.398 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.398 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.398 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.398 * [taylor]: Taking taylor expansion of PI in l
1.398 * [taylor]: Taking taylor expansion of l in l
1.398 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.398 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.398 * [taylor]: Taking taylor expansion of PI in l
1.399 * [taylor]: Taking taylor expansion of l in l
1.399 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.399 * [taylor]: Taking taylor expansion of F in l
1.399 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F
1.399 * [taylor]: Taking taylor expansion of 1.0 in F
1.399 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F
1.399 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
1.399 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.399 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.399 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.399 * [taylor]: Taking taylor expansion of PI in F
1.399 * [taylor]: Taking taylor expansion of l in F
1.399 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.399 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.399 * [taylor]: Taking taylor expansion of PI in F
1.399 * [taylor]: Taking taylor expansion of l in F
1.399 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.399 * [taylor]: Taking taylor expansion of F in F
1.399 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F
1.399 * [taylor]: Taking taylor expansion of 1.0 in F
1.399 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F
1.399 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
1.400 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.400 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.400 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.400 * [taylor]: Taking taylor expansion of PI in F
1.400 * [taylor]: Taking taylor expansion of l in F
1.400 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.400 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.400 * [taylor]: Taking taylor expansion of PI in F
1.400 * [taylor]: Taking taylor expansion of l in F
1.400 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.400 * [taylor]: Taking taylor expansion of F in F
1.400 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l
1.400 * [taylor]: Taking taylor expansion of 1.0 in l
1.400 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l
1.400 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.400 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.400 * [taylor]: Taking taylor expansion of PI in l
1.400 * [taylor]: Taking taylor expansion of l in l
1.401 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.401 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.401 * [taylor]: Taking taylor expansion of PI in l
1.401 * [taylor]: Taking taylor expansion of l in l
1.402 * [taylor]: Taking taylor expansion of 0 in l
1.403 * [taylor]: Taking taylor expansion of 0 in l
1.405 * [taylor]: Taking taylor expansion of 0 in l
1.405 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in (F l) around 0
1.405 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in l
1.405 * [taylor]: Taking taylor expansion of 1.0 in l
1.405 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l
1.405 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.405 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.405 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.405 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.405 * [taylor]: Taking taylor expansion of -1 in l
1.405 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.405 * [taylor]: Taking taylor expansion of PI in l
1.405 * [taylor]: Taking taylor expansion of l in l
1.406 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.406 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.406 * [taylor]: Taking taylor expansion of -1 in l
1.406 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.406 * [taylor]: Taking taylor expansion of PI in l
1.406 * [taylor]: Taking taylor expansion of l in l
1.406 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.406 * [taylor]: Taking taylor expansion of F in l
1.406 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F
1.406 * [taylor]: Taking taylor expansion of 1.0 in F
1.406 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F
1.406 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
1.406 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.406 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.406 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.406 * [taylor]: Taking taylor expansion of -1 in F
1.406 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.406 * [taylor]: Taking taylor expansion of PI in F
1.406 * [taylor]: Taking taylor expansion of l in F
1.406 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.406 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.406 * [taylor]: Taking taylor expansion of -1 in F
1.406 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.406 * [taylor]: Taking taylor expansion of PI in F
1.406 * [taylor]: Taking taylor expansion of l in F
1.407 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.407 * [taylor]: Taking taylor expansion of F in F
1.407 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F
1.407 * [taylor]: Taking taylor expansion of 1.0 in F
1.407 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F
1.407 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
1.407 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.407 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.407 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.407 * [taylor]: Taking taylor expansion of -1 in F
1.407 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.407 * [taylor]: Taking taylor expansion of PI in F
1.407 * [taylor]: Taking taylor expansion of l in F
1.407 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.407 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.407 * [taylor]: Taking taylor expansion of -1 in F
1.407 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.407 * [taylor]: Taking taylor expansion of PI in F
1.407 * [taylor]: Taking taylor expansion of l in F
1.408 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.408 * [taylor]: Taking taylor expansion of F in F
1.408 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l
1.408 * [taylor]: Taking taylor expansion of 1.0 in l
1.408 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l
1.408 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.408 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.408 * [taylor]: Taking taylor expansion of -1 in l
1.408 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.408 * [taylor]: Taking taylor expansion of PI in l
1.408 * [taylor]: Taking taylor expansion of l in l
1.408 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.408 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.408 * [taylor]: Taking taylor expansion of -1 in l
1.408 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.408 * [taylor]: Taking taylor expansion of PI in l
1.408 * [taylor]: Taking taylor expansion of l in l
1.410 * [taylor]: Taking taylor expansion of 0 in l
1.411 * [taylor]: Taking taylor expansion of 0 in l
1.414 * [taylor]: Taking taylor expansion of 0 in l
1.414 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.414 * [approximate]: Taking taylor expansion of (/ 1.0 (pow F 2)) in (F) around 0
1.414 * [taylor]: Taking taylor expansion of (/ 1.0 (pow F 2)) in F
1.414 * [taylor]: Taking taylor expansion of 1.0 in F
1.414 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.414 * [taylor]: Taking taylor expansion of F in F
1.414 * [taylor]: Taking taylor expansion of (/ 1.0 (pow F 2)) in F
1.414 * [taylor]: Taking taylor expansion of 1.0 in F
1.414 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.414 * [taylor]: Taking taylor expansion of F in F
1.416 * [approximate]: Taking taylor expansion of (* 1.0 (pow F 2)) in (F) around 0
1.416 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F
1.416 * [taylor]: Taking taylor expansion of 1.0 in F
1.416 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.416 * [taylor]: Taking taylor expansion of F in F
1.416 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F
1.416 * [taylor]: Taking taylor expansion of 1.0 in F
1.416 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.416 * [taylor]: Taking taylor expansion of F in F
1.417 * [approximate]: Taking taylor expansion of (* 1.0 (pow F 2)) in (F) around 0
1.417 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F
1.417 * [taylor]: Taking taylor expansion of 1.0 in F
1.417 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.417 * [taylor]: Taking taylor expansion of F in F
1.417 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F
1.417 * [taylor]: Taking taylor expansion of 1.0 in F
1.417 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.417 * [taylor]: Taking taylor expansion of F in F
1.418 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
1.418 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.418 * [taylor]: Taking taylor expansion of (* PI l) in l
1.418 * [taylor]: Taking taylor expansion of PI in l
1.418 * [taylor]: Taking taylor expansion of l in l
1.418 * [taylor]: Taking taylor expansion of (* PI l) in l
1.418 * [taylor]: Taking taylor expansion of PI in l
1.418 * [taylor]: Taking taylor expansion of l in l
1.419 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.419 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.419 * [taylor]: Taking taylor expansion of PI in l
1.419 * [taylor]: Taking taylor expansion of l in l
1.419 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.419 * [taylor]: Taking taylor expansion of PI in l
1.419 * [taylor]: Taking taylor expansion of l in l
1.420 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.420 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.420 * [taylor]: Taking taylor expansion of -1 in l
1.420 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.420 * [taylor]: Taking taylor expansion of PI in l
1.420 * [taylor]: Taking taylor expansion of l in l
1.420 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.420 * [taylor]: Taking taylor expansion of -1 in l
1.420 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.420 * [taylor]: Taking taylor expansion of PI in l
1.420 * [taylor]: Taking taylor expansion of l in l
1.421 * * * [progress]: simplifying candidates
1.422 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sin.f64 (*.f64 PI.f64 l))
  (cos.f64 (*.f64 PI.f64 l))
  (log.f64 (tan.f64 (*.f64 PI.f64 l)))
  (exp.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))
  (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l)))
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))
  (+.f64 (-.f64 (log.f64 1.0) (+.f64 (log.f64 F) (log.f64 F))) (log.f64 (tan.f64 (*.f64 PI.f64 l))))
  (+.f64 (-.f64 (log.f64 1.0) (log.f64 (*.f64 F F))) (log.f64 (tan.f64 (*.f64 PI.f64 l))))
  (+.f64 (log.f64 (/.f64 1.0 (*.f64 F F))) (log.f64 (tan.f64 (*.f64 PI.f64 l))))
  (log.f64 (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l))))
  (exp.f64 (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l))))
  (*.f64 (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 (*.f64 F F) F) (*.f64 (*.f64 F F) F))) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))))
  (*.f64 (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 (*.f64 F F) (*.f64 F F)) (*.f64 F F))) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))))
  (*.f64 (*.f64 (*.f64 (/.f64 1.0 (*.f64 F F)) (/.f64 1.0 (*.f64 F F))) (/.f64 1.0 (*.f64 F F))) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))
  (cbrt.f64 (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l))))
  (*.f64 (*.f64 (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l))))
  (sqrt.f64 (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l))))
  (sqrt.f64 (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l))))
  (*.f64 1.0 (sin.f64 (*.f64 PI.f64 l)))
  (*.f64 (*.f64 F F) (cos.f64 (*.f64 PI.f64 l)))
  (*.f64 (sqrt.f64 (/.f64 1.0 (*.f64 F F))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))
  (*.f64 (sqrt.f64 (/.f64 1.0 (*.f64 F F))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))
  (*.f64 (/.f64 (sqrt.f64 1.0) F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))
  (*.f64 (/.f64 (sqrt.f64 1.0) F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))
  (*.f64 (/.f64 1.0 (*.f64 F F)) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))
  (*.f64 (/.f64 1.0 (*.f64 F F)) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))
  (*.f64 (/.f64 1.0 (*.f64 F F)) 1)
  (*.f64 (cbrt.f64 (/.f64 1.0 (*.f64 F F))) (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (sqrt.f64 (/.f64 1.0 (*.f64 F F))) (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (/.f64 (cbrt.f64 1.0) F) (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (/.f64 (sqrt.f64 1.0) F) (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (/.f64 1.0 F) (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (/.f64 1.0 (*.f64 F F)) (sin.f64 (*.f64 PI.f64 l)))
  (*.f64 1.0 (tan.f64 (*.f64 PI.f64 l)))
  (-.f64 (log.f64 1.0) (+.f64 (log.f64 F) (log.f64 F)))
  (-.f64 (log.f64 1.0) (log.f64 (*.f64 F F)))
  (log.f64 (/.f64 1.0 (*.f64 F F)))
  (exp.f64 (/.f64 1.0 (*.f64 F F)))
  (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 (*.f64 F F) F) (*.f64 (*.f64 F F) F)))
  (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 (*.f64 F F) (*.f64 F F)) (*.f64 F F)))
  (*.f64 (cbrt.f64 (/.f64 1.0 (*.f64 F F))) (cbrt.f64 (/.f64 1.0 (*.f64 F F))))
  (cbrt.f64 (/.f64 1.0 (*.f64 F F)))
  (*.f64 (*.f64 (/.f64 1.0 (*.f64 F F)) (/.f64 1.0 (*.f64 F F))) (/.f64 1.0 (*.f64 F F)))
  (sqrt.f64 (/.f64 1.0 (*.f64 F F)))
  (sqrt.f64 (/.f64 1.0 (*.f64 F F)))
  (neg.f64 1.0)
  (neg.f64 (*.f64 F F))
  (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) F)
  (/.f64 (cbrt.f64 1.0) F)
  (/.f64 (sqrt.f64 1.0) F)
  (/.f64 (sqrt.f64 1.0) F)
  (/.f64 1 F)
  (/.f64 1.0 F)
  (/.f64 1 (*.f64 F F))
  (/.f64 (*.f64 F F) 1.0)
  (/.f64 1.0 F)
  (/.f64 (*.f64 F F) (cbrt.f64 1.0))
  (/.f64 (*.f64 F F) (sqrt.f64 1.0))
  (/.f64 (*.f64 F F) 1.0)
  (*.f64 PI.f64 l)
  (+.f64 (log.f64 PI.f64) (log.f64 l))
  (log.f64 (*.f64 PI.f64 l))
  (exp.f64 (*.f64 PI.f64 l))
  (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l))
  (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)))
  (cbrt.f64 (*.f64 PI.f64 l))
  (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
  (*.f64 PI.f64 (sqrt.f64 l))
  (*.f64 PI.f64 1)
  (*.f64 (cbrt.f64 PI.f64) l)
  (*.f64 (sqrt.f64 PI.f64) l)
  (*.f64 PI.f64 l)
  (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)))))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (+.f64 (*.f64 1.0 (/.f64 (*.f64 PI.f64 l) (pow.f64 F 2))) (*.f64 0.3333333333333333 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) (pow.f64 F 2))))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))))
  (/.f64 1.0 (pow.f64 F 2))
  (/.f64 1.0 (pow.f64 F 2))
  (/.f64 1.0 (pow.f64 F 2))
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
1.473 * * [simplify]: iteration  0 :  5076  enodes  (cost  722 )
1.477 * [simplify]: Simplified to:
   (sin.f64 (*.f64 PI.f64 l))
  (cos.f64 (*.f64 PI.f64 l))
  (log.f64 (tan.f64 (*.f64 PI.f64 l)))
  (exp.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))
  (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3)
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F F)))
  (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F F))))
  (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F F))))
  (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F F))))
  (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F F))))
  (pow.f64 (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 (*.f64 F F)))
  (/.f64 (pow.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) 3) (pow.f64 F 6))
  (/.f64 (pow.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) 3) (pow.f64 F 6))
  (/.f64 (pow.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) 3) (pow.f64 F 6))
  (*.f64 (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F F)))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F F)))))
  (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F F))))
  (/.f64 (pow.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) 3) (pow.f64 F 6))
  (sqrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F F))))
  (sqrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F F))))
  (*.f64 (sin.f64 (*.f64 PI.f64 l)) 1.0)
  (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (/.f64 1.0 (*.f64 F F))))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (/.f64 1.0 (*.f64 F F))))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (sqrt.f64 1.0) F))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (sqrt.f64 1.0) F))
  (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1.0 (*.f64 F F)))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 (*.f64 F F)))
  (/.f64 1.0 (*.f64 F F))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 (/.f64 1.0 (*.f64 F F))))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 (/.f64 1.0 (*.f64 F F))))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (cbrt.f64 1.0) F))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) F))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F F)))
  (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))
  (*.f64 (sin.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)
  (log.f64 (/.f64 1.0 (*.f64 F F)))
  (log.f64 (/.f64 1.0 (*.f64 F F)))
  (log.f64 (/.f64 1.0 (*.f64 F F)))
  (exp.f64 (/.f64 1.0 (*.f64 F F)))
  (/.f64 (pow.f64 1.0 3) (pow.f64 F 6))
  (/.f64 (pow.f64 1.0 3) (pow.f64 F 6))
  (*.f64 (cbrt.f64 (/.f64 1.0 (*.f64 F F))) (cbrt.f64 (/.f64 1.0 (*.f64 F F))))
  (cbrt.f64 (/.f64 1.0 (*.f64 F F)))
  (/.f64 (pow.f64 1.0 3) (pow.f64 F 6))
  (sqrt.f64 (/.f64 1.0 (*.f64 F F)))
  (sqrt.f64 (/.f64 1.0 (*.f64 F F)))
  (neg.f64 1.0)
  (neg.f64 (*.f64 F F))
  (*.f64 (cbrt.f64 1.0) (/.f64 (cbrt.f64 1.0) F))
  (/.f64 (cbrt.f64 1.0) F)
  (/.f64 (sqrt.f64 1.0) F)
  (/.f64 (sqrt.f64 1.0) F)
  (/.f64 1 F)
  (/.f64 1.0 F)
  (/.f64 1 (*.f64 F F))
  (/.f64 F (/.f64 1.0 F))
  (/.f64 1.0 F)
  (/.f64 F (/.f64 (cbrt.f64 1.0) F))
  (/.f64 F (/.f64 (sqrt.f64 1.0) F))
  (/.f64 F (/.f64 1.0 F))
  (*.f64 PI.f64 l)
  (log.f64 (*.f64 PI.f64 l))
  (log.f64 (*.f64 PI.f64 l))
  (exp.f64 (*.f64 PI.f64 l))
  (pow.f64 (*.f64 PI.f64 l) 3)
  (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)))
  (cbrt.f64 (*.f64 PI.f64 l))
  (pow.f64 (*.f64 PI.f64 l) 3)
  (sqrt.f64 (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
  (*.f64 PI.f64 (sqrt.f64 l))
  PI.f64
  (*.f64 l (cbrt.f64 PI.f64))
  (*.f64 l (sqrt.f64 PI.f64))
  (*.f64 PI.f64 l)
  (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3)))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (+.f64 (*.f64 1.0 (/.f64 (*.f64 PI.f64 l) (*.f64 F F))) (*.f64 0.3333333333333333 (/.f64 (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 F F))))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))))
  (/.f64 1.0 (*.f64 F F))
  (/.f64 1.0 (*.f64 F F))
  (/.f64 1.0 (*.f64 F F))
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
1.477 * * * [progress]: adding candidates to table
1.584 * * [progress]: iteration 2 / 4
1.585 * * * [progress]: picking best candidate
1.608 * * * * [pick]: Picked  #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))>
1.608 * * * [progress]: localizing error
1.618 * * * [progress]: generating rewritten candidates
1.619 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
1.621 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1)
1.625 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.629 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.641 * * * [progress]: generating series expansions
1.641 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
1.641 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
1.641 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.641 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.641 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.641 * [taylor]: Taking taylor expansion of (* PI l) in l
1.641 * [taylor]: Taking taylor expansion of PI in l
1.641 * [taylor]: Taking taylor expansion of l in l
1.641 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.641 * [taylor]: Taking taylor expansion of (* PI l) in l
1.641 * [taylor]: Taking taylor expansion of PI in l
1.641 * [taylor]: Taking taylor expansion of l in l
1.642 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.642 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.642 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.642 * [taylor]: Taking taylor expansion of (* PI l) in l
1.642 * [taylor]: Taking taylor expansion of PI in l
1.642 * [taylor]: Taking taylor expansion of l in l
1.642 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.642 * [taylor]: Taking taylor expansion of (* PI l) in l
1.642 * [taylor]: Taking taylor expansion of PI in l
1.642 * [taylor]: Taking taylor expansion of l in l
1.645 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
1.645 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.645 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.645 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.645 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.645 * [taylor]: Taking taylor expansion of PI in l
1.645 * [taylor]: Taking taylor expansion of l in l
1.645 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.645 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.645 * [taylor]: Taking taylor expansion of PI in l
1.645 * [taylor]: Taking taylor expansion of l in l
1.645 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.646 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.646 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.646 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.646 * [taylor]: Taking taylor expansion of PI in l
1.646 * [taylor]: Taking taylor expansion of l in l
1.646 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.646 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.646 * [taylor]: Taking taylor expansion of PI in l
1.646 * [taylor]: Taking taylor expansion of l in l
1.648 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
1.648 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.648 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.648 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.648 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.648 * [taylor]: Taking taylor expansion of -1 in l
1.648 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.648 * [taylor]: Taking taylor expansion of PI in l
1.648 * [taylor]: Taking taylor expansion of l in l
1.648 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.648 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.648 * [taylor]: Taking taylor expansion of -1 in l
1.648 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.648 * [taylor]: Taking taylor expansion of PI in l
1.648 * [taylor]: Taking taylor expansion of l in l
1.648 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.648 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.648 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.648 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.648 * [taylor]: Taking taylor expansion of -1 in l
1.648 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.648 * [taylor]: Taking taylor expansion of PI in l
1.648 * [taylor]: Taking taylor expansion of l in l
1.648 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.648 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.649 * [taylor]: Taking taylor expansion of -1 in l
1.649 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.649 * [taylor]: Taking taylor expansion of PI in l
1.649 * [taylor]: Taking taylor expansion of l in l
1.651 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1)
1.651 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.651 * [taylor]: Taking taylor expansion of (* PI l) in l
1.651 * [taylor]: Taking taylor expansion of PI in l
1.651 * [taylor]: Taking taylor expansion of l in l
1.651 * [taylor]: Taking taylor expansion of (* PI l) in l
1.651 * [taylor]: Taking taylor expansion of PI in l
1.651 * [taylor]: Taking taylor expansion of l in l
1.652 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.652 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.652 * [taylor]: Taking taylor expansion of PI in l
1.652 * [taylor]: Taking taylor expansion of l in l
1.652 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.652 * [taylor]: Taking taylor expansion of PI in l
1.652 * [taylor]: Taking taylor expansion of l in l
1.653 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.653 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.653 * [taylor]: Taking taylor expansion of -1 in l
1.653 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.653 * [taylor]: Taking taylor expansion of PI in l
1.653 * [taylor]: Taking taylor expansion of l in l
1.653 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.653 * [taylor]: Taking taylor expansion of -1 in l
1.653 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.653 * [taylor]: Taking taylor expansion of PI in l
1.653 * [taylor]: Taking taylor expansion of l in l
1.654 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.654 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.654 * [taylor]: Taking taylor expansion of (* PI l) in l
1.654 * [taylor]: Taking taylor expansion of PI in l
1.654 * [taylor]: Taking taylor expansion of l in l
1.654 * [taylor]: Taking taylor expansion of (* PI l) in l
1.654 * [taylor]: Taking taylor expansion of PI in l
1.654 * [taylor]: Taking taylor expansion of l in l
1.655 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.655 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.655 * [taylor]: Taking taylor expansion of PI in l
1.655 * [taylor]: Taking taylor expansion of l in l
1.655 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.655 * [taylor]: Taking taylor expansion of PI in l
1.655 * [taylor]: Taking taylor expansion of l in l
1.656 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.656 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.656 * [taylor]: Taking taylor expansion of -1 in l
1.656 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.656 * [taylor]: Taking taylor expansion of PI in l
1.656 * [taylor]: Taking taylor expansion of l in l
1.656 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.656 * [taylor]: Taking taylor expansion of -1 in l
1.656 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.656 * [taylor]: Taking taylor expansion of PI in l
1.656 * [taylor]: Taking taylor expansion of l in l
1.657 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.657 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in (l F) around 0
1.657 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F
1.657 * [taylor]: Taking taylor expansion of 1.0 in F
1.657 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F
1.657 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
1.657 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.657 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
1.657 * [taylor]: Taking taylor expansion of (* PI l) in F
1.657 * [taylor]: Taking taylor expansion of PI in F
1.657 * [taylor]: Taking taylor expansion of l in F
1.657 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
1.657 * [taylor]: Taking taylor expansion of (* PI l) in F
1.657 * [taylor]: Taking taylor expansion of PI in F
1.657 * [taylor]: Taking taylor expansion of l in F
1.658 * [taylor]: Taking taylor expansion of F in F
1.658 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l
1.658 * [taylor]: Taking taylor expansion of 1.0 in l
1.658 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
1.658 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.658 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.658 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.658 * [taylor]: Taking taylor expansion of (* PI l) in l
1.658 * [taylor]: Taking taylor expansion of PI in l
1.658 * [taylor]: Taking taylor expansion of l in l
1.658 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.658 * [taylor]: Taking taylor expansion of (* PI l) in l
1.658 * [taylor]: Taking taylor expansion of PI in l
1.658 * [taylor]: Taking taylor expansion of l in l
1.658 * [taylor]: Taking taylor expansion of F in l
1.658 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l
1.658 * [taylor]: Taking taylor expansion of 1.0 in l
1.658 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
1.659 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.659 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.659 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.659 * [taylor]: Taking taylor expansion of (* PI l) in l
1.659 * [taylor]: Taking taylor expansion of PI in l
1.659 * [taylor]: Taking taylor expansion of l in l
1.659 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.659 * [taylor]: Taking taylor expansion of (* PI l) in l
1.659 * [taylor]: Taking taylor expansion of PI in l
1.659 * [taylor]: Taking taylor expansion of l in l
1.659 * [taylor]: Taking taylor expansion of F in l
1.659 * [taylor]: Taking taylor expansion of (* 1.0 (/ PI F)) in F
1.659 * [taylor]: Taking taylor expansion of 1.0 in F
1.659 * [taylor]: Taking taylor expansion of (/ PI F) in F
1.659 * [taylor]: Taking taylor expansion of PI in F
1.659 * [taylor]: Taking taylor expansion of F in F
1.659 * [taylor]: Taking taylor expansion of 0 in F
1.660 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (pow PI 3) F)) in F
1.660 * [taylor]: Taking taylor expansion of 0.3333333333333333 in F
1.660 * [taylor]: Taking taylor expansion of (/ (pow PI 3) F) in F
1.660 * [taylor]: Taking taylor expansion of (pow PI 3) in F
1.661 * [taylor]: Taking taylor expansion of PI in F
1.661 * [taylor]: Taking taylor expansion of F in F
1.662 * [taylor]: Taking taylor expansion of 0 in F
1.664 * [taylor]: Taking taylor expansion of (* 0.13333333333333333 (/ (pow PI 5) F)) in F
1.664 * [taylor]: Taking taylor expansion of 0.13333333333333333 in F
1.664 * [taylor]: Taking taylor expansion of (/ (pow PI 5) F) in F
1.664 * [taylor]: Taking taylor expansion of (pow PI 5) in F
1.664 * [taylor]: Taking taylor expansion of PI in F
1.664 * [taylor]: Taking taylor expansion of F in F
1.665 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in (l F) around 0
1.665 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F
1.665 * [taylor]: Taking taylor expansion of 1.0 in F
1.665 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F
1.665 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
1.665 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.665 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.666 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.666 * [taylor]: Taking taylor expansion of PI in F
1.666 * [taylor]: Taking taylor expansion of l in F
1.666 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.666 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.666 * [taylor]: Taking taylor expansion of PI in F
1.666 * [taylor]: Taking taylor expansion of l in F
1.666 * [taylor]: Taking taylor expansion of F in F
1.666 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l
1.666 * [taylor]: Taking taylor expansion of 1.0 in l
1.666 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
1.666 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.666 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.666 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.666 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.666 * [taylor]: Taking taylor expansion of PI in l
1.666 * [taylor]: Taking taylor expansion of l in l
1.666 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.666 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.666 * [taylor]: Taking taylor expansion of PI in l
1.666 * [taylor]: Taking taylor expansion of l in l
1.667 * [taylor]: Taking taylor expansion of F in l
1.667 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l
1.667 * [taylor]: Taking taylor expansion of 1.0 in l
1.667 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
1.667 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.667 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.667 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.667 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.667 * [taylor]: Taking taylor expansion of PI in l
1.667 * [taylor]: Taking taylor expansion of l in l
1.667 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.667 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.667 * [taylor]: Taking taylor expansion of PI in l
1.667 * [taylor]: Taking taylor expansion of l in l
1.667 * [taylor]: Taking taylor expansion of F in l
1.667 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (sin (/ PI l)) F) (cos (/ PI l)))) in F
1.667 * [taylor]: Taking taylor expansion of 1.0 in F
1.667 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) F) (cos (/ PI l))) in F
1.667 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) F) in F
1.667 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.667 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.667 * [taylor]: Taking taylor expansion of PI in F
1.667 * [taylor]: Taking taylor expansion of l in F
1.667 * [taylor]: Taking taylor expansion of F in F
1.667 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.667 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.667 * [taylor]: Taking taylor expansion of PI in F
1.667 * [taylor]: Taking taylor expansion of l in F
1.668 * [taylor]: Taking taylor expansion of 0 in F
1.669 * [taylor]: Taking taylor expansion of 0 in F
1.670 * [taylor]: Taking taylor expansion of 0 in F
1.671 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in (l F) around 0
1.671 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F
1.671 * [taylor]: Taking taylor expansion of -1.0 in F
1.671 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F
1.671 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
1.671 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.671 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.671 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.671 * [taylor]: Taking taylor expansion of -1 in F
1.671 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.671 * [taylor]: Taking taylor expansion of PI in F
1.671 * [taylor]: Taking taylor expansion of l in F
1.671 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.671 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.671 * [taylor]: Taking taylor expansion of -1 in F
1.671 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.671 * [taylor]: Taking taylor expansion of PI in F
1.671 * [taylor]: Taking taylor expansion of l in F
1.672 * [taylor]: Taking taylor expansion of F in F
1.672 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l
1.672 * [taylor]: Taking taylor expansion of -1.0 in l
1.672 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
1.672 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.672 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.672 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.672 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.672 * [taylor]: Taking taylor expansion of -1 in l
1.672 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.672 * [taylor]: Taking taylor expansion of PI in l
1.672 * [taylor]: Taking taylor expansion of l in l
1.672 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.672 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.672 * [taylor]: Taking taylor expansion of -1 in l
1.672 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.672 * [taylor]: Taking taylor expansion of PI in l
1.672 * [taylor]: Taking taylor expansion of l in l
1.672 * [taylor]: Taking taylor expansion of F in l
1.672 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l
1.672 * [taylor]: Taking taylor expansion of -1.0 in l
1.672 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
1.672 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.673 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.673 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.673 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.673 * [taylor]: Taking taylor expansion of -1 in l
1.673 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.673 * [taylor]: Taking taylor expansion of PI in l
1.673 * [taylor]: Taking taylor expansion of l in l
1.673 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.673 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.673 * [taylor]: Taking taylor expansion of -1 in l
1.673 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.673 * [taylor]: Taking taylor expansion of PI in l
1.673 * [taylor]: Taking taylor expansion of l in l
1.673 * [taylor]: Taking taylor expansion of F in l
1.673 * [taylor]: Taking taylor expansion of (* -1.0 (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in F
1.673 * [taylor]: Taking taylor expansion of -1.0 in F
1.673 * [taylor]: Taking taylor expansion of (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F
1.673 * [taylor]: Taking taylor expansion of (* F (sin (* -1 (/ PI l)))) in F
1.673 * [taylor]: Taking taylor expansion of F in F
1.673 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.673 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.673 * [taylor]: Taking taylor expansion of -1 in F
1.673 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.673 * [taylor]: Taking taylor expansion of PI in F
1.673 * [taylor]: Taking taylor expansion of l in F
1.674 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.674 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.674 * [taylor]: Taking taylor expansion of -1 in F
1.674 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.674 * [taylor]: Taking taylor expansion of PI in F
1.674 * [taylor]: Taking taylor expansion of l in F
1.675 * [taylor]: Taking taylor expansion of 0 in F
1.676 * [taylor]: Taking taylor expansion of 0 in F
1.678 * [taylor]: Taking taylor expansion of 0 in F
1.678 * * * [progress]: simplifying candidates
1.679 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sin.f64 (*.f64 PI.f64 l))
  (cos.f64 (*.f64 PI.f64 l))
  (log.f64 (tan.f64 (*.f64 PI.f64 l)))
  (exp.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))
  (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l)))
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 PI.f64 l)
  (+.f64 (log.f64 PI.f64) (log.f64 l))
  (log.f64 (*.f64 PI.f64 l))
  (exp.f64 (*.f64 PI.f64 l))
  (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l))
  (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)))
  (cbrt.f64 (*.f64 PI.f64 l))
  (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
  (*.f64 PI.f64 (sqrt.f64 l))
  (*.f64 PI.f64 1)
  (*.f64 (cbrt.f64 PI.f64) l)
  (*.f64 (sqrt.f64 PI.f64) l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (+.f64 (log.f64 PI.f64) (log.f64 l))
  (log.f64 (*.f64 PI.f64 l))
  (exp.f64 (*.f64 PI.f64 l))
  (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l))
  (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)))
  (cbrt.f64 (*.f64 PI.f64 l))
  (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
  (*.f64 PI.f64 (sqrt.f64 l))
  (*.f64 PI.f64 1)
  (*.f64 (cbrt.f64 PI.f64) l)
  (*.f64 (sqrt.f64 PI.f64) l)
  (*.f64 PI.f64 l)
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))
  (+.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (-.f64 (log.f64 1.0) (log.f64 F)))
  (+.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (/.f64 1.0 F)))
  (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (exp.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (*.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 F F) F)))
  (*.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (/.f64 1.0 F) (/.f64 1.0 F)) (/.f64 1.0 F)))
  (*.f64 (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))))
  (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (*.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (sqrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (sqrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (*.f64 (sin.f64 (*.f64 PI.f64 l)) 1.0)
  (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (/.f64 1.0 F)))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (/.f64 1.0 F)))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 F)))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 (/.f64 1.0 F)) (cbrt.f64 (/.f64 1.0 F))))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 (/.f64 1.0 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) 1))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) 1))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1 (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1 1))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1)
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)
  (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 F))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 F))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)
  (*.f64 (sin.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))
  (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)))))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (+.f64 (*.f64 1.0 (/.f64 (*.f64 PI.f64 l) F)) (+.f64 (*.f64 0.3333333333333333 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) F)) (*.f64 0.13333333333333333 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) F))))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)))
1.723 * * [simplify]: iteration  0 :  4946  enodes  (cost  657 )
1.723 * * [simplify]: iteration  1 :  4946  enodes  (cost  657 )
1.726 * [simplify]: Simplified to:
   (sin.f64 (*.f64 PI.f64 l))
  (cos.f64 (*.f64 PI.f64 l))
  (log.f64 (tan.f64 (*.f64 PI.f64 l)))
  (exp.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))
  (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3)
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 PI.f64 l)
  (log.f64 (*.f64 PI.f64 l))
  (log.f64 (*.f64 PI.f64 l))
  (exp.f64 (*.f64 PI.f64 l))
  (pow.f64 (*.f64 PI.f64 l) 3)
  (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)))
  (cbrt.f64 (*.f64 PI.f64 l))
  (pow.f64 (*.f64 PI.f64 l) 3)
  (sqrt.f64 (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
  (*.f64 PI.f64 (sqrt.f64 l))
  PI.f64
  (*.f64 l (cbrt.f64 PI.f64))
  (*.f64 l (sqrt.f64 PI.f64))
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (log.f64 (*.f64 PI.f64 l))
  (log.f64 (*.f64 PI.f64 l))
  (exp.f64 (*.f64 PI.f64 l))
  (pow.f64 (*.f64 PI.f64 l) 3)
  (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)))
  (cbrt.f64 (*.f64 PI.f64 l))
  (pow.f64 (*.f64 PI.f64 l) 3)
  (sqrt.f64 (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
  (*.f64 PI.f64 (sqrt.f64 l))
  PI.f64
  (*.f64 l (cbrt.f64 PI.f64))
  (*.f64 l (sqrt.f64 PI.f64))
  (*.f64 PI.f64 l)
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))
  (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (pow.f64 (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 F))
  (pow.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) 3)
  (pow.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) 3)
  (*.f64 (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))))
  (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (pow.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) 3)
  (sqrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (sqrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (*.f64 (sin.f64 (*.f64 PI.f64 l)) 1.0)
  (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (/.f64 1.0 F)))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (/.f64 1.0 F)))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 F)))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 (/.f64 1.0 F)) (cbrt.f64 (/.f64 1.0 F))))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 (/.f64 1.0 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 1.0))
  (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))
  (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F))
  (tan.f64 (*.f64 PI.f64 l))
  (tan.f64 (*.f64 PI.f64 l))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)
  (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 F))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 F))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)
  (*.f64 (sin.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))
  (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3)))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (+.f64 (*.f64 (*.f64 PI.f64 l) (/.f64 1.0 F)) (+.f64 (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) (/.f64 0.3333333333333333 F)) (*.f64 0.13333333333333333 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) F))))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)))
1.727 * * * [progress]: adding candidates to table
1.821 * * [progress]: iteration 3 / 4
1.821 * * * [progress]: picking best candidate
1.865 * * * * [pick]: Picked  #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))))>
1.865 * * * [progress]: localizing error
1.876 * * * [progress]: generating rewritten candidates
1.876 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
1.878 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1)
1.882 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.886 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.893 * * * [progress]: generating series expansions
1.893 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
1.893 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
1.893 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.893 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.893 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.893 * [taylor]: Taking taylor expansion of (* PI l) in l
1.893 * [taylor]: Taking taylor expansion of PI in l
1.893 * [taylor]: Taking taylor expansion of l in l
1.893 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.893 * [taylor]: Taking taylor expansion of (* PI l) in l
1.893 * [taylor]: Taking taylor expansion of PI in l
1.893 * [taylor]: Taking taylor expansion of l in l
1.894 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.894 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.894 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.894 * [taylor]: Taking taylor expansion of (* PI l) in l
1.894 * [taylor]: Taking taylor expansion of PI in l
1.894 * [taylor]: Taking taylor expansion of l in l
1.894 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.894 * [taylor]: Taking taylor expansion of (* PI l) in l
1.894 * [taylor]: Taking taylor expansion of PI in l
1.894 * [taylor]: Taking taylor expansion of l in l
1.897 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
1.897 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.897 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.897 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.897 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.897 * [taylor]: Taking taylor expansion of PI in l
1.897 * [taylor]: Taking taylor expansion of l in l
1.897 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.897 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.897 * [taylor]: Taking taylor expansion of PI in l
1.897 * [taylor]: Taking taylor expansion of l in l
1.898 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.898 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.898 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.898 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.898 * [taylor]: Taking taylor expansion of PI in l
1.898 * [taylor]: Taking taylor expansion of l in l
1.898 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.898 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.898 * [taylor]: Taking taylor expansion of PI in l
1.898 * [taylor]: Taking taylor expansion of l in l
1.900 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
1.900 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.900 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.900 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.900 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.900 * [taylor]: Taking taylor expansion of -1 in l
1.900 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.900 * [taylor]: Taking taylor expansion of PI in l
1.900 * [taylor]: Taking taylor expansion of l in l
1.900 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.900 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.900 * [taylor]: Taking taylor expansion of -1 in l
1.900 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.900 * [taylor]: Taking taylor expansion of PI in l
1.900 * [taylor]: Taking taylor expansion of l in l
1.900 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.900 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.900 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.900 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.900 * [taylor]: Taking taylor expansion of -1 in l
1.900 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.900 * [taylor]: Taking taylor expansion of PI in l
1.900 * [taylor]: Taking taylor expansion of l in l
1.901 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.901 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.901 * [taylor]: Taking taylor expansion of -1 in l
1.901 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.901 * [taylor]: Taking taylor expansion of PI in l
1.901 * [taylor]: Taking taylor expansion of l in l
1.903 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1)
1.903 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.903 * [taylor]: Taking taylor expansion of (* PI l) in l
1.903 * [taylor]: Taking taylor expansion of PI in l
1.903 * [taylor]: Taking taylor expansion of l in l
1.903 * [taylor]: Taking taylor expansion of (* PI l) in l
1.903 * [taylor]: Taking taylor expansion of PI in l
1.903 * [taylor]: Taking taylor expansion of l in l
1.904 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.904 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.904 * [taylor]: Taking taylor expansion of PI in l
1.904 * [taylor]: Taking taylor expansion of l in l
1.904 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.904 * [taylor]: Taking taylor expansion of PI in l
1.904 * [taylor]: Taking taylor expansion of l in l
1.905 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.905 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.905 * [taylor]: Taking taylor expansion of -1 in l
1.905 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.905 * [taylor]: Taking taylor expansion of PI in l
1.905 * [taylor]: Taking taylor expansion of l in l
1.905 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.905 * [taylor]: Taking taylor expansion of -1 in l
1.905 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.905 * [taylor]: Taking taylor expansion of PI in l
1.905 * [taylor]: Taking taylor expansion of l in l
1.906 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.906 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.906 * [taylor]: Taking taylor expansion of (* PI l) in l
1.906 * [taylor]: Taking taylor expansion of PI in l
1.906 * [taylor]: Taking taylor expansion of l in l
1.906 * [taylor]: Taking taylor expansion of (* PI l) in l
1.906 * [taylor]: Taking taylor expansion of PI in l
1.906 * [taylor]: Taking taylor expansion of l in l
1.907 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.907 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.907 * [taylor]: Taking taylor expansion of PI in l
1.907 * [taylor]: Taking taylor expansion of l in l
1.907 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.907 * [taylor]: Taking taylor expansion of PI in l
1.907 * [taylor]: Taking taylor expansion of l in l
1.908 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.908 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.908 * [taylor]: Taking taylor expansion of -1 in l
1.908 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.908 * [taylor]: Taking taylor expansion of PI in l
1.908 * [taylor]: Taking taylor expansion of l in l
1.908 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.908 * [taylor]: Taking taylor expansion of -1 in l
1.908 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.908 * [taylor]: Taking taylor expansion of PI in l
1.908 * [taylor]: Taking taylor expansion of l in l
1.909 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.909 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in (l F) around 0
1.909 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F
1.909 * [taylor]: Taking taylor expansion of 1.0 in F
1.909 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F
1.909 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
1.909 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.909 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
1.909 * [taylor]: Taking taylor expansion of (* PI l) in F
1.909 * [taylor]: Taking taylor expansion of PI in F
1.909 * [taylor]: Taking taylor expansion of l in F
1.909 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
1.909 * [taylor]: Taking taylor expansion of (* PI l) in F
1.909 * [taylor]: Taking taylor expansion of PI in F
1.909 * [taylor]: Taking taylor expansion of l in F
1.910 * [taylor]: Taking taylor expansion of F in F
1.910 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l
1.910 * [taylor]: Taking taylor expansion of 1.0 in l
1.910 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
1.910 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.910 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.910 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.910 * [taylor]: Taking taylor expansion of (* PI l) in l
1.910 * [taylor]: Taking taylor expansion of PI in l
1.910 * [taylor]: Taking taylor expansion of l in l
1.910 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.910 * [taylor]: Taking taylor expansion of (* PI l) in l
1.910 * [taylor]: Taking taylor expansion of PI in l
1.910 * [taylor]: Taking taylor expansion of l in l
1.910 * [taylor]: Taking taylor expansion of F in l
1.910 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l
1.910 * [taylor]: Taking taylor expansion of 1.0 in l
1.910 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
1.910 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.911 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.911 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.911 * [taylor]: Taking taylor expansion of (* PI l) in l
1.911 * [taylor]: Taking taylor expansion of PI in l
1.911 * [taylor]: Taking taylor expansion of l in l
1.911 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.911 * [taylor]: Taking taylor expansion of (* PI l) in l
1.911 * [taylor]: Taking taylor expansion of PI in l
1.911 * [taylor]: Taking taylor expansion of l in l
1.911 * [taylor]: Taking taylor expansion of F in l
1.911 * [taylor]: Taking taylor expansion of (* 1.0 (/ PI F)) in F
1.911 * [taylor]: Taking taylor expansion of 1.0 in F
1.911 * [taylor]: Taking taylor expansion of (/ PI F) in F
1.911 * [taylor]: Taking taylor expansion of PI in F
1.911 * [taylor]: Taking taylor expansion of F in F
1.911 * [taylor]: Taking taylor expansion of 0 in F
1.912 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (pow PI 3) F)) in F
1.912 * [taylor]: Taking taylor expansion of 0.3333333333333333 in F
1.912 * [taylor]: Taking taylor expansion of (/ (pow PI 3) F) in F
1.912 * [taylor]: Taking taylor expansion of (pow PI 3) in F
1.912 * [taylor]: Taking taylor expansion of PI in F
1.912 * [taylor]: Taking taylor expansion of F in F
1.914 * [taylor]: Taking taylor expansion of 0 in F
1.916 * [taylor]: Taking taylor expansion of (* 0.13333333333333333 (/ (pow PI 5) F)) in F
1.916 * [taylor]: Taking taylor expansion of 0.13333333333333333 in F
1.916 * [taylor]: Taking taylor expansion of (/ (pow PI 5) F) in F
1.916 * [taylor]: Taking taylor expansion of (pow PI 5) in F
1.916 * [taylor]: Taking taylor expansion of PI in F
1.916 * [taylor]: Taking taylor expansion of F in F
1.917 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in (l F) around 0
1.917 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F
1.917 * [taylor]: Taking taylor expansion of 1.0 in F
1.917 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F
1.917 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
1.917 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.917 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.917 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.917 * [taylor]: Taking taylor expansion of PI in F
1.917 * [taylor]: Taking taylor expansion of l in F
1.918 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.918 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.918 * [taylor]: Taking taylor expansion of PI in F
1.918 * [taylor]: Taking taylor expansion of l in F
1.918 * [taylor]: Taking taylor expansion of F in F
1.918 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l
1.918 * [taylor]: Taking taylor expansion of 1.0 in l
1.918 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
1.918 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.918 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.918 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.918 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.918 * [taylor]: Taking taylor expansion of PI in l
1.918 * [taylor]: Taking taylor expansion of l in l
1.918 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.918 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.918 * [taylor]: Taking taylor expansion of PI in l
1.918 * [taylor]: Taking taylor expansion of l in l
1.918 * [taylor]: Taking taylor expansion of F in l
1.918 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l
1.918 * [taylor]: Taking taylor expansion of 1.0 in l
1.918 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
1.918 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.919 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.919 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.919 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.919 * [taylor]: Taking taylor expansion of PI in l
1.919 * [taylor]: Taking taylor expansion of l in l
1.919 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.919 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.919 * [taylor]: Taking taylor expansion of PI in l
1.919 * [taylor]: Taking taylor expansion of l in l
1.919 * [taylor]: Taking taylor expansion of F in l
1.919 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (sin (/ PI l)) F) (cos (/ PI l)))) in F
1.919 * [taylor]: Taking taylor expansion of 1.0 in F
1.919 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) F) (cos (/ PI l))) in F
1.919 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) F) in F
1.919 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.919 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.919 * [taylor]: Taking taylor expansion of PI in F
1.919 * [taylor]: Taking taylor expansion of l in F
1.919 * [taylor]: Taking taylor expansion of F in F
1.919 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.919 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.919 * [taylor]: Taking taylor expansion of PI in F
1.919 * [taylor]: Taking taylor expansion of l in F
1.920 * [taylor]: Taking taylor expansion of 0 in F
1.921 * [taylor]: Taking taylor expansion of 0 in F
1.922 * [taylor]: Taking taylor expansion of 0 in F
1.923 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in (l F) around 0
1.923 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F
1.923 * [taylor]: Taking taylor expansion of -1.0 in F
1.923 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F
1.923 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
1.923 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.923 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.923 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.923 * [taylor]: Taking taylor expansion of -1 in F
1.923 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.923 * [taylor]: Taking taylor expansion of PI in F
1.923 * [taylor]: Taking taylor expansion of l in F
1.923 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.923 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.923 * [taylor]: Taking taylor expansion of -1 in F
1.923 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.923 * [taylor]: Taking taylor expansion of PI in F
1.923 * [taylor]: Taking taylor expansion of l in F
1.924 * [taylor]: Taking taylor expansion of F in F
1.924 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l
1.924 * [taylor]: Taking taylor expansion of -1.0 in l
1.924 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
1.924 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.924 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.924 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.924 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.924 * [taylor]: Taking taylor expansion of -1 in l
1.924 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.924 * [taylor]: Taking taylor expansion of PI in l
1.924 * [taylor]: Taking taylor expansion of l in l
1.924 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.924 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.924 * [taylor]: Taking taylor expansion of -1 in l
1.924 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.924 * [taylor]: Taking taylor expansion of PI in l
1.924 * [taylor]: Taking taylor expansion of l in l
1.924 * [taylor]: Taking taylor expansion of F in l
1.924 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l
1.924 * [taylor]: Taking taylor expansion of -1.0 in l
1.924 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
1.924 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.925 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.925 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.925 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.925 * [taylor]: Taking taylor expansion of -1 in l
1.925 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.925 * [taylor]: Taking taylor expansion of PI in l
1.925 * [taylor]: Taking taylor expansion of l in l
1.925 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.925 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.925 * [taylor]: Taking taylor expansion of -1 in l
1.925 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.925 * [taylor]: Taking taylor expansion of PI in l
1.925 * [taylor]: Taking taylor expansion of l in l
1.925 * [taylor]: Taking taylor expansion of F in l
1.925 * [taylor]: Taking taylor expansion of (* -1.0 (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in F
1.925 * [taylor]: Taking taylor expansion of -1.0 in F
1.925 * [taylor]: Taking taylor expansion of (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F
1.925 * [taylor]: Taking taylor expansion of (* F (sin (* -1 (/ PI l)))) in F
1.925 * [taylor]: Taking taylor expansion of F in F
1.925 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.925 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.925 * [taylor]: Taking taylor expansion of -1 in F
1.925 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.925 * [taylor]: Taking taylor expansion of PI in F
1.925 * [taylor]: Taking taylor expansion of l in F
1.926 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.926 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.926 * [taylor]: Taking taylor expansion of -1 in F
1.926 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.926 * [taylor]: Taking taylor expansion of PI in F
1.926 * [taylor]: Taking taylor expansion of l in F
1.927 * [taylor]: Taking taylor expansion of 0 in F
1.928 * [taylor]: Taking taylor expansion of 0 in F
1.930 * [taylor]: Taking taylor expansion of 0 in F
1.930 * * * [progress]: simplifying candidates
1.931 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sin.f64 (*.f64 PI.f64 l))
  (cos.f64 (*.f64 PI.f64 l))
  (log.f64 (tan.f64 (*.f64 PI.f64 l)))
  (exp.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))
  (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l)))
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 PI.f64 l)
  (+.f64 (log.f64 PI.f64) (log.f64 l))
  (log.f64 (*.f64 PI.f64 l))
  (exp.f64 (*.f64 PI.f64 l))
  (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l))
  (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)))
  (cbrt.f64 (*.f64 PI.f64 l))
  (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
  (*.f64 PI.f64 (sqrt.f64 l))
  (*.f64 PI.f64 1)
  (*.f64 (cbrt.f64 PI.f64) l)
  (*.f64 (sqrt.f64 PI.f64) l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (+.f64 (log.f64 PI.f64) (log.f64 l))
  (log.f64 (*.f64 PI.f64 l))
  (exp.f64 (*.f64 PI.f64 l))
  (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l))
  (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)))
  (cbrt.f64 (*.f64 PI.f64 l))
  (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
  (*.f64 PI.f64 (sqrt.f64 l))
  (*.f64 PI.f64 1)
  (*.f64 (cbrt.f64 PI.f64) l)
  (*.f64 (sqrt.f64 PI.f64) l)
  (*.f64 PI.f64 l)
  (-.f64 (+.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 1.0)) (log.f64 F))
  (-.f64 (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)) (log.f64 F))
  (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (exp.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (/.f64 (*.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 1.0 1.0) 1.0)) (*.f64 (*.f64 F F) F))
  (/.f64 (*.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)) (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)) (*.f64 (*.f64 F F) F))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)) (cbrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (cbrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (*.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (neg.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0))
  (neg.f64 F)
  (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))
  (/.f64 1.0 (cbrt.f64 F))
  (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F))
  (/.f64 1.0 (sqrt.f64 F))
  (/.f64 (tan.f64 (*.f64 PI.f64 l)) 1)
  (/.f64 1.0 F)
  (/.f64 1 F)
  (/.f64 F (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0))
  (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))
  (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) (sqrt.f64 F))
  (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) 1)
  (/.f64 F 1.0)
  (*.f64 F (cos.f64 (*.f64 PI.f64 l)))
  (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)))))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (+.f64 (*.f64 1.0 (/.f64 (*.f64 PI.f64 l) F)) (+.f64 (*.f64 0.3333333333333333 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) F)) (*.f64 0.13333333333333333 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) F))))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)))
1.977 * * [simplify]: iteration  0 :  5091  enodes  (cost  520 )
1.980 * [simplify]: Simplified to:
   (sin.f64 (*.f64 PI.f64 l))
  (cos.f64 (*.f64 PI.f64 l))
  (log.f64 (tan.f64 (*.f64 PI.f64 l)))
  (exp.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))
  (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3)
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 PI.f64 l)
  (log.f64 (*.f64 PI.f64 l))
  (log.f64 (*.f64 PI.f64 l))
  (exp.f64 (*.f64 PI.f64 l))
  (pow.f64 (*.f64 PI.f64 l) 3)
  (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)))
  (cbrt.f64 (*.f64 PI.f64 l))
  (pow.f64 (*.f64 PI.f64 l) 3)
  (sqrt.f64 (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
  (*.f64 PI.f64 (sqrt.f64 l))
  PI.f64
  (*.f64 l (cbrt.f64 PI.f64))
  (*.f64 l (sqrt.f64 PI.f64))
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (log.f64 (*.f64 PI.f64 l))
  (log.f64 (*.f64 PI.f64 l))
  (exp.f64 (*.f64 PI.f64 l))
  (pow.f64 (*.f64 PI.f64 l) 3)
  (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)))
  (cbrt.f64 (*.f64 PI.f64 l))
  (pow.f64 (*.f64 PI.f64 l) 3)
  (sqrt.f64 (*.f64 PI.f64 l))
  (sqrt.f64 (*.f64 PI.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l))
  (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
  (*.f64 PI.f64 (sqrt.f64 l))
  PI.f64
  (*.f64 l (cbrt.f64 PI.f64))
  (*.f64 l (sqrt.f64 PI.f64))
  (*.f64 PI.f64 l)
  (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (exp.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (pow.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) 3)
  (pow.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)) (cbrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (cbrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (pow.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) 3)
  (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (neg.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0))
  (neg.f64 F)
  (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))
  (/.f64 1.0 (cbrt.f64 F))
  (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F))
  (/.f64 1.0 (sqrt.f64 F))
  (tan.f64 (*.f64 PI.f64 l))
  (/.f64 1.0 F)
  (/.f64 1 F)
  (/.f64 F (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0))
  (*.f64 1.0 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))
  (*.f64 1.0 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)
  (/.f64 F 1.0)
  (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)
  (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3)))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (+.f64 (*.f64 1.0 (/.f64 (*.f64 PI.f64 l) F)) (+.f64 (*.f64 0.3333333333333333 (/.f64 (pow.f64 (*.f64 PI.f64 l) 3) F)) (*.f64 0.13333333333333333 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) F))))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)))
1.981 * * * [progress]: adding candidates to table
2.042 * * [progress]: iteration 4 / 4
2.042 * * * [progress]: picking best candidate
2.082 * * * * [pick]: Picked  #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)))))>
2.082 * * * [progress]: localizing error
2.099 * * * [progress]: generating rewritten candidates
2.099 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
2.102 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 2 2)
2.103 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1)
2.105 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
2.115 * * * [progress]: generating series expansions
2.115 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
2.116 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
2.116 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
2.116 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.116 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.116 * [taylor]: Taking taylor expansion of (* PI l) in l
2.116 * [taylor]: Taking taylor expansion of PI in l
2.116 * [taylor]: Taking taylor expansion of l in l
2.116 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.116 * [taylor]: Taking taylor expansion of (* PI l) in l
2.116 * [taylor]: Taking taylor expansion of PI in l
2.116 * [taylor]: Taking taylor expansion of l in l
2.116 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
2.116 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.116 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.116 * [taylor]: Taking taylor expansion of (* PI l) in l
2.116 * [taylor]: Taking taylor expansion of PI in l
2.116 * [taylor]: Taking taylor expansion of l in l
2.116 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.116 * [taylor]: Taking taylor expansion of (* PI l) in l
2.116 * [taylor]: Taking taylor expansion of PI in l
2.116 * [taylor]: Taking taylor expansion of l in l
2.120 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
2.120 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
2.120 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.120 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.120 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.120 * [taylor]: Taking taylor expansion of PI in l
2.120 * [taylor]: Taking taylor expansion of l in l
2.120 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.120 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.120 * [taylor]: Taking taylor expansion of PI in l
2.120 * [taylor]: Taking taylor expansion of l in l
2.120 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
2.120 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.120 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.120 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.120 * [taylor]: Taking taylor expansion of PI in l
2.120 * [taylor]: Taking taylor expansion of l in l
2.120 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.120 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.120 * [taylor]: Taking taylor expansion of PI in l
2.121 * [taylor]: Taking taylor expansion of l in l
2.123 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
2.123 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
2.123 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.123 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.123 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.123 * [taylor]: Taking taylor expansion of -1 in l
2.123 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.123 * [taylor]: Taking taylor expansion of PI in l
2.123 * [taylor]: Taking taylor expansion of l in l
2.123 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.123 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.123 * [taylor]: Taking taylor expansion of -1 in l
2.123 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.123 * [taylor]: Taking taylor expansion of PI in l
2.124 * [taylor]: Taking taylor expansion of l in l
2.124 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
2.124 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.124 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.124 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.124 * [taylor]: Taking taylor expansion of -1 in l
2.124 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.124 * [taylor]: Taking taylor expansion of PI in l
2.124 * [taylor]: Taking taylor expansion of l in l
2.124 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.124 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.124 * [taylor]: Taking taylor expansion of -1 in l
2.124 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.124 * [taylor]: Taking taylor expansion of PI in l
2.124 * [taylor]: Taking taylor expansion of l in l
2.127 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 2 2)
2.127 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1)
2.127 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
2.127 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in (l F) around 0
2.127 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F
2.127 * [taylor]: Taking taylor expansion of 1.0 in F
2.127 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F
2.127 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
2.127 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.127 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
2.127 * [taylor]: Taking taylor expansion of (* PI l) in F
2.127 * [taylor]: Taking taylor expansion of PI in F
2.127 * [taylor]: Taking taylor expansion of l in F
2.127 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
2.127 * [taylor]: Taking taylor expansion of (* PI l) in F
2.127 * [taylor]: Taking taylor expansion of PI in F
2.127 * [taylor]: Taking taylor expansion of l in F
2.128 * [taylor]: Taking taylor expansion of F in F
2.128 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l
2.128 * [taylor]: Taking taylor expansion of 1.0 in l
2.128 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
2.128 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
2.128 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.128 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.128 * [taylor]: Taking taylor expansion of (* PI l) in l
2.128 * [taylor]: Taking taylor expansion of PI in l
2.128 * [taylor]: Taking taylor expansion of l in l
2.128 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.128 * [taylor]: Taking taylor expansion of (* PI l) in l
2.128 * [taylor]: Taking taylor expansion of PI in l
2.128 * [taylor]: Taking taylor expansion of l in l
2.128 * [taylor]: Taking taylor expansion of F in l
2.128 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l
2.128 * [taylor]: Taking taylor expansion of 1.0 in l
2.128 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
2.128 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
2.128 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.128 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.128 * [taylor]: Taking taylor expansion of (* PI l) in l
2.128 * [taylor]: Taking taylor expansion of PI in l
2.128 * [taylor]: Taking taylor expansion of l in l
2.129 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.129 * [taylor]: Taking taylor expansion of (* PI l) in l
2.129 * [taylor]: Taking taylor expansion of PI in l
2.129 * [taylor]: Taking taylor expansion of l in l
2.129 * [taylor]: Taking taylor expansion of F in l
2.129 * [taylor]: Taking taylor expansion of (* 1.0 (/ PI F)) in F
2.129 * [taylor]: Taking taylor expansion of 1.0 in F
2.129 * [taylor]: Taking taylor expansion of (/ PI F) in F
2.129 * [taylor]: Taking taylor expansion of PI in F
2.129 * [taylor]: Taking taylor expansion of F in F
2.129 * [taylor]: Taking taylor expansion of 0 in F
2.130 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (pow PI 3) F)) in F
2.130 * [taylor]: Taking taylor expansion of 0.3333333333333333 in F
2.130 * [taylor]: Taking taylor expansion of (/ (pow PI 3) F) in F
2.130 * [taylor]: Taking taylor expansion of (pow PI 3) in F
2.130 * [taylor]: Taking taylor expansion of PI in F
2.130 * [taylor]: Taking taylor expansion of F in F
2.132 * [taylor]: Taking taylor expansion of 0 in F
2.134 * [taylor]: Taking taylor expansion of (* 0.13333333333333333 (/ (pow PI 5) F)) in F
2.134 * [taylor]: Taking taylor expansion of 0.13333333333333333 in F
2.134 * [taylor]: Taking taylor expansion of (/ (pow PI 5) F) in F
2.134 * [taylor]: Taking taylor expansion of (pow PI 5) in F
2.134 * [taylor]: Taking taylor expansion of PI in F
2.134 * [taylor]: Taking taylor expansion of F in F
2.135 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in (l F) around 0
2.135 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F
2.135 * [taylor]: Taking taylor expansion of 1.0 in F
2.135 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F
2.135 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
2.135 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.135 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
2.135 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.135 * [taylor]: Taking taylor expansion of PI in F
2.135 * [taylor]: Taking taylor expansion of l in F
2.136 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
2.136 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.136 * [taylor]: Taking taylor expansion of PI in F
2.136 * [taylor]: Taking taylor expansion of l in F
2.136 * [taylor]: Taking taylor expansion of F in F
2.136 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l
2.136 * [taylor]: Taking taylor expansion of 1.0 in l
2.136 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
2.136 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
2.136 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.136 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.136 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.136 * [taylor]: Taking taylor expansion of PI in l
2.136 * [taylor]: Taking taylor expansion of l in l
2.136 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.136 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.136 * [taylor]: Taking taylor expansion of PI in l
2.136 * [taylor]: Taking taylor expansion of l in l
2.136 * [taylor]: Taking taylor expansion of F in l
2.136 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l
2.136 * [taylor]: Taking taylor expansion of 1.0 in l
2.137 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
2.137 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
2.137 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.137 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.137 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.137 * [taylor]: Taking taylor expansion of PI in l
2.137 * [taylor]: Taking taylor expansion of l in l
2.137 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.137 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.137 * [taylor]: Taking taylor expansion of PI in l
2.137 * [taylor]: Taking taylor expansion of l in l
2.137 * [taylor]: Taking taylor expansion of F in l
2.137 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (sin (/ PI l)) F) (cos (/ PI l)))) in F
2.137 * [taylor]: Taking taylor expansion of 1.0 in F
2.137 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) F) (cos (/ PI l))) in F
2.137 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) F) in F
2.137 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
2.137 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.137 * [taylor]: Taking taylor expansion of PI in F
2.137 * [taylor]: Taking taylor expansion of l in F
2.137 * [taylor]: Taking taylor expansion of F in F
2.137 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
2.137 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.137 * [taylor]: Taking taylor expansion of PI in F
2.137 * [taylor]: Taking taylor expansion of l in F
2.138 * [taylor]: Taking taylor expansion of 0 in F
2.139 * [taylor]: Taking taylor expansion of 0 in F
2.141 * [taylor]: Taking taylor expansion of 0 in F
2.141 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in (l F) around 0
2.141 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F
2.141 * [taylor]: Taking taylor expansion of -1.0 in F
2.141 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F
2.141 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
2.141 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.141 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
2.141 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.141 * [taylor]: Taking taylor expansion of -1 in F
2.141 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.141 * [taylor]: Taking taylor expansion of PI in F
2.141 * [taylor]: Taking taylor expansion of l in F
2.141 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
2.141 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.141 * [taylor]: Taking taylor expansion of -1 in F
2.141 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.142 * [taylor]: Taking taylor expansion of PI in F
2.142 * [taylor]: Taking taylor expansion of l in F
2.142 * [taylor]: Taking taylor expansion of F in F
2.142 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l
2.142 * [taylor]: Taking taylor expansion of -1.0 in l
2.142 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
2.142 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
2.142 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.142 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.142 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.142 * [taylor]: Taking taylor expansion of -1 in l
2.142 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.142 * [taylor]: Taking taylor expansion of PI in l
2.142 * [taylor]: Taking taylor expansion of l in l
2.142 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.142 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.142 * [taylor]: Taking taylor expansion of -1 in l
2.142 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.142 * [taylor]: Taking taylor expansion of PI in l
2.142 * [taylor]: Taking taylor expansion of l in l
2.143 * [taylor]: Taking taylor expansion of F in l
2.143 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l
2.143 * [taylor]: Taking taylor expansion of -1.0 in l
2.143 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
2.143 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
2.143 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.143 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.143 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.143 * [taylor]: Taking taylor expansion of -1 in l
2.143 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.143 * [taylor]: Taking taylor expansion of PI in l
2.143 * [taylor]: Taking taylor expansion of l in l
2.143 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.143 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.143 * [taylor]: Taking taylor expansion of -1 in l
2.143 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.143 * [taylor]: Taking taylor expansion of PI in l
2.143 * [taylor]: Taking taylor expansion of l in l
2.143 * [taylor]: Taking taylor expansion of F in l
2.143 * [taylor]: Taking taylor expansion of (* -1.0 (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in F
2.143 * [taylor]: Taking taylor expansion of -1.0 in F
2.143 * [taylor]: Taking taylor expansion of (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F
2.144 * [taylor]: Taking taylor expansion of (* F (sin (* -1 (/ PI l)))) in F
2.144 * [taylor]: Taking taylor expansion of F in F
2.144 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
2.144 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.144 * [taylor]: Taking taylor expansion of -1 in F
2.144 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.144 * [taylor]: Taking taylor expansion of PI in F
2.144 * [taylor]: Taking taylor expansion of l in F
2.144 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
2.144 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.144 * [taylor]: Taking taylor expansion of -1 in F
2.144 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.144 * [taylor]: Taking taylor expansion of PI in F
2.144 * [taylor]: Taking taylor expansion of l in F
2.145 * [taylor]: Taking taylor expansion of 0 in F
2.146 * [taylor]: Taking taylor expansion of 0 in F
2.148 * [taylor]: Taking taylor expansion of 0 in F
2.148 * * * [progress]: simplifying candidates
2.149 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sin.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))
  (cos.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))
  (log.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))
  (exp.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))
  (*.f64 (cbrt.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (cbrt.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))))
  (cbrt.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))
  (*.f64 (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))
  (sqrt.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))
  (sqrt.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))
  (log.f64 (sqrt.f64 PI.f64))
  (exp.f64 (sqrt.f64 PI.f64))
  (*.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))
  (cbrt.f64 (sqrt.f64 PI.f64))
  (*.f64 (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64))
  (sqrt.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))
  (sqrt.f64 (cbrt.f64 PI.f64))
  (sqrt.f64 (sqrt.f64 PI.f64))
  (sqrt.f64 (sqrt.f64 PI.f64))
  (sqrt.f64 1)
  (sqrt.f64 PI.f64)
  (/.f64 1 2)
  (sqrt.f64 (sqrt.f64 PI.f64))
  (sqrt.f64 (sqrt.f64 PI.f64))
  (log.f64 (sqrt.f64 PI.f64))
  (exp.f64 (sqrt.f64 PI.f64))
  (*.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))
  (cbrt.f64 (sqrt.f64 PI.f64))
  (*.f64 (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64))
  (sqrt.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))
  (sqrt.f64 (cbrt.f64 PI.f64))
  (sqrt.f64 (sqrt.f64 PI.f64))
  (sqrt.f64 (sqrt.f64 PI.f64))
  (sqrt.f64 1)
  (sqrt.f64 PI.f64)
  (/.f64 1 2)
  (sqrt.f64 (sqrt.f64 PI.f64))
  (sqrt.f64 (sqrt.f64 PI.f64))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F))
  (+.f64 (log.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (-.f64 (log.f64 1.0) (log.f64 F)))
  (+.f64 (log.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (log.f64 (/.f64 1.0 F)))
  (log.f64 (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)))
  (exp.f64 (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)))
  (*.f64 (*.f64 (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 F F) F)))
  (*.f64 (*.f64 (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (*.f64 (*.f64 (/.f64 1.0 F) (/.f64 1.0 F)) (/.f64 1.0 F)))
  (*.f64 (cbrt.f64 (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F))))
  (cbrt.f64 (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)))
  (*.f64 (*.f64 (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F))) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)))
  (sqrt.f64 (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)))
  (sqrt.f64 (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)))
  (*.f64 (sin.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) 1.0)
  (*.f64 (cos.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) F)
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (sqrt.f64 (/.f64 1.0 F)))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (sqrt.f64 (/.f64 1.0 F)))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 F)))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (*.f64 (cbrt.f64 (/.f64 1.0 F)) (cbrt.f64 (/.f64 1.0 F))))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (sqrt.f64 (/.f64 1.0 F)))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) 1))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 (sqrt.f64 1.0) 1))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1 (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1 1))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) 1)
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) 1.0)
  (*.f64 (cbrt.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (/.f64 1.0 F))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))) (/.f64 1.0 F))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F))
  (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) 1.0)
  (*.f64 (sin.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F))
  (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)))))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F))))
  (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F))))
  (+.f64 (*.f64 1.0 (/.f64 (*.f64 PI.f64 l) F)) (+.f64 (*.f64 0.3333333333333333 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) F)) (*.f64 0.13333333333333333 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) F))))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)))
2.205 * * [simplify]: iteration  0 :  4945  enodes  (cost  597 )
2.206 * * [simplify]: iteration  1 :  4945  enodes  (cost  597 )
2.209 * [simplify]: Simplified to:
   (sin.f64 (*.f64 PI.f64 l))
  (cos.f64 (*.f64 PI.f64 l))
  (log.f64 (tan.f64 (*.f64 PI.f64 l)))
  (exp.f64 (tan.f64 (*.f64 PI.f64 l)))
  (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))
  (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3)
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))
  (log.f64 (sqrt.f64 PI.f64))
  (exp.f64 (sqrt.f64 PI.f64))
  (*.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))
  (cbrt.f64 (sqrt.f64 PI.f64))
  (*.f64 PI.f64 (sqrt.f64 PI.f64))
  (fabs.f64 (cbrt.f64 PI.f64))
  (sqrt.f64 (cbrt.f64 PI.f64))
  (sqrt.f64 (sqrt.f64 PI.f64))
  (sqrt.f64 (sqrt.f64 PI.f64))
  1
  (sqrt.f64 PI.f64)
  1/2
  (sqrt.f64 (sqrt.f64 PI.f64))
  (sqrt.f64 (sqrt.f64 PI.f64))
  (log.f64 (sqrt.f64 PI.f64))
  (exp.f64 (sqrt.f64 PI.f64))
  (*.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))
  (cbrt.f64 (sqrt.f64 PI.f64))
  (*.f64 PI.f64 (sqrt.f64 PI.f64))
  (fabs.f64 (cbrt.f64 PI.f64))
  (sqrt.f64 (cbrt.f64 PI.f64))
  (sqrt.f64 (sqrt.f64 PI.f64))
  (sqrt.f64 (sqrt.f64 PI.f64))
  1
  (sqrt.f64 PI.f64)
  1/2
  (sqrt.f64 (sqrt.f64 PI.f64))
  (sqrt.f64 (sqrt.f64 PI.f64))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))
  (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (pow.f64 (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 F))
  (pow.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) 3)
  (pow.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) 3)
  (*.f64 (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))))
  (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (pow.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) 3)
  (sqrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (sqrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))
  (*.f64 (sin.f64 (*.f64 PI.f64 l)) 1.0)
  (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (/.f64 1.0 F)))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (/.f64 1.0 F)))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 F)))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 (/.f64 1.0 F)) (cbrt.f64 (/.f64 1.0 F))))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 (/.f64 1.0 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) (sqrt.f64 F)))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 1.0))
  (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))
  (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F))
  (tan.f64 (*.f64 PI.f64 l))
  (tan.f64 (*.f64 PI.f64 l))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)
  (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 F))
  (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 F))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)
  (*.f64 (sin.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))
  (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)))))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))
  (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) F))
  (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) F))
  (+.f64 (*.f64 1.0 (/.f64 (*.f64 PI.f64 l) F)) (+.f64 (*.f64 0.3333333333333333 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) F)) (*.f64 0.13333333333333333 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) F))))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)))
  (*.f64 1.0 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)))
2.209 * * * [progress]: adding candidates to table
2.283 * [progress]: [Phase 3 of 3] Extracting.
2.284 * * [regime]: Finding splitpoints for: (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) 1.0) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 (/.f64 1.0 F)) (cbrt.f64 (/.f64 1.0 F)))) (cbrt.f64 (/.f64 1.0 F))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64))) (cbrt.f64 (sqrt.f64 PI.f64)))))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (cbrt.f64 (pow.f64 (*.f64 PI.f64 l) 3)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (/.f64 1 F) (/.f64 1.0 F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (exp.f64 (log.f64 (/.f64 1.0 (*.f64 F F)))) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (*.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (sqrt.f64 (sqrt.f64 PI.f64)))))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) (cos.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))))))>)
2.289 * * * [regime-changes]: Trying 5 branch expressions: ((*.f64 F F) (/.f64 1.0 (*.f64 F F)) (*.f64 PI.f64 l) l F)
2.289 * * * * [regimes]: Trying to branch on (*.f64 F F) from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) 1.0) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 (/.f64 1.0 F)) (cbrt.f64 (/.f64 1.0 F)))) (cbrt.f64 (/.f64 1.0 F))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64))) (cbrt.f64 (sqrt.f64 PI.f64)))))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (cbrt.f64 (pow.f64 (*.f64 PI.f64 l) 3)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (/.f64 1 F) (/.f64 1.0 F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (exp.f64 (log.f64 (/.f64 1.0 (*.f64 F F)))) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (*.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (sqrt.f64 (sqrt.f64 PI.f64)))))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) (cos.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))))))>)
2.367 * * * * [regimes]: Trying to branch on (*.f64 F F) from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) 1.0) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (exp.f64 (log.f64 (/.f64 1.0 (*.f64 F F)))) (tan.f64 (*.f64 PI.f64 l)))))>)
2.403 * * * * [regimes]: Trying to branch on (/.f64 1.0 (*.f64 F F)) from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) 1.0) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 (/.f64 1.0 F)) (cbrt.f64 (/.f64 1.0 F)))) (cbrt.f64 (/.f64 1.0 F))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64))) (cbrt.f64 (sqrt.f64 PI.f64)))))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (cbrt.f64 (pow.f64 (*.f64 PI.f64 l) 3)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (/.f64 1 F) (/.f64 1.0 F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (exp.f64 (log.f64 (/.f64 1.0 (*.f64 F F)))) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (*.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (sqrt.f64 (sqrt.f64 PI.f64)))))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) (cos.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))))))>)
2.480 * * * * [regimes]: Trying to branch on (/.f64 1.0 (*.f64 F F)) from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (exp.f64 (log.f64 (/.f64 1.0 (*.f64 F F)))) (tan.f64 (*.f64 PI.f64 l)))))>)
2.512 * * * * [regimes]: Trying to branch on (*.f64 PI.f64 l) from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) 1.0) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 (/.f64 1.0 F)) (cbrt.f64 (/.f64 1.0 F)))) (cbrt.f64 (/.f64 1.0 F))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64))) (cbrt.f64 (sqrt.f64 PI.f64)))))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (cbrt.f64 (pow.f64 (*.f64 PI.f64 l) 3)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (/.f64 1 F) (/.f64 1.0 F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (exp.f64 (log.f64 (/.f64 1.0 (*.f64 F F)))) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (*.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (sqrt.f64 (sqrt.f64 PI.f64)))))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) (cos.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))))))>)
2.593 * * * * [regimes]: Trying to branch on (*.f64 PI.f64 l) from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) 1.0) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 (/.f64 1.0 F)) (cbrt.f64 (/.f64 1.0 F)))) (cbrt.f64 (/.f64 1.0 F))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))))> #<alt (λ (F l) (-.f64 (cbrt.f64 (pow.f64 (*.f64 PI.f64 l) 3)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (/.f64 1 F) (/.f64 1.0 F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (exp.f64 (log.f64 (/.f64 1.0 (*.f64 F F)))) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))))>)
2.646 * * * * [regimes]: Trying to branch on l from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) 1.0) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 (/.f64 1.0 F)) (cbrt.f64 (/.f64 1.0 F)))) (cbrt.f64 (/.f64 1.0 F))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64))) (cbrt.f64 (sqrt.f64 PI.f64)))))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (cbrt.f64 (pow.f64 (*.f64 PI.f64 l) 3)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (/.f64 1 F) (/.f64 1.0 F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (exp.f64 (log.f64 (/.f64 1.0 (*.f64 F F)))) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (*.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (sqrt.f64 (sqrt.f64 PI.f64)))))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) (cos.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))))))>)
2.728 * * * * [regimes]: Trying to branch on F from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) 1.0) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 (/.f64 1.0 F)) (cbrt.f64 (/.f64 1.0 F)))) (cbrt.f64 (/.f64 1.0 F))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64))) (cbrt.f64 (sqrt.f64 PI.f64)))))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (cbrt.f64 (pow.f64 (*.f64 PI.f64 l) 3)) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (/.f64 1 F) (/.f64 1.0 F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (exp.f64 (log.f64 (/.f64 1.0 (*.f64 F F)))) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))) (cbrt.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (*.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (sqrt.f64 (sqrt.f64 PI.f64)))))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) (cos.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64))))))))>)
2.810 * * * [regime]: Found split indices: #<option (#s(si 18 255))>
2.811 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) (cos.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))))
2.814 * * [simplify]: iteration  0 :  113  enodes  (cost  25 )
2.814 * * [simplify]: iteration  1 :  113  enodes  (cost  25 )
2.814 * [simplify]: Simplified to:
   (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (sin.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) (cos.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))))
8.321 * [regime-testing]: End program error score: 12.35199735010117