0.894 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.405 * * * [progress]: [2/2] Setting up program. 0.408 * [progress]: [Phase 2 of 3] Improving. 0.412 * [simplify]: Simplifying using # : (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) 0.417 * * [simplify]: iteration 0 : 18 enodes (cost 7 ) 0.419 * * [simplify]: iteration 1 : 39 enodes (cost 7 ) 0.420 * * [simplify]: iteration 2 : 76 enodes (cost 7 ) 0.422 * * [simplify]: iteration 3 : 114 enodes (cost 7 ) 0.424 * * [simplify]: iteration 4 : 137 enodes (cost 7 ) 0.427 * * [simplify]: iteration 5 : 144 enodes (cost 7 ) 0.429 * * [simplify]: iteration 6 : 144 enodes (cost 7 ) 0.429 * [simplify]: Simplified to: (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) 0.433 * * [progress]: iteration 1 / 4 0.433 * * * [progress]: picking best candidate 0.435 * * * * [pick]: Picked # 0.435 * * * [progress]: localizing error 0.447 * * * [progress]: generating rewritten candidates 0.447 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.452 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.458 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.461 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 0.464 * * * [progress]: generating series expansions 0.465 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.468 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 0.469 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.470 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.470 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.470 * [taylor]: Taking taylor expansion of (* PI l) in l 0.470 * [taylor]: Taking taylor expansion of PI in l 0.470 * [taylor]: Taking taylor expansion of l in l 0.473 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.473 * [taylor]: Taking taylor expansion of (* PI l) in l 0.473 * [taylor]: Taking taylor expansion of PI in l 0.473 * [taylor]: Taking taylor expansion of l in l 0.476 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.477 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.477 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.477 * [taylor]: Taking taylor expansion of (* PI l) in l 0.477 * [taylor]: Taking taylor expansion of PI in l 0.477 * [taylor]: Taking taylor expansion of l in l 0.478 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.478 * [taylor]: Taking taylor expansion of (* PI l) in l 0.478 * [taylor]: Taking taylor expansion of PI in l 0.478 * [taylor]: Taking taylor expansion of l in l 0.542 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 0.542 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.542 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.542 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.542 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.542 * [taylor]: Taking taylor expansion of PI in l 0.542 * [taylor]: Taking taylor expansion of l in l 0.542 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.542 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.542 * [taylor]: Taking taylor expansion of PI in l 0.543 * [taylor]: Taking taylor expansion of l in l 0.543 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.543 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.543 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.543 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.543 * [taylor]: Taking taylor expansion of PI in l 0.543 * [taylor]: Taking taylor expansion of l in l 0.544 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.544 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.544 * [taylor]: Taking taylor expansion of PI in l 0.544 * [taylor]: Taking taylor expansion of l in l 0.546 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 0.546 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.546 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.546 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.546 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.546 * [taylor]: Taking taylor expansion of -1 in l 0.546 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.547 * [taylor]: Taking taylor expansion of PI in l 0.547 * [taylor]: Taking taylor expansion of l in l 0.547 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.547 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.547 * [taylor]: Taking taylor expansion of -1 in l 0.547 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.547 * [taylor]: Taking taylor expansion of PI in l 0.547 * [taylor]: Taking taylor expansion of l in l 0.548 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.548 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.548 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.548 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.548 * [taylor]: Taking taylor expansion of -1 in l 0.548 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.548 * [taylor]: Taking taylor expansion of PI in l 0.548 * [taylor]: Taking taylor expansion of l in l 0.549 * [taylor]: Taking taylor expansion of (cos (* -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.552 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.553 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in (F l) around 0 0.553 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in l 0.553 * [taylor]: Taking taylor expansion of 1.0 in l 0.553 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 0.553 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.553 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.553 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.553 * [taylor]: Taking taylor expansion of (* PI l) in l 0.553 * [taylor]: Taking taylor expansion of PI in l 0.553 * [taylor]: Taking taylor expansion of l in l 0.554 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.554 * [taylor]: Taking taylor expansion of (* PI l) in l 0.554 * [taylor]: Taking taylor expansion of PI in l 0.554 * [taylor]: Taking taylor expansion of l in l 0.557 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.557 * [taylor]: Taking taylor expansion of F in l 0.558 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F 0.558 * [taylor]: Taking taylor expansion of 1.0 in F 0.558 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 0.558 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 0.558 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.558 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 0.558 * [taylor]: Taking taylor expansion of (* PI l) in F 0.558 * [taylor]: Taking taylor expansion of PI in F 0.558 * [taylor]: Taking taylor expansion of l in F 0.558 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 0.558 * [taylor]: Taking taylor expansion of (* PI l) in F 0.558 * [taylor]: Taking taylor expansion of PI in F 0.558 * [taylor]: Taking taylor expansion of l in F 0.559 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.559 * [taylor]: Taking taylor expansion of F in F 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.560 * [taylor]: Taking taylor expansion of (cos (* 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 (pow F 2) in F 0.561 * [taylor]: Taking taylor expansion of F in F 0.561 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l 0.561 * [taylor]: Taking taylor expansion of 1.0 in l 0.561 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 0.561 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.561 * [taylor]: Taking taylor expansion of (* PI l) in l 0.561 * [taylor]: Taking taylor expansion of PI in l 0.561 * [taylor]: Taking taylor expansion of l in l 0.563 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.563 * [taylor]: Taking taylor expansion of (* PI l) in l 0.563 * [taylor]: Taking taylor expansion of PI in l 0.563 * [taylor]: Taking taylor expansion of l in l 0.572 * [taylor]: Taking taylor expansion of 0 in l 0.582 * [taylor]: Taking taylor expansion of 0 in l 0.610 * [taylor]: Taking taylor expansion of 0 in l 0.628 * [taylor]: Taking taylor expansion of 0 in l 0.630 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in (F l) around 0 0.630 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in l 0.630 * [taylor]: Taking taylor expansion of 1.0 in l 0.630 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 0.630 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.630 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.630 * [taylor]: Taking taylor expansion of (sin (/ PI l)) 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.630 * [taylor]: Taking taylor expansion of (cos (/ PI l)) 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 (/ 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 (/ PI l)) (pow F 2)) in F 0.631 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 0.631 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.631 * [taylor]: Taking taylor expansion of (sin (/ PI l)) 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 (/ PI l)) 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 (/ 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 (/ PI l)) (pow F 2)) in F 0.632 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 0.632 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.632 * [taylor]: Taking taylor expansion of (sin (/ PI l)) 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 (/ PI l)) 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.633 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l 0.633 * [taylor]: Taking taylor expansion of 1.0 in l 0.633 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 0.633 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.633 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.633 * [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 (/ PI l)) 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.639 * [taylor]: Taking taylor expansion of 0 in l 0.646 * [taylor]: Taking taylor expansion of 0 in l 0.654 * [taylor]: Taking taylor expansion of 0 in l 0.655 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in (F l) around 0 0.655 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in l 0.655 * [taylor]: Taking taylor expansion of 1.0 in l 0.655 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 0.655 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.655 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.655 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.655 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.655 * [taylor]: Taking taylor expansion of -1 in l 0.655 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.655 * [taylor]: Taking taylor expansion of PI in l 0.655 * [taylor]: Taking taylor expansion of l in l 0.655 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.655 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.655 * [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.656 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.656 * [taylor]: Taking taylor expansion of F in l 0.656 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F 0.656 * [taylor]: Taking taylor expansion of 1.0 in F 0.656 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 0.656 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 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 F 0.657 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.657 * [taylor]: Taking taylor expansion of -1 in F 0.657 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.657 * [taylor]: Taking taylor expansion of PI in F 0.657 * [taylor]: Taking taylor expansion of l in F 0.657 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 0.657 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.657 * [taylor]: Taking taylor expansion of -1 in F 0.657 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.657 * [taylor]: Taking taylor expansion of PI in F 0.657 * [taylor]: Taking taylor expansion of l in F 0.658 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.658 * [taylor]: Taking taylor expansion of F in F 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 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l 0.659 * [taylor]: Taking taylor expansion of 1.0 in l 0.659 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 0.659 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.660 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.660 * [taylor]: Taking taylor expansion of -1 in l 0.660 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.660 * [taylor]: Taking taylor expansion of PI in l 0.660 * [taylor]: Taking taylor expansion of l in l 0.660 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.660 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.660 * [taylor]: Taking taylor expansion of -1 in l 0.660 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.660 * [taylor]: Taking taylor expansion of PI in l 0.660 * [taylor]: Taking taylor expansion of l in l 0.667 * [taylor]: Taking taylor expansion of 0 in l 0.677 * [taylor]: Taking taylor expansion of 0 in l 0.688 * [taylor]: Taking taylor expansion of 0 in l 0.688 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.688 * [approximate]: Taking taylor expansion of (/ 1.0 (pow F 2)) in (F) around 0 0.688 * [taylor]: Taking taylor expansion of (/ 1.0 (pow F 2)) in F 0.688 * [taylor]: Taking taylor expansion of 1.0 in F 0.688 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.688 * [taylor]: Taking taylor expansion of F in F 0.689 * [taylor]: Taking taylor expansion of (/ 1.0 (pow F 2)) in F 0.689 * [taylor]: Taking taylor expansion of 1.0 in F 0.689 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.689 * [taylor]: Taking taylor expansion of F in F 0.697 * [approximate]: Taking taylor expansion of (* 1.0 (pow F 2)) in (F) around 0 0.697 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.697 * [taylor]: Taking taylor expansion of 1.0 in F 0.697 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.697 * [taylor]: Taking taylor expansion of F in F 0.697 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.697 * [taylor]: Taking taylor expansion of 1.0 in F 0.697 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.697 * [taylor]: Taking taylor expansion of F in F 0.705 * [approximate]: Taking taylor expansion of (* 1.0 (pow F 2)) in (F) around 0 0.705 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.705 * [taylor]: Taking taylor expansion of 1.0 in F 0.705 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.705 * [taylor]: Taking taylor expansion of F in F 0.705 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.705 * [taylor]: Taking taylor expansion of 1.0 in F 0.705 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.705 * [taylor]: Taking taylor expansion of F in F 0.713 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 0.714 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 0.714 * [taylor]: Taking taylor expansion of (* PI l) in l 0.714 * [taylor]: Taking taylor expansion of PI in l 0.714 * [taylor]: Taking taylor expansion of l in l 0.714 * [taylor]: Taking taylor expansion of (* PI l) in l 0.714 * [taylor]: Taking taylor expansion of PI in l 0.714 * [taylor]: Taking taylor expansion of l in l 0.720 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 0.720 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.720 * [taylor]: Taking taylor expansion of PI in l 0.720 * [taylor]: Taking taylor expansion of l in l 0.720 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.720 * [taylor]: Taking taylor expansion of PI in l 0.720 * [taylor]: Taking taylor expansion of l in l 0.724 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 0.724 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.724 * [taylor]: Taking taylor expansion of -1 in l 0.724 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.724 * [taylor]: Taking taylor expansion of PI in l 0.724 * [taylor]: Taking taylor expansion of l in l 0.724 * [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.734 * * * [progress]: simplifying candidates 0.734 * [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.738 * * [simplify]: iteration 0 : 134 enodes (cost 133 ) 0.741 * * [simplify]: iteration 1 : 534 enodes (cost 133 ) 0.752 * * [simplify]: iteration 2 : 2448 enodes (cost 133 ) 0.796 * * [simplify]: iteration 3 : 5002 enodes (cost 133 ) 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) (+ (* 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.798 * * * [progress]: adding candidates to table 0.863 * * [progress]: iteration 2 / 4 0.863 * * * [progress]: picking best candidate 0.873 * * * * [pick]: Picked # 0.873 * * * [progress]: localizing error 0.883 * * * [progress]: generating rewritten candidates 0.883 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 0.885 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.890 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 0.892 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.894 * * * [progress]: generating series expansions 0.894 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 0.894 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 0.894 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.894 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.894 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.894 * [taylor]: Taking taylor expansion of (* PI l) in l 0.894 * [taylor]: Taking taylor expansion of PI in l 0.894 * [taylor]: Taking taylor expansion of l in l 0.896 * [taylor]: Taking taylor expansion of (cos (* 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.899 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.900 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.900 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.900 * [taylor]: Taking taylor expansion of (* PI l) in l 0.900 * [taylor]: Taking taylor expansion of PI in l 0.900 * [taylor]: Taking taylor expansion of l in l 0.901 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.901 * [taylor]: Taking taylor expansion of (* PI l) in l 0.901 * [taylor]: Taking taylor expansion of PI in l 0.901 * [taylor]: Taking taylor expansion of l in l 0.952 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 0.952 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.952 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.952 * [taylor]: Taking taylor expansion of (sin (/ PI l)) 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.953 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.953 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.953 * [taylor]: Taking taylor expansion of PI in l 0.953 * [taylor]: Taking taylor expansion of l in l 0.953 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.953 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.953 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.953 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.953 * [taylor]: Taking taylor expansion of PI in l 0.953 * [taylor]: Taking taylor expansion of l in l 0.954 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.954 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.954 * [taylor]: Taking taylor expansion of PI in l 0.954 * [taylor]: Taking taylor expansion of l in l 0.956 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 0.956 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.956 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.956 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.956 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.956 * [taylor]: Taking taylor expansion of -1 in l 0.956 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.956 * [taylor]: Taking taylor expansion of PI in l 0.956 * [taylor]: Taking taylor expansion of l in l 0.957 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.957 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.957 * [taylor]: Taking taylor expansion of -1 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.958 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.958 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.958 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.958 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.958 * [taylor]: Taking taylor expansion of -1 in l 0.958 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.958 * [taylor]: Taking taylor expansion of PI in l 0.958 * [taylor]: Taking taylor expansion of l in l 0.959 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.959 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.959 * [taylor]: Taking taylor expansion of -1 in l 0.959 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.959 * [taylor]: Taking taylor expansion of PI in l 0.959 * [taylor]: Taking taylor expansion of l in l 0.962 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.962 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in (F l) around 0 0.963 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l 0.963 * [taylor]: Taking taylor expansion of 1.0 in l 0.963 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 0.963 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.963 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.963 * [taylor]: Taking taylor expansion of (sin (* 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.963 * [taylor]: Taking taylor expansion of l in l 0.964 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.964 * [taylor]: Taking taylor expansion of (* PI l) in l 0.964 * [taylor]: Taking taylor expansion of PI in l 0.964 * [taylor]: Taking taylor expansion of l in l 0.967 * [taylor]: Taking taylor expansion of F in l 0.967 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F 0.967 * [taylor]: Taking taylor expansion of 1.0 in F 0.967 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 0.967 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 0.967 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.967 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 0.967 * [taylor]: Taking taylor expansion of (* PI l) in F 0.967 * [taylor]: Taking taylor expansion of PI in F 0.967 * [taylor]: Taking taylor expansion of l in F 0.967 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 0.967 * [taylor]: Taking taylor expansion of (* PI l) in F 0.968 * [taylor]: Taking taylor expansion of PI in F 0.968 * [taylor]: Taking taylor expansion of l in F 0.968 * [taylor]: Taking taylor expansion of F in F 0.968 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F 0.968 * [taylor]: Taking taylor expansion of 1.0 in F 0.968 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 0.968 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 0.968 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.968 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 0.968 * [taylor]: Taking taylor expansion of (* PI l) in F 0.968 * [taylor]: Taking taylor expansion of PI in F 0.968 * [taylor]: Taking taylor expansion of l in F 0.969 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 0.969 * [taylor]: Taking taylor expansion of (* PI l) in F 0.969 * [taylor]: Taking taylor expansion of PI in F 0.969 * [taylor]: Taking taylor expansion of l in F 0.969 * [taylor]: Taking taylor expansion of F in F 0.969 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l 0.969 * [taylor]: Taking taylor expansion of 1.0 in l 0.969 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 0.969 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.970 * [taylor]: Taking taylor expansion of (* PI l) in l 0.970 * [taylor]: Taking taylor expansion of PI in l 0.970 * [taylor]: Taking taylor expansion of l in l 0.971 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.971 * [taylor]: Taking taylor expansion of (* PI l) in l 0.971 * [taylor]: Taking taylor expansion of PI in l 0.971 * [taylor]: Taking taylor expansion of l in l 0.979 * [taylor]: Taking taylor expansion of 0 in l 0.988 * [taylor]: Taking taylor expansion of 0 in l 1.013 * [taylor]: Taking taylor expansion of 0 in l 1.030 * [taylor]: Taking taylor expansion of 0 in l 1.031 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in (F l) around 0 1.031 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l 1.031 * [taylor]: Taking taylor expansion of 1.0 in l 1.031 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 1.031 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.031 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.031 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.031 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.031 * [taylor]: Taking taylor expansion of PI in l 1.031 * [taylor]: Taking taylor expansion of l in l 1.032 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.032 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.032 * [taylor]: Taking taylor expansion of PI in l 1.032 * [taylor]: Taking taylor expansion of l in l 1.032 * [taylor]: Taking taylor expansion of F in l 1.032 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F 1.032 * [taylor]: Taking taylor expansion of 1.0 in F 1.032 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 1.032 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.032 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.033 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.033 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.033 * [taylor]: Taking taylor expansion of PI in F 1.033 * [taylor]: Taking taylor expansion of l in F 1.033 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.033 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.033 * [taylor]: Taking taylor expansion of PI in F 1.033 * [taylor]: Taking taylor expansion of l in F 1.033 * [taylor]: Taking taylor expansion of F in F 1.033 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F 1.033 * [taylor]: Taking taylor expansion of 1.0 in F 1.033 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 1.033 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.034 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.034 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.034 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.034 * [taylor]: Taking taylor expansion of PI in F 1.034 * [taylor]: Taking taylor expansion of l in F 1.034 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.034 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.034 * [taylor]: Taking taylor expansion of PI in F 1.034 * [taylor]: Taking taylor expansion of l in F 1.034 * [taylor]: Taking taylor expansion of F in F 1.035 * [taylor]: Taking taylor expansion of 0 in l 1.044 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l 1.044 * [taylor]: Taking taylor expansion of 1.0 in l 1.044 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 1.044 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.044 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.044 * [taylor]: Taking taylor expansion of PI in l 1.044 * [taylor]: Taking taylor expansion of l in l 1.044 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.044 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.044 * [taylor]: Taking taylor expansion of PI in l 1.044 * [taylor]: Taking taylor expansion of l in l 1.051 * [taylor]: Taking taylor expansion of 0 in l 1.059 * [taylor]: Taking taylor expansion of 0 in l 1.059 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in (F l) around 0 1.059 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l 1.059 * [taylor]: Taking taylor expansion of -1.0 in l 1.059 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 1.059 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.059 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.059 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.059 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.059 * [taylor]: Taking taylor expansion of -1 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 (* -1 (/ PI l))) in l 1.060 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.060 * [taylor]: Taking taylor expansion of -1 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 F in l 1.061 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F 1.061 * [taylor]: Taking taylor expansion of -1.0 in F 1.061 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 1.061 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.061 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.061 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.061 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.061 * [taylor]: Taking taylor expansion of -1 in F 1.061 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.061 * [taylor]: Taking taylor expansion of PI in F 1.061 * [taylor]: Taking taylor expansion of l in F 1.061 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.061 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.061 * [taylor]: Taking taylor expansion of -1 in F 1.061 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.061 * [taylor]: Taking taylor expansion of PI in F 1.061 * [taylor]: Taking taylor expansion of l in F 1.062 * [taylor]: Taking taylor expansion of F in F 1.062 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F 1.062 * [taylor]: Taking taylor expansion of -1.0 in F 1.062 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 1.062 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.062 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.062 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.062 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.062 * [taylor]: Taking taylor expansion of -1 in F 1.062 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.062 * [taylor]: Taking taylor expansion of PI in F 1.062 * [taylor]: Taking taylor expansion of l in F 1.063 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.063 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.063 * [taylor]: Taking taylor expansion of -1 in F 1.063 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.063 * [taylor]: Taking taylor expansion of PI in F 1.063 * [taylor]: Taking taylor expansion of l in F 1.063 * [taylor]: Taking taylor expansion of F in F 1.064 * [taylor]: Taking taylor expansion of 0 in l 1.069 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))))) in l 1.069 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l 1.069 * [taylor]: Taking taylor expansion of 1.0 in l 1.069 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 1.069 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.069 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.069 * [taylor]: Taking taylor expansion of -1 in l 1.069 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.069 * [taylor]: Taking taylor expansion of PI in l 1.069 * [taylor]: Taking taylor expansion of l in l 1.070 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.070 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.070 * [taylor]: Taking taylor expansion of -1 in l 1.070 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.070 * [taylor]: Taking taylor expansion of PI in l 1.070 * [taylor]: Taking taylor expansion of l in l 1.078 * [taylor]: Taking taylor expansion of 0 in l 1.088 * [taylor]: Taking taylor expansion of 0 in l 1.088 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 1.088 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.088 * [taylor]: Taking taylor expansion of (* PI l) in l 1.088 * [taylor]: Taking taylor expansion of PI in l 1.088 * [taylor]: Taking taylor expansion of l in l 1.088 * [taylor]: Taking taylor expansion of (* PI l) in l 1.088 * [taylor]: Taking taylor expansion of PI in l 1.088 * [taylor]: Taking taylor expansion of l in l 1.094 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.094 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.094 * [taylor]: Taking taylor expansion of PI in l 1.094 * [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.099 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.099 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.099 * [taylor]: Taking taylor expansion of -1 in l 1.099 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.099 * [taylor]: Taking taylor expansion of PI in l 1.099 * [taylor]: Taking taylor expansion of l in l 1.099 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.099 * [taylor]: Taking taylor expansion of -1 in l 1.099 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.099 * [taylor]: Taking taylor expansion of PI in l 1.099 * [taylor]: Taking taylor expansion of l in l 1.108 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.108 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.108 * [taylor]: Taking taylor expansion of (* PI l) in l 1.108 * [taylor]: Taking taylor expansion of PI in l 1.108 * [taylor]: Taking taylor expansion of l in l 1.108 * [taylor]: Taking taylor expansion of (* PI l) in l 1.108 * [taylor]: Taking taylor expansion of PI in l 1.108 * [taylor]: Taking taylor expansion of l in l 1.114 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.114 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.114 * [taylor]: Taking taylor expansion of PI in l 1.114 * [taylor]: Taking taylor expansion of l in l 1.115 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.115 * [taylor]: Taking taylor expansion of PI in l 1.115 * [taylor]: Taking taylor expansion of l in l 1.119 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.119 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.119 * [taylor]: Taking taylor expansion of -1 in l 1.119 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.119 * [taylor]: Taking taylor expansion of PI in l 1.119 * [taylor]: Taking taylor expansion of l in l 1.119 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.119 * [taylor]: Taking taylor expansion of -1 in l 1.119 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.119 * [taylor]: Taking taylor expansion of PI in l 1.119 * [taylor]: Taking taylor expansion of l in l 1.133 * * * [progress]: simplifying candidates 1.134 * [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.137 * * [simplify]: iteration 0 : 109 enodes (cost 90 ) 1.139 * * [simplify]: iteration 1 : 347 enodes (cost 90 ) 1.146 * * [simplify]: iteration 2 : 1131 enodes (cost 90 ) 1.170 * * [simplify]: iteration 3 : 4697 enodes (cost 90 ) 1.263 * * [simplify]: iteration 4 : 5001 enodes (cost 90 ) 1.264 * [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)) (+ (* 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.264 * * * [progress]: adding candidates to table 1.312 * * [progress]: iteration 3 / 4 1.312 * * * [progress]: picking best candidate 1.324 * * * * [pick]: Picked # 1.324 * * * [progress]: localizing error 1.334 * * * [progress]: generating rewritten candidates 1.334 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.337 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 1.339 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.341 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.345 * * * [progress]: generating series expansions 1.345 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.345 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.345 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.345 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.345 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.345 * [taylor]: Taking taylor expansion of (* PI l) in l 1.345 * [taylor]: Taking taylor expansion of PI in l 1.345 * [taylor]: Taking taylor expansion of l in l 1.347 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.347 * [taylor]: Taking taylor expansion of (* PI l) in l 1.347 * [taylor]: Taking taylor expansion of PI in l 1.347 * [taylor]: Taking taylor expansion of l in l 1.350 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.350 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.350 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.350 * [taylor]: Taking taylor expansion of (* PI l) in l 1.350 * [taylor]: Taking taylor expansion of PI in l 1.350 * [taylor]: Taking taylor expansion of l in l 1.351 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.351 * [taylor]: Taking taylor expansion of (* PI l) in l 1.351 * [taylor]: Taking taylor expansion of PI in l 1.351 * [taylor]: Taking taylor expansion of l in l 1.402 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.402 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.402 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.402 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.402 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.402 * [taylor]: Taking taylor expansion of PI in l 1.402 * [taylor]: Taking taylor expansion of l in l 1.402 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.402 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.402 * [taylor]: Taking taylor expansion of PI in l 1.402 * [taylor]: Taking taylor expansion of l in l 1.403 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.403 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.403 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.403 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.403 * [taylor]: Taking taylor expansion of PI in l 1.403 * [taylor]: Taking taylor expansion of l in l 1.403 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.403 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.403 * [taylor]: Taking taylor expansion of PI in l 1.403 * [taylor]: Taking taylor expansion of l in l 1.406 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.406 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.406 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.406 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.406 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.406 * [taylor]: Taking taylor expansion of -1 in l 1.406 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.406 * [taylor]: Taking taylor expansion of PI in l 1.406 * [taylor]: Taking taylor expansion of l in l 1.407 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.407 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.407 * [taylor]: Taking taylor expansion of -1 in l 1.407 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.407 * [taylor]: Taking taylor expansion of PI in l 1.407 * [taylor]: Taking taylor expansion of l in l 1.407 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.408 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.408 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.408 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.408 * [taylor]: Taking taylor expansion of -1 in l 1.408 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.408 * [taylor]: Taking taylor expansion of PI in l 1.408 * [taylor]: Taking taylor expansion of l in l 1.408 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.408 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.408 * [taylor]: Taking taylor expansion of -1 in l 1.408 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.408 * [taylor]: Taking taylor expansion of PI in l 1.408 * [taylor]: Taking taylor expansion of l in l 1.412 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 1.412 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.412 * [taylor]: Taking taylor expansion of (* PI l) in l 1.412 * [taylor]: Taking taylor expansion of PI in l 1.412 * [taylor]: Taking taylor expansion of l in l 1.412 * [taylor]: Taking taylor expansion of (* PI l) in l 1.412 * [taylor]: Taking taylor expansion of PI in l 1.412 * [taylor]: Taking taylor expansion of l in l 1.418 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.418 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.418 * [taylor]: Taking taylor expansion of PI in l 1.418 * [taylor]: Taking taylor expansion of l in l 1.418 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.418 * [taylor]: Taking taylor expansion of PI in l 1.418 * [taylor]: Taking taylor expansion of l in l 1.422 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.422 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.422 * [taylor]: Taking taylor expansion of -1 in l 1.422 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.422 * [taylor]: Taking taylor expansion of PI in l 1.422 * [taylor]: Taking taylor expansion of l in l 1.423 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.423 * [taylor]: Taking taylor expansion of -1 in l 1.423 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.423 * [taylor]: Taking taylor expansion of PI in l 1.423 * [taylor]: Taking taylor expansion of l in l 1.432 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.432 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.432 * [taylor]: Taking taylor expansion of (* PI l) in l 1.432 * [taylor]: Taking taylor expansion of PI in l 1.432 * [taylor]: Taking taylor expansion of l in l 1.432 * [taylor]: Taking taylor expansion of (* PI l) in l 1.432 * [taylor]: Taking taylor expansion of PI in l 1.432 * [taylor]: Taking taylor expansion of l in l 1.438 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.438 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.438 * [taylor]: Taking taylor expansion of PI in l 1.438 * [taylor]: Taking taylor expansion of l in l 1.438 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.438 * [taylor]: Taking taylor expansion of PI in l 1.438 * [taylor]: Taking taylor expansion of l in l 1.442 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.442 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.442 * [taylor]: Taking taylor expansion of -1 in l 1.442 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.442 * [taylor]: Taking taylor expansion of PI in l 1.442 * [taylor]: Taking taylor expansion of l in l 1.442 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.442 * [taylor]: Taking taylor expansion of -1 in l 1.442 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.442 * [taylor]: Taking taylor expansion of PI in l 1.442 * [taylor]: Taking taylor expansion of l in l 1.451 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.451 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in (l F) around 0 1.451 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F 1.451 * [taylor]: Taking taylor expansion of 1.0 in F 1.451 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 1.451 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.451 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.451 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.451 * [taylor]: Taking taylor expansion of (* PI l) in F 1.451 * [taylor]: Taking taylor expansion of PI in F 1.451 * [taylor]: Taking taylor expansion of l in F 1.451 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.451 * [taylor]: Taking taylor expansion of (* PI l) in F 1.452 * [taylor]: Taking taylor expansion of PI in F 1.452 * [taylor]: Taking taylor expansion of l in F 1.452 * [taylor]: Taking taylor expansion of F in F 1.452 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l 1.452 * [taylor]: Taking taylor expansion of 1.0 in l 1.452 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 1.452 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.452 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.452 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.452 * [taylor]: Taking taylor expansion of (* PI l) in l 1.452 * [taylor]: Taking taylor expansion of PI in l 1.452 * [taylor]: Taking taylor expansion of l in l 1.454 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.454 * [taylor]: Taking taylor expansion of (* PI l) in l 1.454 * [taylor]: Taking taylor expansion of PI in l 1.454 * [taylor]: Taking taylor expansion of l in l 1.457 * [taylor]: Taking taylor expansion of F in l 1.457 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l 1.457 * [taylor]: Taking taylor expansion of 1.0 in l 1.457 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 1.457 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.457 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.457 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.457 * [taylor]: Taking taylor expansion of (* PI l) in l 1.457 * [taylor]: Taking taylor expansion of PI in l 1.457 * [taylor]: Taking taylor expansion of l in l 1.458 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.458 * [taylor]: Taking taylor expansion of (* PI l) in l 1.458 * [taylor]: Taking taylor expansion of PI in l 1.458 * [taylor]: Taking taylor expansion of l in l 1.462 * [taylor]: Taking taylor expansion of F in l 1.462 * [taylor]: Taking taylor expansion of (* 1.0 (/ PI F)) in F 1.462 * [taylor]: Taking taylor expansion of 1.0 in F 1.462 * [taylor]: Taking taylor expansion of (/ PI F) in F 1.462 * [taylor]: Taking taylor expansion of PI in F 1.462 * [taylor]: Taking taylor expansion of F in F 1.465 * [taylor]: Taking taylor expansion of 0 in F 1.479 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (pow PI 3) F)) in F 1.479 * [taylor]: Taking taylor expansion of 0.3333333333333333 in F 1.479 * [taylor]: Taking taylor expansion of (/ (pow PI 3) F) in F 1.479 * [taylor]: Taking taylor expansion of (pow PI 3) in F 1.479 * [taylor]: Taking taylor expansion of PI in F 1.479 * [taylor]: Taking taylor expansion of F in F 1.494 * [taylor]: Taking taylor expansion of 0 in F 1.522 * [taylor]: Taking taylor expansion of (* 0.13333333333333333 (/ (pow PI 5) F)) in F 1.522 * [taylor]: Taking taylor expansion of 0.13333333333333333 in F 1.522 * [taylor]: Taking taylor expansion of (/ (pow PI 5) F) in F 1.522 * [taylor]: Taking taylor expansion of (pow PI 5) in F 1.522 * [taylor]: Taking taylor expansion of PI in F 1.522 * [taylor]: Taking taylor expansion of F in F 1.529 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in (l F) around 0 1.529 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F 1.529 * [taylor]: Taking taylor expansion of 1.0 in F 1.529 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 1.529 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.529 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.529 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.529 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.529 * [taylor]: Taking taylor expansion of PI in F 1.529 * [taylor]: Taking taylor expansion of l in F 1.529 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.529 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.529 * [taylor]: Taking taylor expansion of PI in F 1.529 * [taylor]: Taking taylor expansion of l in F 1.530 * [taylor]: Taking taylor expansion of F in F 1.530 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l 1.530 * [taylor]: Taking taylor expansion of 1.0 in l 1.530 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 1.530 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.530 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.530 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.530 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.530 * [taylor]: Taking taylor expansion of PI in l 1.530 * [taylor]: Taking taylor expansion of l in l 1.530 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.530 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.530 * [taylor]: Taking taylor expansion of PI in l 1.530 * [taylor]: Taking taylor expansion of l in l 1.531 * [taylor]: Taking taylor expansion of F in l 1.531 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l 1.531 * [taylor]: Taking taylor expansion of 1.0 in l 1.531 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 1.531 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.531 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.531 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.531 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.531 * [taylor]: Taking taylor expansion of PI in l 1.531 * [taylor]: Taking taylor expansion of l in l 1.531 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.531 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.531 * [taylor]: Taking taylor expansion of PI in l 1.531 * [taylor]: Taking taylor expansion of l in l 1.532 * [taylor]: Taking taylor expansion of F in l 1.532 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (sin (/ PI l)) F) (cos (/ PI l)))) in F 1.532 * [taylor]: Taking taylor expansion of 1.0 in F 1.532 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) F) (cos (/ PI l))) in F 1.532 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) F) in F 1.532 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.532 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.532 * [taylor]: Taking taylor expansion of PI in F 1.532 * [taylor]: Taking taylor expansion of l in F 1.532 * [taylor]: Taking taylor expansion of F in F 1.532 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.532 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.532 * [taylor]: Taking taylor expansion of PI in F 1.532 * [taylor]: Taking taylor expansion of l in F 1.536 * [taylor]: Taking taylor expansion of 0 in F 1.537 * [taylor]: Taking taylor expansion of 0 in F 1.544 * [taylor]: Taking taylor expansion of 0 in F 1.544 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in (l F) around 0 1.544 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F 1.544 * [taylor]: Taking taylor expansion of -1.0 in F 1.544 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 1.544 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.544 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.544 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.544 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.544 * [taylor]: Taking taylor expansion of -1 in F 1.544 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.544 * [taylor]: Taking taylor expansion of PI in F 1.544 * [taylor]: Taking taylor expansion of l in F 1.544 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.544 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.544 * [taylor]: Taking taylor expansion of -1 in F 1.544 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.544 * [taylor]: Taking taylor expansion of PI in F 1.544 * [taylor]: Taking taylor expansion of l in F 1.545 * [taylor]: Taking taylor expansion of F in F 1.545 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l 1.545 * [taylor]: Taking taylor expansion of -1.0 in l 1.545 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 1.545 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.545 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.545 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.545 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.545 * [taylor]: Taking taylor expansion of -1 in l 1.545 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.545 * [taylor]: Taking taylor expansion of PI in l 1.546 * [taylor]: Taking taylor expansion of l in l 1.546 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.546 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.546 * [taylor]: Taking taylor expansion of -1 in l 1.546 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.546 * [taylor]: Taking taylor expansion of PI in l 1.546 * [taylor]: Taking taylor expansion of l in l 1.547 * [taylor]: Taking taylor expansion of F in l 1.547 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l 1.547 * [taylor]: Taking taylor expansion of -1.0 in l 1.547 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 1.547 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.547 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.547 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.547 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.547 * [taylor]: Taking taylor expansion of -1 in l 1.547 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.547 * [taylor]: Taking taylor expansion of PI in l 1.547 * [taylor]: Taking taylor expansion of l in l 1.548 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.548 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.548 * [taylor]: Taking taylor expansion of -1 in l 1.548 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.548 * [taylor]: Taking taylor expansion of PI in l 1.548 * [taylor]: Taking taylor expansion of l in l 1.549 * [taylor]: Taking taylor expansion of F in l 1.549 * [taylor]: Taking taylor expansion of (* -1.0 (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in F 1.549 * [taylor]: Taking taylor expansion of -1.0 in F 1.549 * [taylor]: Taking taylor expansion of (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F 1.549 * [taylor]: Taking taylor expansion of (* F (sin (* -1 (/ PI l)))) in F 1.549 * [taylor]: Taking taylor expansion of F in F 1.549 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.549 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.549 * [taylor]: Taking taylor expansion of -1 in F 1.549 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.549 * [taylor]: Taking taylor expansion of PI in F 1.549 * [taylor]: Taking taylor expansion of l in F 1.550 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.550 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.550 * [taylor]: Taking taylor expansion of -1 in F 1.550 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.550 * [taylor]: Taking taylor expansion of PI in F 1.550 * [taylor]: Taking taylor expansion of l in F 1.554 * [taylor]: Taking taylor expansion of 0 in F 1.555 * [taylor]: Taking taylor expansion of 0 in F 1.563 * [taylor]: Taking taylor expansion of 0 in F 1.563 * * * [progress]: simplifying candidates 1.564 * [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.567 * * [simplify]: iteration 0 : 108 enodes (cost 87 ) 1.569 * * [simplify]: iteration 1 : 295 enodes (cost 87 ) 1.575 * * [simplify]: iteration 2 : 1017 enodes (cost 86 ) 1.600 * * [simplify]: iteration 3 : 5001 enodes (cost 86 ) 1.601 * [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))) (+ (* 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.601 * * * [progress]: adding candidates to table 1.647 * * [progress]: iteration 4 / 4 1.647 * * * [progress]: picking best candidate 1.657 * * * * [pick]: Picked # 1.657 * * * [progress]: localizing error 1.671 * * * [progress]: generating rewritten candidates 1.671 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 1.674 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.679 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 1) 1.681 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.683 * * * [progress]: generating series expansions 1.683 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 1.683 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.683 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.684 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.684 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.684 * [taylor]: Taking taylor expansion of (* PI l) in l 1.684 * [taylor]: Taking taylor expansion of PI in l 1.684 * [taylor]: Taking taylor expansion of l in l 1.685 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.685 * [taylor]: Taking taylor expansion of (* PI l) in l 1.685 * [taylor]: Taking taylor expansion of PI in l 1.685 * [taylor]: Taking taylor expansion of l in l 1.688 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.688 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.688 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.688 * [taylor]: Taking taylor expansion of (* PI l) in l 1.688 * [taylor]: Taking taylor expansion of PI in l 1.688 * [taylor]: Taking taylor expansion of l in l 1.690 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.690 * [taylor]: Taking taylor expansion of (* PI l) in l 1.690 * [taylor]: Taking taylor expansion of PI in l 1.690 * [taylor]: Taking taylor expansion of l in l 1.735 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.735 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.735 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.735 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.735 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.735 * [taylor]: Taking taylor expansion of PI in l 1.735 * [taylor]: Taking taylor expansion of l in l 1.735 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.735 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.735 * [taylor]: Taking taylor expansion of PI in l 1.735 * [taylor]: Taking taylor expansion of l in l 1.736 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.736 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.736 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.736 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.736 * [taylor]: Taking taylor expansion of PI in l 1.736 * [taylor]: Taking taylor expansion of l in l 1.736 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.736 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.736 * [taylor]: Taking taylor expansion of PI in l 1.736 * [taylor]: Taking taylor expansion of l in l 1.739 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.739 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.739 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.739 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.739 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.739 * [taylor]: Taking taylor expansion of -1 in l 1.739 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.739 * [taylor]: Taking taylor expansion of PI in l 1.739 * [taylor]: Taking taylor expansion of l in l 1.740 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.740 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.740 * [taylor]: Taking taylor expansion of -1 in l 1.740 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.740 * [taylor]: Taking taylor expansion of PI in l 1.740 * [taylor]: Taking taylor expansion of l in l 1.741 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.741 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.741 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.741 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.741 * [taylor]: Taking taylor expansion of -1 in l 1.741 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.741 * [taylor]: Taking taylor expansion of PI in l 1.741 * [taylor]: Taking taylor expansion of l in l 1.742 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.742 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.742 * [taylor]: Taking taylor expansion of -1 in l 1.742 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.742 * [taylor]: Taking taylor expansion of PI in l 1.742 * [taylor]: Taking taylor expansion of l in l 1.745 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.745 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in (F l) around 0 1.745 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l 1.745 * [taylor]: Taking taylor expansion of 1.0 in l 1.745 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 1.745 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.745 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.745 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.745 * [taylor]: Taking taylor expansion of (* PI l) in l 1.745 * [taylor]: Taking taylor expansion of PI in l 1.745 * [taylor]: Taking taylor expansion of l in l 1.747 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.747 * [taylor]: Taking taylor expansion of (* PI l) in l 1.747 * [taylor]: Taking taylor expansion of PI in l 1.747 * [taylor]: Taking taylor expansion of l in l 1.750 * [taylor]: Taking taylor expansion of F in l 1.750 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F 1.750 * [taylor]: Taking taylor expansion of 1.0 in F 1.750 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 1.750 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.750 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.750 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.750 * [taylor]: Taking taylor expansion of (* PI l) in F 1.750 * [taylor]: Taking taylor expansion of PI in F 1.750 * [taylor]: Taking taylor expansion of l in F 1.750 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.750 * [taylor]: Taking taylor expansion of (* PI l) in F 1.750 * [taylor]: Taking taylor expansion of PI in F 1.750 * [taylor]: Taking taylor expansion of l in F 1.757 * [taylor]: Taking taylor expansion of F in F 1.757 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F 1.757 * [taylor]: Taking taylor expansion of 1.0 in F 1.757 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 1.757 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.757 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.757 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.757 * [taylor]: Taking taylor expansion of (* PI l) in F 1.757 * [taylor]: Taking taylor expansion of PI in F 1.757 * [taylor]: Taking taylor expansion of l in F 1.757 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.757 * [taylor]: Taking taylor expansion of (* PI l) in F 1.757 * [taylor]: Taking taylor expansion of PI in F 1.757 * [taylor]: Taking taylor expansion of l in F 1.758 * [taylor]: Taking taylor expansion of F in F 1.758 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l 1.758 * [taylor]: Taking taylor expansion of 1.0 in l 1.758 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 1.758 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.758 * [taylor]: Taking taylor expansion of (* PI l) in l 1.758 * [taylor]: Taking taylor expansion of PI in l 1.758 * [taylor]: Taking taylor expansion of l in l 1.760 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.760 * [taylor]: Taking taylor expansion of (* PI l) in l 1.760 * [taylor]: Taking taylor expansion of PI in l 1.760 * [taylor]: Taking taylor expansion of l in l 1.769 * [taylor]: Taking taylor expansion of 0 in l 1.778 * [taylor]: Taking taylor expansion of 0 in l 1.801 * [taylor]: Taking taylor expansion of 0 in l 1.818 * [taylor]: Taking taylor expansion of 0 in l 1.820 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in (F l) around 0 1.820 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l 1.820 * [taylor]: Taking taylor expansion of 1.0 in l 1.820 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 1.820 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.820 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.820 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.820 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.820 * [taylor]: Taking taylor expansion of PI in l 1.820 * [taylor]: Taking taylor expansion of l in l 1.820 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.820 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.820 * [taylor]: Taking taylor expansion of PI in l 1.820 * [taylor]: Taking taylor expansion of l in l 1.821 * [taylor]: Taking taylor expansion of F in l 1.821 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F 1.821 * [taylor]: Taking taylor expansion of 1.0 in F 1.821 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 1.821 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.821 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.821 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.821 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.821 * [taylor]: Taking taylor expansion of PI in F 1.821 * [taylor]: Taking taylor expansion of l in F 1.821 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.821 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.821 * [taylor]: Taking taylor expansion of PI in F 1.821 * [taylor]: Taking taylor expansion of l in F 1.822 * [taylor]: Taking taylor expansion of F in F 1.822 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F 1.822 * [taylor]: Taking taylor expansion of 1.0 in F 1.822 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 1.822 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.822 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.822 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.822 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.822 * [taylor]: Taking taylor expansion of PI in F 1.822 * [taylor]: Taking taylor expansion of l in F 1.822 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.822 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.822 * [taylor]: Taking taylor expansion of PI in F 1.822 * [taylor]: Taking taylor expansion of l in F 1.823 * [taylor]: Taking taylor expansion of F in F 1.823 * [taylor]: Taking taylor expansion of 0 in l 1.828 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l 1.828 * [taylor]: Taking taylor expansion of 1.0 in l 1.828 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 1.828 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.828 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.828 * [taylor]: Taking taylor expansion of PI in l 1.828 * [taylor]: Taking taylor expansion of l in l 1.828 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.828 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.828 * [taylor]: Taking taylor expansion of PI in l 1.828 * [taylor]: Taking taylor expansion of l in l 1.834 * [taylor]: Taking taylor expansion of 0 in l 1.847 * [taylor]: Taking taylor expansion of 0 in l 1.847 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in (F l) around 0 1.847 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l 1.847 * [taylor]: Taking taylor expansion of -1.0 in l 1.847 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 1.847 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.847 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.847 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.847 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.847 * [taylor]: Taking taylor expansion of -1 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.848 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.848 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.848 * [taylor]: Taking taylor expansion of -1 in l 1.848 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.848 * [taylor]: Taking taylor expansion of PI in l 1.848 * [taylor]: Taking taylor expansion of l in l 1.849 * [taylor]: Taking taylor expansion of F in l 1.849 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F 1.849 * [taylor]: Taking taylor expansion of -1.0 in F 1.849 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 1.849 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.849 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.849 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.849 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.849 * [taylor]: Taking taylor expansion of -1 in F 1.849 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.849 * [taylor]: Taking taylor expansion of PI in F 1.849 * [taylor]: Taking taylor expansion of l in F 1.849 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.849 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.849 * [taylor]: Taking taylor expansion of -1 in F 1.849 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.849 * [taylor]: Taking taylor expansion of PI in F 1.849 * [taylor]: Taking taylor expansion of l in F 1.850 * [taylor]: Taking taylor expansion of F in F 1.850 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F 1.850 * [taylor]: Taking taylor expansion of -1.0 in F 1.850 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 1.850 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.850 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.850 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.850 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.850 * [taylor]: Taking taylor expansion of -1 in F 1.850 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.850 * [taylor]: Taking taylor expansion of PI in F 1.850 * [taylor]: Taking taylor expansion of l in F 1.851 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.851 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.851 * [taylor]: Taking taylor expansion of -1 in F 1.851 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.851 * [taylor]: Taking taylor expansion of PI in F 1.851 * [taylor]: Taking taylor expansion of l in F 1.851 * [taylor]: Taking taylor expansion of F in F 1.852 * [taylor]: Taking taylor expansion of 0 in l 1.857 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))))) in l 1.857 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l 1.857 * [taylor]: Taking taylor expansion of 1.0 in l 1.857 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 1.857 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.857 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.857 * [taylor]: Taking taylor expansion of -1 in l 1.857 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.857 * [taylor]: Taking taylor expansion of PI in l 1.857 * [taylor]: Taking taylor expansion of l in l 1.858 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.858 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.858 * [taylor]: Taking taylor expansion of -1 in l 1.858 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.858 * [taylor]: Taking taylor expansion of PI in l 1.858 * [taylor]: Taking taylor expansion of l in l 1.866 * [taylor]: Taking taylor expansion of 0 in l 1.875 * [taylor]: Taking taylor expansion of 0 in l 1.876 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 1) 1.876 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.876 * [taylor]: Taking taylor expansion of (* PI l) in l 1.876 * [taylor]: Taking taylor expansion of PI in l 1.876 * [taylor]: Taking taylor expansion of l in l 1.876 * [taylor]: Taking taylor expansion of (* PI l) in l 1.876 * [taylor]: Taking taylor expansion of PI in l 1.876 * [taylor]: Taking taylor expansion of l in l 1.882 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.882 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.882 * [taylor]: Taking taylor expansion of PI in l 1.882 * [taylor]: Taking taylor expansion of l in l 1.882 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.882 * [taylor]: Taking taylor expansion of PI in l 1.882 * [taylor]: Taking taylor expansion of l in l 1.886 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.886 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.886 * [taylor]: Taking taylor expansion of -1 in l 1.886 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.886 * [taylor]: Taking taylor expansion of PI in l 1.886 * [taylor]: Taking taylor expansion of l in l 1.887 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.887 * [taylor]: Taking taylor expansion of -1 in l 1.887 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.887 * [taylor]: Taking taylor expansion of PI in l 1.887 * [taylor]: Taking taylor expansion of l in l 1.895 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.895 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.895 * [taylor]: Taking taylor expansion of (* PI l) in l 1.895 * [taylor]: Taking taylor expansion of PI in l 1.895 * [taylor]: Taking taylor expansion of l in l 1.895 * [taylor]: Taking taylor expansion of (* PI l) in l 1.895 * [taylor]: Taking taylor expansion of PI in l 1.895 * [taylor]: Taking taylor expansion of l in l 1.901 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.901 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.901 * [taylor]: Taking taylor expansion of PI in l 1.901 * [taylor]: Taking taylor expansion of l in l 1.901 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.901 * [taylor]: Taking taylor expansion of PI in l 1.901 * [taylor]: Taking taylor expansion of l in l 1.906 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.906 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.906 * [taylor]: Taking taylor expansion of -1 in l 1.906 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.906 * [taylor]: Taking taylor expansion of PI in l 1.906 * [taylor]: Taking taylor expansion of l in l 1.906 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.906 * [taylor]: Taking taylor expansion of -1 in l 1.906 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.906 * [taylor]: Taking taylor expansion of PI in l 1.906 * [taylor]: Taking taylor expansion of l in l 1.915 * * * [progress]: simplifying candidates 1.915 * [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.918 * * [simplify]: iteration 0 : 105 enodes (cost 85 ) 1.921 * * [simplify]: iteration 1 : 298 enodes (cost 84 ) 1.927 * * [simplify]: iteration 2 : 1047 enodes (cost 80 ) 1.953 * * [simplify]: iteration 3 : 5002 enodes (cost 80 ) 1.954 * [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 (+ (* 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.954 * * * [progress]: adding candidates to table 2.018 * [progress]: [Phase 3 of 3] Extracting. 2.019 * * [regime]: Finding splitpoints for: (# # # # # # #) 2.020 * * * [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) 2.021 * * * * [regimes]: Trying to branch on (* F F) from (# # # # # # #) 2.046 * * * * [regimes]: Trying to branch on (* F F) from (# # #) 2.060 * * * * [regimes]: Trying to branch on (/ 1.0 (* F F)) from (# # # # # # #) 2.086 * * * * [regimes]: Trying to branch on (/ 1.0 (* F F)) from (# #) 2.098 * * * * [regimes]: Trying to branch on (* PI l) from (# # # # # # #) 2.126 * * * * [regimes]: Trying to branch on (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) from (# # # # # # #) 2.157 * * * * [regimes]: Trying to branch on l from (# # # # # # #) 2.182 * * * * [regimes]: Trying to branch on F from (# # # # # # #) 2.211 * * * [regime]: Found split indices: #