0.901 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.408 * * * [progress]: [2/2] Setting up program. 0.411 * [progress]: [Phase 2 of 3] Improving. 0.413 * [simplify]: Simplifying using # : (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) 0.419 * * [simplify]: iteration 0 : 19 enodes (cost 7 ) 0.420 * * [simplify]: iteration 1 : 41 enodes (cost 7 ) 0.422 * * [simplify]: iteration 2 : 82 enodes (cost 7 ) 0.423 * * [simplify]: iteration 3 : 122 enodes (cost 7 ) 0.425 * * [simplify]: iteration 4 : 147 enodes (cost 7 ) 0.428 * * [simplify]: iteration 5 : 157 enodes (cost 7 ) 0.430 * * [simplify]: iteration 6 : 159 enodes (cost 7 ) 0.432 * * [simplify]: iteration 7 : 159 enodes (cost 7 ) 0.432 * [simplify]: Simplified to: (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) 0.434 * * [progress]: iteration 1 / 4 0.434 * * * [progress]: picking best candidate 0.437 * * * * [pick]: Picked # 0.437 * * * [progress]: localizing error 0.450 * * * [progress]: generating rewritten candidates 0.450 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.454 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.460 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.464 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 0.468 * * * [progress]: generating series expansions 0.468 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.472 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 0.473 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.474 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.474 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.474 * [taylor]: Taking taylor expansion of (* PI l) in l 0.474 * [taylor]: Taking taylor expansion of PI in l 0.474 * [taylor]: Taking taylor expansion of l in l 0.476 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.476 * [taylor]: Taking taylor expansion of (* PI l) in l 0.476 * [taylor]: Taking taylor expansion of PI in l 0.476 * [taylor]: Taking taylor expansion of l in l 0.480 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.480 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.480 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.480 * [taylor]: Taking taylor expansion of (* PI l) in l 0.480 * [taylor]: Taking taylor expansion of PI in l 0.480 * [taylor]: Taking taylor expansion of l in l 0.481 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.481 * [taylor]: Taking taylor expansion of (* PI l) in l 0.481 * [taylor]: Taking taylor expansion of PI in l 0.481 * [taylor]: Taking taylor expansion of l in l 0.544 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 0.544 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.545 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.545 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.545 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.545 * [taylor]: Taking taylor expansion of PI in l 0.545 * [taylor]: Taking taylor expansion of l in l 0.545 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.545 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.545 * [taylor]: Taking taylor expansion of PI in l 0.545 * [taylor]: Taking taylor expansion of l in l 0.546 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.546 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.546 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.546 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.546 * [taylor]: Taking taylor expansion of PI in l 0.546 * [taylor]: Taking taylor expansion of l in l 0.546 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.546 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.546 * [taylor]: Taking taylor expansion of PI in l 0.546 * [taylor]: Taking taylor expansion of l in l 0.549 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 0.549 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.549 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.549 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.549 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.549 * [taylor]: Taking taylor expansion of -1 in l 0.549 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.549 * [taylor]: Taking taylor expansion of PI in l 0.549 * [taylor]: Taking taylor expansion of l in l 0.550 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.550 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.550 * [taylor]: Taking taylor expansion of -1 in l 0.550 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.550 * [taylor]: Taking taylor expansion of PI in l 0.550 * [taylor]: Taking taylor expansion of l in l 0.551 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.551 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.551 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.551 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.551 * [taylor]: Taking taylor expansion of -1 in l 0.551 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.551 * [taylor]: Taking taylor expansion of PI in l 0.551 * [taylor]: Taking taylor expansion of l in l 0.552 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.552 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.552 * [taylor]: Taking taylor expansion of -1 in l 0.552 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.552 * [taylor]: Taking taylor expansion of PI in l 0.552 * [taylor]: Taking taylor expansion of l in l 0.555 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.555 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in (F l) around 0 0.555 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in l 0.555 * [taylor]: Taking taylor expansion of 1.0 in l 0.555 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 0.555 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.555 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.555 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.555 * [taylor]: Taking taylor expansion of (* PI l) in l 0.555 * [taylor]: Taking taylor expansion of PI in l 0.555 * [taylor]: Taking taylor expansion of l in l 0.557 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.557 * [taylor]: Taking taylor expansion of (* PI l) in l 0.557 * [taylor]: Taking taylor expansion of PI in l 0.557 * [taylor]: Taking taylor expansion of l in l 0.560 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.560 * [taylor]: Taking taylor expansion of F in l 0.560 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F 0.560 * [taylor]: Taking taylor expansion of 1.0 in F 0.560 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 0.560 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 0.560 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.560 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 0.560 * [taylor]: Taking taylor expansion of (* PI l) in F 0.560 * [taylor]: Taking taylor expansion of PI in F 0.560 * [taylor]: Taking taylor expansion of l in F 0.561 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 0.561 * [taylor]: Taking taylor expansion of (* PI l) in F 0.561 * [taylor]: Taking taylor expansion of PI in F 0.561 * [taylor]: Taking taylor expansion of l in F 0.562 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.562 * [taylor]: Taking taylor expansion of F in F 0.562 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F 0.562 * [taylor]: Taking taylor expansion of 1.0 in F 0.562 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 0.562 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 0.562 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.562 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 0.562 * [taylor]: Taking taylor expansion of (* PI l) in F 0.562 * [taylor]: Taking taylor expansion of PI in F 0.562 * [taylor]: Taking taylor expansion of l in F 0.562 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 0.562 * [taylor]: Taking taylor expansion of (* PI l) in F 0.562 * [taylor]: Taking taylor expansion of PI in F 0.562 * [taylor]: Taking taylor expansion of l in F 0.563 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.563 * [taylor]: Taking taylor expansion of F in F 0.564 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l 0.564 * [taylor]: Taking taylor expansion of 1.0 in l 0.564 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 0.564 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.564 * [taylor]: Taking taylor expansion of (* PI l) in l 0.564 * [taylor]: Taking taylor expansion of PI in l 0.564 * [taylor]: Taking taylor expansion of l in l 0.565 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.565 * [taylor]: Taking taylor expansion of (* PI l) in l 0.565 * [taylor]: Taking taylor expansion of PI in l 0.565 * [taylor]: Taking taylor expansion of l in l 0.574 * [taylor]: Taking taylor expansion of 0 in l 0.584 * [taylor]: Taking taylor expansion of 0 in l 0.612 * [taylor]: Taking taylor expansion of 0 in l 0.630 * [taylor]: Taking taylor expansion of 0 in l 0.632 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in (F l) around 0 0.632 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in l 0.632 * [taylor]: Taking taylor expansion of 1.0 in l 0.632 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 0.632 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.632 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.632 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.632 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.632 * [taylor]: Taking taylor expansion of PI in l 0.632 * [taylor]: Taking taylor expansion of l in l 0.632 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.632 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.632 * [taylor]: Taking taylor expansion of PI in l 0.632 * [taylor]: Taking taylor expansion of l in l 0.633 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.633 * [taylor]: Taking taylor expansion of F in l 0.633 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F 0.633 * [taylor]: Taking taylor expansion of 1.0 in F 0.633 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 0.633 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 0.633 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.633 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 0.633 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.633 * [taylor]: Taking taylor expansion of PI in F 0.633 * [taylor]: Taking taylor expansion of l in F 0.633 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 0.633 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.633 * [taylor]: Taking taylor expansion of PI in F 0.633 * [taylor]: Taking taylor expansion of l in F 0.634 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.634 * [taylor]: Taking taylor expansion of F in F 0.634 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F 0.634 * [taylor]: Taking taylor expansion of 1.0 in F 0.634 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 0.634 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 0.634 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.634 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 0.634 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.634 * [taylor]: Taking taylor expansion of PI in F 0.634 * [taylor]: Taking taylor expansion of l in F 0.634 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 0.634 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.634 * [taylor]: Taking taylor expansion of PI in F 0.634 * [taylor]: Taking taylor expansion of l in F 0.635 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.635 * [taylor]: Taking taylor expansion of F in F 0.635 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l 0.635 * [taylor]: Taking taylor expansion of 1.0 in l 0.635 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 0.635 * [taylor]: Taking taylor expansion of (sin (/ PI l)) 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.636 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.636 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.636 * [taylor]: Taking taylor expansion of PI in l 0.636 * [taylor]: Taking taylor expansion of l in l 0.641 * [taylor]: Taking taylor expansion of 0 in l 0.647 * [taylor]: Taking taylor expansion of 0 in l 0.656 * [taylor]: Taking taylor expansion of 0 in l 0.656 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in (F l) around 0 0.656 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in l 0.656 * [taylor]: Taking taylor expansion of 1.0 in l 0.656 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 0.656 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.656 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.656 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.656 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.656 * [taylor]: Taking taylor expansion of -1 in l 0.656 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.656 * [taylor]: Taking taylor expansion of PI in l 0.656 * [taylor]: Taking taylor expansion of l in l 0.657 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.657 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.657 * [taylor]: Taking taylor expansion of -1 in l 0.657 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.657 * [taylor]: Taking taylor expansion of PI in l 0.657 * [taylor]: Taking taylor expansion of l in l 0.658 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.658 * [taylor]: Taking taylor expansion of F in l 0.658 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F 0.658 * [taylor]: Taking taylor expansion of 1.0 in F 0.658 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 0.658 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 0.658 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.658 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 0.658 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.658 * [taylor]: Taking taylor expansion of -1 in F 0.658 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.658 * [taylor]: Taking taylor expansion of PI in F 0.658 * [taylor]: Taking taylor expansion of l in F 0.658 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 0.658 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.658 * [taylor]: Taking taylor expansion of -1 in F 0.658 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.658 * [taylor]: Taking taylor expansion of PI in F 0.658 * [taylor]: Taking taylor expansion of l in F 0.659 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.659 * [taylor]: Taking taylor expansion of F in F 0.659 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F 0.659 * [taylor]: Taking taylor expansion of 1.0 in F 0.659 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 0.659 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 0.659 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.659 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 0.659 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.659 * [taylor]: Taking taylor expansion of -1 in F 0.659 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.659 * [taylor]: Taking taylor expansion of PI in F 0.659 * [taylor]: Taking taylor expansion of l in F 0.660 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 0.660 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.660 * [taylor]: Taking taylor expansion of -1 in F 0.660 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.660 * [taylor]: Taking taylor expansion of PI in F 0.660 * [taylor]: Taking taylor expansion of l 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.661 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l 0.661 * [taylor]: Taking taylor expansion of 1.0 in l 0.661 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 0.661 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.661 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.661 * [taylor]: Taking taylor expansion of -1 in l 0.661 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.661 * [taylor]: Taking taylor expansion of PI in l 0.661 * [taylor]: Taking taylor expansion of l in l 0.662 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.662 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.662 * [taylor]: Taking taylor expansion of -1 in l 0.662 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.662 * [taylor]: Taking taylor expansion of PI in l 0.662 * [taylor]: Taking taylor expansion of l in l 0.668 * [taylor]: Taking taylor expansion of 0 in l 0.680 * [taylor]: Taking taylor expansion of 0 in l 0.690 * [taylor]: Taking taylor expansion of 0 in l 0.690 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.690 * [approximate]: Taking taylor expansion of (/ 1.0 (pow F 2)) in (F) around 0 0.690 * [taylor]: Taking taylor expansion of (/ 1.0 (pow F 2)) in F 0.690 * [taylor]: Taking taylor expansion of 1.0 in F 0.690 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.690 * [taylor]: Taking taylor expansion of F in F 0.691 * [taylor]: Taking taylor expansion of (/ 1.0 (pow F 2)) in F 0.691 * [taylor]: Taking taylor expansion of 1.0 in F 0.691 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.691 * [taylor]: Taking taylor expansion of F in F 0.698 * [approximate]: Taking taylor expansion of (* 1.0 (pow F 2)) in (F) around 0 0.698 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.698 * [taylor]: Taking taylor expansion of 1.0 in F 0.698 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.698 * [taylor]: Taking taylor expansion of F in F 0.698 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.698 * [taylor]: Taking taylor expansion of 1.0 in F 0.698 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.698 * [taylor]: Taking taylor expansion of F in F 0.706 * [approximate]: Taking taylor expansion of (* 1.0 (pow F 2)) in (F) around 0 0.706 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.706 * [taylor]: Taking taylor expansion of 1.0 in F 0.706 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.706 * [taylor]: Taking taylor expansion of F in F 0.706 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.706 * [taylor]: Taking taylor expansion of 1.0 in F 0.706 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.706 * [taylor]: Taking taylor expansion of F in F 0.715 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 0.715 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 0.715 * [taylor]: Taking taylor expansion of (* PI l) in l 0.715 * [taylor]: Taking taylor expansion of PI in l 0.715 * [taylor]: Taking taylor expansion of l in l 0.715 * [taylor]: Taking taylor expansion of (* PI l) in l 0.715 * [taylor]: Taking taylor expansion of PI in l 0.715 * [taylor]: Taking taylor expansion of l in l 0.721 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 0.721 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.721 * [taylor]: Taking taylor expansion of PI in l 0.721 * [taylor]: Taking taylor expansion of l in l 0.721 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.721 * [taylor]: Taking taylor expansion of PI in l 0.721 * [taylor]: Taking taylor expansion of l in l 0.725 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 0.725 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.725 * [taylor]: Taking taylor expansion of -1 in l 0.725 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.725 * [taylor]: Taking taylor expansion of PI in l 0.725 * [taylor]: Taking taylor expansion of l in l 0.726 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.726 * [taylor]: Taking taylor expansion of -1 in l 0.726 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.726 * [taylor]: Taking taylor expansion of PI in l 0.726 * [taylor]: Taking taylor expansion of l in l 0.735 * * * [progress]: simplifying candidates 0.736 * [simplify]: Simplifying using # : (sin (* PI l)) (cos (* PI l)) (* 1.0 (sin (* PI l))) (* (* F F) (cos (* PI l))) (* (- 1.0) (sin (* PI l))) (* (- (* F F)) (cos (* PI l))) (* 1 (sin (* PI l))) (* (/ (* F F) 1.0) (cos (* PI l))) (* (/ 1.0 F) (sin (* PI l))) (* F (cos (* PI l))) (* (/ 1.0 F) (sin (* PI l))) (* F (cos (* PI l))) (* (/ 1 (* F F)) (tan (* PI l))) (* (/ 1.0 (* F F)) (sin (* PI l))) (* 1.0 (tan (* PI l))) (* (- 1.0) (tan (* PI l))) (* 1 (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (- 1.0) (- (* F F)) (/ 1 (* F F)) (/ (* F F) 1.0) (/ 1.0 F) (/ 1.0 F) (+ (* 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.739 * * [simplify]: iteration 0 : 137 enodes (cost 130 ) 0.742 * * [simplify]: iteration 1 : 549 enodes (cost 130 ) 0.753 * * [simplify]: iteration 2 : 2505 enodes (cost 130 ) 0.795 * * [simplify]: iteration 3 : 5003 enodes (cost 130 ) 0.797 * [simplify]: Simplified to: (sin (* PI l)) (cos (* PI l)) (* 1.0 (sin (* PI l))) (* (* F F) (cos (* PI l))) (* (- 1.0) (sin (* PI l))) (* (- (* F F)) (cos (* PI l))) (sin (* PI l)) (* (/ (* F F) 1.0) (cos (* PI l))) (* (/ 1.0 F) (sin (* PI l))) (* F (cos (* PI l))) (* (/ 1.0 F) (sin (* PI l))) (* F (cos (* PI l))) (/ (tan (* PI l)) (pow F 2)) (* (/ 1.0 (* F F)) (sin (* PI l))) (* 1.0 (tan (* PI l))) (* (- 1.0) (tan (* PI l))) (tan (* PI l)) (* (/ 1.0 F) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (- 1.0) (- (* F F)) (/ 1 (* F F)) (/ (* F F) 1.0) (/ 1.0 F) (/ 1.0 F) (fma 2/15 (* (pow PI 5) (pow l 5)) (fma PI l (* 1/3 (* (pow PI 3) (pow l 3))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (fma 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.797 * * * [progress]: adding candidates to table 0.860 * * [progress]: iteration 2 / 4 0.860 * * * [progress]: picking best candidate 0.870 * * * * [pick]: Picked # 0.870 * * * [progress]: localizing error 0.880 * * * [progress]: generating rewritten candidates 0.880 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 0.882 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.887 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 0.888 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.891 * * * [progress]: generating series expansions 0.891 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 0.891 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 0.891 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.891 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.891 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.891 * [taylor]: Taking taylor expansion of (* PI l) in l 0.891 * [taylor]: Taking taylor expansion of PI in l 0.891 * [taylor]: Taking taylor expansion of l in l 0.893 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.893 * [taylor]: Taking taylor expansion of (* PI l) in l 0.893 * [taylor]: Taking taylor expansion of PI in l 0.893 * [taylor]: Taking taylor expansion of l in l 0.896 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.896 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.896 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.896 * [taylor]: Taking taylor expansion of (* PI l) in l 0.896 * [taylor]: Taking taylor expansion of PI in l 0.896 * [taylor]: Taking taylor expansion of l in l 0.898 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.898 * [taylor]: Taking taylor expansion of (* PI l) in l 0.898 * [taylor]: Taking taylor expansion of PI in l 0.898 * [taylor]: Taking taylor expansion of l in l 0.945 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 0.945 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.945 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.945 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.945 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.945 * [taylor]: Taking taylor expansion of PI in l 0.945 * [taylor]: Taking taylor expansion of l in l 0.945 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.945 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.945 * [taylor]: Taking taylor expansion of PI in l 0.945 * [taylor]: Taking taylor expansion of l in l 0.946 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.946 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.946 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.946 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.946 * [taylor]: Taking taylor expansion of PI in l 0.946 * [taylor]: Taking taylor expansion of l in l 0.946 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.946 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.946 * [taylor]: Taking taylor expansion of PI in l 0.946 * [taylor]: Taking taylor expansion of l in l 0.949 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 0.949 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.949 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.949 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.949 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.949 * [taylor]: Taking taylor expansion of -1 in l 0.949 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.949 * [taylor]: Taking taylor expansion of PI in l 0.949 * [taylor]: Taking taylor expansion of l in l 0.950 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.950 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.950 * [taylor]: Taking taylor expansion of -1 in l 0.950 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.950 * [taylor]: Taking taylor expansion of PI in l 0.950 * [taylor]: Taking taylor expansion of l in l 0.951 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.951 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.951 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.951 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.951 * [taylor]: Taking taylor expansion of -1 in l 0.951 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.951 * [taylor]: Taking taylor expansion of PI in l 0.951 * [taylor]: Taking taylor expansion of l in l 0.952 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.952 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.952 * [taylor]: Taking taylor expansion of -1 in l 0.952 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.952 * [taylor]: Taking taylor expansion of PI in l 0.952 * [taylor]: Taking taylor expansion of l in l 0.955 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.955 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in (F l) around 0 0.955 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l 0.955 * [taylor]: Taking taylor expansion of 1.0 in l 0.955 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 0.955 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.955 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.955 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.955 * [taylor]: Taking taylor expansion of (* PI l) in l 0.955 * [taylor]: Taking taylor expansion of PI in l 0.955 * [taylor]: Taking taylor expansion of l in l 0.957 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.957 * [taylor]: Taking taylor expansion of (* PI l) in l 0.957 * [taylor]: Taking taylor expansion of PI in l 0.957 * [taylor]: Taking taylor expansion of l in l 0.960 * [taylor]: Taking taylor expansion of F in l 0.960 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F 0.960 * [taylor]: Taking taylor expansion of 1.0 in F 0.960 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 0.960 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 0.960 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.960 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 0.960 * [taylor]: Taking taylor expansion of (* PI l) in F 0.960 * [taylor]: Taking taylor expansion of PI in F 0.960 * [taylor]: Taking taylor expansion of l in F 0.960 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 0.960 * [taylor]: Taking taylor expansion of (* PI l) in F 0.960 * [taylor]: Taking taylor expansion of PI in F 0.960 * [taylor]: Taking taylor expansion of l in F 0.961 * [taylor]: Taking taylor expansion of F in F 0.961 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F 0.961 * [taylor]: Taking taylor expansion of 1.0 in F 0.961 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 0.961 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 0.961 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.961 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 0.961 * [taylor]: Taking taylor expansion of (* PI l) in F 0.961 * [taylor]: Taking taylor expansion of PI in F 0.961 * [taylor]: Taking taylor expansion of l in F 0.961 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 0.961 * [taylor]: Taking taylor expansion of (* PI l) in F 0.961 * [taylor]: Taking taylor expansion of PI in F 0.961 * [taylor]: Taking taylor expansion of l in F 0.962 * [taylor]: Taking taylor expansion of F in F 0.962 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l 0.962 * [taylor]: Taking taylor expansion of 1.0 in l 0.962 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 0.962 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.962 * [taylor]: Taking taylor expansion of (* PI l) in l 0.962 * [taylor]: Taking taylor expansion of PI in l 0.962 * [taylor]: Taking taylor expansion of l in l 0.963 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.963 * [taylor]: Taking taylor expansion of (* PI l) in l 0.963 * [taylor]: Taking taylor expansion of PI in l 0.964 * [taylor]: Taking taylor expansion of l in l 0.972 * [taylor]: Taking taylor expansion of 0 in l 0.981 * [taylor]: Taking taylor expansion of 0 in l 1.004 * [taylor]: Taking taylor expansion of 0 in l 1.020 * [taylor]: Taking taylor expansion of 0 in l 1.022 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in (F l) around 0 1.022 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l 1.022 * [taylor]: Taking taylor expansion of 1.0 in l 1.022 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 1.022 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.022 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.022 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.022 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.022 * [taylor]: Taking taylor expansion of PI in l 1.022 * [taylor]: Taking taylor expansion of l in l 1.022 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.022 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.022 * [taylor]: Taking taylor expansion of PI in l 1.022 * [taylor]: Taking taylor expansion of l in l 1.025 * [taylor]: Taking taylor expansion of F in l 1.025 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F 1.025 * [taylor]: Taking taylor expansion of 1.0 in F 1.025 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 1.025 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.026 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.026 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.026 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.026 * [taylor]: Taking taylor expansion of PI in F 1.026 * [taylor]: Taking taylor expansion of l in F 1.026 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.026 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.026 * [taylor]: Taking taylor expansion of PI in F 1.026 * [taylor]: Taking taylor expansion of l in F 1.026 * [taylor]: Taking taylor expansion of F in F 1.027 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F 1.027 * [taylor]: Taking taylor expansion of 1.0 in F 1.027 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 1.027 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.027 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.027 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.027 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.027 * [taylor]: Taking taylor expansion of PI in F 1.027 * [taylor]: Taking taylor expansion of l in F 1.027 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.027 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.027 * [taylor]: Taking taylor expansion of PI in F 1.027 * [taylor]: Taking taylor expansion of l in F 1.028 * [taylor]: Taking taylor expansion of F in F 1.028 * [taylor]: Taking taylor expansion of 0 in l 1.033 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l 1.033 * [taylor]: Taking taylor expansion of 1.0 in l 1.033 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 1.033 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.033 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.033 * [taylor]: Taking taylor expansion of PI in l 1.033 * [taylor]: Taking taylor expansion of l in l 1.033 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.033 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.033 * [taylor]: Taking taylor expansion of PI in l 1.033 * [taylor]: Taking taylor expansion of l in l 1.039 * [taylor]: Taking taylor expansion of 0 in l 1.047 * [taylor]: Taking taylor expansion of 0 in l 1.047 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in (F l) around 0 1.047 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l 1.047 * [taylor]: Taking taylor expansion of -1.0 in l 1.047 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 1.047 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.047 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.047 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.048 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.048 * [taylor]: Taking taylor expansion of -1 in l 1.048 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.048 * [taylor]: Taking taylor expansion of PI in l 1.048 * [taylor]: Taking taylor expansion of l in l 1.048 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.048 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.048 * [taylor]: Taking taylor expansion of -1 in l 1.048 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.048 * [taylor]: Taking taylor expansion of PI in l 1.048 * [taylor]: Taking taylor expansion of l in l 1.049 * [taylor]: Taking taylor expansion of F in l 1.049 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F 1.049 * [taylor]: Taking taylor expansion of -1.0 in F 1.049 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 1.049 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.049 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.049 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.049 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.049 * [taylor]: Taking taylor expansion of -1 in F 1.049 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.049 * [taylor]: Taking taylor expansion of PI in F 1.049 * [taylor]: Taking taylor expansion of l in F 1.049 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.050 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.050 * [taylor]: Taking taylor expansion of -1 in F 1.050 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.050 * [taylor]: Taking taylor expansion of PI in F 1.050 * [taylor]: Taking taylor expansion of l in F 1.050 * [taylor]: Taking taylor expansion of F in F 1.050 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F 1.050 * [taylor]: Taking taylor expansion of -1.0 in F 1.050 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 1.050 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.051 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.051 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.051 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.051 * [taylor]: Taking taylor expansion of -1 in F 1.051 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.051 * [taylor]: Taking taylor expansion of PI in F 1.051 * [taylor]: Taking taylor expansion of l in F 1.051 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.051 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.051 * [taylor]: Taking taylor expansion of -1 in F 1.051 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.051 * [taylor]: Taking taylor expansion of PI in F 1.051 * [taylor]: Taking taylor expansion of l in F 1.052 * [taylor]: Taking taylor expansion of F in F 1.052 * [taylor]: Taking taylor expansion of 0 in l 1.057 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))))) in l 1.057 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l 1.057 * [taylor]: Taking taylor expansion of 1.0 in l 1.057 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 1.057 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.057 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.057 * [taylor]: Taking taylor expansion of -1 in l 1.057 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.057 * [taylor]: Taking taylor expansion of PI in l 1.057 * [taylor]: Taking taylor expansion of l in l 1.058 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.058 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.058 * [taylor]: Taking taylor expansion of -1 in l 1.058 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.058 * [taylor]: Taking taylor expansion of PI in l 1.058 * [taylor]: Taking taylor expansion of l in l 1.066 * [taylor]: Taking taylor expansion of 0 in l 1.075 * [taylor]: Taking taylor expansion of 0 in l 1.076 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 1.076 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.076 * [taylor]: Taking taylor expansion of (* PI l) in l 1.076 * [taylor]: Taking taylor expansion of PI in l 1.076 * [taylor]: Taking taylor expansion of l in l 1.076 * [taylor]: Taking taylor expansion of (* PI l) in l 1.076 * [taylor]: Taking taylor expansion of PI in l 1.076 * [taylor]: Taking taylor expansion of l in l 1.081 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.082 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.082 * [taylor]: Taking taylor expansion of PI in l 1.082 * [taylor]: Taking taylor expansion of l in l 1.082 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.082 * [taylor]: Taking taylor expansion of PI in l 1.082 * [taylor]: Taking taylor expansion of l in l 1.086 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.086 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.086 * [taylor]: Taking taylor expansion of -1 in l 1.086 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.086 * [taylor]: Taking taylor expansion of PI in l 1.086 * [taylor]: Taking taylor expansion of l in l 1.086 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.086 * [taylor]: Taking taylor expansion of -1 in l 1.086 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.086 * [taylor]: Taking taylor expansion of PI in l 1.086 * [taylor]: Taking taylor expansion of l in l 1.095 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.095 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.095 * [taylor]: Taking taylor expansion of (* PI l) in l 1.095 * [taylor]: Taking taylor expansion of PI in l 1.095 * [taylor]: Taking taylor expansion of l in l 1.095 * [taylor]: Taking taylor expansion of (* PI l) in l 1.095 * [taylor]: Taking taylor expansion of PI in l 1.095 * [taylor]: Taking taylor expansion of l in l 1.101 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.101 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.101 * [taylor]: Taking taylor expansion of PI in l 1.101 * [taylor]: Taking taylor expansion of l in l 1.101 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.101 * [taylor]: Taking taylor expansion of PI in l 1.101 * [taylor]: Taking taylor expansion of l in l 1.105 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.105 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.105 * [taylor]: Taking taylor expansion of -1 in l 1.105 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.105 * [taylor]: Taking taylor expansion of PI in l 1.105 * [taylor]: Taking taylor expansion of l in l 1.105 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.106 * [taylor]: Taking taylor expansion of -1 in l 1.106 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.106 * [taylor]: Taking taylor expansion of PI in l 1.106 * [taylor]: Taking taylor expansion of l in l 1.117 * * * [progress]: simplifying candidates 1.117 * [simplify]: Simplifying using # : (sin (* PI l)) (cos (* PI l)) (* 1.0 (sin (* PI l))) (* F (cos (* PI l))) (* (- 1.0) (sin (* PI l))) (* (- F) (cos (* PI l))) (* 1 (sin (* PI l))) (* (/ F 1.0) (cos (* PI l))) (* (/ 1 F) (tan (* PI l))) (* (/ 1.0 F) (sin (* PI l))) (* 1.0 (tan (* PI l))) (* (- 1.0) (tan (* PI l))) (* 1 (tan (* 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) F)) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) 1.120 * * [simplify]: iteration 0 : 112 enodes (cost 87 ) 1.122 * * [simplify]: iteration 1 : 362 enodes (cost 87 ) 1.129 * * [simplify]: iteration 2 : 1186 enodes (cost 87 ) 1.153 * * [simplify]: iteration 3 : 4910 enodes (cost 87 ) 1.239 * * [simplify]: iteration 4 : 5001 enodes (cost 87 ) 1.240 * [simplify]: Simplified to: (sin (* PI l)) (cos (* PI l)) (* 1.0 (sin (* PI l))) (* F (cos (* PI l))) (* (- 1.0) (sin (* PI l))) (* (- F) (cos (* PI l))) (sin (* PI l)) (* (/ F 1.0) (cos (* PI l))) (/ (tan (* PI l)) F) (* (/ 1.0 F) (sin (* PI l))) (* 1.0 (tan (* PI l))) (* (- 1.0) (tan (* PI l))) (tan (* PI l)) (fma 2/15 (* (pow PI 5) (pow l 5)) (fma PI l (* 1/3 (* (pow PI 3) (pow l 3))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (fma 1.0 (/ (* PI l) F) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) 1.240 * * * [progress]: adding candidates to table 1.286 * * [progress]: iteration 3 / 4 1.287 * * * [progress]: picking best candidate 1.298 * * * * [pick]: Picked # 1.299 * * * [progress]: localizing error 1.308 * * * [progress]: generating rewritten candidates 1.308 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.311 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 1.313 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.315 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.319 * * * [progress]: generating series expansions 1.319 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.319 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.320 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.320 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.320 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.320 * [taylor]: Taking taylor expansion of (* PI l) in l 1.320 * [taylor]: Taking taylor expansion of PI in l 1.320 * [taylor]: Taking taylor expansion of l in l 1.321 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.321 * [taylor]: Taking taylor expansion of (* PI l) in l 1.321 * [taylor]: Taking taylor expansion of PI in l 1.321 * [taylor]: Taking taylor expansion of l in l 1.325 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.325 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.325 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.325 * [taylor]: Taking taylor expansion of (* PI l) in l 1.325 * [taylor]: Taking taylor expansion of PI in l 1.325 * [taylor]: Taking taylor expansion of l in l 1.326 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.326 * [taylor]: Taking taylor expansion of (* PI l) in l 1.326 * [taylor]: Taking taylor expansion of PI in l 1.326 * [taylor]: Taking taylor expansion of l in l 1.374 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.374 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.374 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.374 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.374 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.374 * [taylor]: Taking taylor expansion of PI in l 1.374 * [taylor]: Taking taylor expansion of l in l 1.374 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.374 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.374 * [taylor]: Taking taylor expansion of PI in l 1.374 * [taylor]: Taking taylor expansion of l in l 1.375 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.375 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.375 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.375 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.375 * [taylor]: Taking taylor expansion of PI in l 1.375 * [taylor]: Taking taylor expansion of l in l 1.375 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.375 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.375 * [taylor]: Taking taylor expansion of PI in l 1.375 * [taylor]: Taking taylor expansion of l in l 1.378 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.378 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.378 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.378 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.378 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.378 * [taylor]: Taking taylor expansion of -1 in l 1.378 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.378 * [taylor]: Taking taylor expansion of PI in l 1.378 * [taylor]: Taking taylor expansion of l in l 1.379 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.379 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.379 * [taylor]: Taking taylor expansion of -1 in l 1.379 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.379 * [taylor]: Taking taylor expansion of PI in l 1.379 * [taylor]: Taking taylor expansion of l in l 1.380 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.380 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.380 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.380 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.380 * [taylor]: Taking taylor expansion of -1 in l 1.380 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.380 * [taylor]: Taking taylor expansion of PI in l 1.380 * [taylor]: Taking taylor expansion of l in l 1.381 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.381 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.381 * [taylor]: Taking taylor expansion of -1 in l 1.381 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.381 * [taylor]: Taking taylor expansion of PI in l 1.381 * [taylor]: Taking taylor expansion of l in l 1.384 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 1.384 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.384 * [taylor]: Taking taylor expansion of (* PI l) in l 1.384 * [taylor]: Taking taylor expansion of PI in l 1.384 * [taylor]: Taking taylor expansion of l in l 1.384 * [taylor]: Taking taylor expansion of (* PI l) in l 1.384 * [taylor]: Taking taylor expansion of PI in l 1.384 * [taylor]: Taking taylor expansion of l in l 1.390 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.390 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.390 * [taylor]: Taking taylor expansion of PI in l 1.390 * [taylor]: Taking taylor expansion of l in l 1.391 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.391 * [taylor]: Taking taylor expansion of PI in l 1.391 * [taylor]: Taking taylor expansion of l in l 1.394 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.394 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.394 * [taylor]: Taking taylor expansion of -1 in l 1.394 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.394 * [taylor]: Taking taylor expansion of PI in l 1.395 * [taylor]: Taking taylor expansion of l in l 1.395 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.395 * [taylor]: Taking taylor expansion of -1 in l 1.395 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.395 * [taylor]: Taking taylor expansion of PI in l 1.395 * [taylor]: Taking taylor expansion of l in l 1.403 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.403 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.403 * [taylor]: Taking taylor expansion of (* PI l) in l 1.404 * [taylor]: Taking taylor expansion of PI in l 1.404 * [taylor]: Taking taylor expansion of l in l 1.404 * [taylor]: Taking taylor expansion of (* PI l) in l 1.404 * [taylor]: Taking taylor expansion of PI in l 1.404 * [taylor]: Taking taylor expansion of l in l 1.409 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.409 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.409 * [taylor]: Taking taylor expansion of PI in l 1.409 * [taylor]: Taking taylor expansion of l in l 1.410 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.410 * [taylor]: Taking taylor expansion of PI in l 1.410 * [taylor]: Taking taylor expansion of l in l 1.413 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.413 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.413 * [taylor]: Taking taylor expansion of -1 in l 1.413 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.413 * [taylor]: Taking taylor expansion of PI in l 1.413 * [taylor]: Taking taylor expansion of l in l 1.414 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.414 * [taylor]: Taking taylor expansion of -1 in l 1.414 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.414 * [taylor]: Taking taylor expansion of PI in l 1.414 * [taylor]: Taking taylor expansion of l in l 1.422 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.422 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in (l F) around 0 1.422 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F 1.422 * [taylor]: Taking taylor expansion of 1.0 in F 1.422 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 1.422 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.422 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.422 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.422 * [taylor]: Taking taylor expansion of (* PI l) in F 1.422 * [taylor]: Taking taylor expansion of PI in F 1.422 * [taylor]: Taking taylor expansion of l in F 1.423 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.423 * [taylor]: Taking taylor expansion of (* PI l) in F 1.423 * [taylor]: Taking taylor expansion of PI in F 1.423 * [taylor]: Taking taylor expansion of l in F 1.423 * [taylor]: Taking taylor expansion of F in F 1.423 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l 1.423 * [taylor]: Taking taylor expansion of 1.0 in l 1.423 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 1.423 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.424 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.424 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.424 * [taylor]: Taking taylor expansion of (* PI l) in l 1.424 * [taylor]: Taking taylor expansion of PI in l 1.424 * [taylor]: Taking taylor expansion of l in l 1.425 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.425 * [taylor]: Taking taylor expansion of (* PI l) in l 1.425 * [taylor]: Taking taylor expansion of PI in l 1.425 * [taylor]: Taking taylor expansion of l in l 1.428 * [taylor]: Taking taylor expansion of F in l 1.428 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l 1.428 * [taylor]: Taking taylor expansion of 1.0 in l 1.428 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 1.428 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.428 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.428 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.428 * [taylor]: Taking taylor expansion of (* PI l) in l 1.428 * [taylor]: Taking taylor expansion of PI in l 1.428 * [taylor]: Taking taylor expansion of l in l 1.429 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.429 * [taylor]: Taking taylor expansion of (* PI l) in l 1.429 * [taylor]: Taking taylor expansion of PI in l 1.429 * [taylor]: Taking taylor expansion of l in l 1.432 * [taylor]: Taking taylor expansion of F in l 1.433 * [taylor]: Taking taylor expansion of (* 1.0 (/ PI F)) in F 1.433 * [taylor]: Taking taylor expansion of 1.0 in F 1.433 * [taylor]: Taking taylor expansion of (/ PI F) in F 1.433 * [taylor]: Taking taylor expansion of PI in F 1.433 * [taylor]: Taking taylor expansion of F in F 1.435 * [taylor]: Taking taylor expansion of 0 in F 1.455 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (pow PI 3) F)) in F 1.455 * [taylor]: Taking taylor expansion of 0.3333333333333333 in F 1.455 * [taylor]: Taking taylor expansion of (/ (pow PI 3) F) in F 1.455 * [taylor]: Taking taylor expansion of (pow PI 3) in F 1.455 * [taylor]: Taking taylor expansion of PI in F 1.455 * [taylor]: Taking taylor expansion of F in F 1.465 * [taylor]: Taking taylor expansion of 0 in F 1.491 * [taylor]: Taking taylor expansion of (* 0.13333333333333333 (/ (pow PI 5) F)) in F 1.491 * [taylor]: Taking taylor expansion of 0.13333333333333333 in F 1.491 * [taylor]: Taking taylor expansion of (/ (pow PI 5) F) in F 1.491 * [taylor]: Taking taylor expansion of (pow PI 5) in F 1.491 * [taylor]: Taking taylor expansion of PI in F 1.491 * [taylor]: Taking taylor expansion of F in F 1.498 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in (l F) around 0 1.498 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F 1.498 * [taylor]: Taking taylor expansion of 1.0 in F 1.498 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 1.498 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.498 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.498 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.498 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.498 * [taylor]: Taking taylor expansion of PI in F 1.498 * [taylor]: Taking taylor expansion of l in F 1.498 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.498 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.498 * [taylor]: Taking taylor expansion of PI in F 1.498 * [taylor]: Taking taylor expansion of l in F 1.499 * [taylor]: Taking taylor expansion of F in F 1.499 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l 1.499 * [taylor]: Taking taylor expansion of 1.0 in l 1.499 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 1.499 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.499 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.499 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.499 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.499 * [taylor]: Taking taylor expansion of PI in l 1.499 * [taylor]: Taking taylor expansion of l in l 1.499 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.499 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.499 * [taylor]: Taking taylor expansion of PI in l 1.499 * [taylor]: Taking taylor expansion of l in l 1.500 * [taylor]: Taking taylor expansion of F in l 1.500 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l 1.500 * [taylor]: Taking taylor expansion of 1.0 in l 1.500 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 1.500 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.500 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.500 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.500 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.500 * [taylor]: Taking taylor expansion of PI in l 1.500 * [taylor]: Taking taylor expansion of l in l 1.500 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.501 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.501 * [taylor]: Taking taylor expansion of PI in l 1.501 * [taylor]: Taking taylor expansion of l in l 1.501 * [taylor]: Taking taylor expansion of F in l 1.501 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (sin (/ PI l)) F) (cos (/ PI l)))) in F 1.501 * [taylor]: Taking taylor expansion of 1.0 in F 1.501 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) F) (cos (/ PI l))) in F 1.501 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) F) in F 1.501 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.501 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.501 * [taylor]: Taking taylor expansion of PI in F 1.501 * [taylor]: Taking taylor expansion of l in F 1.501 * [taylor]: Taking taylor expansion of F in F 1.501 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.501 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.502 * [taylor]: Taking taylor expansion of PI in F 1.502 * [taylor]: Taking taylor expansion of l in F 1.505 * [taylor]: Taking taylor expansion of 0 in F 1.506 * [taylor]: Taking taylor expansion of 0 in F 1.512 * [taylor]: Taking taylor expansion of 0 in F 1.513 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in (l F) around 0 1.513 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F 1.513 * [taylor]: Taking taylor expansion of -1.0 in F 1.513 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 1.513 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.513 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.513 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.513 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.513 * [taylor]: Taking taylor expansion of -1 in F 1.513 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.513 * [taylor]: Taking taylor expansion of PI in F 1.513 * [taylor]: Taking taylor expansion of l in F 1.513 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.513 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.513 * [taylor]: Taking taylor expansion of -1 in F 1.513 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.513 * [taylor]: Taking taylor expansion of PI in F 1.513 * [taylor]: Taking taylor expansion of l in F 1.514 * [taylor]: Taking taylor expansion of F in F 1.514 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l 1.514 * [taylor]: Taking taylor expansion of -1.0 in l 1.514 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 1.514 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.514 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.514 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.514 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.514 * [taylor]: Taking taylor expansion of -1 in l 1.514 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.514 * [taylor]: Taking taylor expansion of PI in l 1.514 * [taylor]: Taking taylor expansion of l in l 1.515 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.515 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.515 * [taylor]: Taking taylor expansion of -1 in l 1.515 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.515 * [taylor]: Taking taylor expansion of PI in l 1.515 * [taylor]: Taking taylor expansion of l in l 1.516 * [taylor]: Taking taylor expansion of F in l 1.516 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l 1.516 * [taylor]: Taking taylor expansion of -1.0 in l 1.516 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 1.516 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.516 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.516 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.516 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.516 * [taylor]: Taking taylor expansion of -1 in l 1.516 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.516 * [taylor]: Taking taylor expansion of PI in l 1.516 * [taylor]: Taking taylor expansion of l in l 1.517 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.517 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.517 * [taylor]: Taking taylor expansion of -1 in l 1.517 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.517 * [taylor]: Taking taylor expansion of PI in l 1.517 * [taylor]: Taking taylor expansion of l in l 1.518 * [taylor]: Taking taylor expansion of F in l 1.518 * [taylor]: Taking taylor expansion of (* -1.0 (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in F 1.518 * [taylor]: Taking taylor expansion of -1.0 in F 1.518 * [taylor]: Taking taylor expansion of (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F 1.518 * [taylor]: Taking taylor expansion of (* F (sin (* -1 (/ PI l)))) in F 1.518 * [taylor]: Taking taylor expansion of F in F 1.518 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.518 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.518 * [taylor]: Taking taylor expansion of -1 in F 1.518 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.518 * [taylor]: Taking taylor expansion of PI in F 1.518 * [taylor]: Taking taylor expansion of l in F 1.518 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.518 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.518 * [taylor]: Taking taylor expansion of -1 in F 1.518 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.518 * [taylor]: Taking taylor expansion of PI in F 1.518 * [taylor]: Taking taylor expansion of l in F 1.522 * [taylor]: Taking taylor expansion of 0 in F 1.524 * [taylor]: Taking taylor expansion of 0 in F 1.531 * [taylor]: Taking taylor expansion of 0 in F 1.531 * * * [progress]: simplifying candidates 1.532 * [simplify]: Simplifying using # : (sin (* PI l)) (cos (* PI l)) (- (tan (* PI l))) (- (/ F 1.0)) (/ 1 (/ F 1.0)) (/ (/ F 1.0) (tan (* PI l))) (/ (tan (* PI l)) F) (/ (tan (* PI l)) F) (/ (tan (* PI l)) (- F)) (/ (tan (* PI l)) 1) (* (/ F 1.0) (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) (+ (* 1.0 (/ (* PI l) F)) (+ (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) F)) (* 0.13333333333333333 (/ (* (pow PI 5) (pow l 5)) F)))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) 1.540 * * [simplify]: iteration 0 : 112 enodes (cost 83 ) 1.542 * * [simplify]: iteration 1 : 314 enodes (cost 83 ) 1.548 * * [simplify]: iteration 2 : 1086 enodes (cost 82 ) 1.572 * * [simplify]: iteration 3 : 5001 enodes (cost 82 ) 1.573 * [simplify]: Simplified to: (sin (* PI l)) (cos (* PI l)) (- (tan (* PI l))) (- (/ F 1.0)) (/ 1.0 F) (/ (/ F 1.0) (tan (* PI l))) (/ (tan (* PI l)) F) (/ (tan (* PI l)) F) (/ (tan (* PI l)) (- F)) (tan (* PI l)) (* (/ F 1.0) (cos (* PI l))) (fma 2/15 (* (pow PI 5) (pow l 5)) (fma 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) (fma 1.0 (/ (* PI l) F) (fma 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) F) (* 0.13333333333333333 (/ (* (pow PI 5) (pow l 5)) F)))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) 1.573 * * * [progress]: adding candidates to table 1.614 * * [progress]: iteration 4 / 4 1.614 * * * [progress]: picking best candidate 1.627 * * * * [pick]: Picked # 1.627 * * * [progress]: localizing error 1.638 * * * [progress]: generating rewritten candidates 1.638 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 1.641 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.647 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 1) 1.650 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.652 * * * [progress]: generating series expansions 1.652 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 1.652 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.652 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.652 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.652 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.652 * [taylor]: Taking taylor expansion of (* PI l) in l 1.652 * [taylor]: Taking taylor expansion of PI in l 1.652 * [taylor]: Taking taylor expansion of l in l 1.654 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.654 * [taylor]: Taking taylor expansion of (* PI l) in l 1.654 * [taylor]: Taking taylor expansion of PI in l 1.654 * [taylor]: Taking taylor expansion of l in l 1.657 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.657 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.657 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.657 * [taylor]: Taking taylor expansion of (* PI l) in l 1.657 * [taylor]: Taking taylor expansion of PI in l 1.657 * [taylor]: Taking taylor expansion of l in l 1.659 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.659 * [taylor]: Taking taylor expansion of (* PI l) in l 1.659 * [taylor]: Taking taylor expansion of PI in l 1.659 * [taylor]: Taking taylor expansion of l in l 1.702 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.702 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.702 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.702 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.702 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.702 * [taylor]: Taking taylor expansion of PI in l 1.702 * [taylor]: Taking taylor expansion of l in l 1.702 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.702 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.702 * [taylor]: Taking taylor expansion of PI in l 1.702 * [taylor]: Taking taylor expansion of l in l 1.703 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.703 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.703 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.703 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.703 * [taylor]: Taking taylor expansion of PI in l 1.703 * [taylor]: Taking taylor expansion of l in l 1.703 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.703 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.703 * [taylor]: Taking taylor expansion of PI in l 1.703 * [taylor]: Taking taylor expansion of l in l 1.706 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.706 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.706 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.706 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.706 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.706 * [taylor]: Taking taylor expansion of -1 in l 1.706 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.706 * [taylor]: Taking taylor expansion of PI in l 1.706 * [taylor]: Taking taylor expansion of l in l 1.707 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.707 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.707 * [taylor]: Taking taylor expansion of -1 in l 1.707 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.707 * [taylor]: Taking taylor expansion of PI in l 1.707 * [taylor]: Taking taylor expansion of l in l 1.708 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.708 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.708 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.708 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.708 * [taylor]: Taking taylor expansion of -1 in l 1.708 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.708 * [taylor]: Taking taylor expansion of PI in l 1.708 * [taylor]: Taking taylor expansion of l in l 1.708 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.708 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.708 * [taylor]: Taking taylor expansion of -1 in l 1.709 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.709 * [taylor]: Taking taylor expansion of PI in l 1.709 * [taylor]: Taking taylor expansion of l in l 1.716 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.717 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in (F l) around 0 1.717 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l 1.717 * [taylor]: Taking taylor expansion of 1.0 in l 1.717 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 1.717 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.717 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.717 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.717 * [taylor]: Taking taylor expansion of (* PI l) in l 1.717 * [taylor]: Taking taylor expansion of PI in l 1.717 * [taylor]: Taking taylor expansion of l in l 1.718 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.718 * [taylor]: Taking taylor expansion of (* PI l) in l 1.718 * [taylor]: Taking taylor expansion of PI in l 1.718 * [taylor]: Taking taylor expansion of l in l 1.721 * [taylor]: Taking taylor expansion of F in l 1.721 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F 1.721 * [taylor]: Taking taylor expansion of 1.0 in F 1.721 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 1.722 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.722 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.722 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.722 * [taylor]: Taking taylor expansion of (* PI l) in F 1.722 * [taylor]: Taking taylor expansion of PI in F 1.722 * [taylor]: Taking taylor expansion of l in F 1.722 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.722 * [taylor]: Taking taylor expansion of (* PI l) in F 1.722 * [taylor]: Taking taylor expansion of PI in F 1.722 * [taylor]: Taking taylor expansion of l in F 1.722 * [taylor]: Taking taylor expansion of F in F 1.723 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F 1.723 * [taylor]: Taking taylor expansion of 1.0 in F 1.723 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 1.723 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.723 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.723 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.723 * [taylor]: Taking taylor expansion of (* PI l) in F 1.723 * [taylor]: Taking taylor expansion of PI in F 1.723 * [taylor]: Taking taylor expansion of l in F 1.723 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.723 * [taylor]: Taking taylor expansion of (* PI l) in F 1.723 * [taylor]: Taking taylor expansion of PI in F 1.723 * [taylor]: Taking taylor expansion of l in F 1.723 * [taylor]: Taking taylor expansion of F in F 1.724 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l 1.724 * [taylor]: Taking taylor expansion of 1.0 in l 1.724 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 1.724 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.724 * [taylor]: Taking taylor expansion of (* PI l) in l 1.724 * [taylor]: Taking taylor expansion of PI in l 1.724 * [taylor]: Taking taylor expansion of l in l 1.725 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.725 * [taylor]: Taking taylor expansion of (* PI l) in l 1.725 * [taylor]: Taking taylor expansion of PI in l 1.725 * [taylor]: Taking taylor expansion of l in l 1.734 * [taylor]: Taking taylor expansion of 0 in l 1.742 * [taylor]: Taking taylor expansion of 0 in l 1.766 * [taylor]: Taking taylor expansion of 0 in l 1.782 * [taylor]: Taking taylor expansion of 0 in l 1.784 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in (F l) around 0 1.784 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l 1.784 * [taylor]: Taking taylor expansion of 1.0 in l 1.784 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 1.784 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.784 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.784 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.784 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.784 * [taylor]: Taking taylor expansion of PI in l 1.784 * [taylor]: Taking taylor expansion of l in l 1.785 * [taylor]: Taking taylor expansion of (cos (/ PI l)) 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.785 * [taylor]: Taking taylor expansion of F in l 1.785 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F 1.785 * [taylor]: Taking taylor expansion of 1.0 in F 1.785 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 1.785 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.785 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.785 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.785 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.785 * [taylor]: Taking taylor expansion of PI in F 1.785 * [taylor]: Taking taylor expansion of l in F 1.785 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.785 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.785 * [taylor]: Taking taylor expansion of PI in F 1.785 * [taylor]: Taking taylor expansion of l in F 1.786 * [taylor]: Taking taylor expansion of F in F 1.786 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F 1.786 * [taylor]: Taking taylor expansion of 1.0 in F 1.786 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 1.786 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.786 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.786 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.786 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.786 * [taylor]: Taking taylor expansion of PI in F 1.786 * [taylor]: Taking taylor expansion of l in F 1.786 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.786 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.786 * [taylor]: Taking taylor expansion of PI in F 1.786 * [taylor]: Taking taylor expansion of l in F 1.787 * [taylor]: Taking taylor expansion of F in F 1.787 * [taylor]: Taking taylor expansion of 0 in l 1.792 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l 1.792 * [taylor]: Taking taylor expansion of 1.0 in l 1.792 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 1.792 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.792 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.792 * [taylor]: Taking taylor expansion of PI in l 1.792 * [taylor]: Taking taylor expansion of l in l 1.792 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.792 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.792 * [taylor]: Taking taylor expansion of PI in l 1.792 * [taylor]: Taking taylor expansion of l in l 1.804 * [taylor]: Taking taylor expansion of 0 in l 1.812 * [taylor]: Taking taylor expansion of 0 in l 1.812 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in (F l) around 0 1.812 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l 1.812 * [taylor]: Taking taylor expansion of -1.0 in l 1.812 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 1.812 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.812 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.812 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.812 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.812 * [taylor]: Taking taylor expansion of -1 in l 1.812 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.812 * [taylor]: Taking taylor expansion of PI in l 1.812 * [taylor]: Taking taylor expansion of l in l 1.813 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.813 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.813 * [taylor]: Taking taylor expansion of -1 in l 1.813 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.813 * [taylor]: Taking taylor expansion of PI in l 1.813 * [taylor]: Taking taylor expansion of l in l 1.814 * [taylor]: Taking taylor expansion of F in l 1.814 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F 1.814 * [taylor]: Taking taylor expansion of -1.0 in F 1.814 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 1.814 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.814 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.814 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.814 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.814 * [taylor]: Taking taylor expansion of -1 in F 1.814 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.814 * [taylor]: Taking taylor expansion of PI in F 1.814 * [taylor]: Taking taylor expansion of l in F 1.814 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.814 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.814 * [taylor]: Taking taylor expansion of -1 in F 1.814 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.814 * [taylor]: Taking taylor expansion of PI in F 1.814 * [taylor]: Taking taylor expansion of l in F 1.815 * [taylor]: Taking taylor expansion of F in F 1.815 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F 1.815 * [taylor]: Taking taylor expansion of -1.0 in F 1.815 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 1.815 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.815 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.815 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.815 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.815 * [taylor]: Taking taylor expansion of -1 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 (* -1 (/ PI l))) in F 1.816 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.816 * [taylor]: Taking taylor expansion of -1 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 0 in l 1.822 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))))) in l 1.822 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l 1.822 * [taylor]: Taking taylor expansion of 1.0 in l 1.822 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 1.822 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.822 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.822 * [taylor]: Taking taylor expansion of -1 in l 1.822 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.822 * [taylor]: Taking taylor expansion of PI in l 1.822 * [taylor]: Taking taylor expansion of l in l 1.823 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.823 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.823 * [taylor]: Taking taylor expansion of -1 in l 1.823 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.823 * [taylor]: Taking taylor expansion of PI in l 1.823 * [taylor]: Taking taylor expansion of l in l 1.831 * [taylor]: Taking taylor expansion of 0 in l 1.840 * [taylor]: Taking taylor expansion of 0 in l 1.840 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 1) 1.840 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.840 * [taylor]: Taking taylor expansion of (* PI l) in l 1.840 * [taylor]: Taking taylor expansion of PI in l 1.840 * [taylor]: Taking taylor expansion of l in l 1.841 * [taylor]: Taking taylor expansion of (* PI l) in l 1.841 * [taylor]: Taking taylor expansion of PI in l 1.841 * [taylor]: Taking taylor expansion of l in l 1.846 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.846 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.846 * [taylor]: Taking taylor expansion of PI in l 1.846 * [taylor]: Taking taylor expansion of l in l 1.847 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.847 * [taylor]: Taking taylor expansion of PI in l 1.847 * [taylor]: Taking taylor expansion of l in l 1.850 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.850 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.850 * [taylor]: Taking taylor expansion of -1 in l 1.850 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.851 * [taylor]: Taking taylor expansion of PI in l 1.851 * [taylor]: Taking taylor expansion of l in l 1.851 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.851 * [taylor]: Taking taylor expansion of -1 in l 1.851 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.851 * [taylor]: Taking taylor expansion of PI in l 1.851 * [taylor]: Taking taylor expansion of l in l 1.860 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.860 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.860 * [taylor]: Taking taylor expansion of (* PI l) in l 1.860 * [taylor]: Taking taylor expansion of PI in l 1.860 * [taylor]: Taking taylor expansion of l in l 1.860 * [taylor]: Taking taylor expansion of (* PI l) in l 1.860 * [taylor]: Taking taylor expansion of PI in l 1.860 * [taylor]: Taking taylor expansion of l in l 1.865 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.865 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.865 * [taylor]: Taking taylor expansion of PI in l 1.865 * [taylor]: Taking taylor expansion of l in l 1.866 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.866 * [taylor]: Taking taylor expansion of PI in l 1.866 * [taylor]: Taking taylor expansion of l in l 1.870 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.870 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.870 * [taylor]: Taking taylor expansion of -1 in l 1.870 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.870 * [taylor]: Taking taylor expansion of PI in l 1.870 * [taylor]: Taking taylor expansion of l in l 1.870 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.870 * [taylor]: Taking taylor expansion of -1 in l 1.870 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.870 * [taylor]: Taking taylor expansion of PI in l 1.870 * [taylor]: Taking taylor expansion of l in l 1.878 * * * [progress]: simplifying candidates 1.879 * [simplify]: Simplifying using # : (sin (* PI l)) (cos (* PI l)) (- 1) (- (/ (/ F 1.0) (tan (* PI l)))) (/ 1 (/ (/ F 1.0) (tan (* PI l)))) (/ (/ (/ F 1.0) (tan (* PI l))) 1) (/ 1 (/ F 1.0)) (/ 1 (/ (/ F 1.0) (sin (* PI l)))) (/ 1 (/ F 1.0)) (/ 1 (- (/ F 1.0))) (/ 1 1) (/ 1 F) (/ 1 F) (/ 1 (- F)) (/ 1 1) (+ (* 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) F)) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) 1.887 * * [simplify]: iteration 0 : 108 enodes (cost 82 ) 1.889 * * [simplify]: iteration 1 : 313 enodes (cost 81 ) 1.895 * * [simplify]: iteration 2 : 1102 enodes (cost 77 ) 1.920 * * [simplify]: iteration 3 : 5001 enodes (cost 77 ) 1.921 * [simplify]: Simplified to: (sin (* PI l)) (cos (* PI l)) (- 1) (- (/ (/ F 1.0) (tan (* PI l)))) (/ (tan (* PI l)) (/ F 1.0)) (/ (/ F 1.0) (tan (* PI l))) (/ 1.0 F) (/ (* (sin (* PI l)) 1.0) F) (/ 1.0 F) (/ 1.0 (- F)) 1 (/ 1 F) (/ 1 F) (/ 1 (- F)) 1 (fma 2/15 (* (pow PI 5) (pow l 5)) (fma PI l (* 1/3 (* (pow PI 3) (pow l 3))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (fma 1.0 (/ (* PI l) F) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) 1.921 * * * [progress]: adding candidates to table 1.977 * [progress]: [Phase 3 of 3] Extracting. 1.978 * * [regime]: Finding splitpoints for: (# # # # # # #) 1.979 * * * [regime-changes]: Trying 6 branch expressions: ((* F F) (/ 1.0 (* F F)) (* PI l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) l F) 1.980 * * * * [regimes]: Trying to branch on (* F F) from (# # # # # # #) 2.004 * * * * [regimes]: Trying to branch on (* F F) from (# #) 2.019 * * * * [regimes]: Trying to branch on (/ 1.0 (* F F)) from (# # # # # # #) 2.042 * * * * [regimes]: Trying to branch on (/ 1.0 (* F F)) from (# #) 2.053 * * * * [regimes]: Trying to branch on (* PI l) from (# # # # # # #) 2.080 * * * * [regimes]: Trying to branch on (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) from (# # # # # # #) 2.111 * * * * [regimes]: Trying to branch on l from (# # # # # # #) 2.135 * * * * [regimes]: Trying to branch on F from (# # # # # # #) 2.161 * * * [regime]: Found split indices: #