119.697 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.026 * [simplify]: Simplifying using # : (* x (log x)) 0.027 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 0.027 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 0.027 * * [simplify]: iteration done : 4 enodes (cost 4 ) 0.027 * [simplify]: Simplified to: (* x (log x)) 0.028 * * [progress]: iteration 1 / 4 0.028 * * * [progress]: picking best candidate 0.030 * * * * [pick]: Picked # 0.030 * * * [progress]: localizing error 0.033 * * * [progress]: generating rewritten candidates 0.033 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.040 * * * [progress]: generating series expansions 0.040 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.040 * [approximate]: Taking taylor expansion of (* x (log x)) in (x) around 0 0.040 * [taylor]: Taking taylor expansion of (* x (log x)) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.040 * [taylor]: Taking taylor expansion of (log x) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.040 * [taylor]: Taking taylor expansion of (* x (log x)) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.040 * [taylor]: Taking taylor expansion of (log x) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.048 * [approximate]: Taking taylor expansion of (/ (log (/ 1 x)) x) in (x) around 0 0.048 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.048 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.048 * [taylor]: Taking taylor expansion of x in x 0.048 * [taylor]: Taking taylor expansion of x in x 0.048 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.048 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.048 * [taylor]: Taking taylor expansion of x in x 0.048 * [taylor]: Taking taylor expansion of x in x 0.053 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in (x) around 0 0.053 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x 0.053 * [taylor]: Taking taylor expansion of -1 in x 0.053 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.053 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.053 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.053 * [taylor]: Taking taylor expansion of -1 in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.053 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x 0.053 * [taylor]: Taking taylor expansion of -1 in x 0.053 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.053 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.053 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.054 * [taylor]: Taking taylor expansion of -1 in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.059 * * * [progress]: simplifying candidates 0.060 * [simplify]: Simplifying using # : (* x (log x)) (+ (log x) (log (log x))) (log (* x (log x))) (exp (* x (log x))) (* (* (* x x) x) (* (* (log x) (log x)) (log x))) (* (cbrt (* x (log x))) (cbrt (* x (log x)))) (cbrt (* x (log x))) (* (* (* x (log x)) (* x (log x))) (* x (log x))) (sqrt (* x (log x))) (sqrt (* x (log x))) (* (sqrt x) (sqrt (log x))) (* (sqrt x) (sqrt (log x))) (* x (log (* (cbrt x) (cbrt x)))) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) (* x (log 1)) (* x (log x)) (* (log (* (cbrt x) (cbrt x))) x) (* (log (cbrt x)) x) (* (log (sqrt x)) x) (* (log (sqrt x)) x) (* (log 1) x) (* (log x) x) (* x 1) (* x (* (cbrt (log x)) (cbrt (log x)))) (* x (sqrt (log x))) (* x 1) (* (cbrt x) (log x)) (* (sqrt x) (log x)) (* x (log x)) (* x (+ (log 1) (log x))) (* x (- (log 1) (log (/ 1 x)))) (* x (- (log -1) (log (/ -1 x)))) 0.061 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 0.061 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 0.062 * * [simplify]: iteration done : 4 enodes (cost 4 ) 0.062 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 0.063 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 0.063 * * [simplify]: iteration done : 5 enodes (cost 6 ) 0.064 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.064 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.065 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 0.066 * * [simplify]: iteration done : 8 enodes (cost 5 ) 0.066 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.067 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.068 * * [simplify]: iteration 2 : 14 enodes (cost 3 ) 0.070 * * [simplify]: iteration 3 : 24 enodes (cost 3 ) 0.073 * * [simplify]: iteration 4 : 47 enodes (cost 3 ) 0.085 * * [simplify]: iteration 5 : 103 enodes (cost 3 ) 0.118 * * [simplify]: iteration 6 : 242 enodes (cost 3 ) 0.269 * * [simplify]: iteration 7 : 701 enodes (cost 3 ) 1.342 * * [simplify]: iteration 8 : 2681 enodes (cost 3 ) 3.454 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 3.455 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 3.456 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 3.459 * * [simplify]: iteration 2 : 39 enodes (cost 8 ) 3.467 * * [simplify]: iteration 3 : 76 enodes (cost 8 ) 3.487 * * [simplify]: iteration 4 : 134 enodes (cost 6 ) 3.538 * * [simplify]: iteration 5 : 258 enodes (cost 6 ) 3.683 * * [simplify]: iteration 6 : 662 enodes (cost 6 ) 4.630 * * [simplify]: iteration 7 : 2440 enodes (cost 6 ) 6.449 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 6.450 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 6.450 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 6.451 * * [simplify]: iteration done : 6 enodes (cost 11 ) 6.452 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 6.452 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 6.453 * * [simplify]: iteration done : 5 enodes (cost 5 ) 6.453 * * [simplify]: iteration 0 : 5 enodes (cost 14 ) 6.454 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 6.457 * * [simplify]: iteration 2 : 45 enodes (cost 6 ) 6.474 * * [simplify]: iteration 3 : 91 enodes (cost 6 ) 6.497 * * [simplify]: iteration 4 : 107 enodes (cost 6 ) 6.528 * * [simplify]: iteration 5 : 153 enodes (cost 6 ) 6.587 * * [simplify]: iteration 6 : 293 enodes (cost 6 ) 6.759 * * [simplify]: iteration 7 : 755 enodes (cost 6 ) 7.824 * * [simplify]: iteration 8 : 2745 enodes (cost 6 ) 9.539 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 9.540 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 9.540 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 9.541 * * [simplify]: iteration done : 5 enodes (cost 5 ) 9.541 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 9.542 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 9.542 * * [simplify]: iteration done : 5 enodes (cost 5 ) 9.543 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 9.543 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 9.544 * * [simplify]: iteration done : 6 enodes (cost 6 ) 9.544 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 9.545 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 9.545 * * [simplify]: iteration done : 6 enodes (cost 6 ) 9.546 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 9.547 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 9.548 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 9.549 * * [simplify]: iteration 3 : 20 enodes (cost 7 ) 9.552 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 9.556 * * [simplify]: iteration done : 24 enodes (cost 7 ) 9.556 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 9.557 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 9.557 * * [simplify]: iteration done : 5 enodes (cost 5 ) 9.558 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 9.558 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 9.559 * * [simplify]: iteration done : 5 enodes (cost 5 ) 9.560 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 9.560 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 9.561 * * [simplify]: iteration done : 5 enodes (cost 5 ) 9.561 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 9.562 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 9.562 * * [simplify]: iteration done : 7 enodes (cost 1 ) 9.563 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 9.563 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 9.564 * * [simplify]: iteration done : 4 enodes (cost 4 ) 9.564 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 9.565 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 9.566 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 9.567 * * [simplify]: iteration 3 : 20 enodes (cost 7 ) 9.570 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 9.573 * * [simplify]: iteration done : 24 enodes (cost 7 ) 9.574 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 9.575 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 9.575 * * [simplify]: iteration done : 5 enodes (cost 5 ) 9.576 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 9.576 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 9.577 * * [simplify]: iteration done : 5 enodes (cost 5 ) 9.577 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 9.578 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 9.578 * * [simplify]: iteration done : 5 enodes (cost 5 ) 9.579 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 9.579 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 9.580 * * [simplify]: iteration done : 7 enodes (cost 1 ) 9.580 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 9.581 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 9.581 * * [simplify]: iteration done : 4 enodes (cost 4 ) 9.582 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 9.582 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 9.582 * * [simplify]: iteration done : 6 enodes (cost 1 ) 9.583 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 9.584 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 9.584 * * [simplify]: iteration 2 : 10 enodes (cost 9 ) 9.586 * * [simplify]: iteration done : 10 enodes (cost 9 ) 9.586 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 9.587 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 9.587 * * [simplify]: iteration done : 5 enodes (cost 5 ) 9.588 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 9.588 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 9.588 * * [simplify]: iteration done : 6 enodes (cost 1 ) 9.589 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 9.589 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 9.590 * * [simplify]: iteration done : 5 enodes (cost 5 ) 9.590 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 9.593 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 9.594 * * [simplify]: iteration done : 5 enodes (cost 5 ) 9.594 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 9.595 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 9.595 * * [simplify]: iteration done : 4 enodes (cost 4 ) 9.596 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 9.596 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 9.598 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 9.600 * * [simplify]: iteration 3 : 22 enodes (cost 4 ) 9.601 * * [simplify]: iteration done : 22 enodes (cost 4 ) 9.602 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 9.603 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 9.605 * * [simplify]: iteration 2 : 25 enodes (cost 4 ) 9.610 * * [simplify]: iteration 3 : 44 enodes (cost 4 ) 9.614 * * [simplify]: iteration 4 : 52 enodes (cost 4 ) 9.620 * * [simplify]: iteration 5 : 69 enodes (cost 4 ) 9.640 * * [simplify]: iteration 6 : 104 enodes (cost 4 ) 9.647 * * [simplify]: iteration done : 104 enodes (cost 4 ) 9.648 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 9.649 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 9.650 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 9.656 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 9.662 * * [simplify]: iteration 4 : 66 enodes (cost 4 ) 9.680 * * [simplify]: iteration 5 : 186 enodes (cost 4 ) 10.008 * * [simplify]: iteration 6 : 967 enodes (cost 4 ) 11.409 * * [simplify]: iteration 7 : 2285 enodes (cost 4 ) 15.798 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 15.799 * [simplify]: Simplified to: (* x (log x)) (+ (log x) (log (log x))) (log (* x (log x))) (pow x x) (pow (* x (log x)) 3) (* (cbrt (* x (log x))) (cbrt (* x (log x)))) (cbrt (* x (log x))) (pow (* x (log x)) 3) (sqrt (* x (log x))) (sqrt (* x (log x))) (* (sqrt x) (sqrt (log x))) (* (sqrt x) (sqrt (log x))) (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) 0 (* x (log x)) (* x (* 2 (log (cbrt x)))) (* (log (cbrt x)) x) (* (log (sqrt x)) x) (* (log (sqrt x)) x) 0 (* (log x) x) x (* x (* (cbrt (log x)) (cbrt (log x)))) (* x (sqrt (log x))) x (* (cbrt x) (log x)) (* (sqrt x) (log x)) (* x (log x)) (* x (log x)) (* (log x) x) (* (log x) x) 15.804 * * * [progress]: adding candidates to table 15.832 * * [progress]: iteration 2 / 4 15.832 * * * [progress]: picking best candidate 15.847 * * * * [pick]: Picked # 15.847 * * * [progress]: localizing error 15.856 * * * [progress]: generating rewritten candidates 15.856 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 15.858 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1) 15.859 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 15.875 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 15.888 * * * [progress]: generating series expansions 15.888 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 15.888 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 15.888 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.888 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.888 * [taylor]: Taking taylor expansion of 1/3 in x 15.888 * [taylor]: Taking taylor expansion of (log x) in x 15.888 * [taylor]: Taking taylor expansion of x in x 15.888 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.888 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.888 * [taylor]: Taking taylor expansion of 1/3 in x 15.888 * [taylor]: Taking taylor expansion of (log x) in x 15.888 * [taylor]: Taking taylor expansion of x in x 15.897 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 15.897 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.897 * [taylor]: Taking taylor expansion of 1/3 in x 15.897 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.897 * [taylor]: Taking taylor expansion of x in x 15.897 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.897 * [taylor]: Taking taylor expansion of 1/3 in x 15.897 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.898 * [taylor]: Taking taylor expansion of x in x 15.905 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 15.905 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 15.905 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.905 * [taylor]: Taking taylor expansion of 1/3 in x 15.905 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.905 * [taylor]: Taking taylor expansion of x in x 15.905 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.905 * [taylor]: Taking taylor expansion of -1 in x 15.906 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 15.906 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.906 * [taylor]: Taking taylor expansion of 1/3 in x 15.906 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.906 * [taylor]: Taking taylor expansion of x in x 15.906 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.906 * [taylor]: Taking taylor expansion of -1 in x 15.915 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1) 15.915 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 15.915 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.915 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.915 * [taylor]: Taking taylor expansion of 1/3 in x 15.915 * [taylor]: Taking taylor expansion of (log x) in x 15.915 * [taylor]: Taking taylor expansion of x in x 15.916 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.916 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.916 * [taylor]: Taking taylor expansion of 1/3 in x 15.916 * [taylor]: Taking taylor expansion of (log x) in x 15.916 * [taylor]: Taking taylor expansion of x in x 15.923 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 15.923 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.923 * [taylor]: Taking taylor expansion of 1/3 in x 15.923 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.923 * [taylor]: Taking taylor expansion of x in x 15.923 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.923 * [taylor]: Taking taylor expansion of 1/3 in x 15.923 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.923 * [taylor]: Taking taylor expansion of x in x 15.931 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 15.931 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 15.931 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.931 * [taylor]: Taking taylor expansion of 1/3 in x 15.931 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.931 * [taylor]: Taking taylor expansion of x in x 15.931 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.931 * [taylor]: Taking taylor expansion of -1 in x 15.931 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 15.931 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.931 * [taylor]: Taking taylor expansion of 1/3 in x 15.931 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.931 * [taylor]: Taking taylor expansion of x in x 15.931 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.931 * [taylor]: Taking taylor expansion of -1 in x 15.940 * * * * [progress]: [ 3 / 4 ] generating series at (2) 15.941 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0 15.941 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 15.941 * [taylor]: Taking taylor expansion of 3 in x 15.941 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 15.941 * [taylor]: Taking taylor expansion of x in x 15.941 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 15.941 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.941 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.941 * [taylor]: Taking taylor expansion of 1/3 in x 15.941 * [taylor]: Taking taylor expansion of (log x) in x 15.941 * [taylor]: Taking taylor expansion of x in x 15.941 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 15.941 * [taylor]: Taking taylor expansion of 3 in x 15.941 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 15.941 * [taylor]: Taking taylor expansion of x in x 15.941 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 15.941 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.941 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.941 * [taylor]: Taking taylor expansion of 1/3 in x 15.941 * [taylor]: Taking taylor expansion of (log x) in x 15.941 * [taylor]: Taking taylor expansion of x in x 15.963 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 15.963 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 15.963 * [taylor]: Taking taylor expansion of 3 in x 15.963 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 15.963 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 15.963 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.963 * [taylor]: Taking taylor expansion of 1/3 in x 15.963 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.963 * [taylor]: Taking taylor expansion of x in x 15.964 * [taylor]: Taking taylor expansion of x in x 15.964 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 15.964 * [taylor]: Taking taylor expansion of 3 in x 15.964 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 15.964 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 15.964 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.964 * [taylor]: Taking taylor expansion of 1/3 in x 15.964 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.964 * [taylor]: Taking taylor expansion of x in x 15.964 * [taylor]: Taking taylor expansion of x in x 15.983 * [approximate]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x))) in (x) around 0 15.983 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x))) in x 15.983 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) in x 15.983 * [taylor]: Taking taylor expansion of 3 in x 15.983 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x) in x 15.983 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 15.983 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 15.983 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.983 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.983 * [taylor]: Taking taylor expansion of 1/3 in x 15.983 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.983 * [taylor]: Taking taylor expansion of x in x 15.983 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.983 * [taylor]: Taking taylor expansion of -1 in x 15.984 * [taylor]: Taking taylor expansion of x in x 15.984 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x))) in x 15.984 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) in x 15.984 * [taylor]: Taking taylor expansion of 3 in x 15.984 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x) in x 15.984 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 15.984 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 15.984 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.984 * [taylor]: Taking taylor expansion of 1/3 in x 15.984 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.984 * [taylor]: Taking taylor expansion of x in x 15.984 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.984 * [taylor]: Taking taylor expansion of -1 in x 15.984 * [taylor]: Taking taylor expansion of x in x 16.004 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 16.004 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in (x) around 0 16.004 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 16.004 * [taylor]: Taking taylor expansion of 2 in x 16.004 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 16.004 * [taylor]: Taking taylor expansion of x in x 16.004 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 16.004 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.004 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.004 * [taylor]: Taking taylor expansion of 1/3 in x 16.004 * [taylor]: Taking taylor expansion of (log x) in x 16.004 * [taylor]: Taking taylor expansion of x in x 16.004 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 16.004 * [taylor]: Taking taylor expansion of 2 in x 16.004 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 16.004 * [taylor]: Taking taylor expansion of x in x 16.004 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 16.004 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.004 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.004 * [taylor]: Taking taylor expansion of 1/3 in x 16.004 * [taylor]: Taking taylor expansion of (log x) in x 16.004 * [taylor]: Taking taylor expansion of x in x 16.027 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 16.027 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 16.027 * [taylor]: Taking taylor expansion of 2 in x 16.027 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 16.027 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 16.027 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.027 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.027 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.027 * [taylor]: Taking taylor expansion of 1/3 in x 16.027 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.027 * [taylor]: Taking taylor expansion of x in x 16.027 * [taylor]: Taking taylor expansion of x in x 16.027 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 16.027 * [taylor]: Taking taylor expansion of 2 in x 16.027 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 16.027 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 16.027 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.027 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.027 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.027 * [taylor]: Taking taylor expansion of 1/3 in x 16.027 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.027 * [taylor]: Taking taylor expansion of x in x 16.028 * [taylor]: Taking taylor expansion of x in x 16.041 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) in (x) around 0 16.041 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) in x 16.041 * [taylor]: Taking taylor expansion of -2 in x 16.041 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x) in x 16.041 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 16.041 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 16.041 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.042 * [taylor]: Taking taylor expansion of 1/3 in x 16.042 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.042 * [taylor]: Taking taylor expansion of x in x 16.042 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.042 * [taylor]: Taking taylor expansion of -1 in x 16.042 * [taylor]: Taking taylor expansion of x in x 16.042 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) in x 16.042 * [taylor]: Taking taylor expansion of -2 in x 16.042 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x) in x 16.042 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 16.042 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 16.042 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.042 * [taylor]: Taking taylor expansion of 1/3 in x 16.042 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.042 * [taylor]: Taking taylor expansion of x in x 16.043 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.043 * [taylor]: Taking taylor expansion of -1 in x 16.043 * [taylor]: Taking taylor expansion of x in x 16.062 * * * [progress]: simplifying candidates 16.064 * [simplify]: Simplifying using # : (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (* (exp (* x (* 2 (log (cbrt x))))) (exp (* x (log (cbrt x))))) (log (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))) (exp (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))) (* (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))) (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))))) (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))) (* (* (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))) (sqrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))) (sqrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))) (+ (pow (* x (* 2 (log (cbrt x)))) 3) (pow (* x (log (cbrt x))) 3)) (+ (* (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x))))) (- (* (* x (log (cbrt x))) (* x (log (cbrt x)))) (* (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))))) (- (* (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x))))) (* (* x (log (cbrt x))) (* x (log (cbrt x))))) (- (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))) (+ (* 2 (log (cbrt x))) (log (cbrt x))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt (* (cbrt x) (cbrt x)))))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt (sqrt x))))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt 1)))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (sqrt (cbrt x))))) (+ (* x (* 2 (log (cbrt x)))) (* x (log 1))) (+ (* x (* 2 (log (cbrt x)))) (* (log (cbrt (* (cbrt x) (cbrt x)))) x)) (+ (* x (* 2 (log (cbrt x)))) (* (log (cbrt (sqrt x))) x)) (+ (* x (* 2 (log (cbrt x)))) (* (log (cbrt 1)) x)) (+ (* x (* 2 (log (cbrt x)))) (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) x)) (+ (* x (* 2 (log (cbrt x)))) (* (log (sqrt (cbrt x))) x)) (+ (* x (* 2 (log (cbrt x)))) (* (log 1) x)) (+ (* x (* 2 (log (cbrt (cbrt x))))) (* x (log (cbrt x)))) (+ (* x (* 2 (log (cbrt (sqrt x))))) (* x (log (cbrt x)))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))) (+ (* x (* 2 (log (cbrt (cbrt x))))) (* x (log (cbrt x)))) (+ (* x (* 2 (log (sqrt (cbrt x))))) (* x (log (cbrt x)))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x)))) (+ (* x (* (log (cbrt (cbrt x))) 2)) (* x (log (cbrt x)))) (+ (* x (* (log (cbrt (sqrt x))) 2)) (* x (log (cbrt x)))) (+ (* x (* (log (cbrt x)) 2)) (* x (log (cbrt x)))) (+ (* x (* (log (cbrt (cbrt x))) 2)) (* x (log (cbrt x)))) (+ (* x (* (log (sqrt (cbrt x))) 2)) (* x (log (cbrt x)))) (+ (* x (* (log (cbrt x)) 2)) (* x (log (cbrt x)))) (+ (* (* 2 (log (cbrt (cbrt x)))) x) (* x (log (cbrt x)))) (+ (* (* 2 (log (cbrt (sqrt x)))) x) (* x (log (cbrt x)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))) (+ (* (* 2 (log (cbrt (cbrt x)))) x) (* x (log (cbrt x)))) (+ (* (* 2 (log (sqrt (cbrt x)))) x) (* x (log (cbrt x)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))) (+ (* (* (log (cbrt (cbrt x))) 2) x) (* x (log (cbrt x)))) (+ (* (* (log (cbrt (sqrt x))) 2) x) (* x (log (cbrt x)))) (+ (* (* (log (cbrt x)) 2) x) (* x (log (cbrt x)))) (+ (* (* (log (cbrt (cbrt x))) 2) x) (* x (log (cbrt x)))) (+ (* (* (log (sqrt (cbrt x))) 2) x) (* x (log (cbrt x)))) (+ (* (* (log (cbrt x)) 2) x) (* x (log (cbrt x)))) (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x)))) (+ (log x) (+ (log 2) (log (log (cbrt x))))) (+ (log x) (log (* 2 (log (cbrt x))))) (log (* x (* 2 (log (cbrt x))))) (exp (* x (* 2 (log (cbrt x))))) (* (* (* x x) x) (* (* (* 2 2) 2) (* (* (log (cbrt x)) (log (cbrt x))) (log (cbrt x))))) (* (* (* x x) x) (* (* (* 2 (log (cbrt x))) (* 2 (log (cbrt x)))) (* 2 (log (cbrt x))))) (* (cbrt (* x (* 2 (log (cbrt x))))) (cbrt (* x (* 2 (log (cbrt x)))))) (cbrt (* x (* 2 (log (cbrt x))))) (* (* (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x))))) (* x (* 2 (log (cbrt x))))) (sqrt (* x (* 2 (log (cbrt x))))) (sqrt (* x (* 2 (log (cbrt x))))) (* x (* 2 (log (cbrt (* (cbrt x) (cbrt x)))))) (* x (* 2 (log (cbrt (cbrt x))))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (* 2 (log (cbrt 1)))) (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (* x (* 2 (log (cbrt (cbrt x))))) (* x (* 2 (log (sqrt (cbrt x))))) (* x (* 2 (log (sqrt (cbrt x))))) (* x (* 2 (log 1))) (* x (* 2 (log (cbrt x)))) (* x (* (log (cbrt (* (cbrt x) (cbrt x)))) 2)) (* x (* (log (cbrt (cbrt x))) 2)) (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt 1)) 2)) (* x (* (log (cbrt x)) 2)) (* x (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) 2)) (* x (* (log (cbrt (cbrt x))) 2)) (* x (* (log (sqrt (cbrt x))) 2)) (* x (* (log (sqrt (cbrt x))) 2)) (* x (* (log 1) 2)) (* x (* (log (cbrt x)) 2)) (* (* 2 (log (cbrt (* (cbrt x) (cbrt x))))) x) (* (* 2 (log (cbrt (cbrt x)))) x) (* (* 2 (log (cbrt (sqrt x)))) x) (* (* 2 (log (cbrt (sqrt x)))) x) (* (* 2 (log (cbrt 1))) x) (* (* 2 (log (cbrt x))) x) (* (* 2 (log (* (cbrt (cbrt x)) (cbrt (cbrt x))))) x) (* (* 2 (log (cbrt (cbrt x)))) x) (* (* 2 (log (sqrt (cbrt x)))) x) (* (* 2 (log (sqrt (cbrt x)))) x) (* (* 2 (log 1)) x) (* (* 2 (log (cbrt x))) x) (* (* (log (cbrt (* (cbrt x) (cbrt x)))) 2) x) (* (* (log (cbrt (cbrt x))) 2) x) (* (* (log (cbrt (sqrt x))) 2) x) (* (* (log (cbrt (sqrt x))) 2) x) (* (* (log (cbrt 1)) 2) x) (* (* (log (cbrt x)) 2) x) (* (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) 2) x) (* (* (log (cbrt (cbrt x))) 2) x) (* (* (log (sqrt (cbrt x))) 2) x) (* (* (log (sqrt (cbrt x))) 2) x) (* (* (log 1) 2) x) (* (* (log (cbrt x)) 2) x) (* x 2) (* (cbrt x) (* 2 (log (cbrt x)))) (* (sqrt x) (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x)))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (* x (+ (log 1) (log x))) (* x (- (log 1) (log (/ 1 x)))) (* 3 (* (log (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1))) x)) (* x (+ (* 2/3 (log 1)) (* 2/3 (log x)))) (* 2/3 (* x (- (log 1) (log (/ 1 x))))) (* 2 (* (log (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1))) x)) 16.065 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.065 * * [simplify]: iteration done : 3 enodes (cost 3 ) 16.066 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.066 * * [simplify]: iteration done : 3 enodes (cost 3 ) 16.067 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 16.068 * * [simplify]: iteration done : 4 enodes (cost 6 ) 16.068 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.069 * * [simplify]: iteration done : 3 enodes (cost 3 ) 16.069 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.070 * * [simplify]: iteration done : 3 enodes (cost 3 ) 16.070 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.070 * * [simplify]: iteration done : 3 enodes (cost 3 ) 16.071 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 16.071 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 16.071 * * [simplify]: iteration done : 4 enodes (cost 1 ) 16.072 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 16.072 * * [simplify]: iteration done : 2 enodes (cost 2 ) 16.073 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 16.073 * * [simplify]: iteration done : 4 enodes (cost 7 ) 16.074 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.074 * * [simplify]: iteration done : 3 enodes (cost 3 ) 16.075 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 16.075 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 16.076 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 16.077 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 16.077 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 16.078 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 16.080 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 16.086 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 16.095 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 16.140 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 16.595 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 18.980 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 18.981 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.982 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.982 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.983 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.983 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.984 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.984 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.984 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.985 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 18.985 * * [simplify]: iteration done : 4 enodes (cost 6 ) 18.986 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.986 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.987 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.987 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.988 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.988 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.988 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 18.989 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 18.989 * * [simplify]: iteration done : 4 enodes (cost 1 ) 18.989 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 18.990 * * [simplify]: iteration done : 2 enodes (cost 2 ) 18.990 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 18.991 * * [simplify]: iteration done : 4 enodes (cost 7 ) 18.991 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.991 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.992 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 18.992 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 18.993 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 18.994 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 18.995 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 18.996 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 18.997 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 19.000 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 19.009 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 19.056 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 19.515 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 21.909 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 21.909 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 21.910 * * [simplify]: iteration done : 3 enodes (cost 3 ) 21.910 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 21.911 * * [simplify]: iteration done : 3 enodes (cost 3 ) 21.911 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 21.913 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 21.915 * * [simplify]: iteration 2 : 43 enodes (cost 10 ) 21.927 * * [simplify]: iteration 3 : 101 enodes (cost 6 ) 21.955 * * [simplify]: iteration 4 : 282 enodes (cost 6 ) 22.132 * * [simplify]: iteration 5 : 981 enodes (cost 6 ) 24.478 * * [simplify]: iteration 6 : 4617 enodes (cost 3 ) 26.353 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 26.353 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 26.355 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 26.358 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 26.363 * * [simplify]: iteration 3 : 49 enodes (cost 8 ) 26.370 * * [simplify]: iteration 4 : 59 enodes (cost 8 ) 26.378 * * [simplify]: iteration 5 : 62 enodes (cost 8 ) 26.385 * * [simplify]: iteration done : 62 enodes (cost 8 ) 26.386 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 26.387 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 26.390 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 26.397 * * [simplify]: iteration 3 : 87 enodes (cost 6 ) 26.418 * * [simplify]: iteration 4 : 218 enodes (cost 6 ) 26.527 * * [simplify]: iteration 5 : 666 enodes (cost 3 ) 27.246 * * [simplify]: iteration 6 : 2309 enodes (cost 3 ) 28.345 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 28.346 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 28.348 * * [simplify]: iteration 1 : 18 enodes (cost 25 ) 28.350 * * [simplify]: iteration 2 : 32 enodes (cost 17 ) 28.355 * * [simplify]: iteration 3 : 41 enodes (cost 17 ) 28.361 * * [simplify]: iteration 4 : 42 enodes (cost 17 ) 28.371 * * [simplify]: iteration done : 42 enodes (cost 17 ) 28.372 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 28.373 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 28.375 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 28.380 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 28.385 * * [simplify]: iteration 4 : 41 enodes (cost 8 ) 28.391 * * [simplify]: iteration done : 41 enodes (cost 8 ) 28.391 * * [simplify]: iteration 0 : 10 enodes (cost 41 ) 28.393 * * [simplify]: iteration 1 : 31 enodes (cost 35 ) 28.401 * * [simplify]: iteration 2 : 127 enodes (cost 9 ) 28.468 * * [simplify]: iteration 3 : 645 enodes (cost 9 ) 29.626 * * [simplify]: iteration 4 : 2786 enodes (cost 9 ) 32.530 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 32.531 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 32.532 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 32.534 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 32.539 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 32.545 * * [simplify]: iteration 4 : 41 enodes (cost 8 ) 32.550 * * [simplify]: iteration done : 41 enodes (cost 8 ) 32.551 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 32.552 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 32.554 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 32.559 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 32.564 * * [simplify]: iteration 4 : 41 enodes (cost 8 ) 32.570 * * [simplify]: iteration done : 41 enodes (cost 8 ) 32.570 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 32.572 * * [simplify]: iteration 1 : 34 enodes (cost 17 ) 32.579 * * [simplify]: iteration 2 : 120 enodes (cost 17 ) 32.629 * * [simplify]: iteration 3 : 506 enodes (cost 11 ) 33.153 * * [simplify]: iteration 4 : 1632 enodes (cost 9 ) 36.241 * * [simplify]: iteration 5 : 4078 enodes (cost 9 ) 37.981 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 37.982 * * [simplify]: iteration 0 : 12 enodes (cost 41 ) 37.984 * * [simplify]: iteration 1 : 41 enodes (cost 35 ) 37.993 * * [simplify]: iteration 2 : 146 enodes (cost 29 ) 38.054 * * [simplify]: iteration 3 : 424 enodes (cost 25 ) 38.379 * * [simplify]: iteration 4 : 1058 enodes (cost 19 ) 41.043 * * [simplify]: iteration 5 : 3182 enodes (cost 13 ) 44.823 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 44.824 * * [simplify]: iteration 0 : 10 enodes (cost 27 ) 44.826 * * [simplify]: iteration 1 : 33 enodes (cost 27 ) 44.833 * * [simplify]: iteration 2 : 118 enodes (cost 19 ) 44.878 * * [simplify]: iteration 3 : 341 enodes (cost 17 ) 45.041 * * [simplify]: iteration 4 : 647 enodes (cost 15 ) 45.487 * * [simplify]: iteration 5 : 1231 enodes (cost 15 ) 46.725 * * [simplify]: iteration 6 : 1978 enodes (cost 13 ) 49.695 * * [simplify]: iteration 7 : 3840 enodes (cost 13 ) 51.949 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 51.950 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 51.951 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 51.954 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 51.959 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 51.965 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 51.970 * * [simplify]: iteration done : 38 enodes (cost 9 ) 51.971 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 51.971 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 51.972 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 51.974 * * [simplify]: iteration done : 15 enodes (cost 5 ) 51.974 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 51.976 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 51.983 * * [simplify]: iteration 2 : 27 enodes (cost 15 ) 51.987 * * [simplify]: iteration 3 : 29 enodes (cost 15 ) 51.991 * * [simplify]: iteration done : 29 enodes (cost 15 ) 51.992 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 51.993 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 51.996 * * [simplify]: iteration 2 : 27 enodes (cost 12 ) 51.999 * * [simplify]: iteration 3 : 29 enodes (cost 12 ) 52.003 * * [simplify]: iteration done : 29 enodes (cost 12 ) 52.004 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 52.005 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 52.008 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 52.011 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 52.015 * * [simplify]: iteration done : 31 enodes (cost 10 ) 52.016 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 52.017 * * [simplify]: iteration 1 : 21 enodes (cost 16 ) 52.020 * * [simplify]: iteration 2 : 36 enodes (cost 14 ) 52.025 * * [simplify]: iteration 3 : 57 enodes (cost 12 ) 52.035 * * [simplify]: iteration 4 : 70 enodes (cost 12 ) 52.049 * * [simplify]: iteration 5 : 76 enodes (cost 12 ) 52.061 * * [simplify]: iteration 6 : 85 enodes (cost 12 ) 52.076 * * [simplify]: iteration 7 : 99 enodes (cost 12 ) 52.098 * * [simplify]: iteration 8 : 110 enodes (cost 12 ) 52.115 * * [simplify]: iteration done : 110 enodes (cost 12 ) 52.116 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.118 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 52.120 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.124 * * [simplify]: iteration done : 26 enodes (cost 12 ) 52.124 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 52.126 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 52.128 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 52.132 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 52.135 * * [simplify]: iteration done : 35 enodes (cost 7 ) 52.136 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 52.137 * * [simplify]: iteration 1 : 17 enodes (cost 17 ) 52.140 * * [simplify]: iteration 2 : 27 enodes (cost 15 ) 52.143 * * [simplify]: iteration 3 : 31 enodes (cost 15 ) 52.147 * * [simplify]: iteration done : 31 enodes (cost 15 ) 52.148 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 52.149 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 52.152 * * [simplify]: iteration 2 : 27 enodes (cost 12 ) 52.159 * * [simplify]: iteration 3 : 31 enodes (cost 12 ) 52.163 * * [simplify]: iteration done : 31 enodes (cost 12 ) 52.164 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 52.165 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 52.168 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 52.171 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 52.175 * * [simplify]: iteration done : 33 enodes (cost 10 ) 52.175 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 52.177 * * [simplify]: iteration 1 : 19 enodes (cost 18 ) 52.179 * * [simplify]: iteration 2 : 34 enodes (cost 14 ) 52.185 * * [simplify]: iteration 3 : 55 enodes (cost 12 ) 52.193 * * [simplify]: iteration 4 : 73 enodes (cost 12 ) 52.205 * * [simplify]: iteration 5 : 79 enodes (cost 12 ) 52.220 * * [simplify]: iteration 6 : 88 enodes (cost 12 ) 52.235 * * [simplify]: iteration 7 : 102 enodes (cost 12 ) 52.253 * * [simplify]: iteration 8 : 111 enodes (cost 12 ) 52.274 * * [simplify]: iteration done : 111 enodes (cost 12 ) 52.274 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.276 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 52.278 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.282 * * [simplify]: iteration 3 : 30 enodes (cost 12 ) 52.287 * * [simplify]: iteration done : 30 enodes (cost 12 ) 52.288 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 52.289 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 52.291 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 52.295 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 52.299 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 52.302 * * [simplify]: iteration done : 37 enodes (cost 7 ) 52.303 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.304 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 52.307 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.310 * * [simplify]: iteration done : 26 enodes (cost 12 ) 52.311 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 52.312 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 52.315 * * [simplify]: iteration 2 : 27 enodes (cost 12 ) 52.318 * * [simplify]: iteration done : 27 enodes (cost 12 ) 52.319 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 52.320 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 52.322 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 52.327 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 52.336 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 52.341 * * [simplify]: iteration done : 40 enodes (cost 7 ) 52.342 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.343 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 52.345 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.349 * * [simplify]: iteration done : 26 enodes (cost 12 ) 52.349 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.351 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 52.353 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.357 * * [simplify]: iteration done : 26 enodes (cost 12 ) 52.357 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 52.358 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 52.361 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 52.365 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 52.371 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 52.376 * * [simplify]: iteration done : 40 enodes (cost 7 ) 52.376 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.378 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 52.380 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.384 * * [simplify]: iteration done : 26 enodes (cost 12 ) 52.385 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 52.386 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 52.392 * * [simplify]: iteration 2 : 27 enodes (cost 12 ) 52.396 * * [simplify]: iteration done : 27 enodes (cost 12 ) 52.396 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 52.397 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 52.400 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 52.404 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 52.409 * * [simplify]: iteration 4 : 43 enodes (cost 7 ) 52.414 * * [simplify]: iteration done : 43 enodes (cost 7 ) 52.415 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.416 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 52.419 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.422 * * [simplify]: iteration done : 26 enodes (cost 12 ) 52.423 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.424 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 52.427 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.430 * * [simplify]: iteration done : 26 enodes (cost 12 ) 52.431 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 52.432 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 52.434 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 52.438 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 52.443 * * [simplify]: iteration 4 : 43 enodes (cost 7 ) 52.452 * * [simplify]: iteration done : 43 enodes (cost 7 ) 52.453 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.454 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 52.456 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.460 * * [simplify]: iteration 3 : 28 enodes (cost 12 ) 52.463 * * [simplify]: iteration done : 28 enodes (cost 12 ) 52.464 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 52.465 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 52.468 * * [simplify]: iteration 2 : 27 enodes (cost 12 ) 52.472 * * [simplify]: iteration 3 : 29 enodes (cost 12 ) 52.475 * * [simplify]: iteration done : 29 enodes (cost 12 ) 52.476 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 52.477 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 52.479 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 52.483 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 52.488 * * [simplify]: iteration 4 : 45 enodes (cost 7 ) 52.493 * * [simplify]: iteration done : 45 enodes (cost 7 ) 52.494 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.495 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 52.497 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.501 * * [simplify]: iteration 3 : 28 enodes (cost 12 ) 52.504 * * [simplify]: iteration done : 28 enodes (cost 12 ) 52.508 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.510 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 52.512 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.516 * * [simplify]: iteration 3 : 28 enodes (cost 12 ) 52.519 * * [simplify]: iteration done : 28 enodes (cost 12 ) 52.520 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 52.521 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 52.523 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 52.527 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 52.533 * * [simplify]: iteration 4 : 45 enodes (cost 7 ) 52.538 * * [simplify]: iteration done : 45 enodes (cost 7 ) 52.539 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.540 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 52.542 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.545 * * [simplify]: iteration 3 : 28 enodes (cost 12 ) 52.549 * * [simplify]: iteration done : 28 enodes (cost 12 ) 52.549 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 52.551 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 52.553 * * [simplify]: iteration 2 : 27 enodes (cost 12 ) 52.557 * * [simplify]: iteration 3 : 29 enodes (cost 12 ) 52.561 * * [simplify]: iteration done : 29 enodes (cost 12 ) 52.562 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 52.562 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 52.564 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 52.573 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 52.577 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 52.583 * * [simplify]: iteration done : 41 enodes (cost 7 ) 52.584 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.585 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 52.587 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.590 * * [simplify]: iteration 3 : 28 enodes (cost 12 ) 52.594 * * [simplify]: iteration done : 28 enodes (cost 12 ) 52.594 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.595 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 52.598 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.602 * * [simplify]: iteration 3 : 28 enodes (cost 12 ) 52.605 * * [simplify]: iteration done : 28 enodes (cost 12 ) 52.606 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 52.607 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 52.609 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 52.613 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 52.618 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 52.623 * * [simplify]: iteration done : 41 enodes (cost 7 ) 52.624 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 52.628 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 52.629 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 52.631 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 52.634 * * [simplify]: iteration done : 18 enodes (cost 7 ) 52.634 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 52.635 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 52.636 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 52.638 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 52.640 * * [simplify]: iteration done : 18 enodes (cost 7 ) 52.641 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 52.642 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 52.643 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 52.645 * * [simplify]: iteration done : 19 enodes (cost 10 ) 52.646 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 52.647 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 52.648 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 52.650 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 52.652 * * [simplify]: iteration done : 22 enodes (cost 9 ) 52.653 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 52.654 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 52.656 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 52.659 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 52.664 * * [simplify]: iteration done : 41 enodes (cost 8 ) 52.664 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 52.665 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 52.667 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 52.671 * * [simplify]: iteration 3 : 57 enodes (cost 6 ) 52.682 * * [simplify]: iteration 4 : 121 enodes (cost 6 ) 52.723 * * [simplify]: iteration 5 : 277 enodes (cost 6 ) 52.926 * * [simplify]: iteration 6 : 864 enodes (cost 6 ) 54.310 * * [simplify]: iteration 7 : 3544 enodes (cost 6 ) 55.767 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 55.768 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 55.770 * * [simplify]: iteration 1 : 27 enodes (cost 19 ) 55.774 * * [simplify]: iteration 2 : 80 enodes (cost 11 ) 55.797 * * [simplify]: iteration 3 : 253 enodes (cost 11 ) 55.974 * * [simplify]: iteration 4 : 704 enodes (cost 11 ) 56.930 * * [simplify]: iteration 5 : 1857 enodes (cost 9 ) 60.809 * * [simplify]: iteration 6 : 4720 enodes (cost 9 ) 62.072 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 62.073 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.075 * * [simplify]: iteration 1 : 28 enodes (cost 21 ) 62.080 * * [simplify]: iteration 2 : 94 enodes (cost 11 ) 62.128 * * [simplify]: iteration 3 : 381 enodes (cost 11 ) 62.529 * * [simplify]: iteration 4 : 1098 enodes (cost 9 ) 64.387 * * [simplify]: iteration 5 : 2046 enodes (cost 9 ) 69.075 * * [simplify]: iteration 6 : 4126 enodes (cost 9 ) 71.033 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 71.034 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 71.035 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 71.036 * * [simplify]: iteration 2 : 18 enodes (cost 17 ) 71.039 * * [simplify]: iteration 3 : 20 enodes (cost 17 ) 71.041 * * [simplify]: iteration done : 20 enodes (cost 17 ) 71.041 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 71.042 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 71.043 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 71.045 * * [simplify]: iteration done : 17 enodes (cost 8 ) 71.046 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 71.047 * * [simplify]: iteration 1 : 22 enodes (cost 23 ) 71.053 * * [simplify]: iteration 2 : 94 enodes (cost 9 ) 71.104 * * [simplify]: iteration 3 : 408 enodes (cost 9 ) 71.845 * * [simplify]: iteration 4 : 1152 enodes (cost 9 ) 73.533 * * [simplify]: iteration 5 : 1540 enodes (cost 9 ) 76.139 * * [simplify]: iteration 6 : 2528 enodes (cost 9 ) 79.409 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 79.409 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.411 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.412 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.414 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.415 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.416 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.417 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.419 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.420 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 79.421 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 79.422 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 79.425 * * [simplify]: iteration 3 : 20 enodes (cost 11 ) 79.427 * * [simplify]: iteration done : 20 enodes (cost 11 ) 79.427 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.428 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.429 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.431 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.432 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.433 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.434 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.436 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.437 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.437 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.439 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.441 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.441 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 79.442 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 79.444 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 79.446 * * [simplify]: iteration done : 19 enodes (cost 6 ) 79.446 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 79.447 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 79.449 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 79.451 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 79.453 * * [simplify]: iteration done : 18 enodes (cost 7 ) 79.453 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 79.454 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 79.456 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 79.465 * * [simplify]: iteration 3 : 48 enodes (cost 8 ) 79.475 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 79.491 * * [simplify]: iteration 5 : 90 enodes (cost 8 ) 79.505 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 79.524 * * [simplify]: iteration done : 97 enodes (cost 8 ) 79.525 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.526 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.527 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.529 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.530 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.531 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.532 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.534 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.535 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.536 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.537 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.539 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.540 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 79.540 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 79.541 * * [simplify]: iteration 2 : 14 enodes (cost 1 ) 79.542 * * [simplify]: iteration done : 14 enodes (cost 1 ) 79.543 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 79.543 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 79.545 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 79.547 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 79.549 * * [simplify]: iteration done : 18 enodes (cost 7 ) 79.549 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 79.550 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 79.552 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 79.554 * * [simplify]: iteration 3 : 20 enodes (cost 11 ) 79.556 * * [simplify]: iteration done : 20 enodes (cost 11 ) 79.557 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.557 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.559 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.561 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.561 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.562 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.563 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.565 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.566 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.567 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.568 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.570 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.571 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 79.572 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 79.573 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 79.575 * * [simplify]: iteration done : 19 enodes (cost 6 ) 79.576 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 79.577 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 79.578 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 79.584 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 79.586 * * [simplify]: iteration done : 18 enodes (cost 7 ) 79.587 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 79.588 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 79.590 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 79.594 * * [simplify]: iteration 3 : 49 enodes (cost 8 ) 79.604 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 79.618 * * [simplify]: iteration 5 : 92 enodes (cost 8 ) 79.634 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 79.653 * * [simplify]: iteration done : 97 enodes (cost 8 ) 79.654 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.655 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.656 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.658 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.659 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.659 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.661 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.663 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.663 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.664 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.665 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.668 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.668 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 79.669 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 79.671 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 79.671 * * [simplify]: iteration done : 18 enodes (cost 1 ) 79.672 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 79.673 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 79.674 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 79.676 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 79.678 * * [simplify]: iteration done : 18 enodes (cost 7 ) 79.678 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 79.679 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 79.681 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 79.683 * * [simplify]: iteration 3 : 20 enodes (cost 11 ) 79.686 * * [simplify]: iteration done : 20 enodes (cost 11 ) 79.686 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.687 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.689 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.691 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.691 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.692 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.693 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.695 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.696 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.697 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.698 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.704 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.705 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 79.706 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 79.707 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 79.709 * * [simplify]: iteration done : 19 enodes (cost 6 ) 79.710 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 79.711 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 79.712 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 79.714 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 79.716 * * [simplify]: iteration done : 18 enodes (cost 7 ) 79.717 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 79.718 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 79.719 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 79.723 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 79.732 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 79.748 * * [simplify]: iteration 5 : 95 enodes (cost 8 ) 79.768 * * [simplify]: iteration 6 : 102 enodes (cost 8 ) 79.783 * * [simplify]: iteration done : 102 enodes (cost 8 ) 79.784 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.785 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.786 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.788 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.789 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.790 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.791 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.793 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.794 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.794 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.796 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.798 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.799 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 79.800 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 79.801 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 79.802 * * [simplify]: iteration done : 18 enodes (cost 1 ) 79.803 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 79.803 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 79.805 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 79.807 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 79.809 * * [simplify]: iteration done : 18 enodes (cost 7 ) 79.809 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 79.810 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 79.812 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 79.814 * * [simplify]: iteration 3 : 20 enodes (cost 11 ) 79.817 * * [simplify]: iteration done : 20 enodes (cost 11 ) 79.818 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.818 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.820 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.825 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.826 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.827 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.828 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.830 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.831 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.831 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.833 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.835 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.836 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 79.836 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 79.838 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 79.840 * * [simplify]: iteration done : 19 enodes (cost 6 ) 79.840 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 79.841 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 79.843 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 79.845 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 79.847 * * [simplify]: iteration done : 18 enodes (cost 7 ) 79.847 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 79.848 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 79.850 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 79.854 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 79.862 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 79.879 * * [simplify]: iteration 5 : 95 enodes (cost 8 ) 79.898 * * [simplify]: iteration 6 : 102 enodes (cost 8 ) 79.912 * * [simplify]: iteration done : 102 enodes (cost 8 ) 79.913 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.914 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.915 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.917 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.918 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.919 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.920 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.922 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.922 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.923 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.924 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.926 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.927 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 79.928 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 79.930 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 79.930 * * [simplify]: iteration done : 18 enodes (cost 1 ) 79.931 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 79.932 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 79.933 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 79.935 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 79.937 * * [simplify]: iteration done : 18 enodes (cost 7 ) 79.937 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 79.938 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 79.938 * * [simplify]: iteration done : 4 enodes (cost 3 ) 79.939 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 79.939 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 79.941 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 79.947 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 79.949 * * [simplify]: iteration done : 18 enodes (cost 8 ) 79.950 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.951 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 79.952 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 79.954 * * [simplify]: iteration done : 17 enodes (cost 8 ) 79.955 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 79.956 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 79.957 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 79.959 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 79.961 * * [simplify]: iteration done : 18 enodes (cost 7 ) 79.961 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 79.962 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 79.965 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 79.968 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 79.974 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 79.990 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 80.044 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 80.240 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 81.669 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 83.521 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 83.522 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 83.523 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 83.526 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 83.531 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 83.540 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 83.573 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 83.685 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 84.200 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 86.034 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 86.035 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 86.036 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 86.039 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 86.045 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 86.066 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 86.143 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 86.435 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 87.850 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 89.125 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 89.126 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 89.127 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 89.136 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 89.140 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 89.146 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 89.162 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 89.217 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 89.411 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 90.835 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 92.659 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 92.660 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 92.661 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 92.663 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 92.668 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 92.676 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 92.710 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 92.820 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 93.326 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 95.334 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 95.335 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 95.336 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 95.344 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 95.350 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 95.371 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 95.441 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 95.736 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 97.153 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 98.462 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 98.463 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 98.464 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 98.466 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 98.467 * * [simplify]: iteration 3 : 22 enodes (cost 4 ) 98.468 * * [simplify]: iteration done : 22 enodes (cost 4 ) 98.469 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 98.470 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 98.472 * * [simplify]: iteration 2 : 25 enodes (cost 4 ) 98.477 * * [simplify]: iteration 3 : 44 enodes (cost 4 ) 98.481 * * [simplify]: iteration 4 : 52 enodes (cost 4 ) 98.493 * * [simplify]: iteration 5 : 69 enodes (cost 4 ) 98.513 * * [simplify]: iteration 6 : 104 enodes (cost 4 ) 98.520 * * [simplify]: iteration done : 104 enodes (cost 4 ) 98.521 * * [simplify]: iteration 0 : 16 enodes (cost 18 ) 98.523 * * [simplify]: iteration 1 : 34 enodes (cost 17 ) 98.527 * * [simplify]: iteration 2 : 72 enodes (cost 15 ) 98.543 * * [simplify]: iteration 3 : 189 enodes (cost 15 ) 98.627 * * [simplify]: iteration 4 : 577 enodes (cost 13 ) 99.321 * * [simplify]: iteration 5 : 2013 enodes (cost 12 ) 101.000 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 101.001 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 101.003 * * [simplify]: iteration 1 : 23 enodes (cost 8 ) 101.007 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 101.016 * * [simplify]: iteration 3 : 69 enodes (cost 6 ) 101.021 * * [simplify]: iteration 4 : 71 enodes (cost 6 ) 101.026 * * [simplify]: iteration done : 71 enodes (cost 6 ) 101.027 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 101.028 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 101.031 * * [simplify]: iteration 2 : 42 enodes (cost 6 ) 101.042 * * [simplify]: iteration 3 : 82 enodes (cost 6 ) 101.050 * * [simplify]: iteration 4 : 109 enodes (cost 6 ) 101.082 * * [simplify]: iteration 5 : 176 enodes (cost 6 ) 101.155 * * [simplify]: iteration 6 : 230 enodes (cost 6 ) 101.196 * * [simplify]: iteration done : 230 enodes (cost 6 ) 101.197 * * [simplify]: iteration 0 : 16 enodes (cost 18 ) 101.199 * * [simplify]: iteration 1 : 34 enodes (cost 17 ) 101.203 * * [simplify]: iteration 2 : 71 enodes (cost 15 ) 101.218 * * [simplify]: iteration 3 : 189 enodes (cost 15 ) 101.298 * * [simplify]: iteration 4 : 575 enodes (cost 14 ) 101.661 * * [simplify]: iteration 5 : 1614 enodes (cost 12 ) 103.965 * * [simplify]: iteration 6 : 4804 enodes (cost 11 ) 105.081 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 105.082 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x x) (log (* (* 3 (log (cbrt x))) x)) (pow x x) (* (cbrt (* x (* 3 (log (cbrt x))))) (cbrt (* x (* 3 (log (cbrt x)))))) (cbrt (* (* 3 (log (cbrt x))) x)) (pow (* x (* 3 (log (cbrt x)))) 3) (sqrt (* (* 3 (log (cbrt x))) x)) (sqrt (* (* 3 (log (cbrt x))) x)) (* 9 (pow (* x (log (cbrt x))) 3)) (* 3 (* (* x (log (cbrt x))) (* x (log (cbrt x))))) (* (* 3 (* x (log (cbrt x)))) (* x (log (cbrt x)))) (* (log (cbrt x)) (- (* x 2) x)) (* 3 (log (cbrt x))) (* x (+ (* 2 (log (cbrt x))) (log (cbrt (* (cbrt x) (cbrt x)))))) (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))) (* x (+ (* 2 (log (cbrt x))) (log 1))) (* x (* 2 (+ (log (cbrt x)) (log (cbrt (cbrt x)))))) (* x (+ (* 2 (log (cbrt x))) (log (sqrt (cbrt x))))) (* x (* 2 (log (cbrt x)))) (* x (+ (log (cbrt (* (cbrt x) (cbrt x)))) (* 2 (log (cbrt x))))) (* x (+ (log (cbrt (sqrt x))) (* 2 (log (cbrt x))))) (* x (+ (log 1) (* 2 (log (cbrt x))))) (* (* 2 (+ (log (cbrt (cbrt x))) (log (cbrt x)))) x) (* x (+ (* 2 (log (cbrt x))) (log (sqrt (cbrt x))))) (* x (* 2 (log (cbrt x)))) (* x (+ (* 2 (log (cbrt (cbrt x)))) (log (cbrt x)))) (* x (+ (* 2 (log (cbrt (sqrt x)))) (log (cbrt x)))) (* (* 3 (log (cbrt x))) x) (* x (+ (* 2 (log (cbrt (cbrt x)))) (log (cbrt x)))) (* x (+ (* 2 (log (sqrt (cbrt x)))) (log (cbrt x)))) (* (* 3 (log (cbrt x))) x) (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* x (+ (* (log (cbrt (sqrt x))) 2) (log (cbrt x)))) (* x (* 3 (log (cbrt x)))) (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* x (+ (* (log (sqrt (cbrt x))) 2) (log (cbrt x)))) (* x (* 3 (log (cbrt x)))) (* x (+ (log (cbrt x)) (* 2 (log (cbrt (cbrt x)))))) (* x (+ (* 2 (log (cbrt (sqrt x)))) (log (cbrt x)))) (* 3 (* x (log (cbrt x)))) (* x (+ (log (cbrt x)) (* 2 (log (cbrt (cbrt x)))))) (* x (+ (log (cbrt x)) (* 2 (log (sqrt (cbrt x)))))) (* 3 (* x (log (cbrt x)))) (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* x (+ (* (log (cbrt (sqrt x))) 2) (log (cbrt x)))) (* (* 3 (log (cbrt x))) x) (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* x (+ (* (log (sqrt (cbrt x))) 2) (log (cbrt x)))) (* (* 3 (log (cbrt x))) x) (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x)))) (+ (log x) (+ (log 2) (log (log (cbrt x))))) (+ (log x) (log (* 2 (log (cbrt x))))) (log (* x (* 2 (log (cbrt x))))) (pow (cbrt x) (* x 2)) (* (pow (* (log (cbrt x)) x) 3) 8) (pow (* x (* 2 (log (cbrt x)))) 3) (* (cbrt (* x (* 2 (log (cbrt x))))) (cbrt (* x (* 2 (log (cbrt x)))))) (cbrt (* x (* 2 (log (cbrt x))))) (pow (* x (* 2 (log (cbrt x)))) 3) (sqrt (* x (* 2 (log (cbrt x))))) (sqrt (* x (* 2 (log (cbrt x))))) (* x (* 2 (log (cbrt (* (cbrt x) (cbrt x)))))) (* x (* 2 (log (cbrt (cbrt x))))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (* 2 (log (cbrt (sqrt x))))) (* (* 2 (log 1)) x) (* x (* 2 (log (cbrt x)))) (* (* 4 (log (cbrt (cbrt x)))) x) (* x (* 2 (log (cbrt (cbrt x))))) (* x (* 2 (log (sqrt (cbrt x))))) (* x (* 2 (log (sqrt (cbrt x))))) 0 (* x (* 2 (log (cbrt x)))) (* x (* (log (cbrt (* (cbrt x) (cbrt x)))) 2)) (* x (* (log (cbrt (cbrt x))) 2)) (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt (sqrt x))) 2)) (* (* (log 1) 2) x) (* x (* (log (cbrt x)) 2)) (* (* 4 (log (cbrt (cbrt x)))) x) (* x (* (log (cbrt (cbrt x))) 2)) (* x (* (log (sqrt (cbrt x))) 2)) (* x (* (log (sqrt (cbrt x))) 2)) 0 (* x (* (log (cbrt x)) 2)) (* (* 2 (log (cbrt (* (cbrt x) (cbrt x))))) x) (* (* 2 (log (cbrt (cbrt x)))) x) (* (* 2 (log (cbrt (sqrt x)))) x) (* (* 2 (log (cbrt (sqrt x)))) x) (* x (* 2 (log 1))) (* (* 2 (log (cbrt x))) x) (* x (* (log (cbrt (cbrt x))) 4)) (* (* 2 (log (cbrt (cbrt x)))) x) (* (* 2 (log (sqrt (cbrt x)))) x) (* (* 2 (log (sqrt (cbrt x)))) x) 0 (* (* 2 (log (cbrt x))) x) (* (* (log (cbrt (* (cbrt x) (cbrt x)))) 2) x) (* (* (log (cbrt (cbrt x))) 2) x) (* (* (log (cbrt (sqrt x))) 2) x) (* (* (log (cbrt (sqrt x))) 2) x) (* x (* (log 1) 2)) (* (* (log (cbrt x)) 2) x) (* (* (log (cbrt (cbrt x))) 4) x) (* (* (log (cbrt (cbrt x))) 2) x) (* (* (log (sqrt (cbrt x))) 2) x) (* (* (log (sqrt (cbrt x))) 2) x) 0 (* (* (log (cbrt x)) 2) x) (* x 2) (* (cbrt x) (* 2 (log (cbrt x)))) (* (sqrt x) (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x)))) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (* x (log x)) (* (log x) x) (* (* x (log (* (cbrt -1) (cbrt (* x -1))))) 3) (* (* 2/3 (log x)) x) (* (log x) (* 2/3 x)) (* (* (log (* (cbrt -1) (cbrt (neg x)))) x) 2) 105.083 * * * [progress]: adding candidates to table 105.230 * * [progress]: iteration 3 / 4 105.230 * * * [progress]: picking best candidate 105.244 * * * * [pick]: Picked # 105.244 * * * [progress]: localizing error 105.259 * * * [progress]: generating rewritten candidates 105.259 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 105.262 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1) 105.264 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 105.276 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 105.290 * * * [progress]: generating series expansions 105.290 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 105.290 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 105.290 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 105.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 105.290 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 105.290 * [taylor]: Taking taylor expansion of 1/3 in x 105.290 * [taylor]: Taking taylor expansion of (log x) in x 105.290 * [taylor]: Taking taylor expansion of x in x 105.290 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 105.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 105.290 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 105.290 * [taylor]: Taking taylor expansion of 1/3 in x 105.291 * [taylor]: Taking taylor expansion of (log x) in x 105.291 * [taylor]: Taking taylor expansion of x in x 105.297 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 105.297 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.298 * [taylor]: Taking taylor expansion of 1/3 in x 105.298 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.298 * [taylor]: Taking taylor expansion of x in x 105.298 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.298 * [taylor]: Taking taylor expansion of 1/3 in x 105.298 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.298 * [taylor]: Taking taylor expansion of x in x 105.305 * [approximate]: Taking taylor expansion of (pow (/ -1 x) 1/3) in (x) around 0 105.305 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/3) in x 105.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 x)))) in x 105.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 x))) in x 105.305 * [taylor]: Taking taylor expansion of 1/3 in x 105.305 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 105.305 * [taylor]: Taking taylor expansion of (/ -1 x) in x 105.305 * [taylor]: Taking taylor expansion of -1 in x 105.305 * [taylor]: Taking taylor expansion of x in x 105.306 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/3) in x 105.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 x)))) in x 105.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 x))) in x 105.306 * [taylor]: Taking taylor expansion of 1/3 in x 105.306 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 105.306 * [taylor]: Taking taylor expansion of (/ -1 x) in x 105.306 * [taylor]: Taking taylor expansion of -1 in x 105.306 * [taylor]: Taking taylor expansion of x in x 105.315 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1) 105.315 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 105.315 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 105.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 105.315 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 105.315 * [taylor]: Taking taylor expansion of 1/3 in x 105.315 * [taylor]: Taking taylor expansion of (log x) in x 105.315 * [taylor]: Taking taylor expansion of x in x 105.315 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 105.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 105.315 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 105.315 * [taylor]: Taking taylor expansion of 1/3 in x 105.315 * [taylor]: Taking taylor expansion of (log x) in x 105.315 * [taylor]: Taking taylor expansion of x in x 105.322 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 105.322 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.322 * [taylor]: Taking taylor expansion of 1/3 in x 105.322 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.322 * [taylor]: Taking taylor expansion of x in x 105.323 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.323 * [taylor]: Taking taylor expansion of 1/3 in x 105.323 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.323 * [taylor]: Taking taylor expansion of x in x 105.336 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 105.336 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 105.336 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.336 * [taylor]: Taking taylor expansion of 1/3 in x 105.336 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.336 * [taylor]: Taking taylor expansion of x in x 105.336 * [taylor]: Taking taylor expansion of (cbrt -1) in x 105.336 * [taylor]: Taking taylor expansion of -1 in x 105.336 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 105.336 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.336 * [taylor]: Taking taylor expansion of 1/3 in x 105.336 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.337 * [taylor]: Taking taylor expansion of x in x 105.337 * [taylor]: Taking taylor expansion of (cbrt -1) in x 105.337 * [taylor]: Taking taylor expansion of -1 in x 105.346 * * * * [progress]: [ 3 / 4 ] generating series at (2) 105.347 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0 105.347 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 105.347 * [taylor]: Taking taylor expansion of 3 in x 105.347 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 105.347 * [taylor]: Taking taylor expansion of x in x 105.347 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 105.347 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 105.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 105.347 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 105.347 * [taylor]: Taking taylor expansion of 1/3 in x 105.347 * [taylor]: Taking taylor expansion of (log x) in x 105.347 * [taylor]: Taking taylor expansion of x in x 105.347 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 105.347 * [taylor]: Taking taylor expansion of 3 in x 105.347 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 105.347 * [taylor]: Taking taylor expansion of x in x 105.347 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 105.347 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 105.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 105.347 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 105.347 * [taylor]: Taking taylor expansion of 1/3 in x 105.347 * [taylor]: Taking taylor expansion of (log x) in x 105.347 * [taylor]: Taking taylor expansion of x in x 105.368 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 105.368 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 105.368 * [taylor]: Taking taylor expansion of 3 in x 105.368 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 105.368 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 105.368 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.369 * [taylor]: Taking taylor expansion of 1/3 in x 105.369 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.369 * [taylor]: Taking taylor expansion of x in x 105.369 * [taylor]: Taking taylor expansion of x in x 105.369 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 105.369 * [taylor]: Taking taylor expansion of 3 in x 105.369 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 105.369 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 105.369 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.369 * [taylor]: Taking taylor expansion of 1/3 in x 105.369 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.369 * [taylor]: Taking taylor expansion of x in x 105.370 * [taylor]: Taking taylor expansion of x in x 105.384 * [approximate]: Taking taylor expansion of (neg (+ (* 2 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) (/ (log (pow (/ -1 x) 1/3)) x))) in (x) around 0 105.384 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) (/ (log (pow (/ -1 x) 1/3)) x))) in x 105.384 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) (/ (log (pow (/ -1 x) 1/3)) x)) in x 105.384 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) in x 105.384 * [taylor]: Taking taylor expansion of 2 in x 105.384 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x) in x 105.384 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 105.384 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 105.384 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.384 * [taylor]: Taking taylor expansion of 1/3 in x 105.384 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.384 * [taylor]: Taking taylor expansion of x in x 105.384 * [taylor]: Taking taylor expansion of (cbrt -1) in x 105.384 * [taylor]: Taking taylor expansion of -1 in x 105.385 * [taylor]: Taking taylor expansion of x in x 105.385 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 x) 1/3)) x) in x 105.385 * [taylor]: Taking taylor expansion of (log (pow (/ -1 x) 1/3)) in x 105.385 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/3) in x 105.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 x)))) in x 105.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 x))) in x 105.385 * [taylor]: Taking taylor expansion of 1/3 in x 105.385 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 105.385 * [taylor]: Taking taylor expansion of (/ -1 x) in x 105.385 * [taylor]: Taking taylor expansion of -1 in x 105.385 * [taylor]: Taking taylor expansion of x in x 105.385 * [taylor]: Taking taylor expansion of x in x 105.385 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) (/ (log (pow (/ -1 x) 1/3)) x))) in x 105.385 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) (/ (log (pow (/ -1 x) 1/3)) x)) in x 105.385 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) in x 105.385 * [taylor]: Taking taylor expansion of 2 in x 105.385 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x) in x 105.385 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 105.385 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 105.385 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.386 * [taylor]: Taking taylor expansion of 1/3 in x 105.386 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.386 * [taylor]: Taking taylor expansion of x in x 105.386 * [taylor]: Taking taylor expansion of (cbrt -1) in x 105.386 * [taylor]: Taking taylor expansion of -1 in x 105.386 * [taylor]: Taking taylor expansion of x in x 105.386 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 x) 1/3)) x) in x 105.386 * [taylor]: Taking taylor expansion of (log (pow (/ -1 x) 1/3)) in x 105.386 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/3) in x 105.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 x)))) in x 105.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 x))) in x 105.386 * [taylor]: Taking taylor expansion of 1/3 in x 105.386 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 105.386 * [taylor]: Taking taylor expansion of (/ -1 x) in x 105.386 * [taylor]: Taking taylor expansion of -1 in x 105.386 * [taylor]: Taking taylor expansion of x in x 105.387 * [taylor]: Taking taylor expansion of x in x 105.420 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 105.420 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in (x) around 0 105.420 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 105.420 * [taylor]: Taking taylor expansion of 2 in x 105.420 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 105.420 * [taylor]: Taking taylor expansion of x in x 105.420 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 105.420 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 105.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 105.420 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 105.420 * [taylor]: Taking taylor expansion of 1/3 in x 105.420 * [taylor]: Taking taylor expansion of (log x) in x 105.420 * [taylor]: Taking taylor expansion of x in x 105.421 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 105.421 * [taylor]: Taking taylor expansion of 2 in x 105.421 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 105.421 * [taylor]: Taking taylor expansion of x in x 105.421 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 105.421 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 105.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 105.421 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 105.421 * [taylor]: Taking taylor expansion of 1/3 in x 105.421 * [taylor]: Taking taylor expansion of (log x) in x 105.421 * [taylor]: Taking taylor expansion of x in x 105.446 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 105.447 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 105.447 * [taylor]: Taking taylor expansion of 2 in x 105.447 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 105.447 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 105.447 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.447 * [taylor]: Taking taylor expansion of 1/3 in x 105.447 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.447 * [taylor]: Taking taylor expansion of x in x 105.447 * [taylor]: Taking taylor expansion of x in x 105.447 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 105.447 * [taylor]: Taking taylor expansion of 2 in x 105.447 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 105.447 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 105.447 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.447 * [taylor]: Taking taylor expansion of 1/3 in x 105.447 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.447 * [taylor]: Taking taylor expansion of x in x 105.448 * [taylor]: Taking taylor expansion of x in x 105.462 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) in (x) around 0 105.462 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) in x 105.462 * [taylor]: Taking taylor expansion of -2 in x 105.462 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x) in x 105.462 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 105.462 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 105.462 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.462 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.462 * [taylor]: Taking taylor expansion of 1/3 in x 105.462 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.462 * [taylor]: Taking taylor expansion of x in x 105.462 * [taylor]: Taking taylor expansion of (cbrt -1) in x 105.462 * [taylor]: Taking taylor expansion of -1 in x 105.463 * [taylor]: Taking taylor expansion of x in x 105.463 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x)) in x 105.463 * [taylor]: Taking taylor expansion of -2 in x 105.463 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 x) 1/3) (cbrt -1))) x) in x 105.463 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 105.463 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 105.463 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 105.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 105.463 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 105.463 * [taylor]: Taking taylor expansion of 1/3 in x 105.463 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 105.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 105.463 * [taylor]: Taking taylor expansion of x in x 105.463 * [taylor]: Taking taylor expansion of (cbrt -1) in x 105.463 * [taylor]: Taking taylor expansion of -1 in x 105.464 * [taylor]: Taking taylor expansion of x in x 105.483 * * * [progress]: simplifying candidates 105.485 * [simplify]: Simplifying using # : (* (log x) 1/3) (* (log x) 1/3) (* 1 1/3) (pow x (* (cbrt 1/3) (cbrt 1/3))) (pow x (sqrt 1/3)) (pow x 1) (pow (* (cbrt x) (cbrt x)) 1/3) (pow (cbrt x) 1/3) (pow (sqrt x) 1/3) (pow (sqrt x) 1/3) (pow 1 1/3) (pow x 1/3) (log (pow x 1/3)) (exp (pow x 1/3)) (* (cbrt (pow x 1/3)) (cbrt (pow x 1/3))) (cbrt (pow x 1/3)) (* (* (pow x 1/3) (pow x 1/3)) (pow x 1/3)) (sqrt (pow x 1/3)) (sqrt (pow x 1/3)) (pow x (/ 1/3 2)) (pow x (/ 1/3 2)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (* (exp (* x (* 2 (log (cbrt x))))) (exp (* x (log (pow x 1/3))))) (log (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))) (exp (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))) (* (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))) (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))) (cbrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))) (* (* (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))) (sqrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))) (sqrt (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))) (+ (pow (* x (* 2 (log (cbrt x)))) 3) (pow (* x (log (pow x 1/3))) 3)) (+ (* (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x))))) (- (* (* x (log (pow x 1/3))) (* x (log (pow x 1/3)))) (* (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))))) (- (* (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x))))) (* (* x (log (pow x 1/3))) (* x (log (pow x 1/3))))) (- (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))) (+ (* 2 (log (cbrt x))) (log (pow x 1/3))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow (* (cbrt x) (cbrt x)) 1/3)))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow (sqrt x) 1/3)))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow 1 1/3)))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (* (cbrt (pow x 1/3)) (cbrt (pow x 1/3)))))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (sqrt (pow x 1/3))))) (+ (* x (* 2 (log (cbrt x)))) (* x (log 1))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x (/ 1/3 2))))) (+ (* x (* 2 (log (cbrt x)))) (* (log (pow (* (cbrt x) (cbrt x)) 1/3)) x)) (+ (* x (* 2 (log (cbrt x)))) (* (log (pow (sqrt x) 1/3)) x)) (+ (* x (* 2 (log (cbrt x)))) (* (log (pow 1 1/3)) x)) (+ (* x (* 2 (log (cbrt x)))) (* (log (* (cbrt (pow x 1/3)) (cbrt (pow x 1/3)))) x)) (+ (* x (* 2 (log (cbrt x)))) (* (log (sqrt (pow x 1/3))) x)) (+ (* x (* 2 (log (cbrt x)))) (* (log 1) x)) (+ (* x (* 2 (log (cbrt x)))) (* (log (pow x (/ 1/3 2))) x)) (+ (* x (* 2 (log (cbrt (cbrt x))))) (* x (log (pow x 1/3)))) (+ (* x (* 2 (log (cbrt (sqrt x))))) (* x (log (pow x 1/3)))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))) (+ (* x (* 2 (log (cbrt (cbrt x))))) (* x (log (pow x 1/3)))) (+ (* x (* 2 (log (sqrt (cbrt x))))) (* x (log (pow x 1/3)))) (+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3)))) (+ (* x (* (log (cbrt (cbrt x))) 2)) (* x (log (pow x 1/3)))) (+ (* x (* (log (cbrt (sqrt x))) 2)) (* x (log (pow x 1/3)))) (+ (* x (* (log (cbrt x)) 2)) (* x (log (pow x 1/3)))) (+ (* x (* (log (cbrt (cbrt x))) 2)) (* x (log (pow x 1/3)))) (+ (* x (* (log (sqrt (cbrt x))) 2)) (* x (log (pow x 1/3)))) (+ (* x (* (log (cbrt x)) 2)) (* x (log (pow x 1/3)))) (+ (* (* 2 (log (cbrt (cbrt x)))) x) (* x (log (pow x 1/3)))) (+ (* (* 2 (log (cbrt (sqrt x)))) x) (* x (log (pow x 1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow x 1/3)))) (+ (* (* 2 (log (cbrt (cbrt x)))) x) (* x (log (pow x 1/3)))) (+ (* (* 2 (log (sqrt (cbrt x)))) x) (* x (log (pow x 1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow x 1/3)))) (+ (* (* (log (cbrt (cbrt x))) 2) x) (* x (log (pow x 1/3)))) (+ (* (* (log (cbrt (sqrt x))) 2) x) (* x (log (pow x 1/3)))) (+ (* (* (log (cbrt x)) 2) x) (* x (log (pow x 1/3)))) (+ (* (* (log (cbrt (cbrt x))) 2) x) (* x (log (pow x 1/3)))) (+ (* (* (log (sqrt (cbrt x))) 2) x) (* x (log (pow x 1/3)))) (+ (* (* (log (cbrt x)) 2) x) (* x (log (pow x 1/3)))) (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x)))) (+ (log x) (+ (log 2) (log (log (cbrt x))))) (+ (log x) (log (* 2 (log (cbrt x))))) (log (* x (* 2 (log (cbrt x))))) (exp (* x (* 2 (log (cbrt x))))) (* (* (* x x) x) (* (* (* 2 2) 2) (* (* (log (cbrt x)) (log (cbrt x))) (log (cbrt x))))) (* (* (* x x) x) (* (* (* 2 (log (cbrt x))) (* 2 (log (cbrt x)))) (* 2 (log (cbrt x))))) (* (cbrt (* x (* 2 (log (cbrt x))))) (cbrt (* x (* 2 (log (cbrt x)))))) (cbrt (* x (* 2 (log (cbrt x))))) (* (* (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x))))) (* x (* 2 (log (cbrt x))))) (sqrt (* x (* 2 (log (cbrt x))))) (sqrt (* x (* 2 (log (cbrt x))))) (* x (* 2 (log (cbrt (* (cbrt x) (cbrt x)))))) (* x (* 2 (log (cbrt (cbrt x))))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (* 2 (log (cbrt 1)))) (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (* x (* 2 (log (cbrt (cbrt x))))) (* x (* 2 (log (sqrt (cbrt x))))) (* x (* 2 (log (sqrt (cbrt x))))) (* x (* 2 (log 1))) (* x (* 2 (log (cbrt x)))) (* x (* (log (cbrt (* (cbrt x) (cbrt x)))) 2)) (* x (* (log (cbrt (cbrt x))) 2)) (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt 1)) 2)) (* x (* (log (cbrt x)) 2)) (* x (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) 2)) (* x (* (log (cbrt (cbrt x))) 2)) (* x (* (log (sqrt (cbrt x))) 2)) (* x (* (log (sqrt (cbrt x))) 2)) (* x (* (log 1) 2)) (* x (* (log (cbrt x)) 2)) (* (* 2 (log (cbrt (* (cbrt x) (cbrt x))))) x) (* (* 2 (log (cbrt (cbrt x)))) x) (* (* 2 (log (cbrt (sqrt x)))) x) (* (* 2 (log (cbrt (sqrt x)))) x) (* (* 2 (log (cbrt 1))) x) (* (* 2 (log (cbrt x))) x) (* (* 2 (log (* (cbrt (cbrt x)) (cbrt (cbrt x))))) x) (* (* 2 (log (cbrt (cbrt x)))) x) (* (* 2 (log (sqrt (cbrt x)))) x) (* (* 2 (log (sqrt (cbrt x)))) x) (* (* 2 (log 1)) x) (* (* 2 (log (cbrt x))) x) (* (* (log (cbrt (* (cbrt x) (cbrt x)))) 2) x) (* (* (log (cbrt (cbrt x))) 2) x) (* (* (log (cbrt (sqrt x))) 2) x) (* (* (log (cbrt (sqrt x))) 2) x) (* (* (log (cbrt 1)) 2) x) (* (* (log (cbrt x)) 2) x) (* (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) 2) x) (* (* (log (cbrt (cbrt x))) 2) x) (* (* (log (sqrt (cbrt x))) 2) x) (* (* (log (sqrt (cbrt x))) 2) x) (* (* (log 1) 2) x) (* (* (log (cbrt x)) 2) x) (* x 2) (* (cbrt x) (* 2 (log (cbrt x)))) (* (sqrt x) (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x)))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (* x (+ (log 1) (log x))) (* x (- (log 1) (log (/ 1 x)))) (* -1 (* (- (* 1/3 (log (/ -1 x))) (+ (* 2 (log (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)))) (* 1/3 (log -1)))) x)) (* x (+ (* 2/3 (log 1)) (* 2/3 (log x)))) (* 2/3 (* x (- (log 1) (log (/ 1 x))))) (* 2 (* (log (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1))) x)) 105.485 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 105.486 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 105.486 * * [simplify]: iteration done : 5 enodes (cost 4 ) 105.487 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 105.487 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 105.488 * * [simplify]: iteration done : 5 enodes (cost 4 ) 105.488 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 105.489 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 105.489 * * [simplify]: iteration done : 6 enodes (cost 1 ) 105.489 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 105.490 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 105.491 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 105.494 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 105.500 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 105.539 * * [simplify]: iteration 5 : 254 enodes (cost 7 ) 105.772 * * [simplify]: iteration 6 : 865 enodes (cost 7 ) 107.522 * * [simplify]: iteration 7 : 3279 enodes (cost 7 ) 108.860 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 108.861 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 108.861 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 108.862 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 108.864 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 108.868 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 108.894 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 108.989 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 109.839 * * [simplify]: iteration 7 : 2153 enodes (cost 4 ) 111.975 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 111.976 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 111.976 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 111.977 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 111.978 * * [simplify]: iteration 3 : 21 enodes (cost 1 ) 111.979 * * [simplify]: iteration 4 : 31 enodes (cost 1 ) 111.982 * * [simplify]: iteration 5 : 55 enodes (cost 1 ) 111.991 * * [simplify]: iteration 6 : 114 enodes (cost 1 ) 112.036 * * [simplify]: iteration 7 : 324 enodes (cost 1 ) 112.489 * * [simplify]: iteration 8 : 1255 enodes (cost 1 ) 115.086 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 115.087 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 115.088 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 115.089 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 115.091 * * [simplify]: iteration 3 : 27 enodes (cost 6 ) 115.094 * * [simplify]: iteration 4 : 51 enodes (cost 6 ) 115.107 * * [simplify]: iteration 5 : 111 enodes (cost 6 ) 115.151 * * [simplify]: iteration 6 : 325 enodes (cost 6 ) 115.603 * * [simplify]: iteration 7 : 1254 enodes (cost 6 ) 117.929 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 117.929 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.930 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 117.931 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 117.932 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 117.935 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 117.944 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 117.991 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 118.450 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 120.828 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 120.829 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 120.830 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 120.831 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 120.832 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 120.835 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 120.844 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 120.891 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 121.356 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 123.738 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 123.739 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 123.739 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 123.740 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 123.742 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 123.745 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 123.753 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 123.800 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 124.256 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 126.642 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 126.642 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 126.643 * * [simplify]: iteration 1 : 11 enodes (cost 1 ) 126.643 * * [simplify]: iteration done : 11 enodes (cost 1 ) 126.644 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 126.644 * * [simplify]: iteration 1 : 9 enodes (cost 2 ) 126.645 * * [simplify]: iteration 2 : 15 enodes (cost 2 ) 126.647 * * [simplify]: iteration 3 : 25 enodes (cost 2 ) 126.649 * * [simplify]: iteration 4 : 49 enodes (cost 2 ) 126.658 * * [simplify]: iteration 5 : 114 enodes (cost 2 ) 126.707 * * [simplify]: iteration 6 : 337 enodes (cost 2 ) 127.174 * * [simplify]: iteration 7 : 1273 enodes (cost 2 ) 129.530 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 129.530 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 129.531 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 129.532 * * [simplify]: iteration 2 : 21 enodes (cost 3 ) 129.534 * * [simplify]: iteration 3 : 35 enodes (cost 3 ) 129.539 * * [simplify]: iteration 4 : 78 enodes (cost 3 ) 129.561 * * [simplify]: iteration 5 : 197 enodes (cost 3 ) 129.651 * * [simplify]: iteration 6 : 572 enodes (cost 3 ) 130.329 * * [simplify]: iteration 7 : 2108 enodes (cost 3 ) 132.350 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 132.351 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 132.352 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 132.353 * * [simplify]: iteration 2 : 18 enodes (cost 3 ) 132.354 * * [simplify]: iteration 3 : 33 enodes (cost 3 ) 132.359 * * [simplify]: iteration 4 : 72 enodes (cost 3 ) 132.372 * * [simplify]: iteration 5 : 194 enodes (cost 3 ) 132.459 * * [simplify]: iteration 6 : 659 enodes (cost 3 ) 133.329 * * [simplify]: iteration 7 : 3013 enodes (cost 3 ) 134.659 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 134.659 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 134.660 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 134.661 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 134.663 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 134.666 * * [simplify]: iteration 4 : 51 enodes (cost 7 ) 134.675 * * [simplify]: iteration 5 : 116 enodes (cost 7 ) 134.724 * * [simplify]: iteration 6 : 330 enodes (cost 7 ) 135.200 * * [simplify]: iteration 7 : 1262 enodes (cost 7 ) 137.632 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 137.633 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 137.633 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 137.634 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 137.636 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 137.639 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 137.647 * * [simplify]: iteration 5 : 115 enodes (cost 3 ) 137.696 * * [simplify]: iteration 6 : 336 enodes (cost 3 ) 138.159 * * [simplify]: iteration 7 : 1254 enodes (cost 3 ) 140.778 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 140.779 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 140.780 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 140.781 * * [simplify]: iteration 2 : 36 enodes (cost 4 ) 140.787 * * [simplify]: iteration 3 : 74 enodes (cost 1 ) 140.807 * * [simplify]: iteration 4 : 174 enodes (cost 1 ) 140.923 * * [simplify]: iteration 5 : 554 enodes (cost 1 ) 142.359 * * [simplify]: iteration 6 : 2511 enodes (cost 1 ) 145.298 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 145.298 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 145.299 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 145.300 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 145.302 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 145.305 * * [simplify]: iteration 4 : 51 enodes (cost 3 ) 145.314 * * [simplify]: iteration 5 : 114 enodes (cost 3 ) 145.363 * * [simplify]: iteration 6 : 331 enodes (cost 3 ) 145.836 * * [simplify]: iteration 7 : 1255 enodes (cost 3 ) 148.211 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 148.211 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 148.212 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 148.213 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 148.214 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 148.217 * * [simplify]: iteration 4 : 51 enodes (cost 3 ) 148.226 * * [simplify]: iteration 5 : 114 enodes (cost 3 ) 148.277 * * [simplify]: iteration 6 : 331 enodes (cost 3 ) 148.756 * * [simplify]: iteration 7 : 1255 enodes (cost 3 ) 151.115 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 151.116 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 151.117 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 151.118 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 151.119 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 151.122 * * [simplify]: iteration 4 : 48 enodes (cost 3 ) 151.130 * * [simplify]: iteration 5 : 110 enodes (cost 3 ) 151.178 * * [simplify]: iteration 6 : 326 enodes (cost 3 ) 151.644 * * [simplify]: iteration 7 : 1249 enodes (cost 3 ) 154.076 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 154.076 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 154.077 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 154.078 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 154.079 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 154.082 * * [simplify]: iteration 4 : 48 enodes (cost 3 ) 154.091 * * [simplify]: iteration 5 : 110 enodes (cost 3 ) 154.139 * * [simplify]: iteration 6 : 326 enodes (cost 3 ) 154.604 * * [simplify]: iteration 7 : 1249 enodes (cost 3 ) 157.027 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 157.028 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 157.033 * * [simplify]: iteration done : 3 enodes (cost 3 ) 157.034 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 157.034 * * [simplify]: iteration done : 3 enodes (cost 3 ) 157.035 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 157.035 * * [simplify]: iteration done : 4 enodes (cost 6 ) 157.036 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 157.036 * * [simplify]: iteration done : 3 enodes (cost 3 ) 157.036 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 157.037 * * [simplify]: iteration done : 3 enodes (cost 3 ) 157.037 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 157.037 * * [simplify]: iteration done : 3 enodes (cost 3 ) 157.038 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 157.038 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 157.038 * * [simplify]: iteration done : 4 enodes (cost 1 ) 157.039 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 157.039 * * [simplify]: iteration done : 2 enodes (cost 2 ) 157.040 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 157.040 * * [simplify]: iteration done : 4 enodes (cost 7 ) 157.041 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 157.041 * * [simplify]: iteration done : 3 enodes (cost 3 ) 157.042 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 157.042 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 157.043 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 157.044 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 157.050 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 157.051 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 157.053 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 157.056 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 157.065 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 157.111 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 157.578 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 160.017 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 160.017 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 160.018 * * [simplify]: iteration done : 3 enodes (cost 3 ) 160.018 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 160.018 * * [simplify]: iteration done : 3 enodes (cost 3 ) 160.020 * * [simplify]: iteration 0 : 13 enodes (cost 16 ) 160.021 * * [simplify]: iteration 1 : 30 enodes (cost 14 ) 160.026 * * [simplify]: iteration 2 : 70 enodes (cost 11 ) 160.040 * * [simplify]: iteration 3 : 208 enodes (cost 7 ) 160.148 * * [simplify]: iteration 4 : 588 enodes (cost 3 ) 161.474 * * [simplify]: iteration 5 : 3480 enodes (cost 3 ) 162.983 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 162.984 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 162.986 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 162.997 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 163.007 * * [simplify]: iteration 3 : 128 enodes (cost 7 ) 163.048 * * [simplify]: iteration 4 : 307 enodes (cost 5 ) 163.575 * * [simplify]: iteration 5 : 1777 enodes (cost 5 ) 165.784 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 165.785 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 165.787 * * [simplify]: iteration 1 : 29 enodes (cost 12 ) 165.791 * * [simplify]: iteration 2 : 67 enodes (cost 11 ) 165.805 * * [simplify]: iteration 3 : 185 enodes (cost 7 ) 165.898 * * [simplify]: iteration 4 : 555 enodes (cost 3 ) 166.912 * * [simplify]: iteration 5 : 3000 enodes (cost 3 ) 168.377 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 168.377 * * [simplify]: iteration 0 : 13 enodes (cost 31 ) 168.386 * * [simplify]: iteration 1 : 27 enodes (cost 25 ) 168.390 * * [simplify]: iteration 2 : 53 enodes (cost 23 ) 168.400 * * [simplify]: iteration 3 : 126 enodes (cost 15 ) 168.439 * * [simplify]: iteration 4 : 288 enodes (cost 11 ) 168.955 * * [simplify]: iteration 5 : 1649 enodes (cost 11 ) 170.934 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 170.935 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 170.936 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 170.940 * * [simplify]: iteration 2 : 52 enodes (cost 11 ) 170.950 * * [simplify]: iteration 3 : 125 enodes (cost 7 ) 170.994 * * [simplify]: iteration 4 : 287 enodes (cost 5 ) 171.499 * * [simplify]: iteration 5 : 1653 enodes (cost 5 ) 173.584 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 173.585 * * [simplify]: iteration 0 : 13 enodes (cost 44 ) 173.592 * * [simplify]: iteration 1 : 40 enodes (cost 35 ) 173.601 * * [simplify]: iteration 2 : 149 enodes (cost 12 ) 173.690 * * [simplify]: iteration 3 : 849 enodes (cost 8 ) 175.385 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 175.386 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 175.387 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 175.391 * * [simplify]: iteration 2 : 52 enodes (cost 11 ) 175.401 * * [simplify]: iteration 3 : 125 enodes (cost 7 ) 175.444 * * [simplify]: iteration 4 : 287 enodes (cost 5 ) 175.961 * * [simplify]: iteration 5 : 1653 enodes (cost 5 ) 178.020 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 178.021 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 178.023 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 178.027 * * [simplify]: iteration 2 : 52 enodes (cost 11 ) 178.036 * * [simplify]: iteration 3 : 125 enodes (cost 7 ) 178.080 * * [simplify]: iteration 4 : 287 enodes (cost 5 ) 178.586 * * [simplify]: iteration 5 : 1653 enodes (cost 5 ) 180.649 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 180.650 * * [simplify]: iteration 0 : 14 enodes (cost 18 ) 180.653 * * [simplify]: iteration 1 : 43 enodes (cost 17 ) 180.661 * * [simplify]: iteration 2 : 153 enodes (cost 16 ) 180.734 * * [simplify]: iteration 3 : 791 enodes (cost 11 ) 182.320 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 182.320 * * [simplify]: iteration 0 : 15 enodes (cost 44 ) 182.323 * * [simplify]: iteration 1 : 50 enodes (cost 35 ) 182.335 * * [simplify]: iteration 2 : 185 enodes (cost 30 ) 182.441 * * [simplify]: iteration 3 : 851 enodes (cost 22 ) 184.893 * * [simplify]: iteration 4 : 4277 enodes (cost 15 ) 187.964 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 187.965 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 187.967 * * [simplify]: iteration 1 : 42 enodes (cost 27 ) 187.977 * * [simplify]: iteration 2 : 155 enodes (cost 21 ) 188.087 * * [simplify]: iteration 3 : 722 enodes (cost 12 ) 189.701 * * [simplify]: iteration 4 : 3474 enodes (cost 10 ) 191.954 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 191.955 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 191.956 * * [simplify]: iteration 1 : 26 enodes (cost 11 ) 191.961 * * [simplify]: iteration 2 : 59 enodes (cost 10 ) 191.975 * * [simplify]: iteration 3 : 149 enodes (cost 5 ) 192.042 * * [simplify]: iteration 4 : 444 enodes (cost 5 ) 193.365 * * [simplify]: iteration 5 : 2887 enodes (cost 5 ) 196.158 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 196.158 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 196.159 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 196.162 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 196.165 * * [simplify]: iteration 3 : 69 enodes (cost 4 ) 196.184 * * [simplify]: iteration 4 : 157 enodes (cost 2 ) 196.356 * * [simplify]: iteration 5 : 822 enodes (cost 2 ) 197.869 * * [simplify]: iteration done : 5001 enodes (cost 2 ) 197.870 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 197.872 * * [simplify]: iteration 1 : 27 enodes (cost 15 ) 197.876 * * [simplify]: iteration 2 : 49 enodes (cost 15 ) 197.887 * * [simplify]: iteration 3 : 83 enodes (cost 15 ) 197.907 * * [simplify]: iteration 4 : 219 enodes (cost 9 ) 198.004 * * [simplify]: iteration 5 : 642 enodes (cost 7 ) 198.528 * * [simplify]: iteration 6 : 1856 enodes (cost 7 ) 200.215 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 200.215 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 200.222 * * [simplify]: iteration 1 : 27 enodes (cost 12 ) 200.226 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 200.232 * * [simplify]: iteration 3 : 74 enodes (cost 12 ) 200.244 * * [simplify]: iteration 4 : 150 enodes (cost 12 ) 200.289 * * [simplify]: iteration 5 : 400 enodes (cost 12 ) 200.514 * * [simplify]: iteration 6 : 1172 enodes (cost 12 ) 201.936 * * [simplify]: iteration 7 : 4029 enodes (cost 12 ) 203.394 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 203.394 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 203.396 * * [simplify]: iteration 1 : 28 enodes (cost 9 ) 203.400 * * [simplify]: iteration 2 : 40 enodes (cost 7 ) 203.404 * * [simplify]: iteration 3 : 45 enodes (cost 7 ) 203.408 * * [simplify]: iteration done : 45 enodes (cost 7 ) 203.409 * * [simplify]: iteration 0 : 13 enodes (cost 20 ) 203.411 * * [simplify]: iteration 1 : 27 enodes (cost 16 ) 203.415 * * [simplify]: iteration 2 : 52 enodes (cost 14 ) 203.426 * * [simplify]: iteration 3 : 112 enodes (cost 12 ) 203.451 * * [simplify]: iteration 4 : 238 enodes (cost 12 ) 203.558 * * [simplify]: iteration 5 : 673 enodes (cost 12 ) 204.216 * * [simplify]: iteration 6 : 2347 enodes (cost 12 ) 205.714 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 205.715 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 205.717 * * [simplify]: iteration 1 : 24 enodes (cost 12 ) 205.720 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 205.726 * * [simplify]: iteration 3 : 82 enodes (cost 11 ) 205.749 * * [simplify]: iteration 4 : 186 enodes (cost 11 ) 205.836 * * [simplify]: iteration 5 : 548 enodes (cost 11 ) 206.306 * * [simplify]: iteration 6 : 1820 enodes (cost 11 ) 207.908 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 207.909 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 207.910 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 207.913 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 207.917 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 207.920 * * [simplify]: iteration done : 35 enodes (cost 7 ) 207.921 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 207.922 * * [simplify]: iteration 1 : 27 enodes (cost 12 ) 207.926 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 207.932 * * [simplify]: iteration 3 : 74 enodes (cost 12 ) 207.945 * * [simplify]: iteration 4 : 150 enodes (cost 12 ) 207.990 * * [simplify]: iteration 5 : 400 enodes (cost 12 ) 208.212 * * [simplify]: iteration 6 : 1172 enodes (cost 12 ) 209.628 * * [simplify]: iteration 7 : 4025 enodes (cost 12 ) 211.154 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 211.155 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 211.157 * * [simplify]: iteration 1 : 25 enodes (cost 17 ) 211.160 * * [simplify]: iteration 2 : 49 enodes (cost 15 ) 211.167 * * [simplify]: iteration 3 : 85 enodes (cost 15 ) 211.187 * * [simplify]: iteration 4 : 221 enodes (cost 9 ) 211.288 * * [simplify]: iteration 5 : 646 enodes (cost 7 ) 211.824 * * [simplify]: iteration 6 : 1873 enodes (cost 7 ) 213.472 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 213.472 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 213.474 * * [simplify]: iteration 1 : 25 enodes (cost 14 ) 213.477 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 213.488 * * [simplify]: iteration 3 : 76 enodes (cost 12 ) 213.501 * * [simplify]: iteration 4 : 152 enodes (cost 12 ) 213.545 * * [simplify]: iteration 5 : 399 enodes (cost 12 ) 213.777 * * [simplify]: iteration 6 : 1153 enodes (cost 12 ) 215.198 * * [simplify]: iteration 7 : 3961 enodes (cost 12 ) 216.989 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 216.990 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 216.991 * * [simplify]: iteration 1 : 26 enodes (cost 11 ) 216.994 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 216.998 * * [simplify]: iteration 3 : 42 enodes (cost 7 ) 217.002 * * [simplify]: iteration 4 : 47 enodes (cost 7 ) 217.006 * * [simplify]: iteration done : 47 enodes (cost 7 ) 217.006 * * [simplify]: iteration 0 : 13 enodes (cost 20 ) 217.008 * * [simplify]: iteration 1 : 25 enodes (cost 18 ) 217.011 * * [simplify]: iteration 2 : 50 enodes (cost 14 ) 217.019 * * [simplify]: iteration 3 : 110 enodes (cost 12 ) 217.048 * * [simplify]: iteration 4 : 241 enodes (cost 12 ) 217.159 * * [simplify]: iteration 5 : 676 enodes (cost 12 ) 217.830 * * [simplify]: iteration 6 : 2351 enodes (cost 12 ) 219.285 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 219.285 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 219.287 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 219.290 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 219.297 * * [simplify]: iteration 3 : 84 enodes (cost 11 ) 219.314 * * [simplify]: iteration 4 : 188 enodes (cost 11 ) 219.405 * * [simplify]: iteration 5 : 546 enodes (cost 11 ) 219.867 * * [simplify]: iteration 6 : 1774 enodes (cost 11 ) 221.495 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 221.496 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 221.497 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 221.500 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 221.503 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 221.507 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 221.510 * * [simplify]: iteration done : 37 enodes (cost 7 ) 221.511 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 221.513 * * [simplify]: iteration 1 : 24 enodes (cost 14 ) 221.516 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 221.523 * * [simplify]: iteration 3 : 78 enodes (cost 12 ) 221.539 * * [simplify]: iteration 4 : 154 enodes (cost 12 ) 221.579 * * [simplify]: iteration 5 : 398 enodes (cost 12 ) 221.800 * * [simplify]: iteration 6 : 1158 enodes (cost 12 ) 223.232 * * [simplify]: iteration 7 : 3981 enodes (cost 12 ) 224.882 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 224.883 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 224.884 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 224.888 * * [simplify]: iteration 2 : 47 enodes (cost 12 ) 224.894 * * [simplify]: iteration 3 : 73 enodes (cost 12 ) 224.911 * * [simplify]: iteration 4 : 149 enodes (cost 12 ) 224.953 * * [simplify]: iteration 5 : 393 enodes (cost 12 ) 225.179 * * [simplify]: iteration 6 : 1152 enodes (cost 12 ) 226.578 * * [simplify]: iteration 7 : 3939 enodes (cost 12 ) 228.057 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 228.057 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 228.059 * * [simplify]: iteration 1 : 27 enodes (cost 12 ) 228.063 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 228.069 * * [simplify]: iteration 3 : 74 enodes (cost 12 ) 228.082 * * [simplify]: iteration 4 : 150 enodes (cost 12 ) 228.127 * * [simplify]: iteration 5 : 400 enodes (cost 12 ) 228.351 * * [simplify]: iteration 6 : 1172 enodes (cost 12 ) 229.775 * * [simplify]: iteration 7 : 4021 enodes (cost 12 ) 231.256 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 231.257 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 231.264 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 231.268 * * [simplify]: iteration 2 : 51 enodes (cost 10 ) 231.277 * * [simplify]: iteration 3 : 124 enodes (cost 6 ) 231.319 * * [simplify]: iteration 4 : 288 enodes (cost 4 ) 231.811 * * [simplify]: iteration 5 : 1646 enodes (cost 4 ) 233.737 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 233.738 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 233.739 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 233.743 * * [simplify]: iteration 2 : 47 enodes (cost 12 ) 233.749 * * [simplify]: iteration 3 : 73 enodes (cost 12 ) 233.768 * * [simplify]: iteration 4 : 149 enodes (cost 12 ) 233.809 * * [simplify]: iteration 5 : 393 enodes (cost 12 ) 234.031 * * [simplify]: iteration 6 : 1152 enodes (cost 12 ) 235.429 * * [simplify]: iteration 7 : 3939 enodes (cost 12 ) 237.125 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 237.126 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 237.128 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 237.131 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 237.138 * * [simplify]: iteration 3 : 74 enodes (cost 12 ) 237.150 * * [simplify]: iteration 4 : 150 enodes (cost 12 ) 237.195 * * [simplify]: iteration 5 : 400 enodes (cost 12 ) 237.425 * * [simplify]: iteration 6 : 1168 enodes (cost 12 ) 238.844 * * [simplify]: iteration 7 : 4015 enodes (cost 12 ) 240.371 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 240.372 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 240.373 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 240.377 * * [simplify]: iteration 2 : 51 enodes (cost 10 ) 240.387 * * [simplify]: iteration 3 : 124 enodes (cost 6 ) 240.432 * * [simplify]: iteration 4 : 288 enodes (cost 4 ) 240.939 * * [simplify]: iteration 5 : 1646 enodes (cost 4 ) 242.886 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 242.886 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 242.888 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 242.892 * * [simplify]: iteration 2 : 47 enodes (cost 12 ) 242.899 * * [simplify]: iteration 3 : 73 enodes (cost 12 ) 242.912 * * [simplify]: iteration 4 : 149 enodes (cost 12 ) 242.957 * * [simplify]: iteration 5 : 393 enodes (cost 12 ) 243.178 * * [simplify]: iteration 6 : 1152 enodes (cost 12 ) 244.590 * * [simplify]: iteration 7 : 3946 enodes (cost 12 ) 245.999 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 246.000 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 246.002 * * [simplify]: iteration 1 : 27 enodes (cost 12 ) 246.005 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 246.012 * * [simplify]: iteration 3 : 74 enodes (cost 12 ) 246.024 * * [simplify]: iteration 4 : 150 enodes (cost 12 ) 246.069 * * [simplify]: iteration 5 : 400 enodes (cost 12 ) 246.297 * * [simplify]: iteration 6 : 1172 enodes (cost 12 ) 247.732 * * [simplify]: iteration 7 : 4016 enodes (cost 12 ) 249.263 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 249.264 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 249.265 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 249.269 * * [simplify]: iteration 2 : 51 enodes (cost 10 ) 249.285 * * [simplify]: iteration 3 : 125 enodes (cost 6 ) 249.324 * * [simplify]: iteration 4 : 292 enodes (cost 4 ) 249.857 * * [simplify]: iteration 5 : 1702 enodes (cost 4 ) 251.974 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 251.975 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 251.977 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 251.980 * * [simplify]: iteration 2 : 47 enodes (cost 12 ) 251.987 * * [simplify]: iteration 3 : 73 enodes (cost 12 ) 252.003 * * [simplify]: iteration 4 : 149 enodes (cost 12 ) 252.044 * * [simplify]: iteration 5 : 393 enodes (cost 12 ) 252.260 * * [simplify]: iteration 6 : 1152 enodes (cost 12 ) 253.679 * * [simplify]: iteration 7 : 3946 enodes (cost 12 ) 255.098 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 255.098 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 255.100 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 255.104 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 255.110 * * [simplify]: iteration 3 : 74 enodes (cost 12 ) 255.122 * * [simplify]: iteration 4 : 150 enodes (cost 12 ) 255.169 * * [simplify]: iteration 5 : 400 enodes (cost 12 ) 255.391 * * [simplify]: iteration 6 : 1168 enodes (cost 12 ) 256.819 * * [simplify]: iteration 7 : 4018 enodes (cost 12 ) 258.571 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 258.572 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 258.573 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 258.578 * * [simplify]: iteration 2 : 51 enodes (cost 10 ) 258.586 * * [simplify]: iteration 3 : 125 enodes (cost 6 ) 258.628 * * [simplify]: iteration 4 : 292 enodes (cost 4 ) 259.158 * * [simplify]: iteration 5 : 1702 enodes (cost 4 ) 261.303 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 261.304 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 261.306 * * [simplify]: iteration 1 : 24 enodes (cost 14 ) 261.309 * * [simplify]: iteration 2 : 47 enodes (cost 12 ) 261.320 * * [simplify]: iteration 3 : 75 enodes (cost 12 ) 261.332 * * [simplify]: iteration 4 : 153 enodes (cost 12 ) 261.377 * * [simplify]: iteration 5 : 401 enodes (cost 12 ) 261.601 * * [simplify]: iteration 6 : 1167 enodes (cost 12 ) 263.059 * * [simplify]: iteration 7 : 4002 enodes (cost 12 ) 264.403 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 264.403 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 264.405 * * [simplify]: iteration 1 : 25 enodes (cost 14 ) 264.409 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 264.416 * * [simplify]: iteration 3 : 76 enodes (cost 12 ) 264.428 * * [simplify]: iteration 4 : 152 enodes (cost 12 ) 264.473 * * [simplify]: iteration 5 : 399 enodes (cost 12 ) 264.693 * * [simplify]: iteration 6 : 1152 enodes (cost 12 ) 266.136 * * [simplify]: iteration 7 : 3986 enodes (cost 12 ) 267.767 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 267.768 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 267.770 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 267.773 * * [simplify]: iteration 2 : 51 enodes (cost 10 ) 267.783 * * [simplify]: iteration 3 : 127 enodes (cost 6 ) 267.826 * * [simplify]: iteration 4 : 295 enodes (cost 4 ) 268.364 * * [simplify]: iteration 5 : 1710 enodes (cost 4 ) 270.369 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 270.370 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 270.371 * * [simplify]: iteration 1 : 24 enodes (cost 14 ) 270.374 * * [simplify]: iteration 2 : 47 enodes (cost 12 ) 270.381 * * [simplify]: iteration 3 : 75 enodes (cost 12 ) 270.394 * * [simplify]: iteration 4 : 153 enodes (cost 12 ) 270.440 * * [simplify]: iteration 5 : 401 enodes (cost 12 ) 270.667 * * [simplify]: iteration 6 : 1167 enodes (cost 12 ) 272.110 * * [simplify]: iteration 7 : 4002 enodes (cost 12 ) 273.438 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 273.438 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 273.440 * * [simplify]: iteration 1 : 24 enodes (cost 14 ) 273.443 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 273.455 * * [simplify]: iteration 3 : 76 enodes (cost 12 ) 273.467 * * [simplify]: iteration 4 : 150 enodes (cost 12 ) 273.511 * * [simplify]: iteration 5 : 400 enodes (cost 12 ) 273.728 * * [simplify]: iteration 6 : 1156 enodes (cost 12 ) 275.154 * * [simplify]: iteration 7 : 4013 enodes (cost 12 ) 276.843 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 276.844 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 276.846 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 276.849 * * [simplify]: iteration 2 : 51 enodes (cost 10 ) 276.858 * * [simplify]: iteration 3 : 127 enodes (cost 6 ) 276.900 * * [simplify]: iteration 4 : 295 enodes (cost 4 ) 277.444 * * [simplify]: iteration 5 : 1710 enodes (cost 4 ) 279.477 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 279.478 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 279.479 * * [simplify]: iteration 1 : 24 enodes (cost 14 ) 279.483 * * [simplify]: iteration 2 : 47 enodes (cost 12 ) 279.489 * * [simplify]: iteration 3 : 75 enodes (cost 12 ) 279.501 * * [simplify]: iteration 4 : 153 enodes (cost 12 ) 279.546 * * [simplify]: iteration 5 : 401 enodes (cost 12 ) 279.772 * * [simplify]: iteration 6 : 1167 enodes (cost 12 ) 281.218 * * [simplify]: iteration 7 : 4001 enodes (cost 12 ) 282.549 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 282.550 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 282.552 * * [simplify]: iteration 1 : 25 enodes (cost 14 ) 282.555 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 282.562 * * [simplify]: iteration 3 : 76 enodes (cost 12 ) 282.574 * * [simplify]: iteration 4 : 152 enodes (cost 12 ) 282.620 * * [simplify]: iteration 5 : 399 enodes (cost 12 ) 282.841 * * [simplify]: iteration 6 : 1152 enodes (cost 12 ) 284.260 * * [simplify]: iteration 7 : 3975 enodes (cost 12 ) 285.887 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 285.888 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 285.889 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 285.893 * * [simplify]: iteration 2 : 51 enodes (cost 10 ) 285.902 * * [simplify]: iteration 3 : 128 enodes (cost 6 ) 285.945 * * [simplify]: iteration 4 : 295 enodes (cost 4 ) 286.472 * * [simplify]: iteration 5 : 1698 enodes (cost 4 ) 288.471 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 288.472 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 288.474 * * [simplify]: iteration 1 : 24 enodes (cost 14 ) 288.477 * * [simplify]: iteration 2 : 47 enodes (cost 12 ) 288.483 * * [simplify]: iteration 3 : 75 enodes (cost 12 ) 288.495 * * [simplify]: iteration 4 : 153 enodes (cost 12 ) 288.540 * * [simplify]: iteration 5 : 401 enodes (cost 12 ) 288.762 * * [simplify]: iteration 6 : 1167 enodes (cost 12 ) 290.191 * * [simplify]: iteration 7 : 4001 enodes (cost 12 ) 291.528 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 291.529 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 291.530 * * [simplify]: iteration 1 : 24 enodes (cost 14 ) 291.534 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 291.541 * * [simplify]: iteration 3 : 76 enodes (cost 12 ) 291.553 * * [simplify]: iteration 4 : 150 enodes (cost 12 ) 291.602 * * [simplify]: iteration 5 : 400 enodes (cost 12 ) 291.827 * * [simplify]: iteration 6 : 1156 enodes (cost 12 ) 293.257 * * [simplify]: iteration 7 : 4007 enodes (cost 12 ) 294.748 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 294.748 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 294.750 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 294.753 * * [simplify]: iteration 2 : 51 enodes (cost 10 ) 294.763 * * [simplify]: iteration 3 : 128 enodes (cost 6 ) 294.806 * * [simplify]: iteration 4 : 295 enodes (cost 4 ) 295.342 * * [simplify]: iteration 5 : 1698 enodes (cost 4 ) 297.582 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 297.583 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 297.583 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 297.585 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 297.587 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 297.589 * * [simplify]: iteration done : 18 enodes (cost 7 ) 297.589 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 297.590 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 297.597 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 297.599 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 297.601 * * [simplify]: iteration done : 18 enodes (cost 7 ) 297.601 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 297.602 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 297.604 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 297.606 * * [simplify]: iteration done : 19 enodes (cost 10 ) 297.606 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 297.607 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 297.608 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 297.610 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 297.613 * * [simplify]: iteration done : 22 enodes (cost 9 ) 297.613 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 297.614 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 297.616 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 297.620 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 297.625 * * [simplify]: iteration done : 41 enodes (cost 8 ) 297.625 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 297.626 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 297.628 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 297.631 * * [simplify]: iteration 3 : 57 enodes (cost 6 ) 297.644 * * [simplify]: iteration 4 : 121 enodes (cost 6 ) 297.685 * * [simplify]: iteration 5 : 277 enodes (cost 6 ) 297.892 * * [simplify]: iteration 6 : 864 enodes (cost 6 ) 299.284 * * [simplify]: iteration 7 : 3544 enodes (cost 6 ) 300.720 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 300.721 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 300.723 * * [simplify]: iteration 1 : 27 enodes (cost 19 ) 300.728 * * [simplify]: iteration 2 : 80 enodes (cost 11 ) 300.750 * * [simplify]: iteration 3 : 253 enodes (cost 11 ) 300.926 * * [simplify]: iteration 4 : 704 enodes (cost 11 ) 301.874 * * [simplify]: iteration 5 : 1857 enodes (cost 9 ) 305.737 * * [simplify]: iteration 6 : 4720 enodes (cost 9 ) 306.994 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 306.995 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 306.997 * * [simplify]: iteration 1 : 28 enodes (cost 21 ) 307.002 * * [simplify]: iteration 2 : 94 enodes (cost 11 ) 307.048 * * [simplify]: iteration 3 : 381 enodes (cost 11 ) 307.439 * * [simplify]: iteration 4 : 1098 enodes (cost 9 ) 309.306 * * [simplify]: iteration 5 : 2046 enodes (cost 9 ) 313.975 * * [simplify]: iteration 6 : 4126 enodes (cost 9 ) 315.928 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 315.929 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 315.930 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 315.932 * * [simplify]: iteration 2 : 18 enodes (cost 17 ) 315.934 * * [simplify]: iteration 3 : 20 enodes (cost 17 ) 315.936 * * [simplify]: iteration done : 20 enodes (cost 17 ) 315.937 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 315.938 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 315.939 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 315.941 * * [simplify]: iteration done : 17 enodes (cost 8 ) 315.942 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 315.943 * * [simplify]: iteration 1 : 22 enodes (cost 23 ) 315.948 * * [simplify]: iteration 2 : 94 enodes (cost 9 ) 315.997 * * [simplify]: iteration 3 : 408 enodes (cost 9 ) 316.526 * * [simplify]: iteration 4 : 1152 enodes (cost 9 ) 318.161 * * [simplify]: iteration 5 : 1540 enodes (cost 9 ) 320.688 * * [simplify]: iteration 6 : 2528 enodes (cost 9 ) 323.894 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 323.895 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 323.895 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 323.897 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 323.899 * * [simplify]: iteration done : 17 enodes (cost 8 ) 323.899 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 323.900 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 323.902 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 323.904 * * [simplify]: iteration done : 17 enodes (cost 8 ) 323.904 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 323.905 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 323.907 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 323.909 * * [simplify]: iteration 3 : 20 enodes (cost 11 ) 323.911 * * [simplify]: iteration done : 20 enodes (cost 11 ) 323.912 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 323.913 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 323.914 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 323.916 * * [simplify]: iteration done : 17 enodes (cost 8 ) 323.917 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 323.918 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 323.919 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 323.921 * * [simplify]: iteration done : 17 enodes (cost 8 ) 323.921 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 323.922 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 323.924 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 323.926 * * [simplify]: iteration done : 17 enodes (cost 8 ) 323.926 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 323.927 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 323.929 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 323.931 * * [simplify]: iteration done : 19 enodes (cost 6 ) 323.932 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 323.932 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 323.934 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 323.936 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 323.937 * * [simplify]: iteration done : 18 enodes (cost 7 ) 323.938 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 323.939 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 323.941 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 323.949 * * [simplify]: iteration 3 : 48 enodes (cost 8 ) 323.959 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 323.975 * * [simplify]: iteration 5 : 90 enodes (cost 8 ) 323.990 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 324.009 * * [simplify]: iteration done : 97 enodes (cost 8 ) 324.010 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.010 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.012 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.014 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.014 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.015 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.016 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.019 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.019 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.020 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.021 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.023 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.024 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 324.026 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 324.027 * * [simplify]: iteration 2 : 14 enodes (cost 1 ) 324.027 * * [simplify]: iteration done : 14 enodes (cost 1 ) 324.028 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 324.029 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 324.030 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 324.032 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 324.034 * * [simplify]: iteration done : 18 enodes (cost 7 ) 324.034 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 324.035 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 324.037 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 324.039 * * [simplify]: iteration 3 : 20 enodes (cost 11 ) 324.041 * * [simplify]: iteration done : 20 enodes (cost 11 ) 324.042 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.043 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.044 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.046 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.047 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.048 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.049 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.051 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.051 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.052 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.053 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.056 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.056 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 324.057 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 324.059 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 324.061 * * [simplify]: iteration done : 19 enodes (cost 6 ) 324.065 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 324.065 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 324.067 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 324.069 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 324.071 * * [simplify]: iteration done : 18 enodes (cost 7 ) 324.072 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 324.073 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 324.075 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 324.080 * * [simplify]: iteration 3 : 49 enodes (cost 8 ) 324.089 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 324.104 * * [simplify]: iteration 5 : 92 enodes (cost 8 ) 324.123 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 324.138 * * [simplify]: iteration done : 97 enodes (cost 8 ) 324.139 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.140 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.141 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.143 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.144 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.145 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.146 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.148 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.149 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.150 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.151 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.153 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.153 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 324.154 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 324.156 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 324.156 * * [simplify]: iteration done : 18 enodes (cost 1 ) 324.157 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 324.158 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 324.159 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 324.161 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 324.163 * * [simplify]: iteration done : 18 enodes (cost 7 ) 324.164 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 324.165 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 324.166 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 324.168 * * [simplify]: iteration 3 : 20 enodes (cost 11 ) 324.171 * * [simplify]: iteration done : 20 enodes (cost 11 ) 324.172 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.173 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.174 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.176 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.177 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.178 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.179 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.181 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.182 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.186 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.187 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.189 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.190 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 324.191 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 324.192 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 324.194 * * [simplify]: iteration done : 19 enodes (cost 6 ) 324.195 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 324.196 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 324.197 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 324.199 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 324.201 * * [simplify]: iteration done : 18 enodes (cost 7 ) 324.202 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 324.203 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 324.204 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 324.208 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 324.217 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 324.233 * * [simplify]: iteration 5 : 95 enodes (cost 8 ) 324.251 * * [simplify]: iteration 6 : 102 enodes (cost 8 ) 324.266 * * [simplify]: iteration done : 102 enodes (cost 8 ) 324.267 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.268 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.269 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.271 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.272 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.273 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.274 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.276 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.277 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.277 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.279 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.281 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.282 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 324.283 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 324.284 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 324.285 * * [simplify]: iteration done : 18 enodes (cost 1 ) 324.286 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 324.286 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 324.287 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 324.289 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 324.292 * * [simplify]: iteration done : 18 enodes (cost 7 ) 324.292 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 324.293 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 324.295 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 324.297 * * [simplify]: iteration 3 : 20 enodes (cost 11 ) 324.299 * * [simplify]: iteration done : 20 enodes (cost 11 ) 324.300 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.300 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.305 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.307 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.308 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.309 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.310 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.312 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.313 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.314 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.315 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.317 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.318 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 324.319 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 324.320 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 324.322 * * [simplify]: iteration done : 19 enodes (cost 6 ) 324.323 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 324.324 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 324.325 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 324.327 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 324.329 * * [simplify]: iteration done : 18 enodes (cost 7 ) 324.329 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 324.330 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 324.332 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 324.336 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 324.344 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 324.365 * * [simplify]: iteration 5 : 95 enodes (cost 8 ) 324.379 * * [simplify]: iteration 6 : 102 enodes (cost 8 ) 324.394 * * [simplify]: iteration done : 102 enodes (cost 8 ) 324.395 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.395 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.397 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.399 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.399 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.400 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.402 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.404 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.405 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.405 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.407 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.409 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.409 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 324.410 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 324.412 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 324.412 * * [simplify]: iteration done : 18 enodes (cost 1 ) 324.413 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 324.414 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 324.415 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 324.417 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 324.419 * * [simplify]: iteration done : 18 enodes (cost 7 ) 324.419 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 324.420 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 324.420 * * [simplify]: iteration done : 4 enodes (cost 3 ) 324.421 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 324.425 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 324.427 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 324.429 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 324.431 * * [simplify]: iteration done : 18 enodes (cost 8 ) 324.431 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 324.432 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 324.433 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 324.435 * * [simplify]: iteration done : 17 enodes (cost 8 ) 324.436 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 324.437 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 324.438 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 324.440 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 324.442 * * [simplify]: iteration done : 18 enodes (cost 7 ) 324.442 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 324.443 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 324.446 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 324.449 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 324.456 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 324.471 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 324.525 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 324.715 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 326.115 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 328.161 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 328.162 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 328.163 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 328.166 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 328.171 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 328.184 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 328.211 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 328.323 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 328.837 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 330.657 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 330.658 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 330.659 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 330.661 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 330.666 * * [simplify]: iteration 3 : 78 enodes (cost 6 ) 330.679 * * [simplify]: iteration 4 : 152 enodes (cost 2 ) 330.718 * * [simplify]: iteration 5 : 431 enodes (cost 2 ) 331.303 * * [simplify]: iteration 6 : 1871 enodes (cost 2 ) 332.862 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 332.863 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 332.864 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 332.866 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 332.870 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 332.876 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 332.892 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 332.946 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 333.143 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 334.586 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 336.429 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 336.430 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 336.432 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 336.434 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 336.439 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 336.453 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 336.481 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 336.595 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 337.114 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 338.953 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 338.953 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 338.955 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 338.958 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 338.964 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 338.989 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 339.059 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 339.351 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 340.755 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 342.038 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 342.038 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 342.039 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 342.041 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 342.043 * * [simplify]: iteration 3 : 22 enodes (cost 4 ) 342.044 * * [simplify]: iteration done : 22 enodes (cost 4 ) 342.045 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 342.046 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 342.047 * * [simplify]: iteration 2 : 25 enodes (cost 4 ) 342.052 * * [simplify]: iteration 3 : 44 enodes (cost 4 ) 342.056 * * [simplify]: iteration 4 : 52 enodes (cost 4 ) 342.062 * * [simplify]: iteration 5 : 69 enodes (cost 4 ) 342.085 * * [simplify]: iteration 6 : 104 enodes (cost 4 ) 342.093 * * [simplify]: iteration done : 104 enodes (cost 4 ) 342.094 * * [simplify]: iteration 0 : 22 enodes (cost 32 ) 342.097 * * [simplify]: iteration 1 : 48 enodes (cost 30 ) 342.104 * * [simplify]: iteration 2 : 106 enodes (cost 28 ) 342.130 * * [simplify]: iteration 3 : 324 enodes (cost 25 ) 342.314 * * [simplify]: iteration 4 : 1088 enodes (cost 24 ) 344.209 * * [simplify]: iteration 5 : 4109 enodes (cost 16 ) 345.483 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 345.483 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 345.485 * * [simplify]: iteration 1 : 23 enodes (cost 8 ) 345.489 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 345.498 * * [simplify]: iteration 3 : 69 enodes (cost 6 ) 345.504 * * [simplify]: iteration 4 : 71 enodes (cost 6 ) 345.509 * * [simplify]: iteration done : 71 enodes (cost 6 ) 345.509 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 345.511 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 345.514 * * [simplify]: iteration 2 : 42 enodes (cost 6 ) 345.525 * * [simplify]: iteration 3 : 82 enodes (cost 6 ) 345.537 * * [simplify]: iteration 4 : 109 enodes (cost 6 ) 345.566 * * [simplify]: iteration 5 : 176 enodes (cost 6 ) 345.641 * * [simplify]: iteration 6 : 230 enodes (cost 6 ) 345.681 * * [simplify]: iteration done : 230 enodes (cost 6 ) 345.682 * * [simplify]: iteration 0 : 16 enodes (cost 18 ) 345.684 * * [simplify]: iteration 1 : 34 enodes (cost 17 ) 345.689 * * [simplify]: iteration 2 : 71 enodes (cost 15 ) 345.705 * * [simplify]: iteration 3 : 189 enodes (cost 15 ) 345.785 * * [simplify]: iteration 4 : 575 enodes (cost 14 ) 346.150 * * [simplify]: iteration 5 : 1614 enodes (cost 12 ) 348.655 * * [simplify]: iteration 6 : 4804 enodes (cost 11 ) 349.760 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 349.762 * [simplify]: Simplified to: (* (log x) 1/3) (* (log x) 1/3) 1/3 (pow x (* (cbrt 1/3) (cbrt 1/3))) (pow x (sqrt 1/3)) x (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (log (cbrt x)) (exp (cbrt x)) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x 1/6) (pow x 1/6) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x x) (log (* (log x) x)) (pow x x) (* (cbrt (* (log x) x)) (cbrt (* (log x) x))) (cbrt (* (log x) x)) (pow (* (* (log x) 1) x) 3) (sqrt (* (log x) x)) (sqrt (* (log x) x)) (* 9 (pow (* x (log (cbrt x))) 3)) (* (* x (* (log (cbrt x)) (log (cbrt x)))) (- x (* -2 x))) (* (* (log (cbrt x)) (log x)) (* x x)) (* (log (cbrt x)) x) (log x) (* (* x (log (cbrt x))) 8/3) (* x (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))) (* x (* 2 (log (cbrt x)))) (* (* 2 (+ (log (cbrt x)) (log (cbrt (cbrt x))))) x) (* (+ (* 2/3 (log x)) (log (sqrt (cbrt x)))) x) (* x (* 2 (log (cbrt x)))) (* x (+ (* 2 (log (cbrt x))) (log (pow x 1/6)))) (* 8/3 (* (log (cbrt x)) x)) (* x (+ (log (cbrt (sqrt x))) (* 2 (log (cbrt x))))) (* x (* 2 (log (cbrt x)))) (* x (* 2 (+ (log (cbrt x)) (log (cbrt (cbrt x)))))) (* (+ (* 2/3 (log x)) (log (sqrt (cbrt x)))) x) (* x (* 2 (log (cbrt x)))) (* x (+ (* 2 (log (cbrt x))) (log (pow x 1/6)))) (* x (+ (* 2 (log (cbrt (cbrt x)))) (log (cbrt x)))) (* x (+ (* 2 (log (cbrt (sqrt x)))) (log (cbrt x)))) (* (log x) x) (* x (+ (* 2 (log (cbrt (cbrt x)))) (log (cbrt x)))) (* x (+ (* 2 (log (sqrt (cbrt x)))) (log (cbrt x)))) (* (log x) x) (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* x (+ (* (log (cbrt (sqrt x))) 2) (log (cbrt x)))) (* (log x) x) (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* x (+ (* (log (sqrt (cbrt x))) 2) (log (cbrt x)))) (* (log x) x) (* x (+ (* 2 (log (cbrt (cbrt x)))) (log (cbrt x)))) (* x (+ (log (cbrt x)) (* 2 (log (cbrt (sqrt x)))))) (* (log x) x) (* x (+ (* 2 (log (cbrt (cbrt x)))) (log (cbrt x)))) (* x (+ (* 2 (log (sqrt (cbrt x)))) (log (cbrt x)))) (* (log x) x) (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* x (+ (log (cbrt x)) (* (log (cbrt (sqrt x))) 2))) (* (log x) x) (* x (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* x (+ (* (log (sqrt (cbrt x))) 2) (log (cbrt x)))) (* (log x) x) (* x (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x)))) (+ (log x) (+ (log 2) (log (log (cbrt x))))) (+ (log x) (log (* 2 (log (cbrt x))))) (log (* x (* 2 (log (cbrt x))))) (pow (cbrt x) (* x 2)) (* (pow (* (log (cbrt x)) x) 3) 8) (pow (* x (* 2 (log (cbrt x)))) 3) (* (cbrt (* x (* 2 (log (cbrt x))))) (cbrt (* x (* 2 (log (cbrt x)))))) (cbrt (* x (* 2 (log (cbrt x))))) (pow (* x (* 2 (log (cbrt x)))) 3) (sqrt (* x (* 2 (log (cbrt x))))) (sqrt (* x (* 2 (log (cbrt x))))) (* x (* 2 (log (cbrt (* (cbrt x) (cbrt x)))))) (* x (* 2 (log (cbrt (cbrt x))))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (* 2 (log (cbrt (sqrt x))))) (* (* 2 (log 1)) x) (* x (* 2 (log (cbrt x)))) (* (* 4 (log (cbrt (cbrt x)))) x) (* x (* 2 (log (cbrt (cbrt x))))) (* x (* 2 (log (sqrt (cbrt x))))) (* x (* 2 (log (sqrt (cbrt x))))) 0 (* x (* 2 (log (cbrt x)))) (* x (* (log (cbrt (* (cbrt x) (cbrt x)))) 2)) (* x (* (log (cbrt (cbrt x))) 2)) (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt (sqrt x))) 2)) (* (* (log 1) 2) x) (* x (* (log (cbrt x)) 2)) (* (* 4 (log (cbrt (cbrt x)))) x) (* x (* (log (cbrt (cbrt x))) 2)) (* x (* (log (sqrt (cbrt x))) 2)) (* x (* (log (sqrt (cbrt x))) 2)) 0 (* x (* (log (cbrt x)) 2)) (* (* 2 (log (cbrt (* (cbrt x) (cbrt x))))) x) (* (* 2 (log (cbrt (cbrt x)))) x) (* (* 2 (log (cbrt (sqrt x)))) x) (* (* 2 (log (cbrt (sqrt x)))) x) (* x (* 2 (log 1))) (* (* 2 (log (cbrt x))) x) (* x (* (log (cbrt (cbrt x))) 4)) (* (* 2 (log (cbrt (cbrt x)))) x) (* (* 2 (log (sqrt (cbrt x)))) x) (* (* 2 (log (sqrt (cbrt x)))) x) 0 (* (* 2 (log (cbrt x))) x) (* (* (log (cbrt (* (cbrt x) (cbrt x)))) 2) x) (* (* (log (cbrt (cbrt x))) 2) x) (* (* (log (cbrt (sqrt x))) 2) x) (* (* (log (cbrt (sqrt x))) 2) x) (* x (* (log 1) 2)) (* (* (log (cbrt x)) 2) x) (* (* (log (cbrt (cbrt x))) 4) x) (* (* (log (cbrt (cbrt x))) 2) x) (* (* (log (sqrt (cbrt x))) 2) x) (* (* (log (sqrt (cbrt x))) 2) x) 0 (* (* (log (cbrt x)) 2) x) (* x 2) (* (cbrt x) (* 2 (log (cbrt x)))) (* (sqrt x) (* 2 (log (cbrt x)))) (* x (* 2 (log (cbrt x)))) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (* x (log x)) (* (log x) x) (* (- (* (log x) 1/3) (* (log (* (cbrt (neg x)) (cbrt -1))) -2)) x) (* (* 2/3 (log x)) x) (* (log x) (* 2/3 x)) (* (* (log (* (cbrt -1) (cbrt (neg x)))) x) 2) 349.763 * * * [progress]: adding candidates to table 349.947 * * [progress]: iteration 4 / 4 349.947 * * * [progress]: picking best candidate 349.958 * * * * [pick]: Picked # 349.958 * * * [progress]: localizing error 349.978 * * * [progress]: generating rewritten candidates 349.978 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 349.980 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1) 349.982 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1) 349.984 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 349.993 * * * [progress]: generating series expansions 349.993 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 349.993 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 349.993 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 349.993 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 349.993 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 349.993 * [taylor]: Taking taylor expansion of 1/6 in x 349.993 * [taylor]: Taking taylor expansion of (log x) in x 349.993 * [taylor]: Taking taylor expansion of x in x 349.994 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 349.994 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 349.994 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 349.994 * [taylor]: Taking taylor expansion of 1/6 in x 349.994 * [taylor]: Taking taylor expansion of (log x) in x 349.994 * [taylor]: Taking taylor expansion of x in x 350.001 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 350.001 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 350.001 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 350.001 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 350.001 * [taylor]: Taking taylor expansion of 1/6 in x 350.001 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 350.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x 350.001 * [taylor]: Taking taylor expansion of x in x 350.002 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 350.002 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 350.002 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 350.002 * [taylor]: Taking taylor expansion of 1/6 in x 350.002 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 350.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 350.002 * [taylor]: Taking taylor expansion of x in x 350.010 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 350.010 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 350.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 350.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 350.010 * [taylor]: Taking taylor expansion of 1/3 in x 350.010 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 350.010 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 350.010 * [taylor]: Taking taylor expansion of (/ -1 x) in x 350.010 * [taylor]: Taking taylor expansion of -1 in x 350.010 * [taylor]: Taking taylor expansion of x in x 350.010 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 350.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 350.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 350.010 * [taylor]: Taking taylor expansion of 1/3 in x 350.010 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 350.010 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 350.010 * [taylor]: Taking taylor expansion of (/ -1 x) in x 350.010 * [taylor]: Taking taylor expansion of -1 in x 350.010 * [taylor]: Taking taylor expansion of x in x 350.013 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1) 350.013 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 350.013 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 350.013 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 350.013 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 350.013 * [taylor]: Taking taylor expansion of 1/6 in x 350.013 * [taylor]: Taking taylor expansion of (log x) in x 350.013 * [taylor]: Taking taylor expansion of x in x 350.013 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 350.013 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 350.013 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 350.013 * [taylor]: Taking taylor expansion of 1/6 in x 350.013 * [taylor]: Taking taylor expansion of (log x) in x 350.013 * [taylor]: Taking taylor expansion of x in x 350.020 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 350.020 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 350.020 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 350.020 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 350.020 * [taylor]: Taking taylor expansion of 1/6 in x 350.020 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 350.020 * [taylor]: Taking taylor expansion of (/ 1 x) in x 350.020 * [taylor]: Taking taylor expansion of x in x 350.020 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 350.020 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 350.020 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 350.020 * [taylor]: Taking taylor expansion of 1/6 in x 350.020 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 350.020 * [taylor]: Taking taylor expansion of (/ 1 x) in x 350.021 * [taylor]: Taking taylor expansion of x in x 350.028 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 350.028 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 350.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 350.028 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 350.028 * [taylor]: Taking taylor expansion of 1/3 in x 350.028 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 350.028 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 350.028 * [taylor]: Taking taylor expansion of (/ -1 x) in x 350.028 * [taylor]: Taking taylor expansion of -1 in x 350.028 * [taylor]: Taking taylor expansion of x in x 350.028 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 350.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 350.028 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 350.028 * [taylor]: Taking taylor expansion of 1/3 in x 350.028 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 350.028 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 350.028 * [taylor]: Taking taylor expansion of (/ -1 x) in x 350.028 * [taylor]: Taking taylor expansion of -1 in x 350.028 * [taylor]: Taking taylor expansion of x in x 350.031 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1) 350.031 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 350.031 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 350.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 350.031 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 350.031 * [taylor]: Taking taylor expansion of 1/3 in x 350.031 * [taylor]: Taking taylor expansion of (log x) in x 350.031 * [taylor]: Taking taylor expansion of x in x 350.031 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 350.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 350.031 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 350.031 * [taylor]: Taking taylor expansion of 1/3 in x 350.031 * [taylor]: Taking taylor expansion of (log x) in x 350.031 * [taylor]: Taking taylor expansion of x in x 350.039 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 350.039 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 350.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 350.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 350.039 * [taylor]: Taking taylor expansion of 1/3 in x 350.039 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 350.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 350.039 * [taylor]: Taking taylor expansion of x in x 350.039 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 350.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 350.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 350.039 * [taylor]: Taking taylor expansion of 1/3 in x 350.039 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 350.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 350.039 * [taylor]: Taking taylor expansion of x in x 350.047 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 350.048 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 350.048 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 350.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 350.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 350.048 * [taylor]: Taking taylor expansion of 1/3 in x 350.048 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 350.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x 350.048 * [taylor]: Taking taylor expansion of x in x 350.048 * [taylor]: Taking taylor expansion of (cbrt -1) in x 350.048 * [taylor]: Taking taylor expansion of -1 in x 350.048 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 350.048 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 350.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 350.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 350.048 * [taylor]: Taking taylor expansion of 1/3 in x 350.048 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 350.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x 350.048 * [taylor]: Taking taylor expansion of x in x 350.048 * [taylor]: Taking taylor expansion of (cbrt -1) in x 350.048 * [taylor]: Taking taylor expansion of -1 in x 350.057 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 350.058 * [approximate]: Taking taylor expansion of (* x (log (pow x 1/6))) in (x) around 0 350.058 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/6))) in x 350.058 * [taylor]: Taking taylor expansion of x in x 350.058 * [taylor]: Taking taylor expansion of (log (pow x 1/6)) in x 350.058 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 350.058 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 350.058 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 350.058 * [taylor]: Taking taylor expansion of 1/6 in x 350.058 * [taylor]: Taking taylor expansion of (log x) in x 350.058 * [taylor]: Taking taylor expansion of x in x 350.058 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/6))) in x 350.058 * [taylor]: Taking taylor expansion of x in x 350.058 * [taylor]: Taking taylor expansion of (log (pow x 1/6)) in x 350.058 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 350.058 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 350.058 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 350.058 * [taylor]: Taking taylor expansion of 1/6 in x 350.058 * [taylor]: Taking taylor expansion of (log x) in x 350.058 * [taylor]: Taking taylor expansion of x in x 350.078 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/6)) x) in (x) around 0 350.078 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/6)) x) in x 350.078 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/6)) in x 350.078 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 350.078 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 350.078 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 350.078 * [taylor]: Taking taylor expansion of 1/6 in x 350.078 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 350.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 350.078 * [taylor]: Taking taylor expansion of x in x 350.078 * [taylor]: Taking taylor expansion of x in x 350.078 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/6)) x) in x 350.078 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/6)) in x 350.078 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 350.078 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 350.078 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 350.078 * [taylor]: Taking taylor expansion of 1/6 in x 350.078 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 350.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 350.078 * [taylor]: Taking taylor expansion of x in x 350.079 * [taylor]: Taking taylor expansion of x in x 350.098 * [approximate]: Taking taylor expansion of (* -1 (/ (log (pow (sqrt (/ -1 x)) 1/3)) x)) in (x) around 0 350.098 * [taylor]: Taking taylor expansion of (* -1 (/ (log (pow (sqrt (/ -1 x)) 1/3)) x)) in x 350.098 * [taylor]: Taking taylor expansion of -1 in x 350.098 * [taylor]: Taking taylor expansion of (/ (log (pow (sqrt (/ -1 x)) 1/3)) x) in x 350.098 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 1/3)) in x 350.098 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 350.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 350.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 350.098 * [taylor]: Taking taylor expansion of 1/3 in x 350.098 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 350.098 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 350.098 * [taylor]: Taking taylor expansion of (/ -1 x) in x 350.098 * [taylor]: Taking taylor expansion of -1 in x 350.098 * [taylor]: Taking taylor expansion of x in x 350.098 * [taylor]: Taking taylor expansion of x in x 350.098 * [taylor]: Taking taylor expansion of (* -1 (/ (log (pow (sqrt (/ -1 x)) 1/3)) x)) in x 350.098 * [taylor]: Taking taylor expansion of -1 in x 350.098 * [taylor]: Taking taylor expansion of (/ (log (pow (sqrt (/ -1 x)) 1/3)) x) in x 350.098 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 1/3)) in x 350.098 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 350.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 350.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 350.098 * [taylor]: Taking taylor expansion of 1/3 in x 350.098 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 350.098 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 350.098 * [taylor]: Taking taylor expansion of (/ -1 x) in x 350.099 * [taylor]: Taking taylor expansion of -1 in x 350.099 * [taylor]: Taking taylor expansion of x in x 350.099 * [taylor]: Taking taylor expansion of x in x 350.103 * * * [progress]: simplifying candidates 350.104 * [simplify]: Simplifying using # : (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt 1)) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt 1)) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (* x (log (cbrt (sqrt x)))) (+ (log x) (log (log (cbrt (sqrt x))))) (log (* x (log (cbrt (sqrt x))))) (exp (* x (log (cbrt (sqrt x))))) (* (* (* x x) x) (* (* (log (cbrt (sqrt x))) (log (cbrt (sqrt x)))) (log (cbrt (sqrt x))))) (* (cbrt (* x (log (cbrt (sqrt x))))) (cbrt (* x (log (cbrt (sqrt x)))))) (cbrt (* x (log (cbrt (sqrt x))))) (* (* (* x (log (cbrt (sqrt x)))) (* x (log (cbrt (sqrt x))))) (* x (log (cbrt (sqrt x))))) (sqrt (* x (log (cbrt (sqrt x))))) (sqrt (* x (log (cbrt (sqrt x))))) (* (sqrt x) (sqrt (log (cbrt (sqrt x))))) (* (sqrt x) (sqrt (log (cbrt (sqrt x))))) (* x (log (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (* x (log (cbrt (cbrt (sqrt x))))) (* x (log (cbrt (sqrt (* (cbrt x) (cbrt x)))))) (* x (log (cbrt (sqrt (cbrt x))))) (* x (log (cbrt (sqrt (sqrt x))))) (* x (log (cbrt (sqrt (sqrt x))))) (* x (log (cbrt (sqrt 1)))) (* x (log (cbrt (sqrt x)))) (* x (log (cbrt (sqrt (sqrt x))))) (* x (log (cbrt (sqrt (sqrt x))))) (* x (log (cbrt 1))) (* x (log (cbrt (sqrt x)))) (* x (log (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))))) (* x (log (cbrt (cbrt (sqrt x))))) (* x (log (sqrt (cbrt (sqrt x))))) (* x (log (sqrt (cbrt (sqrt x))))) (* x (log 1)) (* x (log (cbrt (sqrt x)))) (* (log (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) x) (* (log (cbrt (cbrt (sqrt x)))) x) (* (log (cbrt (sqrt (* (cbrt x) (cbrt x))))) x) (* (log (cbrt (sqrt (cbrt x)))) x) (* (log (cbrt (sqrt (sqrt x)))) x) (* (log (cbrt (sqrt (sqrt x)))) x) (* (log (cbrt (sqrt 1))) x) (* (log (cbrt (sqrt x))) x) (* (log (cbrt (sqrt (sqrt x)))) x) (* (log (cbrt (sqrt (sqrt x)))) x) (* (log (cbrt 1)) x) (* (log (cbrt (sqrt x))) x) (* (log (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))) x) (* (log (cbrt (cbrt (sqrt x)))) x) (* (log (sqrt (cbrt (sqrt x)))) x) (* (log (sqrt (cbrt (sqrt x)))) x) (* (log 1) x) (* (log (cbrt (sqrt x))) x) (* x 1/3) (* x 1) (* x (* (cbrt (log (cbrt (sqrt x)))) (cbrt (log (cbrt (sqrt x)))))) (* x (sqrt (log (cbrt (sqrt x))))) (* x 1) (* (cbrt x) (log (cbrt (sqrt x)))) (* (sqrt x) (log (cbrt (sqrt x)))) (* x (log (cbrt (sqrt x)))) (exp (* 1/6 (+ (log 1) (log x)))) (exp (* 1/6 (- (log 1) (log (/ 1 x))))) (- (+ (pow NAN 1/3) (* 2/9 (* (/ 1 (pow x 2)) (pow (pow NAN 13) 1/3)))) (* 1/3 (* (/ 1 x) (pow (pow NAN 7) 1/3)))) (exp (* 1/6 (+ (log 1) (log x)))) (exp (* 1/6 (- (log 1) (log (/ 1 x))))) (- (+ (pow NAN 1/3) (* 2/9 (* (/ 1 (pow x 2)) (pow (pow NAN 13) 1/3)))) (* 1/3 (* (/ 1 x) (pow (pow NAN 7) 1/3)))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (* (+ (* 1/6 (log 1)) (* 1/6 (log x))) x) (* 1/6 (* x (- (log 1) (log (/ 1 x))))) (- (+ (* x (log (pow NAN 1/3))) (* 1/6 (/ (pow NAN 4) x))) (* 1/3 (pow NAN 2))) 350.105 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 350.105 * * [simplify]: iteration done : 4 enodes (cost 4 ) 350.106 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 350.106 * * [simplify]: iteration done : 4 enodes (cost 4 ) 350.107 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 350.107 * * [simplify]: iteration done : 5 enodes (cost 8 ) 350.108 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 350.108 * * [simplify]: iteration done : 4 enodes (cost 4 ) 350.109 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 350.109 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 350.110 * * [simplify]: iteration done : 6 enodes (cost 4 ) 350.111 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 350.111 * * [simplify]: iteration done : 4 enodes (cost 4 ) 350.112 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 350.112 * * [simplify]: iteration done : 4 enodes (cost 4 ) 350.113 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 350.113 * * [simplify]: iteration done : 4 enodes (cost 4 ) 350.113 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 350.114 * * [simplify]: iteration 1 : 5 enodes (cost 2 ) 350.114 * * [simplify]: iteration done : 5 enodes (cost 2 ) 350.115 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 350.115 * * [simplify]: iteration done : 3 enodes (cost 3 ) 350.115 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 350.116 * * [simplify]: iteration done : 4 enodes (cost 4 ) 350.116 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 350.117 * * [simplify]: iteration done : 4 enodes (cost 4 ) 350.117 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 350.117 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 350.118 * * [simplify]: iteration done : 4 enodes (cost 1 ) 350.118 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 350.118 * * [simplify]: iteration done : 3 enodes (cost 3 ) 350.119 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 350.120 * * [simplify]: iteration done : 5 enodes (cost 9 ) 350.120 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 350.121 * * [simplify]: iteration done : 4 enodes (cost 4 ) 350.121 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 350.122 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 350.123 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 350.124 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 350.125 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 350.127 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 350.130 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 350.139 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 350.188 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 350.643 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 353.065 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 353.066 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 353.066 * * [simplify]: iteration done : 4 enodes (cost 4 ) 353.067 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 353.067 * * [simplify]: iteration done : 4 enodes (cost 4 ) 353.068 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 353.068 * * [simplify]: iteration done : 4 enodes (cost 4 ) 353.069 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 353.069 * * [simplify]: iteration done : 4 enodes (cost 4 ) 353.070 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 353.070 * * [simplify]: iteration done : 5 enodes (cost 8 ) 353.071 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 353.071 * * [simplify]: iteration done : 4 enodes (cost 4 ) 353.072 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 353.073 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 353.073 * * [simplify]: iteration done : 6 enodes (cost 4 ) 353.074 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 353.074 * * [simplify]: iteration done : 4 enodes (cost 4 ) 353.075 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 353.075 * * [simplify]: iteration done : 4 enodes (cost 4 ) 353.076 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 353.076 * * [simplify]: iteration done : 4 enodes (cost 4 ) 353.077 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 353.077 * * [simplify]: iteration 1 : 5 enodes (cost 2 ) 353.077 * * [simplify]: iteration done : 5 enodes (cost 2 ) 353.078 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 353.078 * * [simplify]: iteration done : 3 enodes (cost 3 ) 353.079 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 353.079 * * [simplify]: iteration done : 4 enodes (cost 4 ) 353.079 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 353.080 * * [simplify]: iteration done : 4 enodes (cost 4 ) 353.080 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 353.080 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 353.081 * * [simplify]: iteration done : 4 enodes (cost 1 ) 353.081 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 353.081 * * [simplify]: iteration done : 3 enodes (cost 3 ) 353.082 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 353.083 * * [simplify]: iteration done : 5 enodes (cost 9 ) 353.083 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 353.084 * * [simplify]: iteration done : 4 enodes (cost 4 ) 353.084 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 353.085 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 353.085 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 353.087 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 353.088 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 353.090 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 353.093 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 353.102 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 353.150 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 353.599 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 356.000 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 356.001 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 356.001 * * [simplify]: iteration done : 4 enodes (cost 4 ) 356.002 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 356.002 * * [simplify]: iteration done : 4 enodes (cost 4 ) 356.003 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 356.003 * * [simplify]: iteration done : 3 enodes (cost 3 ) 356.004 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 356.004 * * [simplify]: iteration done : 3 enodes (cost 3 ) 356.005 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 356.005 * * [simplify]: iteration done : 4 enodes (cost 6 ) 356.006 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 356.006 * * [simplify]: iteration done : 3 enodes (cost 3 ) 356.007 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 356.007 * * [simplify]: iteration done : 3 enodes (cost 3 ) 356.007 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 356.008 * * [simplify]: iteration done : 3 enodes (cost 3 ) 356.008 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 356.009 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 356.009 * * [simplify]: iteration done : 4 enodes (cost 1 ) 356.010 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 356.010 * * [simplify]: iteration done : 2 enodes (cost 2 ) 356.010 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 356.011 * * [simplify]: iteration done : 4 enodes (cost 7 ) 356.011 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 356.012 * * [simplify]: iteration done : 3 enodes (cost 3 ) 356.012 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 356.013 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 356.013 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 356.014 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 356.015 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 356.016 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 356.017 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 356.020 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 356.029 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 356.077 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 356.548 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 358.961 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 358.962 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 358.962 * * [simplify]: iteration done : 3 enodes (cost 3 ) 358.963 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 358.963 * * [simplify]: iteration done : 3 enodes (cost 3 ) 358.964 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 358.964 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 358.965 * * [simplify]: iteration done : 6 enodes (cost 6 ) 358.965 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 358.966 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 358.967 * * [simplify]: iteration done : 8 enodes (cost 8 ) 358.967 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 358.968 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 358.969 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 358.970 * * [simplify]: iteration done : 11 enodes (cost 7 ) 358.970 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 358.971 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 358.972 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 358.974 * * [simplify]: iteration 3 : 26 enodes (cost 5 ) 358.977 * * [simplify]: iteration 4 : 49 enodes (cost 5 ) 358.984 * * [simplify]: iteration 5 : 107 enodes (cost 5 ) 359.020 * * [simplify]: iteration 6 : 245 enodes (cost 5 ) 359.168 * * [simplify]: iteration 7 : 701 enodes (cost 5 ) 360.251 * * [simplify]: iteration 8 : 2717 enodes (cost 5 ) 362.111 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 362.112 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 362.113 * * [simplify]: iteration 1 : 16 enodes (cost 20 ) 362.115 * * [simplify]: iteration 2 : 41 enodes (cost 10 ) 362.124 * * [simplify]: iteration 3 : 78 enodes (cost 10 ) 362.150 * * [simplify]: iteration 4 : 138 enodes (cost 8 ) 362.204 * * [simplify]: iteration 5 : 268 enodes (cost 8 ) 362.353 * * [simplify]: iteration 6 : 671 enodes (cost 8 ) 363.300 * * [simplify]: iteration 7 : 2479 enodes (cost 8 ) 365.451 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 365.451 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 365.452 * * [simplify]: iteration 1 : 8 enodes (cost 15 ) 365.453 * * [simplify]: iteration done : 8 enodes (cost 15 ) 365.453 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 365.454 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 365.455 * * [simplify]: iteration done : 7 enodes (cost 7 ) 365.455 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 365.456 * * [simplify]: iteration 1 : 18 enodes (cost 20 ) 365.459 * * [simplify]: iteration 2 : 47 enodes (cost 8 ) 365.471 * * [simplify]: iteration 3 : 89 enodes (cost 8 ) 365.499 * * [simplify]: iteration 4 : 105 enodes (cost 8 ) 365.526 * * [simplify]: iteration 5 : 151 enodes (cost 8 ) 365.585 * * [simplify]: iteration 6 : 291 enodes (cost 8 ) 365.747 * * [simplify]: iteration 7 : 753 enodes (cost 8 ) 366.801 * * [simplify]: iteration 8 : 2713 enodes (cost 8 ) 368.877 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 368.878 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.879 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.879 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.880 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.880 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.881 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.882 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 368.882 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 368.883 * * [simplify]: iteration done : 7 enodes (cost 8 ) 368.884 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 368.884 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 368.885 * * [simplify]: iteration done : 7 enodes (cost 8 ) 368.886 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 368.886 * * [simplify]: iteration 1 : 8 enodes (cost 11 ) 368.887 * * [simplify]: iteration done : 8 enodes (cost 11 ) 368.888 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.888 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.889 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.889 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 368.890 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 368.891 * * [simplify]: iteration done : 9 enodes (cost 7 ) 368.892 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.892 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.893 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.893 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.894 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.895 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.895 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.896 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.896 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.897 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 368.897 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 368.898 * * [simplify]: iteration done : 9 enodes (cost 5 ) 368.899 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 368.899 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 368.900 * * [simplify]: iteration done : 6 enodes (cost 6 ) 368.901 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.905 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.905 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.906 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.907 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.907 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.908 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 368.908 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 368.909 * * [simplify]: iteration done : 8 enodes (cost 4 ) 368.909 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 368.910 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 368.911 * * [simplify]: iteration done : 6 enodes (cost 6 ) 368.911 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 368.912 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 368.913 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 368.915 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 368.918 * * [simplify]: iteration 4 : 26 enodes (cost 9 ) 368.921 * * [simplify]: iteration done : 26 enodes (cost 9 ) 368.921 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.922 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.922 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.923 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.924 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.925 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.925 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.926 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.927 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.927 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 368.928 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 368.928 * * [simplify]: iteration done : 7 enodes (cost 1 ) 368.929 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 368.929 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 368.930 * * [simplify]: iteration done : 6 enodes (cost 6 ) 368.931 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 368.931 * * [simplify]: iteration 1 : 8 enodes (cost 11 ) 368.932 * * [simplify]: iteration done : 8 enodes (cost 11 ) 368.933 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.933 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.934 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.935 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 368.935 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 368.936 * * [simplify]: iteration done : 9 enodes (cost 7 ) 368.937 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.937 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.938 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.939 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.939 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.940 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.941 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.941 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.942 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.943 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 368.943 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 368.944 * * [simplify]: iteration done : 9 enodes (cost 5 ) 368.944 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 368.945 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 368.945 * * [simplify]: iteration done : 6 enodes (cost 6 ) 368.946 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.947 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.947 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.948 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.949 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.950 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.950 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 368.951 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 368.951 * * [simplify]: iteration done : 8 enodes (cost 4 ) 368.952 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 368.953 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 368.953 * * [simplify]: iteration done : 6 enodes (cost 6 ) 368.954 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 368.955 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 368.956 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 368.957 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 368.960 * * [simplify]: iteration 4 : 26 enodes (cost 9 ) 368.963 * * [simplify]: iteration done : 26 enodes (cost 9 ) 368.964 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.964 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.965 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.966 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.966 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.967 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.967 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.968 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.969 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.969 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 368.970 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 368.970 * * [simplify]: iteration done : 7 enodes (cost 1 ) 368.971 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 368.971 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 368.972 * * [simplify]: iteration done : 6 enodes (cost 6 ) 368.972 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 368.973 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 368.973 * * [simplify]: iteration done : 4 enodes (cost 3 ) 368.974 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 368.974 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 368.974 * * [simplify]: iteration done : 6 enodes (cost 1 ) 368.975 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 368.976 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 368.980 * * [simplify]: iteration 2 : 12 enodes (cost 13 ) 368.981 * * [simplify]: iteration done : 12 enodes (cost 13 ) 368.982 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.983 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.983 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.984 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 368.985 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 368.985 * * [simplify]: iteration done : 6 enodes (cost 1 ) 368.986 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 368.986 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 368.987 * * [simplify]: iteration done : 7 enodes (cost 7 ) 368.987 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 368.988 * * [simplify]: iteration 1 : 6 enodes (cost 7 ) 368.989 * * [simplify]: iteration done : 6 enodes (cost 7 ) 368.989 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 368.990 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 368.990 * * [simplify]: iteration done : 6 enodes (cost 6 ) 368.991 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 368.992 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 368.995 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 368.999 * * [simplify]: iteration 3 : 49 enodes (cost 3 ) 369.005 * * [simplify]: iteration 4 : 86 enodes (cost 3 ) 369.020 * * [simplify]: iteration 5 : 170 enodes (cost 3 ) 369.074 * * [simplify]: iteration 6 : 350 enodes (cost 3 ) 369.268 * * [simplify]: iteration 7 : 888 enodes (cost 3 ) 370.626 * * [simplify]: iteration 8 : 3034 enodes (cost 3 ) 372.479 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 372.480 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 372.481 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 372.484 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 372.494 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 372.503 * * [simplify]: iteration 4 : 125 enodes (cost 3 ) 372.531 * * [simplify]: iteration 5 : 263 enodes (cost 3 ) 372.641 * * [simplify]: iteration 6 : 562 enodes (cost 3 ) 373.379 * * [simplify]: iteration 7 : 1633 enodes (cost 3 ) 375.113 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 375.114 * * [simplify]: iteration 0 : 22 enodes (cost 29 ) 375.118 * * [simplify]: iteration 1 : 64 enodes (cost 26 ) 375.129 * * [simplify]: iteration 2 : 167 enodes (cost 22 ) 375.188 * * [simplify]: iteration 3 : 559 enodes (cost 22 ) 375.755 * * [simplify]: iteration 4 : 2021 enodes (cost 22 ) 377.320 * * [simplify]: iteration done : 5001 enodes (cost 22 ) 377.320 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 377.326 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 377.328 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 377.332 * * [simplify]: iteration 3 : 49 enodes (cost 3 ) 377.338 * * [simplify]: iteration 4 : 86 enodes (cost 3 ) 377.354 * * [simplify]: iteration 5 : 170 enodes (cost 3 ) 377.409 * * [simplify]: iteration 6 : 350 enodes (cost 3 ) 377.599 * * [simplify]: iteration 7 : 888 enodes (cost 3 ) 378.988 * * [simplify]: iteration 8 : 3034 enodes (cost 3 ) 380.831 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 380.832 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 380.833 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 380.836 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 380.841 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 380.855 * * [simplify]: iteration 4 : 125 enodes (cost 3 ) 380.882 * * [simplify]: iteration 5 : 263 enodes (cost 3 ) 380.994 * * [simplify]: iteration 6 : 562 enodes (cost 3 ) 381.505 * * [simplify]: iteration 7 : 1633 enodes (cost 3 ) 383.218 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 383.219 * * [simplify]: iteration 0 : 22 enodes (cost 29 ) 383.222 * * [simplify]: iteration 1 : 64 enodes (cost 26 ) 383.234 * * [simplify]: iteration 2 : 167 enodes (cost 22 ) 383.292 * * [simplify]: iteration 3 : 559 enodes (cost 22 ) 383.863 * * [simplify]: iteration 4 : 2021 enodes (cost 22 ) 385.413 * * [simplify]: iteration done : 5001 enodes (cost 22 ) 385.414 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 385.415 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 385.418 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 385.421 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 385.432 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 385.449 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 385.503 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 385.693 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 387.109 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 388.948 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 388.949 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 388.950 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 388.952 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 388.957 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 388.966 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 388.995 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 389.106 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 389.619 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 391.429 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 391.430 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 391.431 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 391.434 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 391.440 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 391.467 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 391.539 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 391.833 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 393.476 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 394.764 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 394.764 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 394.766 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 394.768 * * [simplify]: iteration 2 : 31 enodes (cost 6 ) 394.775 * * [simplify]: iteration 3 : 49 enodes (cost 6 ) 394.782 * * [simplify]: iteration 4 : 51 enodes (cost 6 ) 394.787 * * [simplify]: iteration done : 51 enodes (cost 6 ) 394.787 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 394.789 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 394.791 * * [simplify]: iteration 2 : 42 enodes (cost 6 ) 394.801 * * [simplify]: iteration 3 : 82 enodes (cost 6 ) 394.814 * * [simplify]: iteration 4 : 109 enodes (cost 6 ) 394.843 * * [simplify]: iteration 5 : 176 enodes (cost 6 ) 394.920 * * [simplify]: iteration 6 : 230 enodes (cost 6 ) 394.956 * * [simplify]: iteration done : 230 enodes (cost 6 ) 394.957 * * [simplify]: iteration 0 : 16 enodes (cost 20 ) 394.960 * * [simplify]: iteration 1 : 40 enodes (cost 19 ) 394.967 * * [simplify]: iteration 2 : 104 enodes (cost 19 ) 394.986 * * [simplify]: iteration 3 : 216 enodes (cost 18 ) 395.057 * * [simplify]: iteration 4 : 632 enodes (cost 18 ) 395.636 * * [simplify]: iteration 5 : 2458 enodes (cost 18 ) 397.869 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 397.870 * [simplify]: Simplified to: (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (fabs (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (sqrt x) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (fabs (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (sqrt x) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* x (log (cbrt (sqrt x)))) (+ (log x) (log (log (cbrt (sqrt x))))) (log (* x (log (cbrt (sqrt x))))) (pow (cbrt (sqrt x)) x) (pow (* x (log (cbrt (sqrt x)))) 3) (* (cbrt (* x (log (cbrt (sqrt x))))) (cbrt (* x (log (cbrt (sqrt x)))))) (cbrt (* x (log (cbrt (sqrt x))))) (pow (* x (log (cbrt (sqrt x)))) 3) (sqrt (* x (log (cbrt (sqrt x))))) (sqrt (* x (log (cbrt (sqrt x))))) (* (sqrt x) (sqrt (log (cbrt (sqrt x))))) (* (sqrt x) (sqrt (log (cbrt (sqrt x))))) (* x (log (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (* x (log (cbrt (cbrt (sqrt x))))) (* (log (cbrt (fabs (cbrt x)))) x) (* x (log (cbrt (sqrt (cbrt x))))) (* x (log (cbrt (sqrt (sqrt x))))) (* x (log (cbrt (sqrt (sqrt x))))) (* (log (cbrt 1)) x) (* x (log (cbrt (sqrt x)))) (* x (log (cbrt (sqrt (sqrt x))))) (* x (log (cbrt (sqrt (sqrt x))))) (* x (log 1)) (* x (log (cbrt (sqrt x)))) (* (* 2 (log (cbrt (cbrt (sqrt x))))) x) (* x (log (cbrt (cbrt (sqrt x))))) (* x (log (sqrt (cbrt (sqrt x))))) (* x (log (sqrt (cbrt (sqrt x))))) 0 (* x (log (cbrt (sqrt x)))) (* (log (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) x) (* (log (cbrt (cbrt (sqrt x)))) x) (* (log (cbrt (fabs (cbrt x)))) x) (* (log (cbrt (sqrt (cbrt x)))) x) (* (log (cbrt (sqrt (sqrt x)))) x) (* (log (cbrt (sqrt (sqrt x)))) x) (* (log (cbrt 1)) x) (* (log (cbrt (sqrt x))) x) (* (log (cbrt (sqrt (sqrt x)))) x) (* (log (cbrt (sqrt (sqrt x)))) x) (* (log 1) x) (* (log (cbrt (sqrt x))) x) (* (* 2 (log (cbrt (cbrt (sqrt x))))) x) (* (log (cbrt (cbrt (sqrt x)))) x) (* (log (sqrt (cbrt (sqrt x)))) x) (* (log (sqrt (cbrt (sqrt x)))) x) 0 (* (log (cbrt (sqrt x))) x) (* x 1/3) x (* x (* (cbrt (log (cbrt (sqrt x)))) (cbrt (log (cbrt (sqrt x)))))) (* x (sqrt (log (cbrt (sqrt x))))) x (* (cbrt x) (log (cbrt (sqrt x)))) (* (sqrt x) (log (cbrt (sqrt x)))) (* x (log (cbrt (sqrt x)))) (pow x 1/6) (pow x 1/6) (- (+ (cbrt NAN) (* (cbrt (pow NAN 13)) (/ 2/9 (pow x 2)))) (* (/ 1/3 x) (cbrt (pow NAN 7)))) (pow x 1/6) (pow x 1/6) (- (+ (cbrt NAN) (* (cbrt (pow NAN 13)) (/ 2/9 (pow x 2)))) (* (/ 1/3 x) (cbrt (pow NAN 7)))) (cbrt x) (cbrt x) (cbrt x) (* (* 1/6 (log x)) x) (* (log x) (* 1/6 x)) (+ (* 1/3 (- (* (log NAN) x) (pow NAN 2))) (* 1/6 (/ (pow NAN 4) x))) 397.871 * * * [progress]: adding candidates to table 397.970 * [progress]: [Phase 3 of 3] Extracting. 397.970 * * [regime]: Finding splitpoints for: (# # # # # # #) 397.971 * * * [regime-changes]: Trying 2 branch expressions: ((* x (log x)) x) 397.971 * * * * [regimes]: Trying to branch on (* x (log x)) from (# # # # # # #) 398.020 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 398.062 * * * [regime]: Found split indices: #