0.889 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.409 * * * [progress]: [2/2] Setting up program. 0.412 * [progress]: [Phase 2 of 3] Improving. 0.414 * [simplify]: Simplifying using # : (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) 0.417 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 0.421 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 0.424 * * [simplify]: iteration 2 : 38 enodes (cost 14 ) 0.429 * * [simplify]: iteration 3 : 73 enodes (cost 14 ) 0.438 * * [simplify]: iteration 4 : 109 enodes (cost 14 ) 0.461 * * [simplify]: iteration 5 : 130 enodes (cost 14 ) 0.477 * * [simplify]: iteration 6 : 137 enodes (cost 14 ) 0.493 * * [simplify]: iteration done : 137 enodes (cost 14 ) 0.494 * [simplify]: Simplified to: (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) 0.495 * * [progress]: iteration 1 / 4 0.495 * * * [progress]: picking best candidate 0.497 * * * * [pick]: Picked # 0.497 * * * [progress]: localizing error 0.509 * * * [progress]: generating rewritten candidates 0.510 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.513 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.533 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.536 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 0.542 * * * [progress]: generating series expansions 0.542 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.547 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 0.548 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.549 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.549 * [taylor]: Taking taylor expansion of (sin (* PI l)) 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.551 * [taylor]: Taking taylor expansion of (cos (* PI l)) 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.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.605 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 0.605 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.605 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.605 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.605 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.605 * [taylor]: Taking taylor expansion of PI in l 0.605 * [taylor]: Taking taylor expansion of l in l 0.606 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.606 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.606 * [taylor]: Taking taylor expansion of PI in l 0.606 * [taylor]: Taking taylor expansion of l in l 0.606 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.606 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.606 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.606 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.606 * [taylor]: Taking taylor expansion of PI in l 0.606 * [taylor]: Taking taylor expansion of l in l 0.607 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.607 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.607 * [taylor]: Taking taylor expansion of PI in l 0.607 * [taylor]: Taking taylor expansion of l in l 0.609 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 0.609 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.609 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.609 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.609 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.609 * [taylor]: Taking taylor expansion of -1 in l 0.609 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.609 * [taylor]: Taking taylor expansion of PI in l 0.609 * [taylor]: Taking taylor expansion of l in l 0.610 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.610 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.610 * [taylor]: Taking taylor expansion of -1 in l 0.610 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.610 * [taylor]: Taking taylor expansion of PI in l 0.610 * [taylor]: Taking taylor expansion of l in l 0.616 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.616 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.616 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.616 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.616 * [taylor]: Taking taylor expansion of -1 in l 0.616 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.616 * [taylor]: Taking taylor expansion of PI in l 0.616 * [taylor]: Taking taylor expansion of l in l 0.617 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.617 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.617 * [taylor]: Taking taylor expansion of -1 in l 0.617 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.617 * [taylor]: Taking taylor expansion of PI in l 0.617 * [taylor]: Taking taylor expansion of l in l 0.621 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.621 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in (F l) around 0 0.621 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in l 0.621 * [taylor]: Taking taylor expansion of 1.0 in l 0.621 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 0.621 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.621 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.621 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.621 * [taylor]: Taking taylor expansion of (* PI l) in l 0.621 * [taylor]: Taking taylor expansion of PI in l 0.621 * [taylor]: Taking taylor expansion of l in l 0.623 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.623 * [taylor]: Taking taylor expansion of (* PI l) in l 0.623 * [taylor]: Taking taylor expansion of PI in l 0.623 * [taylor]: Taking taylor expansion of l in l 0.626 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.626 * [taylor]: Taking taylor expansion of F in l 0.626 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F 0.626 * [taylor]: Taking taylor expansion of 1.0 in F 0.626 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 0.626 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 0.626 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.626 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 0.626 * [taylor]: Taking taylor expansion of (* PI l) in F 0.626 * [taylor]: Taking taylor expansion of PI in F 0.626 * [taylor]: Taking taylor expansion of l in F 0.627 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 0.627 * [taylor]: Taking taylor expansion of (* PI l) in F 0.627 * [taylor]: Taking taylor expansion of PI in F 0.627 * [taylor]: Taking taylor expansion of l in F 0.628 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.628 * [taylor]: Taking taylor expansion of F in F 0.628 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F 0.628 * [taylor]: Taking taylor expansion of 1.0 in F 0.628 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 0.628 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 0.628 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.628 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 0.628 * [taylor]: Taking taylor expansion of (* PI l) in F 0.628 * [taylor]: Taking taylor expansion of PI in F 0.629 * [taylor]: Taking taylor expansion of l in F 0.629 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 0.629 * [taylor]: Taking taylor expansion of (* PI l) in F 0.629 * [taylor]: Taking taylor expansion of PI in F 0.629 * [taylor]: Taking taylor expansion of l in F 0.629 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.629 * [taylor]: Taking taylor expansion of F in F 0.630 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l 0.630 * [taylor]: Taking taylor expansion of 1.0 in l 0.630 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in 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.631 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.631 * [taylor]: Taking taylor expansion of (* PI l) in l 0.631 * [taylor]: Taking taylor expansion of PI in l 0.631 * [taylor]: Taking taylor expansion of l in l 0.641 * [taylor]: Taking taylor expansion of 0 in l 0.650 * [taylor]: Taking taylor expansion of 0 in l 0.674 * [taylor]: Taking taylor expansion of 0 in l 0.692 * [taylor]: Taking taylor expansion of 0 in l 0.694 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in (F l) around 0 0.694 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in l 0.694 * [taylor]: Taking taylor expansion of 1.0 in l 0.694 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 0.694 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.694 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.694 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.694 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.694 * [taylor]: Taking taylor expansion of PI in l 0.694 * [taylor]: Taking taylor expansion of l in l 0.694 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.694 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.694 * [taylor]: Taking taylor expansion of PI in l 0.694 * [taylor]: Taking taylor expansion of l in l 0.695 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.695 * [taylor]: Taking taylor expansion of F in l 0.695 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F 0.695 * [taylor]: Taking taylor expansion of 1.0 in F 0.695 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 0.695 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 0.695 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.695 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 0.695 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.695 * [taylor]: Taking taylor expansion of PI in F 0.695 * [taylor]: Taking taylor expansion of l in F 0.695 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 0.695 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.695 * [taylor]: Taking taylor expansion of PI in F 0.695 * [taylor]: Taking taylor expansion of l in F 0.696 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.696 * [taylor]: Taking taylor expansion of F in F 0.696 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F 0.696 * [taylor]: Taking taylor expansion of 1.0 in F 0.696 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 0.696 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 0.696 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.696 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 0.696 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.696 * [taylor]: Taking taylor expansion of PI in F 0.696 * [taylor]: Taking taylor expansion of l in F 0.696 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 0.696 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.696 * [taylor]: Taking taylor expansion of PI in F 0.696 * [taylor]: Taking taylor expansion of l 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 (/ (sin (/ PI l)) (cos (/ PI l)))) in l 0.697 * [taylor]: Taking taylor expansion of 1.0 in l 0.697 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 0.697 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.697 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.697 * [taylor]: Taking taylor expansion of PI in l 0.697 * [taylor]: Taking taylor expansion of l in l 0.698 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.698 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.698 * [taylor]: Taking taylor expansion of PI in l 0.698 * [taylor]: Taking taylor expansion of l in l 0.706 * [taylor]: Taking taylor expansion of 0 in l 0.713 * [taylor]: Taking taylor expansion of 0 in l 0.722 * [taylor]: Taking taylor expansion of 0 in l 0.722 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in (F l) around 0 0.722 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in l 0.722 * [taylor]: Taking taylor expansion of 1.0 in l 0.722 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 0.722 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.722 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.722 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.722 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.722 * [taylor]: Taking taylor expansion of -1 in l 0.722 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.722 * [taylor]: Taking taylor expansion of PI in l 0.722 * [taylor]: Taking taylor expansion of l in l 0.723 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.723 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.723 * [taylor]: Taking taylor expansion of -1 in l 0.723 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.723 * [taylor]: Taking taylor expansion of PI in l 0.723 * [taylor]: Taking taylor expansion of l in l 0.724 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.724 * [taylor]: Taking taylor expansion of F in l 0.724 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F 0.724 * [taylor]: Taking taylor expansion of 1.0 in F 0.724 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 0.724 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 0.724 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.724 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 0.724 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.724 * [taylor]: Taking taylor expansion of -1 in F 0.724 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.724 * [taylor]: Taking taylor expansion of PI in F 0.724 * [taylor]: Taking taylor expansion of l in F 0.724 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 0.724 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.724 * [taylor]: Taking taylor expansion of -1 in F 0.724 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.724 * [taylor]: Taking taylor expansion of PI in F 0.724 * [taylor]: Taking taylor expansion of l in F 0.725 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.725 * [taylor]: Taking taylor expansion of F in F 0.725 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F 0.725 * [taylor]: Taking taylor expansion of 1.0 in F 0.725 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 0.725 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 0.725 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.725 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 0.725 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.725 * [taylor]: Taking taylor expansion of -1 in F 0.726 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.726 * [taylor]: Taking taylor expansion of PI in F 0.726 * [taylor]: Taking taylor expansion of l in F 0.726 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 0.726 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.726 * [taylor]: Taking taylor expansion of -1 in F 0.726 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.726 * [taylor]: Taking taylor expansion of PI in F 0.726 * [taylor]: Taking taylor expansion of l in F 0.727 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.727 * [taylor]: Taking taylor expansion of F in F 0.727 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l 0.727 * [taylor]: Taking taylor expansion of 1.0 in l 0.727 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 0.727 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.727 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.727 * [taylor]: Taking taylor expansion of -1 in l 0.727 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.727 * [taylor]: Taking taylor expansion of PI in l 0.727 * [taylor]: Taking taylor expansion of l in l 0.728 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.728 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.728 * [taylor]: Taking taylor expansion of -1 in l 0.728 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.728 * [taylor]: Taking taylor expansion of PI in l 0.728 * [taylor]: Taking taylor expansion of l in l 0.734 * [taylor]: Taking taylor expansion of 0 in l 0.742 * [taylor]: Taking taylor expansion of 0 in l 0.752 * [taylor]: Taking taylor expansion of 0 in l 0.753 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.753 * [approximate]: Taking taylor expansion of (/ 1.0 (pow F 2)) in (F) around 0 0.753 * [taylor]: Taking taylor expansion of (/ 1.0 (pow F 2)) in F 0.753 * [taylor]: Taking taylor expansion of 1.0 in F 0.753 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.753 * [taylor]: Taking taylor expansion of F in F 0.753 * [taylor]: Taking taylor expansion of (/ 1.0 (pow F 2)) in F 0.753 * [taylor]: Taking taylor expansion of 1.0 in F 0.753 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.754 * [taylor]: Taking taylor expansion of F in F 0.761 * [approximate]: Taking taylor expansion of (* 1.0 (pow F 2)) in (F) around 0 0.761 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.761 * [taylor]: Taking taylor expansion of 1.0 in F 0.761 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.761 * [taylor]: Taking taylor expansion of F in F 0.761 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.761 * [taylor]: Taking taylor expansion of 1.0 in F 0.761 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.761 * [taylor]: Taking taylor expansion of F in F 0.769 * [approximate]: Taking taylor expansion of (* 1.0 (pow F 2)) in (F) around 0 0.769 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.769 * [taylor]: Taking taylor expansion of 1.0 in F 0.769 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.769 * [taylor]: Taking taylor expansion of F in F 0.769 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.769 * [taylor]: Taking taylor expansion of 1.0 in F 0.769 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.769 * [taylor]: Taking taylor expansion of F in F 0.778 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 0.778 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 0.778 * [taylor]: Taking taylor expansion of (* PI l) in l 0.778 * [taylor]: Taking taylor expansion of PI in l 0.778 * [taylor]: Taking taylor expansion of l in l 0.778 * [taylor]: Taking taylor expansion of (* PI l) in l 0.778 * [taylor]: Taking taylor expansion of PI in l 0.778 * [taylor]: Taking taylor expansion of l in l 0.784 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 0.784 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.784 * [taylor]: Taking taylor expansion of PI in l 0.784 * [taylor]: Taking taylor expansion of l in l 0.784 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.785 * [taylor]: Taking taylor expansion of PI in l 0.785 * [taylor]: Taking taylor expansion of l in l 0.791 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 0.791 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.791 * [taylor]: Taking taylor expansion of -1 in l 0.791 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.791 * [taylor]: Taking taylor expansion of PI in l 0.791 * [taylor]: Taking taylor expansion of l in l 0.792 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.792 * [taylor]: Taking taylor expansion of -1 in l 0.792 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.792 * [taylor]: Taking taylor expansion of PI in l 0.792 * [taylor]: Taking taylor expansion of l in l 0.801 * * * [progress]: simplifying candidates 0.802 * [simplify]: Simplifying using # : (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l))) (+ (- (log 1.0) (+ (log F) (log F))) (log (tan (* PI l)))) (+ (- (log 1.0) (log (* F F))) (log (tan (* PI l)))) (+ (log (/ 1.0 (* F F))) (log (tan (* PI l)))) (log (* (/ 1.0 (* F F)) (tan (* PI l)))) (exp (* (/ 1.0 (* F F)) (tan (* PI l)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) F) (* (* F F) F))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) (* F F)) (* F F))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (* (* (/ 1.0 (* F F)) (/ 1.0 (* F F))) (/ 1.0 (* F F))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l))))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (* (* (* (/ 1.0 (* F F)) (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l)))) (* (/ 1.0 (* F F)) (tan (* PI l)))) (sqrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (sqrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (* 1.0 (sin (* PI l))) (* (* F F) (cos (* PI l))) (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l)))) (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ 1.0 (* F F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (* (/ 1.0 (* F F)) (sqrt (tan (* PI l)))) (* (/ 1.0 (* F F)) 1) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))) (* (sqrt (/ 1.0 (* F F))) (tan (* PI l))) (* (/ (cbrt 1.0) F) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l))) (* (/ 1 (* F F)) (tan (* PI l))) (* (/ 1.0 (* F F)) (sin (* PI l))) (* 1.0 (tan (* PI l))) (- (log 1.0) (+ (log F) (log F))) (- (log 1.0) (log (* F F))) (log (/ 1.0 (* F F))) (exp (/ 1.0 (* F F))) (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) F) (* (* F F) F))) (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) (* F F)) (* F F))) (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (cbrt (/ 1.0 (* F F))) (* (* (/ 1.0 (* F F)) (/ 1.0 (* F F))) (/ 1.0 (* F F))) (sqrt (/ 1.0 (* F F))) (sqrt (/ 1.0 (* F F))) (- 1.0) (- (* F F)) (/ (* (cbrt 1.0) (cbrt 1.0)) F) (/ (cbrt 1.0) F) (/ (sqrt 1.0) F) (/ (sqrt 1.0) F) (/ 1 F) (/ 1.0 F) (/ 1 (* F F)) (/ (* F F) 1.0) (/ 1.0 F) (/ (* F F) (cbrt 1.0)) (/ (* F F) (sqrt 1.0)) (/ (* F F) 1.0) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (+ (* 1.0 (/ (* PI l) (pow F 2))) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) (pow F 2)))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2)))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2)))) (/ 1.0 (pow F 2)) (/ 1.0 (pow F 2)) (/ 1.0 (pow F 2)) (* PI l) (* PI l) (* PI l) 0.806 * * [simplify]: iteration 0 : 135 enodes (cost 872 ) 0.829 * * [simplify]: iteration 1 : 330 enodes (cost 854 ) 0.908 * * [simplify]: iteration 2 : 1331 enodes (cost 722 ) 1.275 * * [simplify]: iteration done : 5000 enodes (cost 722 ) 1.276 * [simplify]: Simplified to: (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (pow (tan (* PI l)) 3) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l))) (log (* (/ 1.0 (* F F)) (tan (* PI l)))) (log (* (/ 1.0 (* F F)) (tan (* PI l)))) (log (* (/ 1.0 (* F F)) (tan (* PI l)))) (log (* (/ 1.0 (* F F)) (tan (* PI l)))) (exp (* (/ 1.0 (* F F)) (tan (* PI l)))) (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3) (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3) (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3) (* (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l))))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3) (sqrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (sqrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (* 1.0 (sin (* PI l))) (* (* F F) (cos (* PI l))) (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l)))) (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ 1.0 (* F F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (* (/ 1.0 (* F F)) (sqrt (tan (* PI l)))) (/ 1.0 (* F F)) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))) (* (sqrt (/ 1.0 (* F F))) (tan (* PI l))) (* (/ (cbrt 1.0) F) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l))) (/ (tan (* PI l)) (* F F)) (* (/ 1.0 (* F F)) (sin (* PI l))) (* 1.0 (tan (* PI l))) (log (/ 1.0 (* F F))) (log (/ 1.0 (* F F))) (log (/ 1.0 (* F F))) (exp (/ 1.0 (* F F))) (pow (/ 1.0 (* F F)) 3) (pow (/ 1.0 (* F F)) 3) (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (cbrt (/ 1.0 (* F F))) (pow (/ 1.0 (* F F)) 3) (sqrt (/ 1.0 (* F F))) (sqrt (/ 1.0 (* F F))) (- 1.0) (- (* F F)) (/ (* (cbrt 1.0) (cbrt 1.0)) F) (/ (cbrt 1.0) F) (/ (sqrt 1.0) F) (/ (sqrt 1.0) F) (/ 1 F) (/ 1.0 F) (/ 1 (* F F)) (/ (* F F) 1.0) (/ 1.0 F) (/ (* F F) (cbrt 1.0)) (/ (* F F) (sqrt 1.0)) (/ (* F F) 1.0) (* PI l) (log (* PI l)) (log (* PI l)) (exp (* PI l)) (pow (* PI l) 3) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (pow (* PI l) 3) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) PI (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (+ (* (pow (* PI l) 3) 1/3) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (+ (* 1.0 (/ (* PI l) (pow F 2))) (/ (* (pow (* PI l) 3) 0.3333333333333333) (* F F))) (* 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) 1.276 * * * [progress]: adding candidates to table 1.469 * * [progress]: iteration 2 / 4 1.469 * * * [progress]: picking best candidate 1.498 * * * * [pick]: Picked # 1.498 * * * [progress]: localizing error 1.512 * * * [progress]: generating rewritten candidates 1.512 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 1.514 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 1.529 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1) 1.531 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.537 * * * [progress]: generating series expansions 1.537 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 1.537 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.537 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.537 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.537 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.537 * [taylor]: Taking taylor expansion of (* PI l) in l 1.537 * [taylor]: Taking taylor expansion of PI in l 1.537 * [taylor]: Taking taylor expansion of l in l 1.539 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.539 * [taylor]: Taking taylor expansion of (* PI l) in l 1.539 * [taylor]: Taking taylor expansion of PI in l 1.539 * [taylor]: Taking taylor expansion of l in l 1.542 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.542 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.542 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.542 * [taylor]: Taking taylor expansion of (* PI l) in l 1.542 * [taylor]: Taking taylor expansion of PI in l 1.542 * [taylor]: Taking taylor expansion of l in l 1.544 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.544 * [taylor]: Taking taylor expansion of (* PI l) in l 1.544 * [taylor]: Taking taylor expansion of PI in l 1.544 * [taylor]: Taking taylor expansion of l in l 1.593 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.593 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.593 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.593 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.593 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.593 * [taylor]: Taking taylor expansion of PI in l 1.593 * [taylor]: Taking taylor expansion of l in l 1.594 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.594 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.594 * [taylor]: Taking taylor expansion of PI in l 1.594 * [taylor]: Taking taylor expansion of l in l 1.594 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.594 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.594 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.594 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.594 * [taylor]: Taking taylor expansion of PI in l 1.594 * [taylor]: Taking taylor expansion of l in l 1.595 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.595 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.595 * [taylor]: Taking taylor expansion of PI in l 1.595 * [taylor]: Taking taylor expansion of l in l 1.597 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.597 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.597 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.597 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.597 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.597 * [taylor]: Taking taylor expansion of -1 in l 1.597 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.597 * [taylor]: Taking taylor expansion of PI in l 1.597 * [taylor]: Taking taylor expansion of l in l 1.598 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.598 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.598 * [taylor]: Taking taylor expansion of -1 in l 1.598 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.598 * [taylor]: Taking taylor expansion of PI in l 1.598 * [taylor]: Taking taylor expansion of l in l 1.599 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.599 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.599 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.599 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.599 * [taylor]: Taking taylor expansion of -1 in l 1.599 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.599 * [taylor]: Taking taylor expansion of PI in l 1.599 * [taylor]: Taking taylor expansion of l in l 1.600 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.600 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.600 * [taylor]: Taking taylor expansion of -1 in l 1.600 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.600 * [taylor]: Taking taylor expansion of PI in l 1.600 * [taylor]: Taking taylor expansion of l in l 1.603 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.603 * [approximate]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in (F l) around 0 1.603 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in l 1.603 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (tan (* PI l))) in l 1.603 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.604 * [taylor]: Taking taylor expansion of 1.0 in l 1.604 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.604 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.604 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.604 * [taylor]: Taking taylor expansion of (* PI l) in l 1.604 * [taylor]: Taking taylor expansion of PI in l 1.605 * [taylor]: Taking taylor expansion of l in l 1.606 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.606 * [taylor]: Taking taylor expansion of (* PI l) in l 1.606 * [taylor]: Taking taylor expansion of PI in l 1.606 * [taylor]: Taking taylor expansion of l in l 1.609 * [taylor]: Taking taylor expansion of F in l 1.610 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in F 1.610 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (tan (* PI l))) in F 1.610 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.610 * [taylor]: Taking taylor expansion of 1.0 in F 1.611 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.611 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.611 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.611 * [taylor]: Taking taylor expansion of (* PI l) in F 1.611 * [taylor]: Taking taylor expansion of PI in F 1.611 * [taylor]: Taking taylor expansion of l in F 1.611 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.611 * [taylor]: Taking taylor expansion of (* PI l) in F 1.611 * [taylor]: Taking taylor expansion of PI in F 1.611 * [taylor]: Taking taylor expansion of l in F 1.612 * [taylor]: Taking taylor expansion of F in F 1.613 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (tan (* PI l))) F) in F 1.613 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (tan (* PI l))) in F 1.613 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.613 * [taylor]: Taking taylor expansion of 1.0 in F 1.613 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.613 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.613 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.613 * [taylor]: Taking taylor expansion of (* PI l) in F 1.613 * [taylor]: Taking taylor expansion of PI in F 1.613 * [taylor]: Taking taylor expansion of l in F 1.614 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.614 * [taylor]: Taking taylor expansion of (* PI l) in F 1.614 * [taylor]: Taking taylor expansion of PI in F 1.614 * [taylor]: Taking taylor expansion of l in F 1.614 * [taylor]: Taking taylor expansion of F in F 1.615 * [taylor]: Taking taylor expansion of (/ (* (sin (* PI l)) (sqrt 1.0)) (cos (* PI l))) in l 1.615 * [taylor]: Taking taylor expansion of (* (sin (* PI l)) (sqrt 1.0)) in l 1.615 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.615 * [taylor]: Taking taylor expansion of (* PI l) in l 1.615 * [taylor]: Taking taylor expansion of PI in l 1.615 * [taylor]: Taking taylor expansion of l in l 1.616 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.616 * [taylor]: Taking taylor expansion of 1.0 in l 1.617 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.617 * [taylor]: Taking taylor expansion of (* PI l) in l 1.617 * [taylor]: Taking taylor expansion of PI in l 1.617 * [taylor]: Taking taylor expansion of l in l 1.629 * [taylor]: Taking taylor expansion of 0 in l 1.640 * [taylor]: Taking taylor expansion of 0 in l 1.673 * [taylor]: Taking taylor expansion of 0 in l 1.695 * [taylor]: Taking taylor expansion of 0 in l 1.698 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in (F l) around 0 1.698 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in l 1.698 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.699 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.699 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.699 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.699 * [taylor]: Taking taylor expansion of PI in l 1.699 * [taylor]: Taking taylor expansion of l in l 1.699 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.699 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.699 * [taylor]: Taking taylor expansion of PI in l 1.699 * [taylor]: Taking taylor expansion of l in l 1.699 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in l 1.699 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.700 * [taylor]: Taking taylor expansion of 1.0 in l 1.700 * [taylor]: Taking taylor expansion of F in l 1.700 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in F 1.700 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.700 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.700 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.700 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.700 * [taylor]: Taking taylor expansion of PI in F 1.700 * [taylor]: Taking taylor expansion of l in F 1.700 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.701 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.701 * [taylor]: Taking taylor expansion of PI in F 1.701 * [taylor]: Taking taylor expansion of l in F 1.701 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 1.701 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.701 * [taylor]: Taking taylor expansion of 1.0 in F 1.702 * [taylor]: Taking taylor expansion of F in F 1.702 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (* (sqrt 1.0) F)) in F 1.702 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.702 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.702 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.702 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.702 * [taylor]: Taking taylor expansion of PI in F 1.702 * [taylor]: Taking taylor expansion of l in F 1.702 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.702 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.702 * [taylor]: Taking taylor expansion of PI in F 1.702 * [taylor]: Taking taylor expansion of l in F 1.703 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 1.703 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.703 * [taylor]: Taking taylor expansion of 1.0 in F 1.704 * [taylor]: Taking taylor expansion of F in F 1.704 * [taylor]: Taking taylor expansion of 0 in l 1.710 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) (sqrt 1.0)) (cos (/ PI l))) in l 1.710 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) (sqrt 1.0)) in l 1.710 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.710 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.710 * [taylor]: Taking taylor expansion of PI in l 1.710 * [taylor]: Taking taylor expansion of l in l 1.710 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.710 * [taylor]: Taking taylor expansion of 1.0 in l 1.711 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.711 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.711 * [taylor]: Taking taylor expansion of PI in l 1.711 * [taylor]: Taking taylor expansion of l in l 1.719 * [taylor]: Taking taylor expansion of 0 in l 1.727 * [taylor]: Taking taylor expansion of 0 in l 1.728 * [approximate]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in (F l) around 0 1.728 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in l 1.728 * [taylor]: Taking taylor expansion of -1 in l 1.728 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F)) in l 1.728 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.728 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.728 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.728 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.728 * [taylor]: Taking taylor expansion of -1 in l 1.728 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.728 * [taylor]: Taking taylor expansion of PI in l 1.728 * [taylor]: Taking taylor expansion of l in l 1.729 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.729 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.729 * [taylor]: Taking taylor expansion of -1 in l 1.729 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.729 * [taylor]: Taking taylor expansion of PI in l 1.729 * [taylor]: Taking taylor expansion of l in l 1.730 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in l 1.730 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.730 * [taylor]: Taking taylor expansion of 1.0 in l 1.730 * [taylor]: Taking taylor expansion of F in l 1.730 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in F 1.731 * [taylor]: Taking taylor expansion of -1 in F 1.731 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F)) in F 1.731 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.731 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.731 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.731 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.731 * [taylor]: Taking taylor expansion of -1 in F 1.731 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.731 * [taylor]: Taking taylor expansion of PI in F 1.731 * [taylor]: Taking taylor expansion of l in F 1.731 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.731 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.731 * [taylor]: Taking taylor expansion of -1 in F 1.731 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.731 * [taylor]: Taking taylor expansion of PI in F 1.731 * [taylor]: Taking taylor expansion of l in F 1.732 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 1.732 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.732 * [taylor]: Taking taylor expansion of 1.0 in F 1.732 * [taylor]: Taking taylor expansion of F in F 1.732 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F))) in F 1.732 * [taylor]: Taking taylor expansion of -1 in F 1.733 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (* (sqrt 1.0) F)) in F 1.733 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.733 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.733 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.733 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.733 * [taylor]: Taking taylor expansion of -1 in F 1.733 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.733 * [taylor]: Taking taylor expansion of PI in F 1.733 * [taylor]: Taking taylor expansion of l in F 1.733 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.733 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.733 * [taylor]: Taking taylor expansion of -1 in F 1.733 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.733 * [taylor]: Taking taylor expansion of PI in F 1.733 * [taylor]: Taking taylor expansion of l in F 1.734 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) F) in F 1.734 * [taylor]: Taking taylor expansion of (sqrt 1.0) in F 1.734 * [taylor]: Taking taylor expansion of 1.0 in F 1.734 * [taylor]: Taking taylor expansion of F in F 1.736 * [taylor]: Taking taylor expansion of 0 in l 1.742 * [taylor]: Taking taylor expansion of (- (/ (* (sqrt 1.0) (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in l 1.743 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in l 1.743 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sin (* -1 (/ PI l)))) in l 1.743 * [taylor]: Taking taylor expansion of (sqrt 1.0) in l 1.743 * [taylor]: Taking taylor expansion of 1.0 in l 1.743 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.743 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.743 * [taylor]: Taking taylor expansion of -1 in l 1.743 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.743 * [taylor]: Taking taylor expansion of PI in l 1.743 * [taylor]: Taking taylor expansion of l in l 1.744 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.744 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.744 * [taylor]: Taking taylor expansion of -1 in l 1.744 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.744 * [taylor]: Taking taylor expansion of PI in l 1.744 * [taylor]: Taking taylor expansion of l in l 1.755 * [taylor]: Taking taylor expansion of 0 in l 1.769 * [taylor]: Taking taylor expansion of 0 in l 1.770 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1) 1.770 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.770 * [taylor]: Taking taylor expansion of (* PI l) in l 1.770 * [taylor]: Taking taylor expansion of PI in l 1.770 * [taylor]: Taking taylor expansion of l in l 1.770 * [taylor]: Taking taylor expansion of (* PI l) in l 1.770 * [taylor]: Taking taylor expansion of PI in l 1.770 * [taylor]: Taking taylor expansion of l in l 1.776 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.776 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.776 * [taylor]: Taking taylor expansion of PI in l 1.776 * [taylor]: Taking taylor expansion of l in l 1.776 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.777 * [taylor]: Taking taylor expansion of PI in l 1.777 * [taylor]: Taking taylor expansion of l in l 1.780 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.781 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.781 * [taylor]: Taking taylor expansion of -1 in l 1.781 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.781 * [taylor]: Taking taylor expansion of PI in l 1.781 * [taylor]: Taking taylor expansion of l in l 1.781 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.781 * [taylor]: Taking taylor expansion of -1 in l 1.781 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.781 * [taylor]: Taking taylor expansion of PI in l 1.781 * [taylor]: Taking taylor expansion of l in l 1.790 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.790 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.790 * [taylor]: Taking taylor expansion of (* PI l) in l 1.790 * [taylor]: Taking taylor expansion of PI in l 1.790 * [taylor]: Taking taylor expansion of l in l 1.790 * [taylor]: Taking taylor expansion of (* PI l) in l 1.790 * [taylor]: Taking taylor expansion of PI in l 1.790 * [taylor]: Taking taylor expansion of l in l 1.796 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.796 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.796 * [taylor]: Taking taylor expansion of PI in l 1.796 * [taylor]: Taking taylor expansion of l in l 1.797 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.797 * [taylor]: Taking taylor expansion of PI in l 1.797 * [taylor]: Taking taylor expansion of l in l 1.801 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.801 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.801 * [taylor]: Taking taylor expansion of -1 in l 1.801 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.801 * [taylor]: Taking taylor expansion of PI in l 1.801 * [taylor]: Taking taylor expansion of l in l 1.801 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.801 * [taylor]: Taking taylor expansion of -1 in l 1.801 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.801 * [taylor]: Taking taylor expansion of PI in l 1.801 * [taylor]: Taking taylor expansion of l in l 1.810 * * * [progress]: simplifying candidates 1.811 * [simplify]: Simplifying using # : (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (+ (- (log (sqrt 1.0)) (log F)) (log (tan (* PI l)))) (+ (log (/ (sqrt 1.0) F)) (log (tan (* PI l)))) (log (* (/ (sqrt 1.0) F) (tan (* PI l)))) (exp (* (/ (sqrt 1.0) F) (tan (* PI l)))) (* (/ (* (* (sqrt 1.0) (sqrt 1.0)) (sqrt 1.0)) (* (* F F) F)) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (* (* (/ (sqrt 1.0) F) (/ (sqrt 1.0) F)) (/ (sqrt 1.0) F)) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (cbrt (* (/ (sqrt 1.0) F) (tan (* PI l)))) (cbrt (* (/ (sqrt 1.0) F) (tan (* PI l))))) (cbrt (* (/ (sqrt 1.0) F) (tan (* PI l)))) (* (* (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l)))) (* (/ (sqrt 1.0) F) (tan (* PI l)))) (sqrt (* (/ (sqrt 1.0) F) (tan (* PI l)))) (sqrt (* (/ (sqrt 1.0) F) (tan (* PI l)))) (* (sqrt 1.0) (sin (* PI l))) (* F (cos (* PI l))) (* (sqrt (/ (sqrt 1.0) F)) (sqrt (tan (* PI l)))) (* (sqrt (/ (sqrt 1.0) F)) (sqrt (tan (* PI l)))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) 1) (* (cbrt (/ (sqrt 1.0) F)) (tan (* PI l))) (* (sqrt (/ (sqrt 1.0) F)) (tan (* PI l))) (* (/ (cbrt (sqrt 1.0)) (cbrt F)) (tan (* PI l))) (* (/ (cbrt (sqrt 1.0)) (sqrt F)) (tan (* PI l))) (* (/ (cbrt (sqrt 1.0)) F) (tan (* PI l))) (* (/ (sqrt (cbrt 1.0)) (cbrt F)) (tan (* PI l))) (* (/ (sqrt (cbrt 1.0)) (sqrt F)) (tan (* PI l))) (* (/ (sqrt (cbrt 1.0)) F) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) (cbrt F)) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) F) (tan (* PI l))) (* (/ (sqrt 1.0) (cbrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) (sqrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) (cbrt F)) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) (sqrt F)) (tan (* PI l))) (* (/ (sqrt (sqrt 1.0)) F) (tan (* PI l))) (* (/ (sqrt 1.0) (cbrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) (sqrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ 1 F) (tan (* PI l))) (* (/ (sqrt 1.0) F) (sin (* PI l))) (* (sqrt 1.0) (tan (* PI l))) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (+ (/ (* (sqrt 1.0) (* PI l)) F) (* 1/3 (/ (* (sqrt 1.0) (* (pow PI 3) (pow l 3))) F))) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) (/ (* (sin (* PI l)) (sqrt 1.0)) (* (cos (* PI l)) F)) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) 1.815 * * [simplify]: iteration 0 : 134 enodes (cost 900 ) 1.839 * * [simplify]: iteration 1 : 306 enodes (cost 877 ) 1.897 * * [simplify]: iteration 2 : 976 enodes (cost 797 )