1.021 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.871 * * * [progress]: [2/2] Setting up program.
0.875 * [progress]: [Phase 2 of 3] Improving.
0.877 * [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.350 * * [simplify]: iteration  0 :  671  enodes  (cost  14 )
1.350 * * [simplify]: iteration  1 :  671  enodes  (cost  14 )
1.351 * [simplify]: Simplified to:
   (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l))))
1.353 * * [progress]: iteration 1 / 4
1.353 * * * [progress]: picking best candidate
1.356 * * * * [pick]: Picked  #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))>
1.356 * * * [progress]: localizing error
1.367 * * * [progress]: generating rewritten candidates
1.367 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.370 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.380 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
1.384 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.390 * * * [progress]: generating series expansions
1.390 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.395 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
1.396 * [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.399 * [taylor]: Taking taylor expansion of l in l
1.399 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.399 * [taylor]: Taking taylor expansion of (* PI l) in l
1.399 * [taylor]: Taking taylor expansion of PI in l
1.399 * [taylor]: Taking taylor expansion of l in l
1.400 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.400 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI 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.406 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
1.406 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.406 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.406 * [taylor]: Taking taylor expansion of (sin (/ PI l)) 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.407 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.407 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.407 * [taylor]: Taking taylor expansion of PI in l
1.407 * [taylor]: Taking taylor expansion of l in l
1.407 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.407 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.407 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.407 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.407 * [taylor]: Taking taylor expansion of PI in l
1.407 * [taylor]: Taking taylor expansion of l in l
1.407 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.407 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.407 * [taylor]: Taking taylor expansion of PI in l
1.407 * [taylor]: Taking taylor expansion of l in l
1.409 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
1.409 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.409 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.409 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.409 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.409 * [taylor]: Taking taylor expansion of -1 in l
1.409 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.409 * [taylor]: Taking taylor expansion of PI in l
1.409 * [taylor]: Taking taylor expansion of l in l
1.409 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.409 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.409 * [taylor]: Taking taylor expansion of -1 in l
1.409 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.409 * [taylor]: Taking taylor expansion of PI in l
1.409 * [taylor]: Taking taylor expansion of l in l
1.410 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.410 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.410 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.410 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.410 * [taylor]: Taking taylor expansion of -1 in l
1.410 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.410 * [taylor]: Taking taylor expansion of PI in l
1.410 * [taylor]: Taking taylor expansion of l in l
1.410 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.410 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.410 * [taylor]: Taking taylor expansion of -1 in l
1.410 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.410 * [taylor]: Taking taylor expansion of PI in l
1.410 * [taylor]: Taking taylor expansion of l in l
1.413 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.413 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in (F l) around 0
1.413 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in l
1.413 * [taylor]: Taking taylor expansion of 1.0 in l
1.413 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l
1.413 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.413 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.413 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.413 * [taylor]: Taking taylor expansion of (* PI l) in l
1.413 * [taylor]: Taking taylor expansion of PI in l
1.413 * [taylor]: Taking taylor expansion of l in l
1.413 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.413 * [taylor]: Taking taylor expansion of (* PI l) in l
1.413 * [taylor]: Taking taylor expansion of PI in l
1.413 * [taylor]: Taking taylor expansion of l in l
1.413 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.413 * [taylor]: Taking taylor expansion of F in l
1.414 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F
1.414 * [taylor]: Taking taylor expansion of 1.0 in F
1.414 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F
1.414 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
1.414 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.414 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
1.414 * [taylor]: Taking taylor expansion of (* PI l) in F
1.414 * [taylor]: Taking taylor expansion of PI in F
1.414 * [taylor]: Taking taylor expansion of l in F
1.414 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
1.414 * [taylor]: Taking taylor expansion of (* PI l) in F
1.414 * [taylor]: Taking taylor expansion of PI in F
1.414 * [taylor]: Taking taylor expansion of l in F
1.415 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.415 * [taylor]: Taking taylor expansion of F in F
1.415 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F
1.415 * [taylor]: Taking taylor expansion of 1.0 in F
1.415 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F
1.415 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
1.415 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.415 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
1.415 * [taylor]: Taking taylor expansion of (* PI l) in F
1.415 * [taylor]: Taking taylor expansion of PI in F
1.415 * [taylor]: Taking taylor expansion of l in F
1.416 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
1.416 * [taylor]: Taking taylor expansion of (* PI l) in F
1.416 * [taylor]: Taking taylor expansion of PI in F
1.416 * [taylor]: Taking taylor expansion of l 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 (/ (sin (* PI l)) (cos (* PI l)))) in l
1.416 * [taylor]: Taking taylor expansion of 1.0 in l
1.416 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l
1.416 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.416 * [taylor]: Taking taylor expansion of (* PI l) in l
1.416 * [taylor]: Taking taylor expansion of PI in l
1.416 * [taylor]: Taking taylor expansion of l in l
1.416 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.417 * [taylor]: Taking taylor expansion of (* PI l) in l
1.417 * [taylor]: Taking taylor expansion of PI in l
1.417 * [taylor]: Taking taylor expansion of l in l
1.431 * [taylor]: Taking taylor expansion of 0 in l
1.433 * [taylor]: Taking taylor expansion of 0 in l
1.435 * [taylor]: Taking taylor expansion of 0 in l
1.437 * [taylor]: Taking taylor expansion of 0 in l
1.438 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in (F l) around 0
1.438 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in l
1.438 * [taylor]: Taking taylor expansion of 1.0 in l
1.438 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l
1.438 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.438 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.438 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.438 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.438 * [taylor]: Taking taylor expansion of PI in l
1.438 * [taylor]: Taking taylor expansion of l in l
1.438 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.438 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.438 * [taylor]: Taking taylor expansion of PI in l
1.439 * [taylor]: Taking taylor expansion of l in l
1.439 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.439 * [taylor]: Taking taylor expansion of F in l
1.439 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F
1.439 * [taylor]: Taking taylor expansion of 1.0 in F
1.439 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F
1.439 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
1.439 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.439 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.439 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.439 * [taylor]: Taking taylor expansion of PI in F
1.439 * [taylor]: Taking taylor expansion of l in F
1.439 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.439 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.439 * [taylor]: Taking taylor expansion of PI in F
1.439 * [taylor]: Taking taylor expansion of l in F
1.439 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.439 * [taylor]: Taking taylor expansion of F in F
1.439 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F
1.439 * [taylor]: Taking taylor expansion of 1.0 in F
1.439 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F
1.439 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
1.440 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.440 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.440 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.440 * [taylor]: Taking taylor expansion of PI in F
1.440 * [taylor]: Taking taylor expansion of l in F
1.440 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.440 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.440 * [taylor]: Taking taylor expansion of PI in F
1.440 * [taylor]: Taking taylor expansion of l in F
1.440 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.440 * [taylor]: Taking taylor expansion of F in F
1.440 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l
1.440 * [taylor]: Taking taylor expansion of 1.0 in l
1.440 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l
1.440 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.440 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.441 * [taylor]: Taking taylor expansion of PI in l
1.441 * [taylor]: Taking taylor expansion of l in l
1.441 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.441 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.441 * [taylor]: Taking taylor expansion of PI in l
1.441 * [taylor]: Taking taylor expansion of l in l
1.442 * [taylor]: Taking taylor expansion of 0 in l
1.443 * [taylor]: Taking taylor expansion of 0 in l
1.445 * [taylor]: Taking taylor expansion of 0 in l
1.446 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in (F l) around 0
1.446 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in l
1.446 * [taylor]: Taking taylor expansion of 1.0 in l
1.446 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l
1.446 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.446 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.446 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.446 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.446 * [taylor]: Taking taylor expansion of -1 in l
1.446 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.446 * [taylor]: Taking taylor expansion of PI in l
1.446 * [taylor]: Taking taylor expansion of l in l
1.446 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.446 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.446 * [taylor]: Taking taylor expansion of -1 in l
1.446 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.446 * [taylor]: Taking taylor expansion of PI in l
1.446 * [taylor]: Taking taylor expansion of l in l
1.446 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.446 * [taylor]: Taking taylor expansion of F in l
1.446 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F
1.446 * [taylor]: Taking taylor expansion of 1.0 in F
1.446 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F
1.446 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
1.446 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.446 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.446 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.446 * [taylor]: Taking taylor expansion of -1 in F
1.446 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.446 * [taylor]: Taking taylor expansion of PI in F
1.446 * [taylor]: Taking taylor expansion of l in F
1.447 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.447 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.447 * [taylor]: Taking taylor expansion of -1 in F
1.447 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.447 * [taylor]: Taking taylor expansion of PI in F
1.447 * [taylor]: Taking taylor expansion of l in F
1.447 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.447 * [taylor]: Taking taylor expansion of F in F
1.447 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F
1.447 * [taylor]: Taking taylor expansion of 1.0 in F
1.447 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F
1.447 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
1.447 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.447 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.447 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.447 * [taylor]: Taking taylor expansion of -1 in F
1.447 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.447 * [taylor]: Taking taylor expansion of PI in F
1.447 * [taylor]: Taking taylor expansion of l in F
1.448 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.448 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.448 * [taylor]: Taking taylor expansion of -1 in F
1.448 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.448 * [taylor]: Taking taylor expansion of PI in F
1.448 * [taylor]: Taking taylor expansion of l in F
1.448 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.448 * [taylor]: Taking taylor expansion of F in F
1.448 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l
1.448 * [taylor]: Taking taylor expansion of 1.0 in l
1.449 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l
1.449 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.449 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.449 * [taylor]: Taking taylor expansion of -1 in l
1.449 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.449 * [taylor]: Taking taylor expansion of PI in l
1.449 * [taylor]: Taking taylor expansion of l in l
1.449 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.449 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.449 * [taylor]: Taking taylor expansion of -1 in l
1.449 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.449 * [taylor]: Taking taylor expansion of PI in l
1.449 * [taylor]: Taking taylor expansion of l in l
1.451 * [taylor]: Taking taylor expansion of 0 in l
1.452 * [taylor]: Taking taylor expansion of 0 in l
1.455 * [taylor]: Taking taylor expansion of 0 in l
1.455 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
1.455 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.455 * [taylor]: Taking taylor expansion of (* PI l) in l
1.455 * [taylor]: Taking taylor expansion of PI in l
1.455 * [taylor]: Taking taylor expansion of l in l
1.455 * [taylor]: Taking taylor expansion of (* PI l) in l
1.455 * [taylor]: Taking taylor expansion of PI in l
1.455 * [taylor]: Taking taylor expansion of l in l
1.456 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.456 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.456 * [taylor]: Taking taylor expansion of PI in l
1.456 * [taylor]: Taking taylor expansion of l in l
1.456 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.456 * [taylor]: Taking taylor expansion of PI in l
1.456 * [taylor]: Taking taylor expansion of l in l
1.457 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.457 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.457 * [taylor]: Taking taylor expansion of -1 in l
1.457 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.457 * [taylor]: Taking taylor expansion of PI in l
1.457 * [taylor]: Taking taylor expansion of l in l
1.457 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.457 * [taylor]: Taking taylor expansion of -1 in l
1.457 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.457 * [taylor]: Taking taylor expansion of PI in l
1.457 * [taylor]: Taking taylor expansion of l in l
1.458 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.458 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.458 * [taylor]: Taking taylor expansion of (* PI l) in l
1.458 * [taylor]: Taking taylor expansion of PI in l
1.458 * [taylor]: Taking taylor expansion of l in l
1.458 * [taylor]: Taking taylor expansion of (* PI l) in l
1.458 * [taylor]: Taking taylor expansion of PI in l
1.458 * [taylor]: Taking taylor expansion of l in l
1.459 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.459 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.459 * [taylor]: Taking taylor expansion of PI in l
1.459 * [taylor]: Taking taylor expansion of l in l
1.459 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.459 * [taylor]: Taking taylor expansion of PI in l
1.459 * [taylor]: Taking taylor expansion of l in l
1.460 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.460 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.460 * [taylor]: Taking taylor expansion of -1 in l
1.460 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.460 * [taylor]: Taking taylor expansion of PI in l
1.460 * [taylor]: Taking taylor expansion of l in l
1.460 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.460 * [taylor]: Taking taylor expansion of -1 in l
1.460 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.460 * [taylor]: Taking taylor expansion of PI in l
1.460 * [taylor]: Taking taylor expansion of l in l
1.462 * * * [progress]: simplifying candidates
1.464 * [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 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 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 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
1.513 * * [simplify]: iteration  0 :  5164  enodes  (cost  658 )
1.516 * [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)
  (*.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 (*.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 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
  (*.f64 PI.f64 l)
1.517 * * * [progress]: adding candidates to table
1.612 * * [progress]: iteration 2 / 4
1.612 * * * [progress]: picking best candidate
1.653 * * * * [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.653 * * * [progress]: localizing error
1.664 * * * [progress]: generating rewritten candidates
1.664 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
1.666 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1)
1.670 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.673 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.684 * * * [progress]: generating series expansions
1.684 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
1.684 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
1.684 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.684 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.684 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.684 * [taylor]: Taking taylor expansion of (* PI l) in l
1.684 * [taylor]: Taking taylor expansion of PI in l
1.684 * [taylor]: Taking taylor expansion of l in l
1.684 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.684 * [taylor]: Taking taylor expansion of (* PI l) in l
1.684 * [taylor]: Taking taylor expansion of PI in l
1.684 * [taylor]: Taking taylor expansion of l in l
1.684 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.684 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.684 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.684 * [taylor]: Taking taylor expansion of (* PI l) in l
1.684 * [taylor]: Taking taylor expansion of PI in l
1.684 * [taylor]: Taking taylor expansion of l in l
1.684 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.684 * [taylor]: Taking taylor expansion of (* PI l) in l
1.685 * [taylor]: Taking taylor expansion of PI in l
1.685 * [taylor]: Taking taylor expansion of l in l
1.688 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
1.688 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.688 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.688 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.688 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.688 * [taylor]: Taking taylor expansion of PI in l
1.688 * [taylor]: Taking taylor expansion of l in l
1.688 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.688 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.688 * [taylor]: Taking taylor expansion of PI in l
1.688 * [taylor]: Taking taylor expansion of l in l
1.688 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.688 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.688 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.688 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.688 * [taylor]: Taking taylor expansion of PI in l
1.688 * [taylor]: Taking taylor expansion of l in l
1.688 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.688 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.688 * [taylor]: Taking taylor expansion of PI in l
1.688 * [taylor]: Taking taylor expansion of l in l
1.690 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
1.691 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.691 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.691 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.691 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.691 * [taylor]: Taking taylor expansion of -1 in l
1.691 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.691 * [taylor]: Taking taylor expansion of PI in l
1.691 * [taylor]: Taking taylor expansion of l in l
1.691 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.691 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.691 * [taylor]: Taking taylor expansion of -1 in l
1.691 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.691 * [taylor]: Taking taylor expansion of PI in l
1.691 * [taylor]: Taking taylor expansion of l in l
1.691 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.691 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.691 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.691 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.691 * [taylor]: Taking taylor expansion of -1 in l
1.691 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.691 * [taylor]: Taking taylor expansion of PI in l
1.691 * [taylor]: Taking taylor expansion of l in l
1.691 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.691 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.691 * [taylor]: Taking taylor expansion of -1 in l
1.691 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.691 * [taylor]: Taking taylor expansion of PI in l
1.691 * [taylor]: Taking taylor expansion of l in l
1.694 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1)
1.694 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.694 * [taylor]: Taking taylor expansion of (* PI l) in l
1.694 * [taylor]: Taking taylor expansion of PI in l
1.694 * [taylor]: Taking taylor expansion of l in l
1.694 * [taylor]: Taking taylor expansion of (* PI l) in l
1.694 * [taylor]: Taking taylor expansion of PI in l
1.694 * [taylor]: Taking taylor expansion of l in l
1.695 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.695 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.695 * [taylor]: Taking taylor expansion of PI in l
1.695 * [taylor]: Taking taylor expansion of l in l
1.695 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.695 * [taylor]: Taking taylor expansion of PI in l
1.695 * [taylor]: Taking taylor expansion of l in l
1.696 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.696 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.696 * [taylor]: Taking taylor expansion of -1 in l
1.696 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.696 * [taylor]: Taking taylor expansion of PI in l
1.696 * [taylor]: Taking taylor expansion of l in l
1.696 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.696 * [taylor]: Taking taylor expansion of -1 in l
1.696 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.696 * [taylor]: Taking taylor expansion of PI in l
1.696 * [taylor]: Taking taylor expansion of l in l
1.697 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.697 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.697 * [taylor]: Taking taylor expansion of (* PI l) in l
1.697 * [taylor]: Taking taylor expansion of PI in l
1.697 * [taylor]: Taking taylor expansion of l in l
1.697 * [taylor]: Taking taylor expansion of (* PI l) in l
1.697 * [taylor]: Taking taylor expansion of PI in l
1.697 * [taylor]: Taking taylor expansion of l in l
1.698 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.698 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.698 * [taylor]: Taking taylor expansion of PI in l
1.698 * [taylor]: Taking taylor expansion of l in l
1.698 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.698 * [taylor]: Taking taylor expansion of PI in l
1.698 * [taylor]: Taking taylor expansion of l in l
1.699 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.699 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.699 * [taylor]: Taking taylor expansion of -1 in l
1.699 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.699 * [taylor]: Taking taylor expansion of PI in l
1.699 * [taylor]: Taking taylor expansion of l in l
1.699 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.699 * [taylor]: Taking taylor expansion of -1 in l
1.699 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.699 * [taylor]: Taking taylor expansion of PI in l
1.699 * [taylor]: Taking taylor expansion of l in l
1.700 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.701 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in (l F) around 0
1.701 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F
1.701 * [taylor]: Taking taylor expansion of 1.0 in F
1.701 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F
1.701 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
1.701 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.701 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
1.701 * [taylor]: Taking taylor expansion of (* PI l) in F
1.701 * [taylor]: Taking taylor expansion of PI in F
1.701 * [taylor]: Taking taylor expansion of l in F
1.701 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
1.701 * [taylor]: Taking taylor expansion of (* PI l) in F
1.701 * [taylor]: Taking taylor expansion of PI in F
1.701 * [taylor]: Taking taylor expansion of l in F
1.701 * [taylor]: Taking taylor expansion of F in F
1.701 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l
1.701 * [taylor]: Taking taylor expansion of 1.0 in l
1.701 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
1.701 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.701 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.702 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.702 * [taylor]: Taking taylor expansion of (* PI l) in l
1.702 * [taylor]: Taking taylor expansion of PI in l
1.702 * [taylor]: Taking taylor expansion of l in l
1.702 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.702 * [taylor]: Taking taylor expansion of (* PI l) in l
1.702 * [taylor]: Taking taylor expansion of PI in l
1.702 * [taylor]: Taking taylor expansion of l in l
1.702 * [taylor]: Taking taylor expansion of F in l
1.702 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l
1.702 * [taylor]: Taking taylor expansion of 1.0 in l
1.702 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
1.702 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.702 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.702 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.702 * [taylor]: Taking taylor expansion of (* PI l) in l
1.702 * [taylor]: Taking taylor expansion of PI in l
1.702 * [taylor]: Taking taylor expansion of l in l
1.702 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.702 * [taylor]: Taking taylor expansion of (* PI l) in l
1.702 * [taylor]: Taking taylor expansion of PI in l
1.702 * [taylor]: Taking taylor expansion of l in l
1.702 * [taylor]: Taking taylor expansion of F in l
1.702 * [taylor]: Taking taylor expansion of (* 1.0 (/ PI F)) in F
1.702 * [taylor]: Taking taylor expansion of 1.0 in F
1.702 * [taylor]: Taking taylor expansion of (/ PI F) in F
1.703 * [taylor]: Taking taylor expansion of PI in F
1.703 * [taylor]: Taking taylor expansion of F in F
1.703 * [taylor]: Taking taylor expansion of 0 in F
1.704 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (pow PI 3) F)) in F
1.704 * [taylor]: Taking taylor expansion of 0.3333333333333333 in F
1.704 * [taylor]: Taking taylor expansion of (/ (pow PI 3) F) in F
1.704 * [taylor]: Taking taylor expansion of (pow PI 3) in F
1.704 * [taylor]: Taking taylor expansion of PI in F
1.704 * [taylor]: Taking taylor expansion of F in F
1.705 * [taylor]: Taking taylor expansion of 0 in F
1.708 * [taylor]: Taking taylor expansion of (* 0.13333333333333333 (/ (pow PI 5) F)) in F
1.708 * [taylor]: Taking taylor expansion of 0.13333333333333333 in F
1.708 * [taylor]: Taking taylor expansion of (/ (pow PI 5) F) in F
1.708 * [taylor]: Taking taylor expansion of (pow PI 5) in F
1.708 * [taylor]: Taking taylor expansion of PI in F
1.708 * [taylor]: Taking taylor expansion of F in F
1.709 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in (l F) around 0
1.709 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F
1.709 * [taylor]: Taking taylor expansion of 1.0 in F
1.709 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F
1.709 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
1.709 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.709 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.709 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.709 * [taylor]: Taking taylor expansion of PI in F
1.709 * [taylor]: Taking taylor expansion of l in F
1.709 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.709 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.709 * [taylor]: Taking taylor expansion of PI in F
1.709 * [taylor]: Taking taylor expansion of l in F
1.710 * [taylor]: Taking taylor expansion of F in F
1.710 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l
1.710 * [taylor]: Taking taylor expansion of 1.0 in l
1.710 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
1.710 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.710 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.710 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.710 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.710 * [taylor]: Taking taylor expansion of PI in l
1.710 * [taylor]: Taking taylor expansion of l in l
1.710 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.710 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.710 * [taylor]: Taking taylor expansion of PI in l
1.710 * [taylor]: Taking taylor expansion of l in l
1.710 * [taylor]: Taking taylor expansion of F in l
1.710 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l
1.710 * [taylor]: Taking taylor expansion of 1.0 in l
1.710 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
1.710 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.710 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.710 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.710 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.710 * [taylor]: Taking taylor expansion of PI in l
1.710 * [taylor]: Taking taylor expansion of l in l
1.710 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.710 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.710 * [taylor]: Taking taylor expansion of PI in l
1.710 * [taylor]: Taking taylor expansion of l in l
1.711 * [taylor]: Taking taylor expansion of F in l
1.711 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (sin (/ PI l)) F) (cos (/ PI l)))) in F
1.711 * [taylor]: Taking taylor expansion of 1.0 in F
1.711 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) F) (cos (/ PI l))) in F
1.711 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) F) in F
1.711 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.711 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.711 * [taylor]: Taking taylor expansion of PI in F
1.711 * [taylor]: Taking taylor expansion of l in F
1.711 * [taylor]: Taking taylor expansion of F in F
1.711 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.711 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.711 * [taylor]: Taking taylor expansion of PI in F
1.711 * [taylor]: Taking taylor expansion of l in F
1.712 * [taylor]: Taking taylor expansion of 0 in F
1.713 * [taylor]: Taking taylor expansion of 0 in F
1.715 * [taylor]: Taking taylor expansion of 0 in F
1.715 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in (l F) around 0
1.715 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F
1.715 * [taylor]: Taking taylor expansion of -1.0 in F
1.715 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F
1.715 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
1.715 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.715 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.715 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.715 * [taylor]: Taking taylor expansion of -1 in F
1.715 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.715 * [taylor]: Taking taylor expansion of PI in F
1.715 * [taylor]: Taking taylor expansion of l in F
1.715 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.715 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.715 * [taylor]: Taking taylor expansion of -1 in F
1.715 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.716 * [taylor]: Taking taylor expansion of PI in F
1.716 * [taylor]: Taking taylor expansion of l in F
1.716 * [taylor]: Taking taylor expansion of F in F
1.716 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l
1.716 * [taylor]: Taking taylor expansion of -1.0 in l
1.716 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
1.716 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.716 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.716 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.716 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.716 * [taylor]: Taking taylor expansion of -1 in l
1.716 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.716 * [taylor]: Taking taylor expansion of PI in l
1.716 * [taylor]: Taking taylor expansion of l in l
1.716 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.716 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.716 * [taylor]: Taking taylor expansion of -1 in l
1.716 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.716 * [taylor]: Taking taylor expansion of PI in l
1.716 * [taylor]: Taking taylor expansion of l in l
1.717 * [taylor]: Taking taylor expansion of F in l
1.717 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l
1.717 * [taylor]: Taking taylor expansion of -1.0 in l
1.717 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
1.717 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.717 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.717 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.717 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.717 * [taylor]: Taking taylor expansion of -1 in l
1.717 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.717 * [taylor]: Taking taylor expansion of PI in l
1.717 * [taylor]: Taking taylor expansion of l in l
1.717 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.717 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.717 * [taylor]: Taking taylor expansion of -1 in l
1.717 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.717 * [taylor]: Taking taylor expansion of PI in l
1.717 * [taylor]: Taking taylor expansion of l in l
1.717 * [taylor]: Taking taylor expansion of F in l
1.718 * [taylor]: Taking taylor expansion of (* -1.0 (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in F
1.718 * [taylor]: Taking taylor expansion of -1.0 in F
1.718 * [taylor]: Taking taylor expansion of (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F
1.718 * [taylor]: Taking taylor expansion of (* F (sin (* -1 (/ PI l)))) in F
1.718 * [taylor]: Taking taylor expansion of F in F
1.718 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.718 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.718 * [taylor]: Taking taylor expansion of -1 in F
1.718 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.718 * [taylor]: Taking taylor expansion of PI in F
1.718 * [taylor]: Taking taylor expansion of l in F
1.718 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.718 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.718 * [taylor]: Taking taylor expansion of -1 in F
1.718 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.718 * [taylor]: Taking taylor expansion of PI in F
1.718 * [taylor]: Taking taylor expansion of l in F
1.719 * [taylor]: Taking taylor expansion of 0 in F
1.720 * [taylor]: Taking taylor expansion of 0 in F
1.722 * [taylor]: Taking taylor expansion of 0 in F
1.722 * * * [progress]: simplifying candidates
1.724 * [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.773 * * [simplify]: iteration  0 :  4946  enodes  (cost  657 )
1.773 * * [simplify]: iteration  1 :  4946  enodes  (cost  657 )
1.776 * [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.777 * * * [progress]: adding candidates to table
1.865 * * [progress]: iteration 3 / 4
1.865 * * * [progress]: picking best candidate
1.914 * * * * [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.914 * * * [progress]: localizing error
1.924 * * * [progress]: generating rewritten candidates
1.924 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
1.926 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1)
1.930 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.934 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.950 * * * [progress]: generating series expansions
1.950 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
1.951 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
1.951 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.951 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.951 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.951 * [taylor]: Taking taylor expansion of (* PI l) in l
1.951 * [taylor]: Taking taylor expansion of PI in l
1.951 * [taylor]: Taking taylor expansion of l in l
1.951 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.951 * [taylor]: Taking taylor expansion of (* PI l) in l
1.951 * [taylor]: Taking taylor expansion of PI in l
1.951 * [taylor]: Taking taylor expansion of l in l
1.951 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.951 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.951 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.951 * [taylor]: Taking taylor expansion of (* PI l) in l
1.951 * [taylor]: Taking taylor expansion of PI in l
1.951 * [taylor]: Taking taylor expansion of l in l
1.951 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.951 * [taylor]: Taking taylor expansion of (* PI l) in l
1.951 * [taylor]: Taking taylor expansion of PI in l
1.951 * [taylor]: Taking taylor expansion of l in l
1.955 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
1.955 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.955 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.955 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.955 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.955 * [taylor]: Taking taylor expansion of PI in l
1.955 * [taylor]: Taking taylor expansion of l in l
1.955 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.955 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.955 * [taylor]: Taking taylor expansion of PI in l
1.955 * [taylor]: Taking taylor expansion of l in l
1.955 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.955 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.955 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.955 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.955 * [taylor]: Taking taylor expansion of PI in l
1.955 * [taylor]: Taking taylor expansion of l in l
1.955 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.955 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.955 * [taylor]: Taking taylor expansion of PI in l
1.955 * [taylor]: Taking taylor expansion of l in l
1.957 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
1.957 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.957 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.957 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.958 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.958 * [taylor]: Taking taylor expansion of -1 in l
1.958 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.958 * [taylor]: Taking taylor expansion of PI in l
1.958 * [taylor]: Taking taylor expansion of l in l
1.958 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.958 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.958 * [taylor]: Taking taylor expansion of -1 in l
1.958 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.958 * [taylor]: Taking taylor expansion of PI in l
1.958 * [taylor]: Taking taylor expansion of l in l
1.958 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.958 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.958 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.958 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.958 * [taylor]: Taking taylor expansion of -1 in l
1.958 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.958 * [taylor]: Taking taylor expansion of PI in l
1.958 * [taylor]: Taking taylor expansion of l in l
1.958 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.958 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.958 * [taylor]: Taking taylor expansion of -1 in l
1.958 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.958 * [taylor]: Taking taylor expansion of PI in l
1.958 * [taylor]: Taking taylor expansion of l in l
1.961 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1)
1.961 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.961 * [taylor]: Taking taylor expansion of (* PI l) in l
1.961 * [taylor]: Taking taylor expansion of PI in l
1.961 * [taylor]: Taking taylor expansion of l in l
1.961 * [taylor]: Taking taylor expansion of (* PI l) in l
1.961 * [taylor]: Taking taylor expansion of PI in l
1.961 * [taylor]: Taking taylor expansion of l in l
1.962 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.962 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.962 * [taylor]: Taking taylor expansion of PI in l
1.962 * [taylor]: Taking taylor expansion of l in l
1.962 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.962 * [taylor]: Taking taylor expansion of PI in l
1.962 * [taylor]: Taking taylor expansion of l in l
1.963 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.963 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.963 * [taylor]: Taking taylor expansion of -1 in l
1.963 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.963 * [taylor]: Taking taylor expansion of PI in l
1.963 * [taylor]: Taking taylor expansion of l in l
1.963 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.963 * [taylor]: Taking taylor expansion of -1 in l
1.963 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.963 * [taylor]: Taking taylor expansion of PI in l
1.963 * [taylor]: Taking taylor expansion of l in l
1.964 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.964 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.964 * [taylor]: Taking taylor expansion of (* PI l) in l
1.964 * [taylor]: Taking taylor expansion of PI in l
1.964 * [taylor]: Taking taylor expansion of l in l
1.964 * [taylor]: Taking taylor expansion of (* PI l) in l
1.964 * [taylor]: Taking taylor expansion of PI in l
1.964 * [taylor]: Taking taylor expansion of l in l
1.965 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.965 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.965 * [taylor]: Taking taylor expansion of PI in l
1.965 * [taylor]: Taking taylor expansion of l in l
1.965 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.965 * [taylor]: Taking taylor expansion of PI in l
1.965 * [taylor]: Taking taylor expansion of l in l
1.966 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.966 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.966 * [taylor]: Taking taylor expansion of -1 in l
1.966 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.966 * [taylor]: Taking taylor expansion of PI in l
1.966 * [taylor]: Taking taylor expansion of l in l
1.966 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.966 * [taylor]: Taking taylor expansion of -1 in l
1.966 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.966 * [taylor]: Taking taylor expansion of PI in l
1.966 * [taylor]: Taking taylor expansion of l in l
1.968 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.968 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in (F l) around 0
1.968 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in l
1.968 * [taylor]: Taking taylor expansion of 1.0 in l
1.968 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l
1.968 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.968 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.968 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.968 * [taylor]: Taking taylor expansion of (* PI l) in l
1.968 * [taylor]: Taking taylor expansion of PI in l
1.968 * [taylor]: Taking taylor expansion of l in l
1.968 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.968 * [taylor]: Taking taylor expansion of (* PI l) in l
1.968 * [taylor]: Taking taylor expansion of PI in l
1.968 * [taylor]: Taking taylor expansion of l in l
1.968 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.968 * [taylor]: Taking taylor expansion of F in l
1.968 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F
1.968 * [taylor]: Taking taylor expansion of 1.0 in F
1.968 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F
1.968 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
1.968 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.968 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
1.969 * [taylor]: Taking taylor expansion of (* PI l) in F
1.969 * [taylor]: Taking taylor expansion of PI in F
1.969 * [taylor]: Taking taylor expansion of l in F
1.969 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
1.969 * [taylor]: Taking taylor expansion of (* PI l) in F
1.969 * [taylor]: Taking taylor expansion of PI in F
1.969 * [taylor]: Taking taylor expansion of l in F
1.969 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.969 * [taylor]: Taking taylor expansion of F in F
1.969 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F
1.969 * [taylor]: Taking taylor expansion of 1.0 in F
1.969 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F
1.969 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
1.969 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.969 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
1.969 * [taylor]: Taking taylor expansion of (* PI l) in F
1.969 * [taylor]: Taking taylor expansion of PI in F
1.969 * [taylor]: Taking taylor expansion of l in F
1.969 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
1.969 * [taylor]: Taking taylor expansion of (* PI l) in F
1.970 * [taylor]: Taking taylor expansion of PI in F
1.970 * [taylor]: Taking taylor expansion of l in F
1.970 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.970 * [taylor]: Taking taylor expansion of F in F
1.970 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l
1.970 * [taylor]: Taking taylor expansion of 1.0 in l
1.970 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l
1.970 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.970 * [taylor]: Taking taylor expansion of (* PI l) in l
1.970 * [taylor]: Taking taylor expansion of PI in l
1.970 * [taylor]: Taking taylor expansion of l in l
1.970 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.970 * [taylor]: Taking taylor expansion of (* PI l) in l
1.970 * [taylor]: Taking taylor expansion of PI in l
1.970 * [taylor]: Taking taylor expansion of l in l
1.971 * [taylor]: Taking taylor expansion of 0 in l
1.973 * [taylor]: Taking taylor expansion of 0 in l
1.975 * [taylor]: Taking taylor expansion of 0 in l
1.977 * [taylor]: Taking taylor expansion of 0 in l
1.978 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in (F l) around 0
1.978 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in l
1.978 * [taylor]: Taking taylor expansion of 1.0 in l
1.978 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l
1.978 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.978 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.978 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.978 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.978 * [taylor]: Taking taylor expansion of PI in l
1.978 * [taylor]: Taking taylor expansion of l in l
1.978 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.978 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.978 * [taylor]: Taking taylor expansion of PI in l
1.978 * [taylor]: Taking taylor expansion of l in l
1.979 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.979 * [taylor]: Taking taylor expansion of F in l
1.979 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F
1.979 * [taylor]: Taking taylor expansion of 1.0 in F
1.979 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F
1.979 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
1.979 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.979 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.979 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.979 * [taylor]: Taking taylor expansion of PI in F
1.979 * [taylor]: Taking taylor expansion of l in F
1.979 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.979 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.979 * [taylor]: Taking taylor expansion of PI in F
1.979 * [taylor]: Taking taylor expansion of l in F
1.979 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.979 * [taylor]: Taking taylor expansion of F in F
1.979 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F
1.979 * [taylor]: Taking taylor expansion of 1.0 in F
1.979 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F
1.979 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
1.979 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.979 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.979 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.979 * [taylor]: Taking taylor expansion of PI in F
1.979 * [taylor]: Taking taylor expansion of l in F
1.980 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.980 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.980 * [taylor]: Taking taylor expansion of PI in F
1.980 * [taylor]: Taking taylor expansion of l in F
1.980 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.980 * [taylor]: Taking taylor expansion of F in F
1.980 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l
1.980 * [taylor]: Taking taylor expansion of 1.0 in l
1.980 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l
1.980 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.980 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.980 * [taylor]: Taking taylor expansion of PI in l
1.980 * [taylor]: Taking taylor expansion of l in l
1.980 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.980 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.980 * [taylor]: Taking taylor expansion of PI in l
1.980 * [taylor]: Taking taylor expansion of l in l
1.982 * [taylor]: Taking taylor expansion of 0 in l
1.983 * [taylor]: Taking taylor expansion of 0 in l
1.985 * [taylor]: Taking taylor expansion of 0 in l
1.986 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in (F l) around 0
1.986 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in l
1.986 * [taylor]: Taking taylor expansion of 1.0 in l
1.986 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l
1.986 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.986 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.986 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.986 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.986 * [taylor]: Taking taylor expansion of -1 in l
1.986 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.986 * [taylor]: Taking taylor expansion of PI in l
1.986 * [taylor]: Taking taylor expansion of l in l
1.986 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.986 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.986 * [taylor]: Taking taylor expansion of -1 in l
1.986 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.986 * [taylor]: Taking taylor expansion of PI in l
1.986 * [taylor]: Taking taylor expansion of l in l
1.986 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.986 * [taylor]: Taking taylor expansion of F in l
1.986 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F
1.986 * [taylor]: Taking taylor expansion of 1.0 in F
1.986 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F
1.986 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
1.986 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.986 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.986 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.986 * [taylor]: Taking taylor expansion of -1 in F
1.986 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.986 * [taylor]: Taking taylor expansion of PI in F
1.987 * [taylor]: Taking taylor expansion of l in F
1.987 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.987 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.987 * [taylor]: Taking taylor expansion of -1 in F
1.987 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.987 * [taylor]: Taking taylor expansion of PI in F
1.987 * [taylor]: Taking taylor expansion of l in F
1.987 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.987 * [taylor]: Taking taylor expansion of F in F
1.987 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F
1.987 * [taylor]: Taking taylor expansion of 1.0 in F
1.987 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F
1.987 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
1.987 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.987 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.987 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.987 * [taylor]: Taking taylor expansion of -1 in F
1.987 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.987 * [taylor]: Taking taylor expansion of PI in F
1.988 * [taylor]: Taking taylor expansion of l in F
1.988 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.988 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.988 * [taylor]: Taking taylor expansion of -1 in F
1.988 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.988 * [taylor]: Taking taylor expansion of PI in F
1.988 * [taylor]: Taking taylor expansion of l in F
1.988 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.988 * [taylor]: Taking taylor expansion of F in F
1.989 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l
1.989 * [taylor]: Taking taylor expansion of 1.0 in l
1.989 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l
1.989 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.989 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.989 * [taylor]: Taking taylor expansion of -1 in l
1.989 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.989 * [taylor]: Taking taylor expansion of PI in l
1.989 * [taylor]: Taking taylor expansion of l in l
1.989 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.989 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.989 * [taylor]: Taking taylor expansion of -1 in l
1.989 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.989 * [taylor]: Taking taylor expansion of PI in l
1.989 * [taylor]: Taking taylor expansion of l in l
1.990 * [taylor]: Taking taylor expansion of 0 in l
1.992 * [taylor]: Taking taylor expansion of 0 in l
1.994 * [taylor]: Taking taylor expansion of 0 in l
1.995 * * * [progress]: simplifying candidates
1.996 * [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 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (+.f64 (neg.f64 (log.f64 F)) (-.f64 (+.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 1.0)) (log.f64 F)))
  (+.f64 (neg.f64 (log.f64 F)) (-.f64 (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)) (log.f64 F)))
  (+.f64 (neg.f64 (log.f64 F)) (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (+.f64 (-.f64 0 (log.f64 F)) (-.f64 (+.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 1.0)) (log.f64 F)))
  (+.f64 (-.f64 0 (log.f64 F)) (-.f64 (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)) (log.f64 F)))
  (+.f64 (-.f64 0 (log.f64 F)) (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (+.f64 (-.f64 (log.f64 1) (log.f64 F)) (-.f64 (+.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 1.0)) (log.f64 F)))
  (+.f64 (-.f64 (log.f64 1) (log.f64 F)) (-.f64 (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)) (log.f64 F)))
  (+.f64 (-.f64 (log.f64 1) (log.f64 F)) (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (+.f64 (log.f64 (/.f64 1 F)) (-.f64 (+.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 1.0)) (log.f64 F)))
  (+.f64 (log.f64 (/.f64 1 F)) (-.f64 (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)) (log.f64 F)))
  (+.f64 (log.f64 (/.f64 1 F)) (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (log.f64 (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (exp.f64 (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 F F) 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 1 1) 1) (*.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 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 F F) 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)))
  (*.f64 (*.f64 (*.f64 (/.f64 1 F) (/.f64 1 F)) (/.f64 1 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 1 F) (/.f64 1 F)) (/.f64 1 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 (*.f64 (*.f64 (/.f64 1 F) (/.f64 1 F)) (/.f64 1 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)))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))) (cbrt.f64 (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))))
  (cbrt.f64 (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (*.f64 (*.f64 (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (sqrt.f64 (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (sqrt.f64 (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (*.f64 1 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0))
  (*.f64 F F)
  (*.f64 (sqrt.f64 (/.f64 1 F)) (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (*.f64 (sqrt.f64 (/.f64 1 F)) (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 F)) (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 F)) (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (*.f64 (/.f64 1 (sqrt.f64 F)) (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (*.f64 (/.f64 1 (sqrt.f64 F)) (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (*.f64 (/.f64 1 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))))
  (*.f64 (/.f64 1 F) (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))
  (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))
  (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) 1))
  (*.f64 (/.f64 1 F) 1)
  (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0))
  (*.f64 (cbrt.f64 (/.f64 1 F)) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (sqrt.f64 (/.f64 1 F)) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 F)) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (/.f64 (cbrt.f64 1) (sqrt.f64 F)) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (/.f64 (cbrt.f64 1) F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 F)) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 F)) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (/.f64 (sqrt.f64 1) F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (/.f64 1 (cbrt.f64 F)) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (/.f64 1 (sqrt.f64 F)) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (/.f64 1 F) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))
  (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0))
  (*.f64 1 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 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) (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))))
