0.875 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.379 * * * [progress]: [2/2] Setting up program. 0.382 * [progress]: [Phase 2 of 3] Improving. 0.384 * [simplify]: Simplifying using # : (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) 0.388 * * [simplify]: iteration 0 : 18 enodes (cost 7 ) 0.389 * * [simplify]: iteration 1 : 39 enodes (cost 7 ) 0.391 * * [simplify]: iteration 2 : 76 enodes (cost 7 ) 0.392 * * [simplify]: iteration 3 : 114 enodes (cost 7 ) 0.394 * * [simplify]: iteration 4 : 137 enodes (cost 7 ) 0.397 * * [simplify]: iteration 5 : 144 enodes (cost 7 ) 0.399 * * [simplify]: iteration 6 : 144 enodes (cost 7 ) 0.399 * [simplify]: Simplified to: (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) 0.400 * * [progress]: iteration 1 / 4 0.400 * * * [progress]: picking best candidate 0.403 * * * * [pick]: Picked # 0.403 * * * [progress]: localizing error 0.415 * * * [progress]: generating rewritten candidates 0.415 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.418 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.434 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.437 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 0.452 * * * [progress]: generating series expansions 0.453 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.457 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 0.458 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.459 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.459 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.459 * [taylor]: Taking taylor expansion of (* PI l) in l 0.459 * [taylor]: Taking taylor expansion of PI in l 0.459 * [taylor]: Taking taylor expansion of l in l 0.461 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.461 * [taylor]: Taking taylor expansion of (* PI l) in l 0.461 * [taylor]: Taking taylor expansion of PI in l 0.461 * [taylor]: Taking taylor expansion of l in l 0.465 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.465 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.465 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.465 * [taylor]: Taking taylor expansion of (* PI l) in l 0.465 * [taylor]: Taking taylor expansion of PI in l 0.465 * [taylor]: Taking taylor expansion of l in l 0.467 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.467 * [taylor]: Taking taylor expansion of (* PI l) in l 0.467 * [taylor]: Taking taylor expansion of PI in l 0.467 * [taylor]: Taking taylor expansion of l in l 0.515 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 0.515 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.515 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.515 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.515 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.515 * [taylor]: Taking taylor expansion of PI in l 0.515 * [taylor]: Taking taylor expansion of l in l 0.516 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.516 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.516 * [taylor]: Taking taylor expansion of PI in l 0.516 * [taylor]: Taking taylor expansion of l in l 0.516 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.516 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.516 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.516 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.516 * [taylor]: Taking taylor expansion of PI in l 0.517 * [taylor]: Taking taylor expansion of l in l 0.517 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.517 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.517 * [taylor]: Taking taylor expansion of PI in l 0.517 * [taylor]: Taking taylor expansion of l in l 0.520 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 0.520 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.520 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.520 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.520 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.520 * [taylor]: Taking taylor expansion of -1 in l 0.520 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.520 * [taylor]: Taking taylor expansion of PI in l 0.520 * [taylor]: Taking taylor expansion of l in l 0.521 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.521 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.521 * [taylor]: Taking taylor expansion of -1 in l 0.521 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.521 * [taylor]: Taking taylor expansion of PI in l 0.521 * [taylor]: Taking taylor expansion of l in l 0.522 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.522 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.522 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.522 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.522 * [taylor]: Taking taylor expansion of -1 in l 0.522 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.522 * [taylor]: Taking taylor expansion of PI in l 0.522 * [taylor]: Taking taylor expansion of l in l 0.523 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.523 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.523 * [taylor]: Taking taylor expansion of -1 in l 0.523 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.523 * [taylor]: Taking taylor expansion of PI in l 0.523 * [taylor]: Taking taylor expansion of l in l 0.526 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.526 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in (F l) around 0 0.526 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in l 0.526 * [taylor]: Taking taylor expansion of 1.0 in l 0.526 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 0.526 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.526 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.526 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.526 * [taylor]: Taking taylor expansion of (* PI l) in l 0.526 * [taylor]: Taking taylor expansion of PI in l 0.526 * [taylor]: Taking taylor expansion of l in l 0.527 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.527 * [taylor]: Taking taylor expansion of (* PI l) in l 0.527 * [taylor]: Taking taylor expansion of PI in l 0.527 * [taylor]: Taking taylor expansion of l in l 0.530 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.530 * [taylor]: Taking taylor expansion of F in l 0.531 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F 0.531 * [taylor]: Taking taylor expansion of 1.0 in F 0.531 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 0.531 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 0.531 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.531 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 0.531 * [taylor]: Taking taylor expansion of (* PI l) in F 0.531 * [taylor]: Taking taylor expansion of PI in F 0.531 * [taylor]: Taking taylor expansion of l in F 0.531 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 0.531 * [taylor]: Taking taylor expansion of (* PI l) in F 0.531 * [taylor]: Taking taylor expansion of PI in F 0.531 * [taylor]: Taking taylor expansion of l in F 0.532 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.532 * [taylor]: Taking taylor expansion of F in F 0.533 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F 0.533 * [taylor]: Taking taylor expansion of 1.0 in F 0.533 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 0.533 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 0.533 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.533 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 0.533 * [taylor]: Taking taylor expansion of (* PI l) in F 0.533 * [taylor]: Taking taylor expansion of PI in F 0.533 * [taylor]: Taking taylor expansion of l in F 0.533 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 0.533 * [taylor]: Taking taylor expansion of (* PI l) in F 0.533 * [taylor]: Taking taylor expansion of PI in F 0.533 * [taylor]: Taking taylor expansion of l in F 0.534 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.534 * [taylor]: Taking taylor expansion of F in F 0.534 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l 0.534 * [taylor]: Taking taylor expansion of 1.0 in l 0.534 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 0.535 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.535 * [taylor]: Taking taylor expansion of (* PI l) in l 0.535 * [taylor]: Taking taylor expansion of PI in l 0.535 * [taylor]: Taking taylor expansion of l in l 0.536 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.536 * [taylor]: Taking taylor expansion of (* PI l) in l 0.536 * [taylor]: Taking taylor expansion of PI in l 0.536 * [taylor]: Taking taylor expansion of l in l 0.550 * [taylor]: Taking taylor expansion of 0 in l 0.560 * [taylor]: Taking taylor expansion of 0 in l 0.583 * [taylor]: Taking taylor expansion of 0 in l 0.600 * [taylor]: Taking taylor expansion of 0 in l 0.602 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in (F l) around 0 0.602 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in l 0.602 * [taylor]: Taking taylor expansion of 1.0 in l 0.602 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 0.602 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.602 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.602 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.602 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.602 * [taylor]: Taking taylor expansion of PI in l 0.602 * [taylor]: Taking taylor expansion of l in l 0.602 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.602 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.602 * [taylor]: Taking taylor expansion of PI in l 0.602 * [taylor]: Taking taylor expansion of l in l 0.603 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.603 * [taylor]: Taking taylor expansion of F in l 0.603 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F 0.603 * [taylor]: Taking taylor expansion of 1.0 in F 0.603 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 0.603 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 0.603 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.603 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 0.603 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.603 * [taylor]: Taking taylor expansion of PI in F 0.603 * [taylor]: Taking taylor expansion of l in F 0.603 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 0.603 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.603 * [taylor]: Taking taylor expansion of PI in F 0.603 * [taylor]: Taking taylor expansion of l in F 0.604 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.604 * [taylor]: Taking taylor expansion of F in F 0.604 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F 0.604 * [taylor]: Taking taylor expansion of 1.0 in F 0.604 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 0.604 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 0.604 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.604 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 0.604 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.604 * [taylor]: Taking taylor expansion of PI in F 0.604 * [taylor]: Taking taylor expansion of l in F 0.604 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 0.604 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.604 * [taylor]: Taking taylor expansion of PI in F 0.604 * [taylor]: Taking taylor expansion of l in F 0.605 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.605 * [taylor]: Taking taylor expansion of F in F 0.605 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l 0.605 * [taylor]: Taking taylor expansion of 1.0 in l 0.605 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 0.605 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.605 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.606 * [taylor]: Taking taylor expansion of PI in l 0.606 * [taylor]: Taking taylor expansion of l in l 0.606 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.606 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.606 * [taylor]: Taking taylor expansion of PI in l 0.606 * [taylor]: Taking taylor expansion of l in l 0.611 * [taylor]: Taking taylor expansion of 0 in l 0.617 * [taylor]: Taking taylor expansion of 0 in l 0.628 * [taylor]: Taking taylor expansion of 0 in l 0.629 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in (F l) around 0 0.629 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in l 0.629 * [taylor]: Taking taylor expansion of 1.0 in l 0.629 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 0.629 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.629 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.629 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.629 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.629 * [taylor]: Taking taylor expansion of -1 in l 0.629 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.629 * [taylor]: Taking taylor expansion of PI in l 0.629 * [taylor]: Taking taylor expansion of l in l 0.630 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.630 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.630 * [taylor]: Taking taylor expansion of -1 in l 0.630 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.630 * [taylor]: Taking taylor expansion of PI in l 0.630 * [taylor]: Taking taylor expansion of l in l 0.631 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.631 * [taylor]: Taking taylor expansion of F in l 0.631 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F 0.631 * [taylor]: Taking taylor expansion of 1.0 in F 0.631 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 0.631 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 0.631 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.631 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 0.631 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.631 * [taylor]: Taking taylor expansion of -1 in F 0.631 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.631 * [taylor]: Taking taylor expansion of PI in F 0.631 * [taylor]: Taking taylor expansion of l in F 0.631 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 0.631 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.631 * [taylor]: Taking taylor expansion of -1 in F 0.631 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.631 * [taylor]: Taking taylor expansion of PI in F 0.631 * [taylor]: Taking taylor expansion of l in F 0.632 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.632 * [taylor]: Taking taylor expansion of F in F 0.632 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F 0.632 * [taylor]: Taking taylor expansion of 1.0 in F 0.632 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 0.632 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 0.632 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.632 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 0.632 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.632 * [taylor]: Taking taylor expansion of -1 in F 0.632 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.632 * [taylor]: Taking taylor expansion of PI in F 0.632 * [taylor]: Taking taylor expansion of l in F 0.632 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 0.632 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.632 * [taylor]: Taking taylor expansion of -1 in F 0.632 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.632 * [taylor]: Taking taylor expansion of PI in F 0.632 * [taylor]: Taking taylor expansion of l in F 0.633 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.633 * [taylor]: Taking taylor expansion of F in F 0.634 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l 0.634 * [taylor]: Taking taylor expansion of 1.0 in l 0.634 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 0.634 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.634 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.634 * [taylor]: Taking taylor expansion of -1 in l 0.634 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.634 * [taylor]: Taking taylor expansion of PI in l 0.634 * [taylor]: Taking taylor expansion of l in l 0.634 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.634 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.634 * [taylor]: Taking taylor expansion of -1 in l 0.635 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.635 * [taylor]: Taking taylor expansion of PI in l 0.635 * [taylor]: Taking taylor expansion of l in l 0.641 * [taylor]: Taking taylor expansion of 0 in l 0.649 * [taylor]: Taking taylor expansion of 0 in l 0.659 * [taylor]: Taking taylor expansion of 0 in l 0.659 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.659 * [approximate]: Taking taylor expansion of (/ 1.0 (pow F 2)) in (F) around 0 0.659 * [taylor]: Taking taylor expansion of (/ 1.0 (pow F 2)) in F 0.659 * [taylor]: Taking taylor expansion of 1.0 in F 0.660 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.660 * [taylor]: Taking taylor expansion of F in F 0.660 * [taylor]: Taking taylor expansion of (/ 1.0 (pow F 2)) in F 0.660 * [taylor]: Taking taylor expansion of 1.0 in F 0.660 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.660 * [taylor]: Taking taylor expansion of F in F 0.668 * [approximate]: Taking taylor expansion of (* 1.0 (pow F 2)) in (F) around 0 0.668 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.668 * [taylor]: Taking taylor expansion of 1.0 in F 0.668 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.668 * [taylor]: Taking taylor expansion of F in F 0.668 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.668 * [taylor]: Taking taylor expansion of 1.0 in F 0.668 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.668 * [taylor]: Taking taylor expansion of F in F 0.676 * [approximate]: Taking taylor expansion of (* 1.0 (pow F 2)) in (F) around 0 0.676 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.676 * [taylor]: Taking taylor expansion of 1.0 in F 0.676 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.676 * [taylor]: Taking taylor expansion of F in F 0.676 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.676 * [taylor]: Taking taylor expansion of 1.0 in F 0.676 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.676 * [taylor]: Taking taylor expansion of F in F 0.684 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 0.684 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 0.684 * [taylor]: Taking taylor expansion of (* PI l) in l 0.684 * [taylor]: Taking taylor expansion of PI in l 0.684 * [taylor]: Taking taylor expansion of l in l 0.684 * [taylor]: Taking taylor expansion of (* PI l) in l 0.684 * [taylor]: Taking taylor expansion of PI in l 0.684 * [taylor]: Taking taylor expansion of l in l 0.690 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 0.690 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.690 * [taylor]: Taking taylor expansion of PI in l 0.690 * [taylor]: Taking taylor expansion of l in l 0.690 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.690 * [taylor]: Taking taylor expansion of PI in l 0.690 * [taylor]: Taking taylor expansion of l in l 0.694 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 0.694 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.694 * [taylor]: Taking taylor expansion of -1 in l 0.694 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.694 * [taylor]: Taking taylor expansion of PI in l 0.694 * [taylor]: Taking taylor expansion of l in l 0.695 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.695 * [taylor]: Taking taylor expansion of -1 in l 0.695 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.695 * [taylor]: Taking taylor expansion of PI in l 0.695 * [taylor]: Taking taylor expansion of l in l 0.703 * * * [progress]: simplifying candidates 0.705 * [simplify]: Simplifying using # : (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l))) (+ (- (log 1.0) (+ (log F) (log F))) (log (tan (* PI l)))) (+ (- (log 1.0) (log (* F F))) (log (tan (* PI l)))) (+ (log (/ 1.0 (* F F))) (log (tan (* PI l)))) (log (* (/ 1.0 (* F F)) (tan (* PI l)))) (exp (* (/ 1.0 (* F F)) (tan (* PI l)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) F) (* (* F F) F))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) (* F F)) (* F F))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (* (* (/ 1.0 (* F F)) (/ 1.0 (* F F))) (/ 1.0 (* F F))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l))))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (* (* (* (/ 1.0 (* F F)) (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l)))) (* (/ 1.0 (* F F)) (tan (* PI l)))) (sqrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (sqrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (* 1.0 (sin (* PI l))) (* (* F F) (cos (* PI l))) (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l)))) (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ 1.0 (* F F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (* (/ 1.0 (* F F)) (sqrt (tan (* PI l)))) (* (/ 1.0 (* F F)) 1) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))) (* (sqrt (/ 1.0 (* F F))) (tan (* PI l))) (* (/ (cbrt 1.0) F) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l))) (* (/ 1 (* F F)) (tan (* PI l))) (* (/ 1.0 (* F F)) (sin (* PI l))) (* 1.0 (tan (* PI l))) (- (log 1.0) (+ (log F) (log F))) (- (log 1.0) (log (* F F))) (log (/ 1.0 (* F F))) (exp (/ 1.0 (* F F))) (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) F) (* (* F F) F))) (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) (* F F)) (* F F))) (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (cbrt (/ 1.0 (* F F))) (* (* (/ 1.0 (* F F)) (/ 1.0 (* F F))) (/ 1.0 (* F F))) (sqrt (/ 1.0 (* F F))) (sqrt (/ 1.0 (* F F))) (- 1.0) (- (* F F)) (/ (* (cbrt 1.0) (cbrt 1.0)) F) (/ (cbrt 1.0) F) (/ (sqrt 1.0) F) (/ (sqrt 1.0) F) (/ 1 F) (/ 1.0 F) (/ 1 (* F F)) (/ (* F F) 1.0) (/ 1.0 F) (/ (* F F) (cbrt 1.0)) (/ (* F F) (sqrt 1.0)) (/ (* F F) 1.0) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (+ (* 1.0 (/ (* PI l) (pow F 2))) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) (pow F 2)))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2)))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2)))) (/ 1.0 (pow F 2)) (/ 1.0 (pow F 2)) (/ 1.0 (pow F 2)) (* PI l) (* PI l) (* PI l) 0.713 * * [simplify]: iteration 0 : 323 enodes (cost 443 ) 0.718 * * [simplify]: iteration 1 : 1416 enodes (cost 374 ) 0.744 * * [simplify]: iteration 2 : 5001 enodes (cost 374 ) 0.746 * [simplify]: Simplified to: (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (pow (tan (* PI l)) 3) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l))) (log (* (/ 1.0 (* F F)) (tan (* PI l)))) (log (* (/ 1.0 (* F F)) (tan (* PI l)))) (log (* (/ 1.0 (* F F)) (tan (* PI l)))) (log (* (/ 1.0 (* F F)) (tan (* PI l)))) (exp (* (/ 1.0 (* F F)) (tan (* PI l)))) (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3) (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3) (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3) (* (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l))))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3) (sqrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (sqrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (* 1.0 (sin (* PI l))) (* (* F F) (cos (* PI l))) (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l)))) (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ 1.0 (* F F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (* (/ 1.0 (* F F)) (sqrt (tan (* PI l)))) (/ 1.0 (* F F)) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))) (* (sqrt (/ 1.0 (* F F))) (tan (* PI l))) (* (/ (cbrt 1.0) F) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l))) (/ (tan (* PI l)) (pow F 2)) (* (/ 1.0 (* F F)) (sin (* PI l))) (* 1.0 (tan (* PI l))) (log (/ 1.0 (* F F))) (log (/ 1.0 (* F F))) (log (/ 1.0 (* F F))) (exp (/ 1.0 (* F F))) (pow (/ 1.0 (* F F)) 3) (pow (/ 1.0 (* F F)) 3) (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (cbrt (/ 1.0 (* F F))) (pow (/ 1.0 (* F F)) 3) (sqrt (/ 1.0 (* F F))) (sqrt (/ 1.0 (* F F))) (- 1.0) (- (* F F)) (/ (* (cbrt 1.0) (cbrt 1.0)) F) (/ (cbrt 1.0) F) (/ (sqrt 1.0) F) (/ (sqrt 1.0) F) (/ 1 F) (/ 1.0 F) (/ 1 (* F F)) (/ (* F F) 1.0) (/ 1.0 F) (/ (* F F) (cbrt 1.0)) (/ (* F F) (sqrt 1.0)) (/ (* F F) 1.0) (* PI l) (log (* PI l)) (log (* PI l)) (exp (* PI l)) (pow (* PI l) 3) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (pow (* PI l) 3) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) PI (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (+ (* 1.0 (/ (* PI l) (pow F 2))) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) (pow F 2)))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2)))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2)))) (/ 1.0 (* F F)) (/ 1.0 (* F F)) (/ 1.0 (* F F)) (* PI l) (* PI l) (* PI l) 0.747 * * * [progress]: adding candidates to table 0.934 * * [progress]: iteration 2 / 4 0.934 * * * [progress]: picking best candidate 0.967 * * * * [pick]: Picked # 0.967 * * * [progress]: localizing error 0.978 * * * [progress]: generating rewritten candidates 0.978 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 0.980 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 0.996 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1) 0.998 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.004 * * * [progress]: generating series expansions 1.004 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 1.004 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.004 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.004 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.004 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.004 * [taylor]: Taking taylor expansion of (* PI l) in l 1.004 * [taylor]: Taking taylor expansion of PI in l 1.004 * [taylor]: Taking taylor expansion of l in l 1.006 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.006 * [taylor]: Taking taylor expansion of (* PI l) in l 1.006 * [taylor]: Taking taylor expansion of PI in l 1.006 * [taylor]: Taking taylor expansion of l in l 1.009 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.009 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.009 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.009 * [taylor]: Taking taylor expansion of (* PI l) in l 1.009 * [taylor]: Taking taylor expansion of PI in l 1.009 * [taylor]: Taking taylor expansion of l in l 1.010 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.010 * [taylor]: Taking taylor expansion of (* PI l) in l 1.010 * [taylor]: Taking taylor expansion of PI in l 1.010 * [taylor]: Taking taylor expansion of l in l 1.059 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.059 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.059 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.059 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.059 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.059 * [taylor]: Taking taylor expansion of PI in l 1.059 * [taylor]: Taking taylor expansion of l in l 1.060 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.060 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.060 * [taylor]: Taking taylor expansion of PI in l 1.060 * [taylor]: Taking taylor expansion of l in l 1.060 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.060 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.060 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.060 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.060 * [taylor]: Taking taylor expansion of PI in l 1.060 * [taylor]: Taking taylor expansion of l in l 1.061 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.061 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.061 * [taylor]: Taking taylor expansion of PI in l 1.061 * [taylor]: Taking taylor expansion of l in l 1.063 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.063 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.063 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.063 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.063 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.063 * [taylor]: Taking taylor expansion of -1 in l 1.063 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.063 * [taylor]: Taking taylor expansion of PI in l 1.063 * [taylor]: Taking taylor expansion of l in l 1.064 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.064 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.064 * [taylor]: Taking taylor expansion of -1 in l 1.064 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.064 * [taylor]: Taking taylor expansion of PI in l 1.064 * [taylor]: Taking taylor expansion of l in l 1.065 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.065 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.065 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.065 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.065 * [taylor]: Taking taylor expansion of -1 in l 1.065 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.065 * [taylor]: Taking taylor expansion of PI in l 1.065 * [taylor]: Taking taylor expansion of l in l 1.066 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.066 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.066 * [taylor]: Taking taylor expansion of -1 in l 1.066 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.066 * [taylor]: Taking taylor expansion of PI in l 1.066 * [taylor]: Taking taylor expansion of l in l 1.069 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.070 * [approximate]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in (F l) around 0 1.070 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in l 1.070 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (tan (* PI l))) in l 1.070 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.070 * [taylor]: Taking taylor expansion of 1.0 in l 1.071 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.071 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.071 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.071 * [taylor]: Taking taylor expansion of (* PI l) in l 1.071 * [taylor]: Taking taylor expansion of PI in l 1.071 * [taylor]: Taking taylor expansion of l in l 1.072 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.072 * [taylor]: Taking taylor expansion of (* PI l) in l 1.072 * [taylor]: Taking taylor expansion of PI in l 1.072 * [taylor]: Taking taylor expansion of l in l 1.075 * [taylor]: Taking taylor expansion of F in l 1.076 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in F 1.076 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (tan (* PI l))) in F 1.076 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.076 * [taylor]: Taking taylor expansion of 1.0 in F 1.077 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.077 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.077 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.077 * [taylor]: Taking taylor expansion of (* PI l) in F 1.077 * [taylor]: Taking taylor expansion of PI in F 1.077 * [taylor]: Taking taylor expansion of l in F 1.077 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.077 * [taylor]: Taking taylor expansion of (* PI l) in F 1.077 * [taylor]: Taking taylor expansion of PI in F 1.077 * [taylor]: Taking taylor expansion of l in F 1.078 * [taylor]: Taking taylor expansion of F in F 1.079 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in F 1.079 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (tan (* PI l))) in F 1.079 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.079 * [taylor]: Taking taylor expansion of 1.0 in F 1.079 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.079 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.079 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.080 * [taylor]: Taking taylor expansion of (* PI l) in F 1.080 * [taylor]: Taking taylor expansion of PI in F 1.080 * [taylor]: Taking taylor expansion of l in F 1.080 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.080 * [taylor]: Taking taylor expansion of (* PI l) in F 1.080 * [taylor]: Taking taylor expansion of PI in F 1.080 * [taylor]: Taking taylor expansion of l in F 1.080 * [taylor]: Taking taylor expansion of F in F 1.081 * [taylor]: Taking taylor expansion of (/ (* (sin (* PI l)) (sqrt 1.0)) (cos (* PI l))) in l 1.081 * [taylor]: Taking taylor expansion of (* (sin (* PI l)) (sqrt 1.0)) in l 1.081 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.081 * [taylor]: Taking taylor expansion of (* PI l) in l 1.081 * [taylor]: Taking taylor expansion of PI in l 1.081 * [taylor]: Taking taylor expansion of l in l 1.082 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.082 * [taylor]: Taking taylor expansion of 1.0 in l 1.083 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.083 * [taylor]: Taking taylor expansion of (* PI l) in l 1.083 * [taylor]: Taking taylor expansion of PI in l 1.083 * [taylor]: Taking taylor expansion of l in l 1.094 * [taylor]: Taking taylor expansion of 0 in l 1.105 * [taylor]: Taking taylor expansion of 0 in l 1.140 * [taylor]: Taking taylor expansion of 0 in l 1.159 * [taylor]: Taking taylor expansion of 0 in l 1.162 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in (F l) around 0 1.162 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in l 1.162 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.162 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.162 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.162 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.162 * [taylor]: Taking taylor expansion of PI in l 1.162 * [taylor]: Taking taylor expansion of l in l 1.162 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.162 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.162 * [taylor]: Taking taylor expansion of PI in l 1.163 * [taylor]: Taking taylor expansion of l in l 1.163 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in l 1.163 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.163 * [taylor]: Taking taylor expansion of 1.0 in l 1.164 * [taylor]: Taking taylor expansion of F in l 1.164 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in F 1.164 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.164 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.164 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.164 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.164 * [taylor]: Taking taylor expansion of PI in F 1.164 * [taylor]: Taking taylor expansion of l in F 1.164 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.164 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.164 * [taylor]: Taking taylor expansion of PI in F 1.164 * [taylor]: Taking taylor expansion of l in F 1.165 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 1.165 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.165 * [taylor]: Taking taylor expansion of 1.0 in F 1.165 * [taylor]: Taking taylor expansion of F in F 1.166 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in F 1.166 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.166 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.166 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.166 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.166 * [taylor]: Taking taylor expansion of PI in F 1.166 * [taylor]: Taking taylor expansion of l in F 1.166 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.166 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.166 * [taylor]: Taking taylor expansion of PI in F 1.166 * [taylor]: Taking taylor expansion of l in F 1.167 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 1.167 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.167 * [taylor]: Taking taylor expansion of 1.0 in F 1.167 * [taylor]: Taking taylor expansion of F in F 1.168 * [taylor]: Taking taylor expansion of 0 in l 1.173 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) (sqrt 1.0)) (cos (/ PI l))) in l 1.173 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) (sqrt 1.0)) in l 1.173 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.173 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.173 * [taylor]: Taking taylor expansion of PI in l 1.173 * [taylor]: Taking taylor expansion of l in l 1.174 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.174 * [taylor]: Taking taylor expansion of 1.0 in l 1.174 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.174 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.174 * [taylor]: Taking taylor expansion of PI in l 1.174 * [taylor]: Taking taylor expansion of l in l 1.182 * [taylor]: Taking taylor expansion of 0 in l 1.190 * [taylor]: Taking taylor expansion of 0 in l 1.191 * [approximate]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in (F l) around 0 1.191 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in l 1.191 * [taylor]: Taking taylor expansion of -1 in l 1.191 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F)) in l 1.191 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.191 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.191 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.191 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.191 * [taylor]: Taking taylor expansion of -1 in l 1.191 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.191 * [taylor]: Taking taylor expansion of PI in l 1.191 * [taylor]: Taking taylor expansion of l in l 1.192 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.192 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.192 * [taylor]: Taking taylor expansion of -1 in l 1.192 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.192 * [taylor]: Taking taylor expansion of PI in l 1.192 * [taylor]: Taking taylor expansion of l in l 1.193 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in l 1.193 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.193 * [taylor]: Taking taylor expansion of 1.0 in l 1.193 * [taylor]: Taking taylor expansion of F in l 1.193 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in F 1.193 * [taylor]: Taking taylor expansion of -1 in F 1.193 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F)) in F 1.193 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.194 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.194 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.194 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.194 * [taylor]: Taking taylor expansion of -1 in F 1.194 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.194 * [taylor]: Taking taylor expansion of PI in F 1.194 * [taylor]: Taking taylor expansion of l in F 1.194 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.194 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.194 * [taylor]: Taking taylor expansion of -1 in F 1.194 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.194 * [taylor]: Taking taylor expansion of PI in F 1.194 * [taylor]: Taking taylor expansion of l in F 1.195 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 1.195 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.195 * [taylor]: Taking taylor expansion of 1.0 in F 1.195 * [taylor]: Taking taylor expansion of F in F 1.195 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in F 1.195 * [taylor]: Taking taylor expansion of -1 in F 1.195 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F)) in F 1.195 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.196 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.196 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.196 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.196 * [taylor]: Taking taylor expansion of -1 in F 1.196 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.196 * [taylor]: Taking taylor expansion of PI in F 1.196 * [taylor]: Taking taylor expansion of l in F 1.196 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.196 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.196 * [taylor]: Taking taylor expansion of -1 in F 1.196 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.196 * [taylor]: Taking taylor expansion of PI in F 1.196 * [taylor]: Taking taylor expansion of l in F 1.197 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 1.197 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.197 * [taylor]: Taking taylor expansion of 1.0 in F 1.197 * [taylor]: Taking taylor expansion of F in F 1.198 * [taylor]: Taking taylor expansion of 0 in l 1.205 * [taylor]: Taking taylor expansion of (- (/ (* (sqrt 1.0) (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in l 1.205 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in l 1.205 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sin (* -1 (/ PI l)))) in l 1.205 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.205 * [taylor]: Taking taylor expansion of 1.0 in l 1.206 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.206 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.206 * [taylor]: Taking taylor expansion of -1 in l 1.206 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.206 * [taylor]: Taking taylor expansion of PI in l 1.206 * [taylor]: Taking taylor expansion of l in l 1.206 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.206 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.206 * [taylor]: Taking taylor expansion of -1 in l 1.206 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.206 * [taylor]: Taking taylor expansion of PI in l 1.206 * [taylor]: Taking taylor expansion of l in l 1.220 * [taylor]: Taking taylor expansion of 0 in l 1.231 * [taylor]: Taking taylor expansion of 0 in l 1.232 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1) 1.232 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.232 * [taylor]: Taking taylor expansion of (* PI l) in l 1.232 * [taylor]: Taking taylor expansion of PI in l 1.232 * [taylor]: Taking taylor expansion of l in l 1.232 * [taylor]: Taking taylor expansion of (* PI l) in l 1.232 * [taylor]: Taking taylor expansion of PI in l 1.232 * [taylor]: Taking taylor expansion of l in l 1.238 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.238 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.238 * [taylor]: Taking taylor expansion of PI in l 1.238 * [taylor]: Taking taylor expansion of l in l 1.239 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.239 * [taylor]: Taking taylor expansion of PI in l 1.239 * [taylor]: Taking taylor expansion of l in l 1.242 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.243 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.243 * [taylor]: Taking taylor expansion of -1 in l 1.243 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.243 * [taylor]: Taking taylor expansion of PI in l 1.243 * [taylor]: Taking taylor expansion of l in l 1.243 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.243 * [taylor]: Taking taylor expansion of -1 in l 1.243 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.243 * [taylor]: Taking taylor expansion of PI in l 1.243 * [taylor]: Taking taylor expansion of l in l 1.252 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.252 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.252 * [taylor]: Taking taylor expansion of (* PI l) in l 1.252 * [taylor]: Taking taylor expansion of PI in l 1.252 * [taylor]: Taking taylor expansion of l in l 1.252 * [taylor]: Taking taylor expansion of (* PI l) in l 1.252 * [taylor]: Taking taylor expansion of PI in l 1.252 * [taylor]: Taking taylor expansion of l in l 1.258 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.258 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.258 * [taylor]: Taking taylor expansion of PI in l 1.258 * [taylor]: Taking taylor expansion of l in l 1.258 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.258 * [taylor]: Taking taylor expansion of PI in l 1.258 * [taylor]: Taking taylor expansion of l in l 1.262 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.262 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.262 * [taylor]: Taking taylor expansion of -1 in l 1.262 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.262 * [taylor]: Taking taylor expansion of PI in l 1.262 * [taylor]: Taking taylor expansion of l in l 1.262 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.263 * [taylor]: Taking taylor expansion of -1 in l 1.263 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.263 * [taylor]: Taking taylor expansion of PI in l 1.263 * [taylor]: Taking taylor expansion of l in l 1.271 * * * [progress]: simplifying candidates 1.273 * [simplify]: Simplifying using # : (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (+ (- (log (sqrt 1.0)) (log F)) (log (tan (* PI l)))) (+ (log (/ (sqrt 1.0) F)) (log (tan (* PI l)))) (log (* (/ (sqrt 1.0) F) (tan (* PI l)))) (exp (* (/ (sqrt 1.0) F) (tan (* PI l)))) (* (/ (* (* (sqrt 1.0) (sqrt 1.0)) (sqrt 1.0)) (* (* F F) F)) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (* (* (/ (sqrt 1.0) F) (/ (sqrt 1.0) F)) (/ (sqrt 1.0) F)) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (cbrt (* (/ (sqrt 1.0) F) (tan (* PI l)))) (cbrt (* (/ (sqrt 1.0) F) (tan (* PI l))))) (cbrt (* (/ (sqrt 1.0) F) (tan (* PI l)))) (* (* (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l)))) (* (/ (sqrt 1.0) F) (tan (* PI l)))) (sqrt (* (/ (sqrt 1.0) F) (tan (* PI l)))) (sqrt (* (/ (sqrt 1.0) F) (tan (* PI l)))) (* (sqrt 1.0) (sin (* PI l))) (* F (cos (* PI l))) (* (sqrt (/ (sqrt 1.0) F)) (sqrt (tan (* PI l)))) (* (sqrt (/ (sqrt 1.0) F)) (sqrt (tan (* PI l)))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) 1) (* (cbrt (/ (sqrt 1.0) F)) (tan (* PI l))) (* (sqrt (/ (sqrt 1.0) F)) (tan (* PI l))) (* (/ (cbrt (sqrt 1.0)) (cbrt F)) (tan (* PI l))) (* (/ (cbrt (sqrt 1.0)) (sqrt F)) (tan (* PI l))) (* (/ (cbrt (sqrt 1.0)) F) (tan (* PI l))) (* (/ (sqrt (cbrt 1.0)) (cbrt F)) (tan (* PI l))) (* (/ (sqrt (cbrt 1.0)) (sqrt F)) (tan (* PI l))) (* (/ (sqrt (cbrt 1.0)) F) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) (cbrt F)) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) F) (tan (* PI l))) (* (/ (sqrt 1.0) (cbrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) (sqrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) (cbrt F)) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) F) (tan (* PI l))) (* (/ (sqrt 1.0) (cbrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) (sqrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ 1 F) (tan (* PI l))) (* (/ (sqrt 1.0) F) (sin (* PI l))) (* (sqrt 1.0) (tan (* PI l))) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (+ (/ (* (sqrt 1.0) (* PI l)) F) (* 1/3 (/ (* (sqrt 1.0) (* (pow PI 3) (pow l 3))) F))) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) 1.278 * * [simplify]: iteration 0 : 297 enodes (cost 498 ) 1.283 * * [simplify]: iteration 1 : 1061 enodes (cost 455 ) 1.302 * * [simplify]: iteration 2 : 4012 enodes (cost 454 ) 1.368 * * [simplify]: iteration 3 : 5002 enodes (cost 454 ) 1.370 * [simplify]: Simplified to: (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (pow (tan (* PI l)) 3) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (log (* (/ (sqrt 1.0) F) (tan (* PI l)))) (log (* (/ (sqrt 1.0) F) (tan (* PI l)))) (log (* (/ (sqrt 1.0) F) (tan (* PI l)))) (exp (* (/ (sqrt 1.0) F) (tan (* PI l)))) (pow (* (/ (sqrt 1.0) F) (tan (* PI l))) 3) (pow (* (/ (sqrt 1.0) F) (tan (* PI l))) 3) (* (cbrt (* (/ (sqrt 1.0) F) (tan (* PI l)))) (cbrt (* (/ (sqrt 1.0) F) (tan (* PI l))))) (cbrt (* (/ (sqrt 1.0) F) (tan (* PI l)))) (pow (* (/ (sqrt 1.0) F) (tan (* PI l))) 3) (sqrt (* (/ (sqrt 1.0) F) (tan (* PI l)))) (sqrt (* (/ (sqrt 1.0) F) (tan (* PI l)))) (* (sqrt 1.0) (sin (* PI l))) (* F (cos (* PI l))) (* (sqrt (/ (sqrt 1.0) F)) (sqrt (tan (* PI l)))) (* (sqrt (/ (sqrt 1.0) F)) (sqrt (tan (* PI l)))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (/ (sqrt 1.0) F) (* (cbrt (/ (sqrt 1.0) F)) (tan (* PI l))) (* (sqrt (/ (sqrt 1.0) F)) (tan (* PI l))) (* (/ (cbrt (sqrt 1.0)) (cbrt F)) (tan (* PI l))) (* (/ (cbrt (sqrt 1.0)) (sqrt F)) (tan (* PI l))) (* (/ (cbrt (sqrt 1.0)) F) (tan (* PI l))) (* (/ (sqrt (cbrt 1.0)) (cbrt F)) (tan (* PI l))) (* (/ (sqrt (cbrt 1.0)) (sqrt F)) (tan (* PI l))) (* (/ (sqrt (cbrt 1.0)) F) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) (cbrt F)) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) F) (tan (* PI l))) (* (/ (sqrt 1.0) (cbrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) (sqrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) (cbrt F)) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) F) (tan (* PI l))) (* (/ (sqrt 1.0) (cbrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) (sqrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (/ (tan (* PI l)) F) (* (/ (sqrt 1.0) F) (sin (* PI l))) (* (sqrt 1.0) (tan (* PI l))) (* PI l) (log (* PI l)) (log (* PI l)) (exp (* PI l)) (pow (* PI l) 3) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (pow (* PI l) 3) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) PI (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (* PI l) (log (* PI l)) (log (* PI l)) (exp (* PI l)) (pow (* PI l) 3) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (pow (* PI l) 3) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) PI (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (+ (/ (* (sqrt 1.0) (* PI l)) F) (* 1/3 (/ (* (sqrt 1.0) (* (pow PI 3) (pow l 3))) F))) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) 1.370 * * * [progress]: adding candidates to table 1.627 * * [progress]: iteration 3 / 4 1.627 * * * [progress]: picking best candidate 1.682 * * * * [pick]: Picked # 1.682 * * * [progress]: localizing error 1.694 * * * [progress]: generating rewritten candidates 1.694 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2) 1.696 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1) 1.698 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.701 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 1.709 * * * [progress]: generating series expansions 1.709 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2) 1.710 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 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.711 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.711 * [taylor]: Taking taylor expansion of (* PI l) in l 1.711 * [taylor]: Taking taylor expansion of PI in l 1.711 * [taylor]: Taking taylor expansion of l in l 1.714 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.714 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.715 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.715 * [taylor]: Taking taylor expansion of (* PI l) in l 1.715 * [taylor]: Taking taylor expansion of PI in l 1.715 * [taylor]: Taking taylor expansion of l in l 1.716 * [taylor]: Taking taylor expansion of (cos (* PI l)) 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.764 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.764 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.765 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.765 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.765 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.765 * [taylor]: Taking taylor expansion of PI in l 1.765 * [taylor]: Taking taylor expansion of l in l 1.765 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.765 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.765 * [taylor]: Taking taylor expansion of PI in l 1.765 * [taylor]: Taking taylor expansion of l in l 1.765 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.766 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.766 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.766 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.766 * [taylor]: Taking taylor expansion of PI in l 1.766 * [taylor]: Taking taylor expansion of l in l 1.766 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.766 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.766 * [taylor]: Taking taylor expansion of PI in l 1.766 * [taylor]: Taking taylor expansion of l in l 1.768 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.768 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.769 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.769 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.769 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.769 * [taylor]: Taking taylor expansion of -1 in l 1.769 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.769 * [taylor]: Taking taylor expansion of PI in l 1.769 * [taylor]: Taking taylor expansion of l in l 1.769 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.769 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.769 * [taylor]: Taking taylor expansion of -1 in l 1.769 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.770 * [taylor]: Taking taylor expansion of PI in l 1.770 * [taylor]: Taking taylor expansion of l in l 1.770 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.770 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.770 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.770 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.770 * [taylor]: Taking taylor expansion of -1 in l 1.770 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.770 * [taylor]: Taking taylor expansion of PI in l 1.770 * [taylor]: Taking taylor expansion of l in l 1.771 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.771 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.771 * [taylor]: Taking taylor expansion of -1 in l 1.771 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.771 * [taylor]: Taking taylor expansion of PI in l 1.771 * [taylor]: Taking taylor expansion of l in l 1.774 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1) 1.774 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.774 * [taylor]: Taking taylor expansion of (* PI l) in l 1.774 * [taylor]: Taking taylor expansion of PI in l 1.775 * [taylor]: Taking taylor expansion of l in l 1.775 * [taylor]: Taking taylor expansion of (* PI l) in l 1.775 * [taylor]: Taking taylor expansion of PI in l 1.775 * [taylor]: Taking taylor expansion of l in l 1.781 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.781 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.781 * [taylor]: Taking taylor expansion of PI in l 1.781 * [taylor]: Taking taylor expansion of l in l 1.781 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.781 * [taylor]: Taking taylor expansion of PI in l 1.781 * [taylor]: Taking taylor expansion of l in l 1.785 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.785 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.785 * [taylor]: Taking taylor expansion of -1 in l 1.785 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.785 * [taylor]: Taking taylor expansion of PI in l 1.785 * [taylor]: Taking taylor expansion of l in l 1.786 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.786 * [taylor]: Taking taylor expansion of -1 in l 1.786 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.786 * [taylor]: Taking taylor expansion of PI in l 1.786 * [taylor]: Taking taylor expansion of l in l 1.794 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.794 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.794 * [taylor]: Taking taylor expansion of (* PI l) in l 1.794 * [taylor]: Taking taylor expansion of PI in l 1.794 * [taylor]: Taking taylor expansion of l in l 1.794 * [taylor]: Taking taylor expansion of (* PI l) in l 1.794 * [taylor]: Taking taylor expansion of PI in l 1.794 * [taylor]: Taking taylor expansion of l in l 1.800 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.800 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.800 * [taylor]: Taking taylor expansion of PI in l 1.800 * [taylor]: Taking taylor expansion of l in l 1.801 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.801 * [taylor]: Taking taylor expansion of PI in l 1.801 * [taylor]: Taking taylor expansion of l in l 1.804 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.805 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.805 * [taylor]: Taking taylor expansion of -1 in l 1.805 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.805 * [taylor]: Taking taylor expansion of PI in l 1.805 * [taylor]: Taking taylor expansion of l in l 1.805 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.805 * [taylor]: Taking taylor expansion of -1 in l 1.805 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.805 * [taylor]: Taking taylor expansion of PI in l 1.805 * [taylor]: Taking taylor expansion of l in l 1.814 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 1.814 * [approximate]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in (l F) around 0 1.814 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in F 1.814 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (tan (* PI l))) in F 1.814 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.814 * [taylor]: Taking taylor expansion of 1.0 in F 1.815 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.815 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.815 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.815 * [taylor]: Taking taylor expansion of (* PI l) in F 1.815 * [taylor]: Taking taylor expansion of PI in F 1.815 * [taylor]: Taking taylor expansion of l in F 1.816 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.816 * [taylor]: Taking taylor expansion of (* PI l) in F 1.816 * [taylor]: Taking taylor expansion of PI in F 1.816 * [taylor]: Taking taylor expansion of l in F 1.816 * [taylor]: Taking taylor expansion of F in F 1.817 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in l 1.817 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (tan (* PI l))) in l 1.817 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.817 * [taylor]: Taking taylor expansion of 1.0 in l 1.818 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.818 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.818 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.818 * [taylor]: Taking taylor expansion of (* PI l) in l 1.818 * [taylor]: Taking taylor expansion of PI in l 1.818 * [taylor]: Taking taylor expansion of l in l 1.819 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.819 * [taylor]: Taking taylor expansion of (* PI l) in l 1.819 * [taylor]: Taking taylor expansion of PI in l 1.819 * [taylor]: Taking taylor expansion of l in l 1.822 * [taylor]: Taking taylor expansion of F in l 1.823 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in l 1.823 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (tan (* PI l))) in l 1.823 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.824 * [taylor]: Taking taylor expansion of 1.0 in l 1.824 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.824 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.824 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.824 * [taylor]: Taking taylor expansion of (* PI l) in l 1.824 * [taylor]: Taking taylor expansion of PI in l 1.824 * [taylor]: Taking taylor expansion of l in l 1.826 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.826 * [taylor]: Taking taylor expansion of (* PI l) in l 1.826 * [taylor]: Taking taylor expansion of PI in l 1.826 * [taylor]: Taking taylor expansion of l in l 1.829 * [taylor]: Taking taylor expansion of F in l 1.830 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) PI) F) in F 1.830 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) PI) in F 1.830 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.830 * [taylor]: Taking taylor expansion of 1.0 in F 1.831 * [taylor]: Taking taylor expansion of PI in F 1.831 * [taylor]: Taking taylor expansion of F in F 1.836 * [taylor]: Taking taylor expansion of 0 in F 1.857 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (sqrt 1.0) (pow PI 3)) F)) in F 1.857 * [taylor]: Taking taylor expansion of 1/3 in F 1.857 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (pow PI 3)) F) in F 1.857 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (pow PI 3)) in F 1.857 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.857 * [taylor]: Taking taylor expansion of 1.0 in F 1.858 * [taylor]: Taking taylor expansion of (pow PI 3) in F 1.858 * [taylor]: Taking taylor expansion of PI in F 1.858 * [taylor]: Taking taylor expansion of F in F 1.874 * [taylor]: Taking taylor expansion of 0 in F 1.910 * [taylor]: Taking taylor expansion of (* 2/15 (/ (* (sqrt 1.0) (pow PI 5)) F)) in F 1.910 * [taylor]: Taking taylor expansion of 2/15 in F 1.910 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (pow PI 5)) F) in F 1.910 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (pow PI 5)) in F 1.910 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.910 * [taylor]: Taking taylor expansion of 1.0 in F 1.910 * [taylor]: Taking taylor expansion of (pow PI 5) in F 1.910 * [taylor]: Taking taylor expansion of PI in F 1.910 * [taylor]: Taking taylor expansion of F in F 1.925 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in (l F) around 0 1.925 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in F 1.925 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.926 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.926 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.926 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.926 * [taylor]: Taking taylor expansion of PI in F 1.926 * [taylor]: Taking taylor expansion of l in F 1.926 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.926 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.926 * [taylor]: Taking taylor expansion of PI in F 1.926 * [taylor]: Taking taylor expansion of l in F 1.926 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 1.926 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.926 * [taylor]: Taking taylor expansion of 1.0 in F 1.927 * [taylor]: Taking taylor expansion of F in F 1.927 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in l 1.927 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.927 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.927 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.927 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.927 * [taylor]: Taking taylor expansion of PI in l 1.927 * [taylor]: Taking taylor expansion of l in l 1.928 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.928 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.928 * [taylor]: Taking taylor expansion of PI in l 1.928 * [taylor]: Taking taylor expansion of l in l 1.928 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in l 1.928 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.928 * [taylor]: Taking taylor expansion of 1.0 in l 1.929 * [taylor]: Taking taylor expansion of F in l 1.929 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in l 1.929 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.929 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.929 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.929 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.929 * [taylor]: Taking taylor expansion of PI in l 1.929 * [taylor]: Taking taylor expansion of l in l 1.929 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.929 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.929 * [taylor]: Taking taylor expansion of PI in l 1.929 * [taylor]: Taking taylor expansion of l in l 1.930 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in l 1.930 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.930 * [taylor]: Taking taylor expansion of 1.0 in l 1.931 * [taylor]: Taking taylor expansion of F in l 1.931 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) (* (sqrt 1.0) F)) (cos (/ PI l))) in F 1.931 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) (* (sqrt 1.0) F)) in F 1.931 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.931 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.931 * [taylor]: Taking taylor expansion of PI in F 1.931 * [taylor]: Taking taylor expansion of l in F 1.932 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 1.932 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.932 * [taylor]: Taking taylor expansion of 1.0 in F 1.932 * [taylor]: Taking taylor expansion of F in F 1.932 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.932 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.932 * [taylor]: Taking taylor expansion of PI in F 1.932 * [taylor]: Taking taylor expansion of l in F 1.938 * [taylor]: Taking taylor expansion of 0 in F 1.940 * [taylor]: Taking taylor expansion of 0 in F 1.949 * [taylor]: Taking taylor expansion of 0 in F 1.950 * [approximate]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in (l F) around 0 1.950 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in F 1.950 * [taylor]: Taking taylor expansion of -1 in F 1.950 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F)) in F 1.950 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.950 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.950 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.950 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.950 * [taylor]: Taking taylor expansion of -1 in F 1.950 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.950 * [taylor]: Taking taylor expansion of PI in F 1.950 * [taylor]: Taking taylor expansion of l in F 1.950 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.950 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.950 * [taylor]: Taking taylor expansion of -1 in F 1.950 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.950 * [taylor]: Taking taylor expansion of PI in F 1.950 * [taylor]: Taking taylor expansion of l in F 1.951 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 1.951 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.951 * [taylor]: Taking taylor expansion of 1.0 in F 1.952 * [taylor]: Taking taylor expansion of F in F 1.952 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in l 1.952 * [taylor]: Taking taylor expansion of -1 in l 1.952 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F)) in l 1.952 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.952 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.952 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.952 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.952 * [taylor]: Taking taylor expansion of -1 in l 1.952 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.952 * [taylor]: Taking taylor expansion of PI in l 1.952 * [taylor]: Taking taylor expansion of l in l 1.953 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.953 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.953 * [taylor]: Taking taylor expansion of -1 in l 1.953 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.953 * [taylor]: Taking taylor expansion of PI in l 1.953 * [taylor]: Taking taylor expansion of l in l 1.953 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in l 1.953 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.953 * [taylor]: Taking taylor expansion of 1.0 in l 1.954 * [taylor]: Taking taylor expansion of F in l 1.954 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in l 1.954 * [taylor]: Taking taylor expansion of -1 in l 1.954 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F)) in l 1.954 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.954 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.954 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.954 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.954 * [taylor]: Taking taylor expansion of -1 in l 1.954 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.954 * [taylor]: Taking taylor expansion of PI in l 1.954 * [taylor]: Taking taylor expansion of l in l 1.955 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.955 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.955 * [taylor]: Taking taylor expansion of -1 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.956 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in l 1.956 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.956 * [taylor]: Taking taylor expansion of 1.0 in l 1.957 * [taylor]: Taking taylor expansion of F in l 1.958 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 1.0) (* F (sin (* -1 (/ PI l))))) (cos (* -1 (/ PI l))))) in F 1.958 * [taylor]: Taking taylor expansion of -1 in F 1.958 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (* F (sin (* -1 (/ PI l))))) (cos (* -1 (/ PI l)))) in F 1.958 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (* F (sin (* -1 (/ PI l))))) in F 1.958 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.958 * [taylor]: Taking taylor expansion of 1.0 in F 1.958 * [taylor]: Taking taylor expansion of (* F (sin (* -1 (/ PI l)))) in F 1.958 * [taylor]: Taking taylor expansion of F in F 1.958 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.959 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.959 * [taylor]: Taking taylor expansion of -1 in F 1.959 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.959 * [taylor]: Taking taylor expansion of PI in F 1.959 * [taylor]: Taking taylor expansion of l in F 1.959 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.959 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.959 * [taylor]: Taking taylor expansion of -1 in F 1.959 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.959 * [taylor]: Taking taylor expansion of PI in F 1.959 * [taylor]: Taking taylor expansion of l in F 1.964 * [taylor]: Taking taylor expansion of 0 in F 1.968 * [taylor]: Taking taylor expansion of 0 in F 1.979 * [taylor]: Taking taylor expansion of 0 in F 1.980 * * * [progress]: simplifying candidates 1.981 * [simplify]: Simplifying using # : (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (- (+ (log (sqrt 1.0)) (log (tan (* PI l)))) (log F)) (- (log (* (sqrt 1.0) (tan (* PI l)))) (log F)) (log (/ (* (sqrt 1.0) (tan (* PI l))) F)) (exp (/ (* (sqrt 1.0) (tan (* PI l))) F)) (/ (* (* (* (sqrt 1.0) (sqrt 1.0)) (sqrt 1.0)) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (* F F) F)) (/ (* (* (* (sqrt 1.0) (tan (* PI l))) (* (sqrt 1.0) (tan (* PI l)))) (* (sqrt 1.0) (tan (* PI l)))) (* (* F F) F)) (* (cbrt (/ (* (sqrt 1.0) (tan (* PI l))) F)) (cbrt (/ (* (sqrt 1.0) (tan (* PI l))) F))) (cbrt (/ (* (sqrt 1.0) (tan (* PI l))) F)) (* (* (/ (* (sqrt 1.0) (tan (* PI l))) F) (/ (* (sqrt 1.0) (tan (* PI l))) F)) (/ (* (sqrt 1.0) (tan (* PI l))) F)) (sqrt (/ (* (sqrt 1.0) (tan (* PI l))) F)) (sqrt (/ (* (sqrt 1.0) (tan (* PI l))) F)) (- (* (sqrt 1.0) (tan (* PI l)))) (- F) (/ (sqrt 1.0) (* (cbrt F) (cbrt F))) (/ (tan (* PI l)) (cbrt F)) (/ (sqrt 1.0) (sqrt F)) (/ (tan (* PI l)) (sqrt F)) (/ (sqrt 1.0) 1) (/ (tan (* PI l)) F) (/ 1 F) (/ F (* (sqrt 1.0) (tan (* PI l)))) (/ (* (sqrt 1.0) (tan (* PI l))) (* (cbrt F) (cbrt F))) (/ (* (sqrt 1.0) (tan (* PI l))) (sqrt F)) (/ (* (sqrt 1.0) (tan (* PI l))) 1) (/ F (tan (* PI l))) (* F (cos (* PI l))) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (+ (/ (* (sqrt 1.0) (* PI l)) F) (+ (* 2/15 (/ (* (sqrt 1.0) (* (pow PI 5) (pow l 5))) F)) (* 1/3 (/ (* (sqrt 1.0) (* (pow PI 3) (pow l 3))) F)))) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) 1.986 * * [simplify]: iteration 0 : 258 enodes (cost 339 ) 1.991 * * [simplify]: iteration 1 : 1081 enodes (cost 299 ) 2.012 * * [simplify]: iteration 2 : 5001 enodes (cost 299 ) 2.014 * [simplify]: Simplified to: (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (pow (tan (* PI l)) 3) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* PI l) (log (* PI l)) (log (* PI l)) (exp (* PI l)) (pow (* PI l) 3) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (pow (* PI l) 3) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) PI (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (* PI l) (log (* PI l)) (log (* PI l)) (exp (* PI l)) (pow (* PI l) 3) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (pow (* PI l) 3) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) PI (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (log (/ (* (sqrt 1.0) (tan (* PI l))) F)) (log (/ (* (sqrt 1.0) (tan (* PI l))) F)) (log (/ (* (sqrt 1.0) (tan (* PI l))) F)) (exp (/ (* (sqrt 1.0) (tan (* PI l))) F)) (pow (/ (* (sqrt 1.0) (tan (* PI l))) F) 3) (pow (/ (* (sqrt 1.0) (tan (* PI l))) F) 3) (* (cbrt (/ (* (sqrt 1.0) (tan (* PI l))) F)) (cbrt (/ (* (sqrt 1.0) (tan (* PI l))) F))) (cbrt (/ (* (sqrt 1.0) (tan (* PI l))) F)) (pow (/ (* (sqrt 1.0) (tan (* PI l))) F) 3) (sqrt (/ (* (sqrt 1.0) (tan (* PI l))) F)) (sqrt (/ (* (sqrt 1.0) (tan (* PI l))) F)) (- (* (sqrt 1.0) (tan (* PI l)))) (- F) (/ (sqrt 1.0) (* (cbrt F) (cbrt F))) (/ (tan (* PI l)) (cbrt F)) (/ (sqrt 1.0) (sqrt F)) (/ (tan (* PI l)) (sqrt F)) (sqrt 1.0) (/ (tan (* PI l)) F) (/ 1 F) (/ F (* (sqrt 1.0) (tan (* PI l)))) (/ (* (sqrt 1.0) (tan (* PI l))) (* (cbrt F) (cbrt F))) (/ (* (sqrt 1.0) (tan (* PI l))) (sqrt F)) (* (sqrt 1.0) (tan (* PI l))) (/ F (tan (* PI l))) (* F (cos (* PI l))) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (+ (/ (* (sqrt 1.0) (* PI l)) F) (+ (* 2/15 (/ (* (sqrt 1.0) (* (pow PI 5) (pow l 5))) F)) (* 1/3 (/ (* (sqrt 1.0) (* (pow PI 3) (pow l 3))) F)))) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) 2.014 * * * [progress]: adding candidates to table 2.215 * * [progress]: iteration 4 / 4 2.215 * * * [progress]: picking best candidate 2.269 * * * * [pick]: Picked # 2.269 * * * [progress]: localizing error 2.281 * * * [progress]: generating rewritten candidates 2.281 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 2.283 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 2.292 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 2.295 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 1) 2.306 * * * [progress]: generating series expansions 2.306 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 2.306 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 2.306 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.306 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.306 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.306 * [taylor]: Taking taylor expansion of (* PI l) in l 2.306 * [taylor]: Taking taylor expansion of PI in l 2.306 * [taylor]: Taking taylor expansion of l in l 2.308 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.308 * [taylor]: Taking taylor expansion of (* PI l) in l 2.308 * [taylor]: Taking taylor expansion of PI in l 2.308 * [taylor]: Taking taylor expansion of l in l 2.311 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.311 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.311 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.311 * [taylor]: Taking taylor expansion of (* PI l) in l 2.311 * [taylor]: Taking taylor expansion of PI in l 2.311 * [taylor]: Taking taylor expansion of l in l 2.312 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.312 * [taylor]: Taking taylor expansion of (* PI l) in l 2.312 * [taylor]: Taking taylor expansion of PI in l 2.312 * [taylor]: Taking taylor expansion of l in l 2.361 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 2.361 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.361 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.361 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.361 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.361 * [taylor]: Taking taylor expansion of PI in l 2.361 * [taylor]: Taking taylor expansion of l in l 2.362 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.362 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.362 * [taylor]: Taking taylor expansion of PI in l 2.362 * [taylor]: Taking taylor expansion of l in l 2.362 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.362 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.362 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.362 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.362 * [taylor]: Taking taylor expansion of PI in l 2.362 * [taylor]: Taking taylor expansion of l in l 2.363 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.363 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.363 * [taylor]: Taking taylor expansion of PI in l 2.363 * [taylor]: Taking taylor expansion of l in l 2.365 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 2.365 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.365 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.365 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.365 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.365 * [taylor]: Taking taylor expansion of -1 in l 2.365 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.365 * [taylor]: Taking taylor expansion of PI in l 2.365 * [taylor]: Taking taylor expansion of l in l 2.366 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.366 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.366 * [taylor]: Taking taylor expansion of -1 in l 2.366 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.366 * [taylor]: Taking taylor expansion of PI in l 2.366 * [taylor]: Taking taylor expansion of l in l 2.367 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.367 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.367 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.367 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.367 * [taylor]: Taking taylor expansion of -1 in l 2.367 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.367 * [taylor]: Taking taylor expansion of PI in l 2.367 * [taylor]: Taking taylor expansion of l in l 2.368 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.368 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.368 * [taylor]: Taking taylor expansion of -1 in l 2.368 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.368 * [taylor]: Taking taylor expansion of PI in l 2.368 * [taylor]: Taking taylor expansion of l in l 2.371 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 2.372 * [approximate]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in (F l) around 0 2.372 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in l 2.372 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (tan (* PI l))) in l 2.372 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 2.372 * [taylor]: Taking taylor expansion of 1.0 in l 2.372 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.372 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.372 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.372 * [taylor]: Taking taylor expansion of (* PI l) in l 2.373 * [taylor]: Taking taylor expansion of PI in l 2.373 * [taylor]: Taking taylor expansion of l in l 2.374 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.374 * [taylor]: Taking taylor expansion of (* PI l) in l 2.374 * [taylor]: Taking taylor expansion of PI in l 2.374 * [taylor]: Taking taylor expansion of l in l 2.377 * [taylor]: Taking taylor expansion of F in l 2.378 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in F 2.378 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (tan (* PI l))) in F 2.378 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 2.378 * [taylor]: Taking taylor expansion of 1.0 in F 2.379 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 2.379 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.379 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 2.379 * [taylor]: Taking taylor expansion of (* PI l) in F 2.379 * [taylor]: Taking taylor expansion of PI in F 2.379 * [taylor]: Taking taylor expansion of l in F 2.379 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 2.379 * [taylor]: Taking taylor expansion of (* PI l) in F 2.379 * [taylor]: Taking taylor expansion of PI in F 2.379 * [taylor]: Taking taylor expansion of l in F 2.380 * [taylor]: Taking taylor expansion of F in F 2.380 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in F 2.380 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (tan (* PI l))) in F 2.380 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 2.380 * [taylor]: Taking taylor expansion of 1.0 in F 2.381 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 2.381 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.381 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 2.381 * [taylor]: Taking taylor expansion of (* PI l) in F 2.381 * [taylor]: Taking taylor expansion of PI in F 2.381 * [taylor]: Taking taylor expansion of l in F 2.381 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 2.381 * [taylor]: Taking taylor expansion of (* PI l) in F 2.381 * [taylor]: Taking taylor expansion of PI in F 2.381 * [taylor]: Taking taylor expansion of l in F 2.382 * [taylor]: Taking taylor expansion of F in F 2.383 * [taylor]: Taking taylor expansion of (/ (* (sin (* PI l)) (sqrt 1.0)) (cos (* PI l))) in l 2.383 * [taylor]: Taking taylor expansion of (* (sin (* PI l)) (sqrt 1.0)) in l 2.383 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.383 * [taylor]: Taking taylor expansion of (* PI l) in l 2.383 * [taylor]: Taking taylor expansion of PI in l 2.383 * [taylor]: Taking taylor expansion of l in l 2.384 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 2.384 * [taylor]: Taking taylor expansion of 1.0 in l 2.385 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.385 * [taylor]: Taking taylor expansion of (* PI l) in l 2.385 * [taylor]: Taking taylor expansion of PI in l 2.385 * [taylor]: Taking taylor expansion of l in l 2.396 * [taylor]: Taking taylor expansion of 0 in l 2.407 * [taylor]: Taking taylor expansion of 0 in l 2.442 * [taylor]: Taking taylor expansion of 0 in l 2.461 * [taylor]: Taking taylor expansion of 0 in l 2.464 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in (F l) around 0 2.464 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in l 2.464 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.464 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.464 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.464 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.464 * [taylor]: Taking taylor expansion of PI in l 2.464 * [taylor]: Taking taylor expansion of l in l 2.465 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.465 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.465 * [taylor]: Taking taylor expansion of PI in l 2.465 * [taylor]: Taking taylor expansion of l in l 2.465 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in l 2.465 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 2.465 * [taylor]: Taking taylor expansion of 1.0 in l 2.466 * [taylor]: Taking taylor expansion of F in l 2.466 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in F 2.466 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 2.466 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.466 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 2.466 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.466 * [taylor]: Taking taylor expansion of PI in F 2.466 * [taylor]: Taking taylor expansion of l in F 2.466 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 2.466 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.466 * [taylor]: Taking taylor expansion of PI in F 2.466 * [taylor]: Taking taylor expansion of l in F 2.467 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 2.467 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 2.467 * [taylor]: Taking taylor expansion of 1.0 in F 2.468 * [taylor]: Taking taylor expansion of F in F 2.468 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in F 2.468 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 2.468 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.468 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 2.468 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.468 * [taylor]: Taking taylor expansion of PI in F 2.468 * [taylor]: Taking taylor expansion of l in F 2.468 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 2.468 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.468 * [taylor]: Taking taylor expansion of PI in F 2.468 * [taylor]: Taking taylor expansion of l in F 2.469 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 2.469 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 2.469 * [taylor]: Taking taylor expansion of 1.0 in F 2.469 * [taylor]: Taking taylor expansion of F in F 2.470 * [taylor]: Taking taylor expansion of 0 in l 2.475 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) (sqrt 1.0)) (cos (/ PI l))) in l 2.475 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) (sqrt 1.0)) in l 2.475 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.475 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.475 * [taylor]: Taking taylor expansion of PI in l 2.475 * [taylor]: Taking taylor expansion of l in l 2.476 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 2.476 * [taylor]: Taking taylor expansion of 1.0 in l 2.476 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.476 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.476 * [taylor]: Taking taylor expansion of PI in l 2.476 * [taylor]: Taking taylor expansion of l in l 2.484 * [taylor]: Taking taylor expansion of 0 in l 2.492 * [taylor]: Taking taylor expansion of 0 in l 2.493 * [approximate]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in (F l) around 0 2.493 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in l 2.493 * [taylor]: Taking taylor expansion of -1 in l 2.493 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F)) in l 2.493 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.493 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.493 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.493 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.493 * [taylor]: Taking taylor expansion of -1 in l 2.493 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.493 * [taylor]: Taking taylor expansion of PI in l 2.493 * [taylor]: Taking taylor expansion of l in l 2.494 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.494 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.494 * [taylor]: Taking taylor expansion of -1 in l 2.494 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.494 * [taylor]: Taking taylor expansion of PI in l 2.494 * [taylor]: Taking taylor expansion of l in l 2.495 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in l 2.495 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 2.495 * [taylor]: Taking taylor expansion of 1.0 in l 2.496 * [taylor]: Taking taylor expansion of F in l 2.496 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in F 2.496 * [taylor]: Taking taylor expansion of -1 in F 2.496 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F)) in F 2.496 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 2.496 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.496 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 2.496 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.496 * [taylor]: Taking taylor expansion of -1 in F 2.496 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.496 * [taylor]: Taking taylor expansion of PI in F 2.496 * [taylor]: Taking taylor expansion of l in F 2.496 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 2.496 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.496 * [taylor]: Taking taylor expansion of -1 in F 2.496 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.496 * [taylor]: Taking taylor expansion of PI in F 2.496 * [taylor]: Taking taylor expansion of l in F 2.497 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 2.497 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 2.497 * [taylor]: Taking taylor expansion of 1.0 in F 2.498 * [taylor]: Taking taylor expansion of F in F 2.498 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in F 2.498 * [taylor]: Taking taylor expansion of -1 in F 2.498 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F)) in F 2.498 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 2.498 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.498 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 2.498 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.498 * [taylor]: Taking taylor expansion of -1 in F 2.498 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.498 * [taylor]: Taking taylor expansion of PI in F 2.498 * [taylor]: Taking taylor expansion of l in F 2.498 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 2.498 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.498 * [taylor]: Taking taylor expansion of -1 in F 2.498 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.498 * [taylor]: Taking taylor expansion of PI in F 2.498 * [taylor]: Taking taylor expansion of l in F 2.499 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 2.499 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 2.499 * [taylor]: Taking taylor expansion of 1.0 in F 2.500 * [taylor]: Taking taylor expansion of F in F 2.500 * [taylor]: Taking taylor expansion of 0 in l 2.508 * [taylor]: Taking taylor expansion of (- (/ (* (sqrt 1.0) (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in l 2.508 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in l 2.508 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sin (* -1 (/ PI l)))) in l 2.508 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 2.508 * [taylor]: Taking taylor expansion of 1.0 in l 2.508 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.508 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.508 * [taylor]: Taking taylor expansion of -1 in l 2.508 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.508 * [taylor]: Taking taylor expansion of PI in l 2.508 * [taylor]: Taking taylor expansion of l in l 2.509 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.509 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.509 * [taylor]: Taking taylor expansion of -1 in l 2.509 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.509 * [taylor]: Taking taylor expansion of PI in l 2.509 * [taylor]: Taking taylor expansion of l in l 2.522 * [taylor]: Taking taylor expansion of 0 in l 2.533 * [taylor]: Taking taylor expansion of 0 in l 2.534 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 2.534 * [approximate]: Taking taylor expansion of (/ F (tan (* PI l))) in (F l) around 0 2.534 * [taylor]: Taking taylor expansion of (/ F (tan (* PI l))) in l 2.534 * [taylor]: Taking taylor expansion of F in l 2.534 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.534 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.534 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.534 * [taylor]: Taking taylor expansion of (* PI l) in l 2.534 * [taylor]: Taking taylor expansion of PI in l 2.534 * [taylor]: Taking taylor expansion of l in l 2.536 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.536 * [taylor]: Taking taylor expansion of (* PI l) in l 2.536 * [taylor]: Taking taylor expansion of PI in l 2.536 * [taylor]: Taking taylor expansion of l in l 2.539 * [taylor]: Taking taylor expansion of (/ F (tan (* PI l))) in F 2.539 * [taylor]: Taking taylor expansion of F in F 2.539 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 2.539 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.539 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 2.539 * [taylor]: Taking taylor expansion of (* PI l) in F 2.539 * [taylor]: Taking taylor expansion of PI in F 2.539 * [taylor]: Taking taylor expansion of l in F 2.539 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 2.539 * [taylor]: Taking taylor expansion of (* PI l) in F 2.539 * [taylor]: Taking taylor expansion of PI in F 2.539 * [taylor]: Taking taylor expansion of l in F 2.540 * [taylor]: Taking taylor expansion of (/ F (tan (* PI l))) in F 2.540 * [taylor]: Taking taylor expansion of F in F 2.540 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 2.540 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.540 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 2.540 * [taylor]: Taking taylor expansion of (* PI l) in F 2.540 * [taylor]: Taking taylor expansion of PI in F 2.540 * [taylor]: Taking taylor expansion of l in F 2.540 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 2.540 * [taylor]: Taking taylor expansion of (* PI l) in F 2.540 * [taylor]: Taking taylor expansion of PI in F 2.540 * [taylor]: Taking taylor expansion of l in F 2.541 * [taylor]: Taking taylor expansion of (/ (cos (* PI l)) (sin (* PI l))) in l 2.541 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.541 * [taylor]: Taking taylor expansion of (* PI l) in l 2.541 * [taylor]: Taking taylor expansion of PI in l 2.541 * [taylor]: Taking taylor expansion of l in l 2.542 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.542 * [taylor]: Taking taylor expansion of (* PI l) in l 2.542 * [taylor]: Taking taylor expansion of PI in l 2.542 * [taylor]: Taking taylor expansion of l in l 2.550 * [taylor]: Taking taylor expansion of 0 in l 2.557 * [taylor]: Taking taylor expansion of 0 in l 2.577 * [taylor]: Taking taylor expansion of 0 in l 2.591 * [taylor]: Taking taylor expansion of 0 in l 2.592 * [approximate]: Taking taylor expansion of (/ 1 (* (tan (/ PI l)) F)) in (F l) around 0 2.592 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ PI l)) F)) in l 2.592 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 2.592 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.593 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.593 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.593 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.593 * [taylor]: Taking taylor expansion of PI in l 2.593 * [taylor]: Taking taylor expansion of l in l 2.593 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.593 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.593 * [taylor]: Taking taylor expansion of PI in l 2.593 * [taylor]: Taking taylor expansion of l in l 2.593 * [taylor]: Taking taylor expansion of F in l 2.594 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ PI l)) F)) in F 2.594 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 2.594 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 2.594 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.594 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 2.594 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.594 * [taylor]: Taking taylor expansion of PI in F 2.594 * [taylor]: Taking taylor expansion of l in F 2.594 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 2.594 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.594 * [taylor]: Taking taylor expansion of PI in F 2.594 * [taylor]: Taking taylor expansion of l in F 2.595 * [taylor]: Taking taylor expansion of F in F 2.602 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ PI l)) F)) in F 2.602 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 2.602 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 2.602 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.602 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 2.602 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.602 * [taylor]: Taking taylor expansion of PI in F 2.602 * [taylor]: Taking taylor expansion of l in F 2.603 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 2.603 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.603 * [taylor]: Taking taylor expansion of PI in F 2.603 * [taylor]: Taking taylor expansion of l in F 2.603 * [taylor]: Taking taylor expansion of F in F 2.608 * [taylor]: Taking taylor expansion of (/ (cos (/ PI l)) (sin (/ PI l))) in l 2.608 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.608 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.608 * [taylor]: Taking taylor expansion of PI in l 2.608 * [taylor]: Taking taylor expansion of l in l 2.608 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.608 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.608 * [taylor]: Taking taylor expansion of PI in l 2.608 * [taylor]: Taking taylor expansion of l in l 2.614 * [taylor]: Taking taylor expansion of 0 in l 2.620 * [taylor]: Taking taylor expansion of 0 in l 2.628 * [taylor]: Taking taylor expansion of 0 in l 2.629 * [approximate]: Taking taylor expansion of (/ -1 (* (tan (* -1 (/ PI l))) F)) in (F l) around 0 2.629 * [taylor]: Taking taylor expansion of (/ -1 (* (tan (* -1 (/ PI l))) F)) in l 2.629 * [taylor]: Taking taylor expansion of -1 in l 2.629 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 2.629 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.629 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.629 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.629 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.629 * [taylor]: Taking taylor expansion of -1 in l 2.629 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.629 * [taylor]: Taking taylor expansion of PI in l 2.629 * [taylor]: Taking taylor expansion of l in l 2.630 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.630 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.630 * [taylor]: Taking taylor expansion of -1 in l 2.630 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.630 * [taylor]: Taking taylor expansion of PI in l 2.630 * [taylor]: Taking taylor expansion of l in l 2.631 * [taylor]: Taking taylor expansion of F in l 2.631 * [taylor]: Taking taylor expansion of (/ -1 (* (tan (* -1 (/ PI l))) F)) in F 2.631 * [taylor]: Taking taylor expansion of -1 in F 2.631 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 2.631 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 2.631 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.631 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 2.631 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.631 * [taylor]: Taking taylor expansion of -1 in F 2.631 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.631 * [taylor]: Taking taylor expansion of PI in F 2.631 * [taylor]: Taking taylor expansion of l in F 2.631 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 2.631 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.631 * [taylor]: Taking taylor expansion of -1 in F 2.631 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.631 * [taylor]: Taking taylor expansion of PI in F 2.631 * [taylor]: Taking taylor expansion of l in F 2.632 * [taylor]: Taking taylor expansion of F in F 2.637 * [taylor]: Taking taylor expansion of (/ -1 (* (tan (* -1 (/ PI l))) F)) in F 2.637 * [taylor]: Taking taylor expansion of -1 in F 2.637 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 2.637 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 2.637 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.637 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 2.637 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.637 * [taylor]: Taking taylor expansion of -1 in F 2.637 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.637 * [taylor]: Taking taylor expansion of PI in F 2.637 * [taylor]: Taking taylor expansion of l in F 2.637 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 2.637 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.637 * [taylor]: Taking taylor expansion of -1 in F 2.637 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.637 * [taylor]: Taking taylor expansion of PI in F 2.637 * [taylor]: Taking taylor expansion of l in F 2.638 * [taylor]: Taking taylor expansion of F in F 2.643 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* -1 (/ PI l))) (sin (* -1 (/ PI l))))) in l 2.643 * [taylor]: Taking taylor expansion of -1 in l 2.643 * [taylor]: Taking taylor expansion of (/ (cos (* -1 (/ PI l))) (sin (* -1 (/ PI l)))) in l 2.643 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.643 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.643 * [taylor]: Taking taylor expansion of -1 in l 2.643 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.643 * [taylor]: Taking taylor expansion of PI in l 2.643 * [taylor]: Taking taylor expansion of l in l 2.643 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.643 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.643 * [taylor]: Taking taylor expansion of -1 in l 2.643 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.644 * [taylor]: Taking taylor expansion of PI in l 2.644 * [taylor]: Taking taylor expansion of l in l 2.651 * [taylor]: Taking taylor expansion of 0 in l 2.660 * [taylor]: Taking taylor expansion of 0 in l 2.671 * [taylor]: Taking taylor expansion of 0 in l 2.672 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 1) 2.672 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 2.672 * [taylor]: Taking taylor expansion of (* PI l) in l 2.672 * [taylor]: Taking taylor expansion of PI in l 2.672 * [taylor]: Taking taylor expansion of l in l 2.672 * [taylor]: Taking taylor expansion of (* PI l) in l 2.672 * [taylor]: Taking taylor expansion of PI in l 2.672 * [taylor]: Taking taylor expansion of l in l 2.678 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 2.678 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.678 * [taylor]: Taking taylor expansion of PI in l 2.678 * [taylor]: Taking taylor expansion of l in l 2.679 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.679 * [taylor]: Taking taylor expansion of PI in l 2.679 * [taylor]: Taking taylor expansion of l in l 2.686 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 2.686 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.686 * [taylor]: Taking taylor expansion of -1 in l 2.686 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.686 * [taylor]: Taking taylor expansion of PI in l 2.686 * [taylor]: Taking taylor expansion of l in l 2.686 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.686 * [taylor]: Taking taylor expansion of -1 in l 2.686 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.686 * [taylor]: Taking taylor expansion of PI in l 2.686 * [taylor]: Taking taylor expansion of l in l 2.695 * * * [progress]: simplifying candidates 2.699 * [simplify]: Simplifying using # : (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (- (log (sqrt 1.0)) (- (log F) (log (tan (* PI l))))) (- (log (sqrt 1.0)) (log (/ F (tan (* PI l))))) (log (/ (sqrt 1.0) (/ F (tan (* PI l))))) (exp (/ (sqrt 1.0) (/ F (tan (* PI l))))) (/ (* (* (sqrt 1.0) (sqrt 1.0)) (sqrt 1.0)) (/ (* (* F F) F) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))))) (/ (* (* (sqrt 1.0) (sqrt 1.0)) (sqrt 1.0)) (* (* (/ F (tan (* PI l))) (/ F (tan (* PI l)))) (/ F (tan (* PI l))))) (* (cbrt (/ (sqrt 1.0) (/ F (tan (* PI l))))) (cbrt (/ (sqrt 1.0) (/ F (tan (* PI l)))))) (cbrt (/ (sqrt 1.0) (/ F (tan (* PI l))))) (* (* (/ (sqrt 1.0) (/ F (tan (* PI l)))) (/ (sqrt 1.0) (/ F (tan (* PI l))))) (/ (sqrt 1.0) (/ F (tan (* PI l))))) (sqrt (/ (sqrt 1.0) (/ F (tan (* PI l))))) (sqrt (/ (sqrt 1.0) (/ F (tan (* PI l))))) (- (sqrt 1.0)) (- (/ F (tan (* PI l)))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))) (/ (cbrt (sqrt 1.0)) (cbrt (/ F (tan (* PI l))))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt (/ F (tan (* PI l))))) (/ (cbrt (sqrt 1.0)) (sqrt (/ F (tan (* PI l))))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (cbrt (sqrt 1.0)) (/ (cbrt F) (cbrt (tan (* PI l))))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l))))) (/ (cbrt (sqrt 1.0)) (/ (cbrt F) (sqrt (tan (* PI l))))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (* (cbrt F) (cbrt F)) 1)) (/ (cbrt (sqrt 1.0)) (/ (cbrt F) (tan (* PI l)))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (cbrt (sqrt 1.0)) (/ (sqrt F) (cbrt (tan (* PI l))))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (cbrt (sqrt 1.0)) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (sqrt F) 1)) (/ (cbrt (sqrt 1.0)) (/ (sqrt F) (tan (* PI l)))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (cbrt (sqrt 1.0)) (/ F (cbrt (tan (* PI l))))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ 1 (sqrt (tan (* PI l))))) (/ (cbrt (sqrt 1.0)) (/ F (sqrt (tan (* PI l))))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ 1 1)) (/ (cbrt (sqrt 1.0)) (/ F (tan (* PI l)))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) 1) (/ (cbrt (sqrt 1.0)) (/ F (tan (* PI l)))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) F) (/ (cbrt (sqrt 1.0)) (/ 1 (tan (* PI l)))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ F (sin (* PI l)))) (/ (cbrt (sqrt 1.0)) (cos (* PI l))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))) (/ (sqrt (cbrt 1.0)) (cbrt (/ F (tan (* PI l))))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (/ F (tan (* PI l))))) (/ (sqrt (cbrt 1.0)) (sqrt (/ F (tan (* PI l))))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt (cbrt 1.0)) (/ (cbrt F) (cbrt (tan (* PI l))))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l))))) (/ (sqrt (cbrt 1.0)) (/ (cbrt F) (sqrt (tan (* PI l))))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (/ (* (cbrt F) (cbrt F)) 1)) (/ (sqrt (cbrt 1.0)) (/ (cbrt F) (tan (* PI l)))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt (cbrt 1.0)) (/ (sqrt F) (cbrt (tan (* PI l))))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt (cbrt 1.0)) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (/ (sqrt F) 1)) (/ (sqrt (cbrt 1.0)) (/ (sqrt F) (tan (* PI l)))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt (cbrt 1.0)) (/ F (cbrt (tan (* PI l))))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (/ 1 (sqrt (tan (* PI l))))) (/ (sqrt (cbrt 1.0)) (/ F (sqrt (tan (* PI l))))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (/ 1 1)) (/ (sqrt (cbrt 1.0)) (/ F (tan (* PI l)))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) 1) (/ (sqrt (cbrt 1.0)) (/ F (tan (* PI l)))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) F) (/ (sqrt (cbrt 1.0)) (/ 1 (tan (* PI l)))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (/ F (sin (* PI l)))) (/ (sqrt (cbrt 1.0)) (cos (* PI l))) (/ (sqrt (sqrt 1.0)) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (cbrt (/ F (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (sqrt (/ F (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (sqrt (/ F (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (/ (cbrt F) (cbrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (cbrt F) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (* (cbrt F) (cbrt F)) 1)) (/ (sqrt (sqrt 1.0)) (/ (cbrt F) (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (cbrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) 1)) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (/ F (cbrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ 1 (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ F (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ 1 1)) (/ (sqrt (sqrt 1.0)) (/ F (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) 1) (/ (sqrt (sqrt 1.0)) (/ F (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) F) (/ (sqrt (sqrt 1.0)) (/ 1 (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) (/ F (sin (* PI l)))) (/ (sqrt (sqrt 1.0)) (cos (* PI l))) (/ (sqrt 1) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))) (/ (sqrt 1.0) (cbrt (/ F (tan (* PI l))))) (/ (sqrt 1) (sqrt (/ F (tan (* PI l))))) (/ (sqrt 1.0) (sqrt (/ F (tan (* PI l))))) (/ (sqrt 1) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt 1.0) (/ (cbrt F) (cbrt (tan (* PI l))))) (/ (sqrt 1) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l))))) (/ (sqrt 1.0) (/ (cbrt F) (sqrt (tan (* PI l))))) (/ (sqrt 1) (/ (* (cbrt F) (cbrt F)) 1)) (/ (sqrt 1.0) (/ (cbrt F) (tan (* PI l)))) (/ (sqrt 1) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt 1.0) (/ (sqrt F) (cbrt (tan (* PI l))))) (/ (sqrt 1) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt 1.0) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt 1) (/ (sqrt F) 1)) (/ (sqrt 1.0) (/ (sqrt F) (tan (* PI l)))) (/ (sqrt 1) (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt 1.0) (/ F (cbrt (tan (* PI l))))) (/ (sqrt 1) (/ 1 (sqrt (tan (* PI l))))) (/ (sqrt 1.0) (/ F (sqrt (tan (* PI l))))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1.0) (/ F (tan (* PI l)))) (/ (sqrt 1) 1) (/ (sqrt 1.0) (/ F (tan (* PI l)))) (/ (sqrt 1) F) (/ (sqrt 1.0) (/ 1 (tan (* PI l)))) (/ (sqrt 1) (/ F (sin (* PI l)))) (/ (sqrt 1.0) (cos (* PI l))) (/ (sqrt (sqrt 1.0)) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (cbrt (/ F (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (sqrt (/ F (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (sqrt (/ F (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (/ (cbrt F) (cbrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (cbrt F) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (* (cbrt F) (cbrt F)) 1)) (/ (sqrt (sqrt 1.0)) (/ (cbrt F) (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (cbrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) 1)) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (/ F (cbrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ 1 (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ F (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ 1 1)) (/ (sqrt (sqrt 1.0)) (/ F (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) 1) (/ (sqrt (sqrt 1.0)) (/ F (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) F) (/ (sqrt (sqrt 1.0)) (/ 1 (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) (/ F (sin (* PI l)))) (/ (sqrt (sqrt 1.0)) (cos (* PI l))) (/ 1 (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))) (/ (sqrt 1.0) (cbrt (/ F (tan (* PI l))))) (/ 1 (sqrt (/ F (tan (* PI l))))) (/ (sqrt 1.0) (sqrt (/ F (tan (* PI l))))) (/ 1 (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt 1.0) (/ (cbrt F) (cbrt (tan (* PI l))))) (/ 1 (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l))))) (/ (sqrt 1.0) (/ (cbrt F) (sqrt (tan (* PI l))))) (/ 1 (/ (* (cbrt F) (cbrt F)) 1)) (/ (sqrt 1.0) (/ (cbrt F) (tan (* PI l)))) (/ 1 (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt 1.0) (/ (sqrt F) (cbrt (tan (* PI l))))) (/ 1 (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt 1.0) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ 1 (/ (sqrt F) 1)) (/ (sqrt 1.0) (/ (sqrt F) (tan (* PI l)))) (/ 1 (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt 1.0) (/ F (cbrt (tan (* PI l))))) (/ 1 (/ 1 (sqrt (tan (* PI l))))) (/ (sqrt 1.0) (/ F (sqrt (tan (* PI l))))) (/ 1 (/ 1 1)) (/ (sqrt 1.0) (/ F (tan (* PI l)))) (/ 1 1) (/ (sqrt 1.0) (/ F (tan (* PI l)))) (/ 1 F) (/ (sqrt 1.0) (/ 1 (tan (* PI l)))) (/ 1 (/ F (sin (* PI l)))) (/ (sqrt 1.0) (cos (* PI l))) (/ 1 (/ F (tan (* PI l)))) (/ (/ F (tan (* PI l))) (sqrt 1.0)) (/ (sqrt 1.0) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))) (/ (sqrt 1.0) (sqrt (/ F (tan (* PI l))))) (/ (sqrt 1.0) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt 1.0) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l))))) (/ (sqrt 1.0) (/ (* (cbrt F) (cbrt F)) 1)) (/ (sqrt 1.0) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt 1.0) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt 1.0) (/ (sqrt F) 1)) (/ (sqrt 1.0) (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt 1.0) (/ 1 (sqrt (tan (* PI l))))) (/ (sqrt 1.0) (/ 1 1)) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) F) (/ (sqrt 1.0) (/ F (sin (* PI l)))) (/ (/ F (tan (* PI l))) (cbrt (sqrt 1.0))) (/ (/ F (tan (* PI l))) (sqrt (cbrt 1.0))) (/ (/ F (tan (* PI l))) (sqrt (sqrt 1.0))) (/ (/ F (tan (* PI l))) (sqrt 1.0)) (/ (/ F (tan (* PI l))) (sqrt (sqrt 1.0))) (/ (/ F (tan (* PI l))) (sqrt 1.0)) (/ (sqrt 1.0) F) (- (log F) (log (tan (* PI l)))) (log (/ F (tan (* PI l)))) (exp (/ F (tan (* PI l)))) (/ (* (* F F) F) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l))))) (cbrt (/ F (tan (* PI l)))) (* (* (/ F (tan (* PI l))) (/ F (tan (* PI l)))) (/ F (tan (* PI l)))) (sqrt (/ F (tan (* PI l)))) (sqrt (/ F (tan (* PI l)))) (- F) (- (tan (* PI l))) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ (cbrt F) (cbrt (tan (* PI l)))) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l)))) (/ (cbrt F) (sqrt (tan (* PI l)))) (/ (* (cbrt F) (cbrt F)) 1) (/ (cbrt F) (tan (* PI l))) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ (sqrt F) (cbrt (tan (* PI l)))) (/ (sqrt F) (sqrt (tan (* PI l)))) (/ (sqrt F) (sqrt (tan (* PI l)))) (/ (sqrt F) 1) (/ (sqrt F) (tan (* PI l))) (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ F (cbrt (tan (* PI l)))) (/ 1 (sqrt (tan (* PI l)))) (/ F (sqrt (tan (* PI l)))) (/ 1 1) (/ F (tan (* PI l))) (/ 1 (tan (* PI l))) (/ (tan (* PI l)) F) (/ F (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ F (sqrt (tan (* PI l)))) (/ F 1) (/ (tan (* PI l)) (cbrt F)) (/ (tan (* PI l)) (sqrt F)) (/ (tan (* PI l)) F) (/ F (sin (* PI l))) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (+ (/ (* (sqrt 1.0) (* PI l)) F) (* 1/3 (/ (* (sqrt 1.0) (* (pow PI 3) (pow l 3))) F))) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) (- (/ F (* PI l)) (* 1/3 (* F (* PI l)))) (/ (* (cos (* PI l)) F) (sin (* PI l))) (/ (* (cos (* PI l)) F) (sin (* PI l))) (* PI l) (* PI l) (* PI l) 2.708 * * [simplify]: iteration 0 : 581 enodes (cost 1730 ) 2.718 * * [simplify]: iteration 1 : 2356 enodes (cost 1649 ) 2.750 * * [simplify]: iteration 2 : 5002 enodes (cost 1646 ) 2.758 * [simplify]: Simplified to: (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (pow (tan (* PI l)) 3) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (log (/ (sqrt 1.0) (/ F (tan (* PI l))))) (log (/ (sqrt 1.0) (/ F (tan (* PI l))))) (log (/ (sqrt 1.0) (/ F (tan (* PI l))))) (exp (/ (sqrt 1.0) (/ F (tan (* PI l))))) (pow (/ (sqrt 1.0) (/ F (tan (* PI l)))) 3) (pow (/ (sqrt 1.0) (/ F (tan (* PI l)))) 3) (* (cbrt (/ (sqrt 1.0) (/ F (tan (* PI l))))) (cbrt (/ (sqrt 1.0) (/ F (tan (* PI l)))))) (cbrt (/ (sqrt 1.0) (/ F (tan (* PI l))))) (pow (/ (sqrt 1.0) (/ F (tan (* PI l)))) 3) (sqrt (/ (sqrt 1.0) (/ F (tan (* PI l))))) (sqrt (/ (sqrt 1.0) (/ F (tan (* PI l))))) (- (sqrt 1.0)) (- (/ F (tan (* PI l)))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))) (/ (cbrt (sqrt 1.0)) (cbrt (/ F (tan (* PI l))))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt (/ F (tan (* PI l))))) (/ (cbrt (sqrt 1.0)) (sqrt (/ F (tan (* PI l))))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (cbrt (sqrt 1.0)) (/ (cbrt F) (cbrt (tan (* PI l))))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l))))) (/ (cbrt (sqrt 1.0)) (/ (cbrt F) (sqrt (tan (* PI l))))) (/ (cbrt (sqrt 1.0)) (/ (* (cbrt F) (cbrt F)) (cbrt (sqrt 1.0)))) (/ (cbrt (sqrt 1.0)) (/ (cbrt F) (tan (* PI l)))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (cbrt (sqrt 1.0)) (/ (sqrt F) (cbrt (tan (* PI l))))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (cbrt (sqrt 1.0)) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (cbrt (sqrt 1.0)) (/ (sqrt F) (cbrt (sqrt 1.0)))) (/ (cbrt (sqrt 1.0)) (/ (sqrt F) (tan (* PI l)))) (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ (cbrt (sqrt 1.0)) (/ F (cbrt (tan (* PI l))))) (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt (tan (* PI l)))) (/ (cbrt (sqrt 1.0)) (/ F (sqrt (tan (* PI l))))) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (cbrt (sqrt 1.0)) (/ F (tan (* PI l)))) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (cbrt (sqrt 1.0)) (/ F (tan (* PI l)))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) F) (* (tan (* PI l)) (cbrt (sqrt 1.0))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ F (sin (* PI l)))) (/ (cbrt (sqrt 1.0)) (cos (* PI l))) (/ (/ (fabs (cbrt 1.0)) (cbrt (/ F (tan (* PI l))))) (cbrt (/ F (tan (* PI l))))) (/ (sqrt (cbrt 1.0)) (cbrt (/ F (tan (* PI l))))) (/ (fabs (cbrt 1.0)) (/ (sqrt (/ F (tan (* PI l)))) 1)) (/ (sqrt (cbrt 1.0)) (sqrt (/ F (tan (* PI l))))) (* (/ (fabs (cbrt 1.0)) (* (cbrt F) (cbrt F))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ (sqrt (cbrt 1.0)) (/ (cbrt F) (cbrt (tan (* PI l))))) (* (/ (fabs (cbrt 1.0)) (* (cbrt F) (cbrt F))) (sqrt (tan (* PI l)))) (/ (sqrt (cbrt 1.0)) (/ (cbrt F) (sqrt (tan (* PI l))))) (/ (fabs (cbrt 1.0)) (* (cbrt F) (cbrt F))) (/ (sqrt (cbrt 1.0)) (/ (cbrt F) (tan (* PI l)))) (* (/ (fabs (cbrt 1.0)) (sqrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ (sqrt (cbrt 1.0)) (/ (sqrt F) (cbrt (tan (* PI l))))) (* (/ (fabs (cbrt 1.0)) (sqrt F)) (sqrt (tan (* PI l)))) (/ (sqrt (cbrt 1.0)) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (fabs (cbrt 1.0)) (sqrt F)) (/ (sqrt (cbrt 1.0)) (/ (sqrt F) (tan (* PI l)))) (* (fabs (cbrt 1.0)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ (sqrt (cbrt 1.0)) (/ F (cbrt (tan (* PI l))))) (* (fabs (cbrt 1.0)) (sqrt (tan (* PI l)))) (/ (sqrt (cbrt 1.0)) (/ F (sqrt (tan (* PI l))))) (fabs (cbrt 1.0)) (/ (sqrt (cbrt 1.0)) (/ F (tan (* PI l)))) (fabs (cbrt 1.0)) (/ (sqrt (cbrt 1.0)) (/ F (tan (* PI l)))) (/ (fabs (cbrt 1.0)) F) (* (tan (* PI l)) (sqrt (cbrt 1.0))) (/ (* (fabs (cbrt 1.0)) (sin (* PI l))) F) (/ (sqrt (cbrt 1.0)) (cos (* PI l))) (/ (sqrt (sqrt 1.0)) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (cbrt (/ F (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (sqrt (/ F (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (sqrt (/ F (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (/ (cbrt F) (cbrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (cbrt F) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (* (cbrt F) (cbrt F))) (/ (sqrt (sqrt 1.0)) (/ (cbrt F) (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (cbrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (sqrt F)) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (tan (* PI l)))) (* (sqrt (sqrt 1.0)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ F (cbrt (tan (* PI l))))) (* (sqrt (sqrt 1.0)) (sqrt (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) (/ F (sqrt (tan (* PI l))))) (sqrt (sqrt 1.0)) (/ (sqrt (sqrt 1.0)) (/ F (tan (* PI l)))) (sqrt (sqrt 1.0)) (/ (sqrt (sqrt 1.0)) (/ F (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) F) (* (sqrt (sqrt 1.0)) (tan (* PI l))) (/ (sqrt (sqrt 1.0)) (/ F (sin (* PI l)))) (/ (sqrt (sqrt 1.0)) (cos (* PI l))) (/ (/ 1 (cbrt (/ F (tan (* PI l))))) (cbrt (/ F (tan (* PI l))))) (/ (sqrt 1.0) (cbrt (/ F (tan (* PI l))))) (/ 1 (sqrt (/ F (tan (* PI l))))) (/ (sqrt 1.0) (sqrt (/ F (tan (* PI l))))) (/ (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (* (cbrt F) (cbrt F))) (/ (sqrt 1.0) (/ (cbrt F) (cbrt (tan (* PI l))))) (/ (sqrt (tan (* PI l))) (* (cbrt F) (cbrt F))) (/ (sqrt 1.0) (/ (cbrt F) (sqrt (tan (* PI l))))) (/ 1 (* (cbrt F) (cbrt F))) (/ (sqrt 1.0) (/ (cbrt F) (tan (* PI l)))) (/ (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (sqrt F)) (/ (sqrt 1.0) (/ (sqrt F) (cbrt (tan (* PI l))))) (/ (sqrt (tan (* PI l))) (sqrt F)) (/ (sqrt 1.0) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ 1 (sqrt F)) (/ (sqrt 1.0) (/ (sqrt F) (tan (* PI l)))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (/ (sqrt 1.0) (/ F (cbrt (tan (* PI l))))) (sqrt (tan (* PI l))) (/ (sqrt 1.0) (/ F (sqrt (tan (* PI l))))) 1 (/ (sqrt 1.0) (/ F (tan (* PI l)))) 1 (/ (sqrt 1.0) (/ F (tan (* PI l)))) (/ 1 F) (* (sqrt 1.0) (tan (* PI l))) (/ (sin (* PI l)) F) (/ (sqrt 1.0) (cos (* PI l))) (/ (sqrt (sqrt 1.0)) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (cbrt (/ F (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (sqrt (/ F (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (sqrt (/ F (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (/ (cbrt F) (cbrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (cbrt F) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (* (cbrt F) (cbrt F))) (/ (sqrt (sqrt 1.0)) (/ (cbrt F) (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (cbrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (sqrt F)) (/ (sqrt (sqrt 1.0)) (/ (sqrt F) (tan (* PI l)))) (* (sqrt (sqrt 1.0)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ (sqrt (sqrt 1.0)) (/ F (cbrt (tan (* PI l))))) (* (sqrt (sqrt 1.0)) (sqrt (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) (/ F (sqrt (tan (* PI l))))) (sqrt (sqrt 1.0)) (/ (sqrt (sqrt 1.0)) (/ F (tan (* PI l)))) (sqrt (sqrt 1.0)) (/ (sqrt (sqrt 1.0)) (/ F (tan (* PI l)))) (/ (sqrt (sqrt 1.0)) F) (* (sqrt (sqrt 1.0)) (tan (* PI l))) (/ (sqrt (sqrt 1.0)) (/ F (sin (* PI l)))) (/ (sqrt (sqrt 1.0)) (cos (* PI l))) (/ (/ 1 (cbrt (/ F (tan (* PI l))))) (cbrt (/ F (tan (* PI l))))) (/ (sqrt 1.0) (cbrt (/ F (tan (* PI l))))) (/ 1 (sqrt (/ F (tan (* PI l))))) (/ (sqrt 1.0) (sqrt (/ F (tan (* PI l))))) (/ (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (* (cbrt F) (cbrt F))) (/ (sqrt 1.0) (/ (cbrt F) (cbrt (tan (* PI l))))) (/ (sqrt (tan (* PI l))) (* (cbrt F) (cbrt F))) (/ (sqrt 1.0) (/ (cbrt F) (sqrt (tan (* PI l))))) (/ 1 (* (cbrt F) (cbrt F))) (/ (sqrt 1.0) (/ (cbrt F) (tan (* PI l)))) (/ (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (sqrt F)) (/ (sqrt 1.0) (/ (sqrt F) (cbrt (tan (* PI l))))) (/ (sqrt (tan (* PI l))) (sqrt F)) (/ (sqrt 1.0) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ 1 (sqrt F)) (/ (sqrt 1.0) (/ (sqrt F) (tan (* PI l)))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (/ (sqrt 1.0) (/ F (cbrt (tan (* PI l))))) (sqrt (tan (* PI l))) (/ (sqrt 1.0) (/ F (sqrt (tan (* PI l))))) 1 (/ (sqrt 1.0) (/ F (tan (* PI l)))) 1 (/ (sqrt 1.0) (/ F (tan (* PI l)))) (/ 1 F) (* (sqrt 1.0) (tan (* PI l))) (/ (sin (* PI l)) F) (/ (sqrt 1.0) (cos (* PI l))) (/ (tan (* PI l)) F) (/ (/ F (tan (* PI l))) (sqrt 1.0)) (/ (sqrt 1.0) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))) (/ (sqrt 1.0) (sqrt (/ F (tan (* PI l))))) (/ (sqrt 1.0) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt 1.0) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l))))) (/ (sqrt 1.0) (* (cbrt F) (cbrt F))) (/ (sqrt 1.0) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))) (/ (sqrt 1.0) (/ (sqrt F) (sqrt (tan (* PI l))))) (/ (sqrt 1.0) (sqrt F)) (* (sqrt 1.0) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (* (sqrt 1.0) (sqrt (tan (* PI l)))) (sqrt 1.0) (sqrt 1.0) (/ (sqrt 1.0) F) (/ (sqrt 1.0) (/ F (sin (* PI l)))) (/ (/ F (tan (* PI l))) (cbrt (sqrt 1.0))) (/ (/ F (tan (* PI l))) (sqrt (cbrt 1.0))) (/ (/ F (tan (* PI l))) (sqrt (sqrt 1.0))) (/ (/ F (tan (* PI l))) (sqrt 1.0)) (/ (/ F (tan (* PI l))) (sqrt (sqrt 1.0))) (/ (/ F (tan (* PI l))) (sqrt 1.0)) (/ (sqrt 1.0) F) (log (/ F (tan (* PI l)))) (log (/ F (tan (* PI l)))) (exp (/ F (tan (* PI l)))) (pow (/ F (tan (* PI l))) 3) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l))))) (cbrt (/ F (tan (* PI l)))) (pow (/ F (tan (* PI l))) 3) (sqrt (/ F (tan (* PI l)))) (sqrt (/ F (tan (* PI l)))) (- F) (- (tan (* PI l))) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ (cbrt F) (cbrt (tan (* PI l)))) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l)))) (/ (cbrt F) (sqrt (tan (* PI l)))) (* (cbrt F) (cbrt F)) (/ (cbrt F) (tan (* PI l))) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ (sqrt F) (cbrt (tan (* PI l)))) (/ (sqrt F) (sqrt (tan (* PI l)))) (/ (sqrt F) (sqrt (tan (* PI l)))) (sqrt F) (/ (sqrt F) (tan (* PI l))) (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ F (cbrt (tan (* PI l)))) (/ 1 (sqrt (tan (* PI l)))) (/ F (sqrt (tan (* PI l)))) 1 (/ F (tan (* PI l))) (/ 1 (tan (* PI l))) (/ (tan (* PI l)) F) (/ F (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (/ F (sqrt (tan (* PI l)))) F (/ (tan (* PI l)) (cbrt F)) (/ (tan (* PI l)) (sqrt F)) (/ (tan (* PI l)) F) (/ F (sin (* PI l))) (* PI l) (log (* PI l)) (log (* PI l)) (exp (* PI l)) (pow (* PI l) 3) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (pow (* PI l) 3) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) PI (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (+ (/ (* (sqrt 1.0) (* PI l)) F) (* 1/3 (/ (* (sqrt 1.0) (* (pow PI 3) (pow l 3))) F))) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) (- (/ F (* PI l)) (* 1/3 (* F (* PI l)))) (/ (* (cos (* PI l)) F) (sin (* PI l))) (/ (* (cos (* PI l)) F) (sin (* PI l))) (* PI l) (* PI l) (* PI l) 2.759 * * * [progress]: adding candidates to table 3.249 * [progress]: [Phase 3 of 3] Extracting. 3.249 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # #) 3.254 * * * [regime-changes]: Trying 5 branch expressions: ((* F F) (/ 1.0 (* F F)) (* PI l) l F) 3.254 * * * * [regimes]: Trying to branch on (* F F) from (# # # # # # # # # # # # # # #) 3.309 * * * * [regimes]: Trying to branch on (/ 1.0 (* F F)) from (# # # # # # # # # # # # # # #) 3.361 * * * * [regimes]: Trying to branch on (* PI l) from (# # # # # # # # # # # # # # #) 3.416 * * * * [regimes]: Trying to branch on l from (# # # # # # # # # # # # # # #) 3.472 * * * * [regimes]: Trying to branch on F from (# # # # # # # # # # # # # # #) 3.527 * * * [regime]: Found split indices: #