2.048 * * [simplify]: iteration  0 :  4945  enodes  (cost  938 )
2.049 * * [simplify]: iteration  1 :  4945  enodes  (cost  938 )
2.053 * [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 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)
  (log.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (log.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (log.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (log.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (log.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (log.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (log.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (log.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (log.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (log.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (log.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (log.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (log.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (exp.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (pow.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F) 3)
  (pow.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F) 3)
  (pow.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F) 3)
  (pow.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F) 3)
  (pow.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F) 3)
  (pow.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F) 3)
  (*.f64 (cbrt.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)) (cbrt.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)))
  (cbrt.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (pow.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F) 3)
  (sqrt.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (sqrt.f64 (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
  (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)
  (*.f64 F F)
  (*.f64 (sqrt.f64 (/.f64 1 F)) (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (*.f64 (sqrt.f64 (/.f64 1 F)) (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)))
  (/.f64 (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)) (sqrt.f64 F))
  (/.f64 (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)) (sqrt.f64 F))
  (/.f64 (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)) (sqrt.f64 F))
  (/.f64 (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)) (sqrt.f64 F))
  (/.f64 (*.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))) F)
  (/.f64 (sqrt.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)) F)
  (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) F)
  (/.f64 (tan.f64 (*.f64 PI.f64 l)) (pow.f64 F 3/2))
  (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
  (/.f64 1 F)
  (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)
  (*.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) (cbrt.f64 (/.f64 1 F)))
  (*.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) (sqrt.f64 (/.f64 1 F)))
  (*.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) (/.f64 (cbrt.f64 1) (cbrt.f64 F)))
  (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0)))
  (*.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) (/.f64 (cbrt.f64 1) F))
  (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) (cbrt.f64 F))
  (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (pow.f64 F 3/2)) 1.0)
  (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)
  (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) (cbrt.f64 F))
  (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (pow.f64 F 3/2)) 1.0)
  (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)
  (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)
  (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)
  (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F)
  (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 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 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))))
2.053 * * * [progress]: adding candidates to table
2.134 * * [progress]: iteration 4 / 4
2.134 * * * [progress]: picking best candidate
2.179 * * * * [pick]: Picked  #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)))>
2.179 * * * [progress]: localizing error
2.189 * * * [progress]: generating rewritten candidates
2.189 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1)
2.191 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1)
2.195 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.199 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
2.207 * * * [progress]: generating series expansions
2.207 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1)
2.207 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
2.207 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
2.207 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.207 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.207 * [taylor]: Taking taylor expansion of (* PI l) in l
2.207 * [taylor]: Taking taylor expansion of PI in l
2.207 * [taylor]: Taking taylor expansion of l in l
2.207 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.207 * [taylor]: Taking taylor expansion of (* PI l) in l
2.207 * [taylor]: Taking taylor expansion of PI in l
2.207 * [taylor]: Taking taylor expansion of l in l
2.207 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
2.207 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.208 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.208 * [taylor]: Taking taylor expansion of (* PI l) in l
2.208 * [taylor]: Taking taylor expansion of PI in l
2.208 * [taylor]: Taking taylor expansion of l in l
2.208 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.208 * [taylor]: Taking taylor expansion of (* PI l) in l
2.208 * [taylor]: Taking taylor expansion of PI in l
2.208 * [taylor]: Taking taylor expansion of l in l
2.211 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
2.211 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
2.211 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.211 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.211 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.211 * [taylor]: Taking taylor expansion of PI in l
2.211 * [taylor]: Taking taylor expansion of l in l
2.211 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.211 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.211 * [taylor]: Taking taylor expansion of PI in l
2.211 * [taylor]: Taking taylor expansion of l in l
2.211 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
2.211 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.211 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.211 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.211 * [taylor]: Taking taylor expansion of PI in l
2.211 * [taylor]: Taking taylor expansion of l in l
2.212 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.212 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.212 * [taylor]: Taking taylor expansion of PI in l
2.212 * [taylor]: Taking taylor expansion of l in l
2.214 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
2.214 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
2.214 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.214 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.214 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.214 * [taylor]: Taking taylor expansion of -1 in l
2.214 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.214 * [taylor]: Taking taylor expansion of PI in l
2.214 * [taylor]: Taking taylor expansion of l in l
2.214 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.214 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.214 * [taylor]: Taking taylor expansion of -1 in l
2.214 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.214 * [taylor]: Taking taylor expansion of PI in l
2.214 * [taylor]: Taking taylor expansion of l in l
2.214 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
2.214 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.214 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.214 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.214 * [taylor]: Taking taylor expansion of -1 in l
2.214 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.214 * [taylor]: Taking taylor expansion of PI in l
2.214 * [taylor]: Taking taylor expansion of l in l
2.215 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.215 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.215 * [taylor]: Taking taylor expansion of -1 in l
2.215 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.215 * [taylor]: Taking taylor expansion of PI in l
2.215 * [taylor]: Taking taylor expansion of l in l
2.217 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1)
2.217 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
2.217 * [taylor]: Taking taylor expansion of (* PI l) in l
2.217 * [taylor]: Taking taylor expansion of PI in l
2.217 * [taylor]: Taking taylor expansion of l in l
2.217 * [taylor]: Taking taylor expansion of (* PI l) in l
2.217 * [taylor]: Taking taylor expansion of PI in l
2.217 * [taylor]: Taking taylor expansion of l in l
2.218 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
2.218 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.218 * [taylor]: Taking taylor expansion of PI in l
2.218 * [taylor]: Taking taylor expansion of l in l
2.218 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.218 * [taylor]: Taking taylor expansion of PI in l
2.218 * [taylor]: Taking taylor expansion of l in l
2.219 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
2.219 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.219 * [taylor]: Taking taylor expansion of -1 in l
2.219 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.219 * [taylor]: Taking taylor expansion of PI in l
2.219 * [taylor]: Taking taylor expansion of l in l
2.219 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.219 * [taylor]: Taking taylor expansion of -1 in l
2.219 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.219 * [taylor]: Taking taylor expansion of PI in l
2.219 * [taylor]: Taking taylor expansion of l in l
2.221 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.221 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
2.221 * [taylor]: Taking taylor expansion of (* PI l) in l
2.221 * [taylor]: Taking taylor expansion of PI in l
2.221 * [taylor]: Taking taylor expansion of l in l
2.221 * [taylor]: Taking taylor expansion of (* PI l) in l
2.221 * [taylor]: Taking taylor expansion of PI in l
2.221 * [taylor]: Taking taylor expansion of l in l
2.222 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
2.222 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.222 * [taylor]: Taking taylor expansion of PI in l
2.222 * [taylor]: Taking taylor expansion of l in l
2.222 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.222 * [taylor]: Taking taylor expansion of PI in l
2.222 * [taylor]: Taking taylor expansion of l in l
2.222 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
2.222 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.223 * [taylor]: Taking taylor expansion of -1 in l
2.223 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.223 * [taylor]: Taking taylor expansion of PI in l
2.223 * [taylor]: Taking taylor expansion of l in l
2.223 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.223 * [taylor]: Taking taylor expansion of -1 in l
2.223 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.223 * [taylor]: Taking taylor expansion of PI in l
2.223 * [taylor]: Taking taylor expansion of l in l
2.224 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.224 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in (l F) around 0
2.224 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F
2.224 * [taylor]: Taking taylor expansion of 1.0 in F
2.224 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F
2.224 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
2.224 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.224 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
2.224 * [taylor]: Taking taylor expansion of (* PI l) in F
2.224 * [taylor]: Taking taylor expansion of PI in F
2.224 * [taylor]: Taking taylor expansion of l in F
2.224 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
2.224 * [taylor]: Taking taylor expansion of (* PI l) in F
2.224 * [taylor]: Taking taylor expansion of PI in F
2.224 * [taylor]: Taking taylor expansion of l in F
2.225 * [taylor]: Taking taylor expansion of F in F
2.225 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l
2.225 * [taylor]: Taking taylor expansion of 1.0 in l
2.225 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
2.225 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
2.225 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.225 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.225 * [taylor]: Taking taylor expansion of (* PI l) in l
2.225 * [taylor]: Taking taylor expansion of PI in l
2.225 * [taylor]: Taking taylor expansion of l in l
2.225 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.225 * [taylor]: Taking taylor expansion of (* PI l) in l
2.225 * [taylor]: Taking taylor expansion of PI in l
2.225 * [taylor]: Taking taylor expansion of l in l
2.225 * [taylor]: Taking taylor expansion of F in l
2.225 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l
2.225 * [taylor]: Taking taylor expansion of 1.0 in l
2.225 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
2.225 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
2.226 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.226 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.226 * [taylor]: Taking taylor expansion of (* PI l) in l
2.226 * [taylor]: Taking taylor expansion of PI in l
2.226 * [taylor]: Taking taylor expansion of l in l
2.226 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.226 * [taylor]: Taking taylor expansion of (* PI l) in l
2.226 * [taylor]: Taking taylor expansion of PI in l
2.226 * [taylor]: Taking taylor expansion of l in l
2.226 * [taylor]: Taking taylor expansion of F in l
2.226 * [taylor]: Taking taylor expansion of (* 1.0 (/ PI F)) in F
2.226 * [taylor]: Taking taylor expansion of 1.0 in F
2.226 * [taylor]: Taking taylor expansion of (/ PI F) in F
2.226 * [taylor]: Taking taylor expansion of PI in F
2.226 * [taylor]: Taking taylor expansion of F in F
2.226 * [taylor]: Taking taylor expansion of 0 in F
2.227 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (pow PI 3) F)) in F
2.227 * [taylor]: Taking taylor expansion of 0.3333333333333333 in F
2.227 * [taylor]: Taking taylor expansion of (/ (pow PI 3) F) in F
2.227 * [taylor]: Taking taylor expansion of (pow PI 3) in F
2.227 * [taylor]: Taking taylor expansion of PI in F
2.227 * [taylor]: Taking taylor expansion of F in F
2.229 * [taylor]: Taking taylor expansion of 0 in F
2.231 * [taylor]: Taking taylor expansion of (* 0.13333333333333333 (/ (pow PI 5) F)) in F
2.231 * [taylor]: Taking taylor expansion of 0.13333333333333333 in F
2.231 * [taylor]: Taking taylor expansion of (/ (pow PI 5) F) in F
2.231 * [taylor]: Taking taylor expansion of (pow PI 5) in F
2.231 * [taylor]: Taking taylor expansion of PI in F
2.231 * [taylor]: Taking taylor expansion of F in F
2.232 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in (l F) around 0
2.232 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F
2.232 * [taylor]: Taking taylor expansion of 1.0 in F
2.232 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F
2.232 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
2.232 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.233 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
2.233 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.233 * [taylor]: Taking taylor expansion of PI in F
2.233 * [taylor]: Taking taylor expansion of l in F
2.233 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
2.233 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.233 * [taylor]: Taking taylor expansion of PI in F
2.233 * [taylor]: Taking taylor expansion of l in F
2.233 * [taylor]: Taking taylor expansion of F in F
2.233 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l
2.233 * [taylor]: Taking taylor expansion of 1.0 in l
2.233 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
2.233 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
2.233 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.233 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.233 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.233 * [taylor]: Taking taylor expansion of PI in l
2.233 * [taylor]: Taking taylor expansion of l in l
2.233 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.233 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.233 * [taylor]: Taking taylor expansion of PI in l
2.233 * [taylor]: Taking taylor expansion of l in l
2.234 * [taylor]: Taking taylor expansion of F in l
2.234 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l
2.234 * [taylor]: Taking taylor expansion of 1.0 in l
2.234 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
2.234 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
2.234 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.234 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.234 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.234 * [taylor]: Taking taylor expansion of PI in l
2.234 * [taylor]: Taking taylor expansion of l in l
2.234 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.234 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.234 * [taylor]: Taking taylor expansion of PI in l
2.234 * [taylor]: Taking taylor expansion of l in l
2.234 * [taylor]: Taking taylor expansion of F in l
2.234 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (sin (/ PI l)) F) (cos (/ PI l)))) in F
2.234 * [taylor]: Taking taylor expansion of 1.0 in F
2.234 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) F) (cos (/ PI l))) in F
2.234 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) F) in F
2.234 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
2.234 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.234 * [taylor]: Taking taylor expansion of PI in F
2.234 * [taylor]: Taking taylor expansion of l in F
2.234 * [taylor]: Taking taylor expansion of F in F
2.235 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
2.235 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.235 * [taylor]: Taking taylor expansion of PI in F
2.235 * [taylor]: Taking taylor expansion of l in F
2.236 * [taylor]: Taking taylor expansion of 0 in F
2.236 * [taylor]: Taking taylor expansion of 0 in F
2.238 * [taylor]: Taking taylor expansion of 0 in F
2.238 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in (l F) around 0
2.238 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F
2.238 * [taylor]: Taking taylor expansion of -1.0 in F
2.238 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F
2.238 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
2.238 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.238 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
2.239 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.239 * [taylor]: Taking taylor expansion of -1 in F
2.239 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.239 * [taylor]: Taking taylor expansion of PI in F
2.239 * [taylor]: Taking taylor expansion of l in F
2.239 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
2.239 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.239 * [taylor]: Taking taylor expansion of -1 in F
2.239 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.239 * [taylor]: Taking taylor expansion of PI in F
2.239 * [taylor]: Taking taylor expansion of l in F
2.239 * [taylor]: Taking taylor expansion of F in F
2.239 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l
2.239 * [taylor]: Taking taylor expansion of -1.0 in l
2.239 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
2.239 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
2.240 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.240 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.240 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.240 * [taylor]: Taking taylor expansion of -1 in l
2.240 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.240 * [taylor]: Taking taylor expansion of PI in l
2.240 * [taylor]: Taking taylor expansion of l in l
2.240 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.240 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.240 * [taylor]: Taking taylor expansion of -1 in l
2.240 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.240 * [taylor]: Taking taylor expansion of PI in l
2.240 * [taylor]: Taking taylor expansion of l in l
2.240 * [taylor]: Taking taylor expansion of F in l
2.240 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l
2.240 * [taylor]: Taking taylor expansion of -1.0 in l
2.240 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
2.240 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
2.240 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.240 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.240 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.240 * [taylor]: Taking taylor expansion of -1 in l
2.240 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.240 * [taylor]: Taking taylor expansion of PI in l
2.240 * [taylor]: Taking taylor expansion of l in l
2.240 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.240 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.240 * [taylor]: Taking taylor expansion of -1 in l
2.240 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.240 * [taylor]: Taking taylor expansion of PI in l
2.240 * [taylor]: Taking taylor expansion of l in l
2.241 * [taylor]: Taking taylor expansion of F in l
2.241 * [taylor]: Taking taylor expansion of (* -1.0 (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in F
2.241 * [taylor]: Taking taylor expansion of -1.0 in F
2.241 * [taylor]: Taking taylor expansion of (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F
2.241 * [taylor]: Taking taylor expansion of (* F (sin (* -1 (/ PI l)))) in F
2.241 * [taylor]: Taking taylor expansion of F in F
2.241 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
2.241 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.241 * [taylor]: Taking taylor expansion of -1 in F
2.241 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.241 * [taylor]: Taking taylor expansion of PI in F
2.241 * [taylor]: Taking taylor expansion of l in F
2.241 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
2.241 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.241 * [taylor]: Taking taylor expansion of -1 in F
2.241 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.241 * [taylor]: Taking taylor expansion of PI in F
2.241 * [taylor]: Taking taylor expansion of l in F
2.243 * [taylor]: Taking taylor expansion of 0 in F
2.244 * [taylor]: Taking taylor expansion of 0 in F
2.245 * [taylor]: Taking taylor expansion of 0 in F
2.246 * * * [progress]: simplifying candidates
2.247 * [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)))
2.292 * * [simplify]: iteration  0 :  5091  enodes  (cost  520 )
2.295 * [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)))
2.295 * * * [progress]: adding candidates to table
2.360 * [progress]: [Phase 3 of 3] Extracting.
2.360 * * [regime]: Finding splitpoints for: (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (exp.f64 (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (exp.f64 (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.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 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (exp.f64 (log.f64 (*.f64 PI.f64 l)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 F))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 (*.f64 F F))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (cbrt.f64 (/.f64 1.0 (*.f64 F F))) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))))))>)
2.365 * * * [regime-changes]: Trying 5 branch expressions: ((*.f64 F F) (/.f64 1.0 (*.f64 F F)) (*.f64 PI.f64 l) l F)
2.365 * * * * [regimes]: Trying to branch on (*.f64 F F) from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (exp.f64 (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (exp.f64 (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.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 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (exp.f64 (log.f64 (*.f64 PI.f64 l)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 F))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 (*.f64 F F))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (cbrt.f64 (/.f64 1.0 (*.f64 F F))) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))))))>)
2.444 * * * * [regimes]: Trying to branch on (*.f64 F F) from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (exp.f64 (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F 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.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.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 (*.f64 F F))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (cbrt.f64 (/.f64 1.0 (*.f64 F F))) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))))))>)
2.494 * * * * [regimes]: Trying to branch on (/.f64 1.0 (*.f64 F F)) from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (exp.f64 (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (exp.f64 (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.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 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (exp.f64 (log.f64 (*.f64 PI.f64 l)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 F))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 (*.f64 F F))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (cbrt.f64 (/.f64 1.0 (*.f64 F F))) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))))))>)
2.573 * * * * [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 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (exp.f64 (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.f64 F 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.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.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 (*.f64 F F))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (cbrt.f64 (/.f64 1.0 (*.f64 F F))) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))))))>)
2.625 * * * * [regimes]: Trying to branch on (*.f64 PI.f64 l) from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (exp.f64 (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (exp.f64 (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.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 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (exp.f64 (log.f64 (*.f64 PI.f64 l)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 F))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 (*.f64 F F))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (cbrt.f64 (/.f64 1.0 (*.f64 F F))) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))))))>)
2.706 * * * * [regimes]: Trying to branch on l from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (exp.f64 (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (exp.f64 (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.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 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (exp.f64 (log.f64 (*.f64 PI.f64 l)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 F))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 (*.f64 F F))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (cbrt.f64 (/.f64 1.0 (*.f64 F F))) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))))))>)
2.788 * * * * [regimes]: Trying to branch on F from (#<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (exp.f64 (log.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F))) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (exp.f64 (log.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 (*.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 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l))) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 l (cbrt.f64 PI.f64)))) 1.0) F) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (exp.f64 (log.f64 (*.f64 PI.f64 l)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 F))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1.0 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 1.0 F)) F)))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))) (/.f64 1.0 F)))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1.0 (*.f64 F F))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))))> #<alt (λ (F l) (-.f64 (*.f64 PI.f64 l) (*.f64 (*.f64 (cbrt.f64 (/.f64 1.0 (*.f64 F F))) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 (/.f64 1.0 (*.f64 F F)))))))>)
2.868 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
2.869 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
2.871 * * [simplify]: iteration  0 :  52  enodes  (cost  14 )
2.871 * * [simplify]: iteration  1 :  52  enodes  (cost  14 )
2.871 * [simplify]: Simplified to:
   (-.f64 (*.f64 PI.f64 l) (/.f64 (/.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) 1.0) F) F))
8.354 * [regime-testing]: End program error score: 11.922794597329286