3.910 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (- (* x x) (* (* y 4.0) z)) 0.032 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.033 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.035 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 0.040 * * [simplify]: iteration 3 : 56 enodes (cost 9 ) 0.051 * * [simplify]: iteration 4 : 58 enodes (cost 9 ) 0.060 * * [simplify]: iteration done : 58 enodes (cost 9 ) 0.060 * [simplify]: Simplified to: (- (* x x) (* (* y 4.0) z)) 0.060 * * [progress]: iteration 1 / 4 0.060 * * * [progress]: picking best candidate 0.063 * * * * [pick]: Picked # 0.063 * * * [progress]: localizing error 0.070 * * * [progress]: generating rewritten candidates 0.070 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.078 * * * [progress]: generating series expansions 0.078 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.078 * [approximate]: Taking taylor expansion of (- (pow x 2) (* 4.0 (* z y))) in (x y z) around 0 0.078 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 4.0 (* z y))) in z 0.078 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.078 * [taylor]: Taking taylor expansion of x in z 0.078 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in z 0.078 * [taylor]: Taking taylor expansion of 4.0 in z 0.078 * [taylor]: Taking taylor expansion of (* z y) in z 0.078 * [taylor]: Taking taylor expansion of z in z 0.078 * [taylor]: Taking taylor expansion of y in z 0.078 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 4.0 (* z y))) in y 0.078 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.078 * [taylor]: Taking taylor expansion of x in y 0.078 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in y 0.078 * [taylor]: Taking taylor expansion of 4.0 in y 0.078 * [taylor]: Taking taylor expansion of (* z y) in y 0.078 * [taylor]: Taking taylor expansion of z in y 0.078 * [taylor]: Taking taylor expansion of y in y 0.078 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 4.0 (* z y))) in x 0.078 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.078 * [taylor]: Taking taylor expansion of x in x 0.078 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in x 0.078 * [taylor]: Taking taylor expansion of 4.0 in x 0.078 * [taylor]: Taking taylor expansion of (* z y) in x 0.078 * [taylor]: Taking taylor expansion of z in x 0.078 * [taylor]: Taking taylor expansion of y in x 0.078 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 4.0 (* z y))) in x 0.078 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.078 * [taylor]: Taking taylor expansion of x in x 0.078 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in x 0.078 * [taylor]: Taking taylor expansion of 4.0 in x 0.078 * [taylor]: Taking taylor expansion of (* z y) in x 0.078 * [taylor]: Taking taylor expansion of z in x 0.078 * [taylor]: Taking taylor expansion of y in x 0.079 * [taylor]: Taking taylor expansion of (neg (* 4.0 (* z y))) in y 0.079 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in y 0.079 * [taylor]: Taking taylor expansion of 4.0 in y 0.079 * [taylor]: Taking taylor expansion of (* z y) in y 0.079 * [taylor]: Taking taylor expansion of z in y 0.079 * [taylor]: Taking taylor expansion of y in y 0.079 * [taylor]: Taking taylor expansion of 0 in z 0.079 * [taylor]: Taking taylor expansion of 0 in y 0.079 * [taylor]: Taking taylor expansion of 0 in z 0.079 * [taylor]: Taking taylor expansion of (neg (* 4.0 z)) in z 0.079 * [taylor]: Taking taylor expansion of (* 4.0 z) in z 0.079 * [taylor]: Taking taylor expansion of 4.0 in z 0.079 * [taylor]: Taking taylor expansion of z in z 0.079 * [taylor]: Taking taylor expansion of 1 in y 0.079 * [taylor]: Taking taylor expansion of 1 in z 0.079 * [taylor]: Taking taylor expansion of 0 in z 0.079 * [taylor]: Taking taylor expansion of 0 in z 0.080 * [taylor]: Taking taylor expansion of 0 in y 0.080 * [taylor]: Taking taylor expansion of 0 in z 0.080 * [taylor]: Taking taylor expansion of 0 in z 0.080 * [taylor]: Taking taylor expansion of 0 in z 0.080 * [taylor]: Taking taylor expansion of 0 in z 0.080 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (* z y)))) in (x y z) around 0 0.080 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (* z y)))) in z 0.080 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 0.080 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.080 * [taylor]: Taking taylor expansion of x in z 0.080 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in z 0.080 * [taylor]: Taking taylor expansion of 4.0 in z 0.080 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.080 * [taylor]: Taking taylor expansion of (* z y) in z 0.080 * [taylor]: Taking taylor expansion of z in z 0.080 * [taylor]: Taking taylor expansion of y in z 0.081 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (* z y)))) in y 0.081 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.081 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.081 * [taylor]: Taking taylor expansion of x in y 0.081 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y 0.081 * [taylor]: Taking taylor expansion of 4.0 in y 0.081 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.081 * [taylor]: Taking taylor expansion of (* z y) in y 0.081 * [taylor]: Taking taylor expansion of z in y 0.081 * [taylor]: Taking taylor expansion of y in y 0.081 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (* z y)))) in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.081 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x 0.081 * [taylor]: Taking taylor expansion of 4.0 in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.081 * [taylor]: Taking taylor expansion of (* z y) in x 0.081 * [taylor]: Taking taylor expansion of z in x 0.081 * [taylor]: Taking taylor expansion of y in x 0.081 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (* z y)))) in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.081 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x 0.081 * [taylor]: Taking taylor expansion of 4.0 in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.081 * [taylor]: Taking taylor expansion of (* z y) in x 0.081 * [taylor]: Taking taylor expansion of z in x 0.081 * [taylor]: Taking taylor expansion of y in x 0.081 * [taylor]: Taking taylor expansion of 1 in y 0.082 * [taylor]: Taking taylor expansion of 0 in y 0.082 * [taylor]: Taking taylor expansion of 1 in z 0.082 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 (* z y)))) in y 0.082 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y 0.082 * [taylor]: Taking taylor expansion of 4.0 in y 0.082 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.082 * [taylor]: Taking taylor expansion of (* z y) in y 0.082 * [taylor]: Taking taylor expansion of z in y 0.082 * [taylor]: Taking taylor expansion of y in y 0.082 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 z))) in z 0.082 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z 0.082 * [taylor]: Taking taylor expansion of 4.0 in z 0.082 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.082 * [taylor]: Taking taylor expansion of z in z 0.082 * [taylor]: Taking taylor expansion of 0 in z 0.082 * [taylor]: Taking taylor expansion of 0 in z 0.082 * [taylor]: Taking taylor expansion of 0 in y 0.083 * [taylor]: Taking taylor expansion of 0 in z 0.083 * [taylor]: Taking taylor expansion of 0 in z 0.083 * [taylor]: Taking taylor expansion of 0 in z 0.083 * [taylor]: Taking taylor expansion of 0 in y 0.083 * [taylor]: Taking taylor expansion of 0 in z 0.083 * [taylor]: Taking taylor expansion of 0 in z 0.083 * [taylor]: Taking taylor expansion of 0 in z 0.083 * [taylor]: Taking taylor expansion of 0 in z 0.084 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (* z y)))) in (x y z) around 0 0.084 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (* z y)))) in z 0.084 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 0.084 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.084 * [taylor]: Taking taylor expansion of x in z 0.084 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in z 0.084 * [taylor]: Taking taylor expansion of 4.0 in z 0.084 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.084 * [taylor]: Taking taylor expansion of (* z y) in z 0.084 * [taylor]: Taking taylor expansion of z in z 0.084 * [taylor]: Taking taylor expansion of y in z 0.084 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (* z y)))) in y 0.084 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.084 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.084 * [taylor]: Taking taylor expansion of x in y 0.084 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y 0.084 * [taylor]: Taking taylor expansion of 4.0 in y 0.084 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.084 * [taylor]: Taking taylor expansion of (* z y) in y 0.084 * [taylor]: Taking taylor expansion of z in y 0.084 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (* z y)))) in x 0.085 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.085 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x 0.085 * [taylor]: Taking taylor expansion of 4.0 in x 0.085 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.085 * [taylor]: Taking taylor expansion of (* z y) in x 0.085 * [taylor]: Taking taylor expansion of z in x 0.085 * [taylor]: Taking taylor expansion of y in x 0.085 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (* z y)))) in x 0.085 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.085 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x 0.085 * [taylor]: Taking taylor expansion of 4.0 in x 0.085 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.085 * [taylor]: Taking taylor expansion of (* z y) in x 0.085 * [taylor]: Taking taylor expansion of z in x 0.085 * [taylor]: Taking taylor expansion of y in x 0.085 * [taylor]: Taking taylor expansion of 1 in y 0.085 * [taylor]: Taking taylor expansion of 0 in y 0.085 * [taylor]: Taking taylor expansion of 1 in z 0.085 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 (* z y)))) in y 0.086 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y 0.086 * [taylor]: Taking taylor expansion of 4.0 in y 0.086 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.086 * [taylor]: Taking taylor expansion of (* z y) in y 0.086 * [taylor]: Taking taylor expansion of z in y 0.086 * [taylor]: Taking taylor expansion of y in y 0.086 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 z))) in z 0.086 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z 0.086 * [taylor]: Taking taylor expansion of 4.0 in z 0.086 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.086 * [taylor]: Taking taylor expansion of z in z 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [taylor]: Taking taylor expansion of 0 in y 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.087 * [taylor]: Taking taylor expansion of 0 in y 0.087 * [taylor]: Taking taylor expansion of 0 in z 0.087 * [taylor]: Taking taylor expansion of 0 in z 0.087 * [taylor]: Taking taylor expansion of 0 in z 0.087 * [taylor]: Taking taylor expansion of 0 in z 0.087 * * * [progress]: simplifying candidates 0.088 * [simplify]: Simplifying using # : (/ (exp (* x x)) (exp (* (* y 4.0) z))) (log (- (* x x) (* (* y 4.0) z))) (exp (- (* x x) (* (* y 4.0) z))) (* (cbrt (- (* x x) (* (* y 4.0) z))) (cbrt (- (* x x) (* (* y 4.0) z)))) (cbrt (- (* x x) (* (* y 4.0) z))) (* (* (- (* x x) (* (* y 4.0) z)) (- (* x x) (* (* y 4.0) z))) (- (* x x) (* (* y 4.0) z))) (sqrt (- (* x x) (* (* y 4.0) z))) (sqrt (- (* x x) (* (* y 4.0) z))) (- (pow (* x x) 3) (pow (* (* y 4.0) z) 3)) (+ (* (* x x) (* x x)) (+ (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* x x) (* (* y 4.0) z)))) (neg (* (* y 4.0) z)) (- (* (* x x) (* x x)) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)) (neg (* (* y 4.0) z)) (- (pow x 2) (* 4.0 (* z y))) (- (pow x 2) (* 4.0 (* z y))) (- (pow x 2) (* 4.0 (* z y))) 0.088 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.090 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 0.092 * * [simplify]: iteration 2 : 42 enodes (cost 10 ) 0.099 * * [simplify]: iteration 3 : 96 enodes (cost 10 ) 0.118 * * [simplify]: iteration 4 : 254 enodes (cost 10 ) 0.186 * * [simplify]: iteration 5 : 834 enodes (cost 10 ) 1.440 * * [simplify]: iteration 6 : 4965 enodes (cost 10 ) 2.428 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 2.429 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 2.430 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 2.432 * * [simplify]: iteration 2 : 32 enodes (cost 10 ) 2.438 * * [simplify]: iteration 3 : 57 enodes (cost 10 ) 2.453 * * [simplify]: iteration 4 : 59 enodes (cost 10 ) 2.462 * * [simplify]: iteration done : 59 enodes (cost 10 ) 2.463 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 2.464 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 2.467 * * [simplify]: iteration 2 : 45 enodes (cost 10 ) 2.475 * * [simplify]: iteration 3 : 103 enodes (cost 10 ) 2.494 * * [simplify]: iteration 4 : 210 enodes (cost 10 ) 2.548 * * [simplify]: iteration 5 : 652 enodes (cost 10 ) 3.220 * * [simplify]: iteration 6 : 2953 enodes (cost 10 ) 4.535 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 4.536 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 4.537 * * [simplify]: iteration 1 : 16 enodes (cost 21 ) 4.540 * * [simplify]: iteration 2 : 33 enodes (cost 21 ) 4.545 * * [simplify]: iteration 3 : 58 enodes (cost 21 ) 4.556 * * [simplify]: iteration 4 : 60 enodes (cost 21 ) 4.566 * * [simplify]: iteration done : 60 enodes (cost 21 ) 4.567 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 4.568 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 4.570 * * [simplify]: iteration 2 : 32 enodes (cost 10 ) 4.577 * * [simplify]: iteration 3 : 57 enodes (cost 10 ) 4.588 * * [simplify]: iteration 4 : 59 enodes (cost 10 ) 4.598 * * [simplify]: iteration done : 59 enodes (cost 10 ) 4.599 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 4.600 * * [simplify]: iteration 1 : 17 enodes (cost 29 ) 4.603 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 4.613 * * [simplify]: iteration 3 : 174 enodes (cost 11 ) 4.713 * * [simplify]: iteration 4 : 920 enodes (cost 11 ) 6.016 * * [simplify]: iteration 5 : 4638 enodes (cost 11 ) 7.967 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 7.967 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 7.968 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 7.971 * * [simplify]: iteration 2 : 32 enodes (cost 10 ) 7.981 * * [simplify]: iteration 3 : 57 enodes (cost 10 ) 7.992 * * [simplify]: iteration 4 : 59 enodes (cost 10 ) 8.001 * * [simplify]: iteration done : 59 enodes (cost 10 ) 8.002 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 8.003 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 8.005 * * [simplify]: iteration 2 : 32 enodes (cost 10 ) 8.011 * * [simplify]: iteration 3 : 57 enodes (cost 10 ) 8.022 * * [simplify]: iteration 4 : 59 enodes (cost 10 ) 8.033 * * [simplify]: iteration done : 59 enodes (cost 10 ) 8.034 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 8.035 * * [simplify]: iteration 1 : 35 enodes (cost 13 ) 8.043 * * [simplify]: iteration 2 : 131 enodes (cost 11 ) 8.094 * * [simplify]: iteration 3 : 621 enodes (cost 11 ) 9.107 * * [simplify]: iteration 4 : 3194 enodes (cost 11 ) 11.310 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 11.311 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 11.317 * * [simplify]: iteration 1 : 38 enodes (cost 23 ) 11.326 * * [simplify]: iteration 2 : 127 enodes (cost 21 ) 11.373 * * [simplify]: iteration 3 : 376 enodes (cost 19 ) 11.549 * * [simplify]: iteration 4 : 530 enodes (cost 19 ) 11.724 * * [simplify]: iteration 5 : 557 enodes (cost 19 ) 11.908 * * [simplify]: iteration 6 : 663 enodes (cost 19 ) 12.168 * * [simplify]: iteration 7 : 1006 enodes (cost 19 ) 12.949 * * [simplify]: iteration 8 : 2362 enodes (cost 19 ) 14.241 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 14.242 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 14.242 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 14.244 * * [simplify]: iteration 2 : 35 enodes (cost 6 ) 14.251 * * [simplify]: iteration 3 : 53 enodes (cost 6 ) 14.264 * * [simplify]: iteration done : 53 enodes (cost 6 ) 14.264 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 14.267 * * [simplify]: iteration 1 : 30 enodes (cost 19 ) 14.273 * * [simplify]: iteration 2 : 98 enodes (cost 17 ) 14.309 * * [simplify]: iteration 3 : 378 enodes (cost 15 ) 14.664 * * [simplify]: iteration 4 : 1029 enodes (cost 15 ) 15.432 * * [simplify]: iteration 5 : 1449 enodes (cost 15 ) 16.370 * * [simplify]: iteration 6 : 1950 enodes (cost 15 ) 17.761 * * [simplify]: iteration 7 : 3164 enodes (cost 15 ) 19.487 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 19.487 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 19.488 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 19.490 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 19.493 * * [simplify]: iteration done : 19 enodes (cost 9 ) 19.494 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 19.495 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 19.497 * * [simplify]: iteration 2 : 35 enodes (cost 6 ) 19.504 * * [simplify]: iteration 3 : 53 enodes (cost 6 ) 19.513 * * [simplify]: iteration done : 53 enodes (cost 6 ) 19.514 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 19.515 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 19.518 * * [simplify]: iteration 2 : 45 enodes (cost 9 ) 19.524 * * [simplify]: iteration 3 : 75 enodes (cost 9 ) 19.538 * * [simplify]: iteration 4 : 83 enodes (cost 9 ) 19.550 * * [simplify]: iteration 5 : 93 enodes (cost 9 ) 19.563 * * [simplify]: iteration 6 : 115 enodes (cost 9 ) 19.581 * * [simplify]: iteration 7 : 176 enodes (cost 9 ) 19.638 * * [simplify]: iteration 8 : 390 enodes (cost 9 ) 20.088 * * [simplify]: iteration 9 : 1312 enodes (cost 9 ) 22.452 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 22.452 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 22.454 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 22.461 * * [simplify]: iteration 2 : 45 enodes (cost 9 ) 22.467 * * [simplify]: iteration 3 : 75 enodes (cost 9 ) 22.479 * * [simplify]: iteration 4 : 83 enodes (cost 9 ) 22.490 * * [simplify]: iteration 5 : 93 enodes (cost 9 ) 22.502 * * [simplify]: iteration 6 : 115 enodes (cost 9 ) 22.524 * * [simplify]: iteration 7 : 176 enodes (cost 9 ) 22.579 * * [simplify]: iteration 8 : 390 enodes (cost 9 ) 23.031 * * [simplify]: iteration 9 : 1312 enodes (cost 9 ) 25.402 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 25.402 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 25.404 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 25.406 * * [simplify]: iteration 2 : 45 enodes (cost 9 ) 25.412 * * [simplify]: iteration 3 : 75 enodes (cost 9 ) 25.424 * * [simplify]: iteration 4 : 83 enodes (cost 9 ) 25.435 * * [simplify]: iteration 5 : 93 enodes (cost 9 ) 25.452 * * [simplify]: iteration 6 : 115 enodes (cost 9 ) 25.470 * * [simplify]: iteration 7 : 176 enodes (cost 9 ) 25.527 * * [simplify]: iteration 8 : 390 enodes (cost 9 ) 25.984 * * [simplify]: iteration 9 : 1312 enodes (cost 9 ) 28.368 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 28.369 * [simplify]: Simplified to: (exp (- (* x x) (* (* y 4.0) z))) (log (- (* x x) (* (* y 4.0) z))) (exp (- (* x x) (* (* y 4.0) z))) (* (cbrt (- (* x x) (* (* y 4.0) z))) (cbrt (- (* x x) (* (* y 4.0) z)))) (cbrt (- (* x x) (* (* y 4.0) z))) (pow (- (* x x) (* (* y 4.0) z)) 3) (sqrt (- (* x x) (* (* y 4.0) z))) (sqrt (- (* x x) (* (* y 4.0) z))) (- (pow x 6) (pow (* (* y 4.0) z) 3)) (+ (* (* (* y 4.0) z) (+ (* (* y 4.0) z) (* x x))) (pow x 4)) (neg (* (* y 4.0) z)) (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)) (neg (* (* y 4.0) z)) (- (pow x 2) (* 4.0 (* z y))) (- (pow x 2) (* 4.0 (* z y))) (- (pow x 2) (* 4.0 (* z y))) 28.369 * * * [progress]: adding candidates to table 28.389 * * [progress]: iteration 2 / 4 28.389 * * * [progress]: picking best candidate 28.392 * * * * [pick]: Picked # 28.392 * * * [progress]: localizing error 28.410 * * * [progress]: generating rewritten candidates 28.410 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 28.421 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 28.427 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 28.440 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 28.451 * * * [progress]: generating series expansions 28.451 * * * * [progress]: [ 1 / 4 ] generating series at (2) 28.451 * [approximate]: Taking taylor expansion of (/ (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) (+ (pow x 2) (* 4.0 (* z y)))) in (x y z) around 0 28.451 * [taylor]: Taking taylor expansion of (/ (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) (+ (pow x 2) (* 4.0 (* z y)))) in z 28.451 * [taylor]: Taking taylor expansion of (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) in z 28.451 * [taylor]: Taking taylor expansion of (pow x 4) in z 28.451 * [taylor]: Taking taylor expansion of x in z 28.451 * [taylor]: Taking taylor expansion of (* 16.0 (* (pow z 2) (pow y 2))) in z 28.451 * [taylor]: Taking taylor expansion of 16.0 in z 28.451 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 28.451 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.451 * [taylor]: Taking taylor expansion of z in z 28.452 * [taylor]: Taking taylor expansion of (pow y 2) in z 28.452 * [taylor]: Taking taylor expansion of y in z 28.452 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* z y))) in z 28.452 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.452 * [taylor]: Taking taylor expansion of x in z 28.452 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in z 28.452 * [taylor]: Taking taylor expansion of 4.0 in z 28.452 * [taylor]: Taking taylor expansion of (* z y) in z 28.452 * [taylor]: Taking taylor expansion of z in z 28.452 * [taylor]: Taking taylor expansion of y in z 28.452 * [taylor]: Taking taylor expansion of (/ (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) (+ (pow x 2) (* 4.0 (* z y)))) in y 28.452 * [taylor]: Taking taylor expansion of (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) in y 28.452 * [taylor]: Taking taylor expansion of (pow x 4) in y 28.452 * [taylor]: Taking taylor expansion of x in y 28.452 * [taylor]: Taking taylor expansion of (* 16.0 (* (pow z 2) (pow y 2))) in y 28.452 * [taylor]: Taking taylor expansion of 16.0 in y 28.452 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.452 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.452 * [taylor]: Taking taylor expansion of z in y 28.452 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.452 * [taylor]: Taking taylor expansion of y in y 28.452 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* z y))) in y 28.452 * [taylor]: Taking taylor expansion of (pow x 2) in y 28.452 * [taylor]: Taking taylor expansion of x in y 28.452 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in y 28.452 * [taylor]: Taking taylor expansion of 4.0 in y 28.452 * [taylor]: Taking taylor expansion of (* z y) in y 28.452 * [taylor]: Taking taylor expansion of z in y 28.452 * [taylor]: Taking taylor expansion of y in y 28.453 * [taylor]: Taking taylor expansion of (/ (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) (+ (pow x 2) (* 4.0 (* z y)))) in x 28.453 * [taylor]: Taking taylor expansion of (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) in x 28.453 * [taylor]: Taking taylor expansion of (pow x 4) in x 28.453 * [taylor]: Taking taylor expansion of x in x 28.453 * [taylor]: Taking taylor expansion of (* 16.0 (* (pow z 2) (pow y 2))) in x 28.453 * [taylor]: Taking taylor expansion of 16.0 in x 28.453 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 28.453 * [taylor]: Taking taylor expansion of (pow z 2) in x 28.453 * [taylor]: Taking taylor expansion of z in x 28.453 * [taylor]: Taking taylor expansion of (pow y 2) in x 28.453 * [taylor]: Taking taylor expansion of y in x 28.453 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* z y))) in x 28.453 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.453 * [taylor]: Taking taylor expansion of x in x 28.453 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in x 28.453 * [taylor]: Taking taylor expansion of 4.0 in x 28.453 * [taylor]: Taking taylor expansion of (* z y) in x 28.453 * [taylor]: Taking taylor expansion of z in x 28.453 * [taylor]: Taking taylor expansion of y in x 28.454 * [taylor]: Taking taylor expansion of (/ (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) (+ (pow x 2) (* 4.0 (* z y)))) in x 28.454 * [taylor]: Taking taylor expansion of (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) in x 28.454 * [taylor]: Taking taylor expansion of (pow x 4) in x 28.454 * [taylor]: Taking taylor expansion of x in x 28.454 * [taylor]: Taking taylor expansion of (* 16.0 (* (pow z 2) (pow y 2))) in x 28.454 * [taylor]: Taking taylor expansion of 16.0 in x 28.454 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 28.454 * [taylor]: Taking taylor expansion of (pow z 2) in x 28.454 * [taylor]: Taking taylor expansion of z in x 28.454 * [taylor]: Taking taylor expansion of (pow y 2) in x 28.454 * [taylor]: Taking taylor expansion of y in x 28.454 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* z y))) in x 28.454 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.454 * [taylor]: Taking taylor expansion of x in x 28.454 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in x 28.454 * [taylor]: Taking taylor expansion of 4.0 in x 28.454 * [taylor]: Taking taylor expansion of (* z y) in x 28.454 * [taylor]: Taking taylor expansion of z in x 28.454 * [taylor]: Taking taylor expansion of y in x 28.455 * [taylor]: Taking taylor expansion of (* -4.0 (* z y)) in y 28.455 * [taylor]: Taking taylor expansion of -4.0 in y 28.455 * [taylor]: Taking taylor expansion of (* z y) in y 28.455 * [taylor]: Taking taylor expansion of z in y 28.455 * [taylor]: Taking taylor expansion of y in y 28.455 * [taylor]: Taking taylor expansion of 0 in z 28.456 * [taylor]: Taking taylor expansion of 0 in y 28.456 * [taylor]: Taking taylor expansion of 0 in z 28.456 * [taylor]: Taking taylor expansion of (neg (* 4.0 z)) in z 28.456 * [taylor]: Taking taylor expansion of (* 4.0 z) in z 28.456 * [taylor]: Taking taylor expansion of 4.0 in z 28.456 * [taylor]: Taking taylor expansion of z in z 28.456 * [taylor]: Taking taylor expansion of 1.0 in y 28.457 * [taylor]: Taking taylor expansion of 1.0 in z 28.457 * [taylor]: Taking taylor expansion of 0 in z 28.457 * [taylor]: Taking taylor expansion of 0 in z 28.457 * [taylor]: Taking taylor expansion of 0 in y 28.457 * [taylor]: Taking taylor expansion of 0 in z 28.458 * [taylor]: Taking taylor expansion of 0 in z 28.458 * [taylor]: Taking taylor expansion of 0 in z 28.458 * [taylor]: Taking taylor expansion of 0 in z 28.458 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2)))) in (x y z) around 0 28.458 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2)))) in z 28.458 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in z 28.458 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in z 28.458 * [taylor]: Taking taylor expansion of (pow x 4) in z 28.458 * [taylor]: Taking taylor expansion of x in z 28.459 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in z 28.459 * [taylor]: Taking taylor expansion of 16.0 in z 28.459 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 28.459 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 28.459 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.459 * [taylor]: Taking taylor expansion of z in z 28.459 * [taylor]: Taking taylor expansion of (pow y 2) in z 28.459 * [taylor]: Taking taylor expansion of y in z 28.459 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in z 28.459 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in z 28.459 * [taylor]: Taking taylor expansion of 4.0 in z 28.459 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 28.459 * [taylor]: Taking taylor expansion of (* z y) in z 28.459 * [taylor]: Taking taylor expansion of z in z 28.459 * [taylor]: Taking taylor expansion of y in z 28.459 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 28.459 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.459 * [taylor]: Taking taylor expansion of x in z 28.460 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2)))) in y 28.460 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in y 28.460 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 28.460 * [taylor]: Taking taylor expansion of (pow x 4) in y 28.460 * [taylor]: Taking taylor expansion of x in y 28.460 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in y 28.460 * [taylor]: Taking taylor expansion of 16.0 in y 28.460 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 28.460 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.460 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.460 * [taylor]: Taking taylor expansion of z in y 28.460 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.460 * [taylor]: Taking taylor expansion of y in y 28.460 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in y 28.460 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y 28.460 * [taylor]: Taking taylor expansion of 4.0 in y 28.460 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 28.460 * [taylor]: Taking taylor expansion of (* z y) in y 28.460 * [taylor]: Taking taylor expansion of z in y 28.460 * [taylor]: Taking taylor expansion of y in y 28.461 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 28.461 * [taylor]: Taking taylor expansion of (pow x 2) in y 28.461 * [taylor]: Taking taylor expansion of x in y 28.461 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2)))) in x 28.461 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in x 28.461 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 28.461 * [taylor]: Taking taylor expansion of (pow x 4) in x 28.461 * [taylor]: Taking taylor expansion of x in x 28.461 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in x 28.461 * [taylor]: Taking taylor expansion of 16.0 in x 28.461 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 28.461 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 28.461 * [taylor]: Taking taylor expansion of (pow z 2) in x 28.461 * [taylor]: Taking taylor expansion of z in x 28.461 * [taylor]: Taking taylor expansion of (pow y 2) in x 28.461 * [taylor]: Taking taylor expansion of y in x 28.462 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in x 28.462 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x 28.462 * [taylor]: Taking taylor expansion of 4.0 in x 28.462 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 28.462 * [taylor]: Taking taylor expansion of (* z y) in x 28.462 * [taylor]: Taking taylor expansion of z in x 28.462 * [taylor]: Taking taylor expansion of y in x 28.462 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 28.462 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.462 * [taylor]: Taking taylor expansion of x in x 28.462 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2)))) in x 28.462 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in x 28.462 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 28.462 * [taylor]: Taking taylor expansion of (pow x 4) in x 28.462 * [taylor]: Taking taylor expansion of x in x 28.462 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in x 28.462 * [taylor]: Taking taylor expansion of 16.0 in x 28.462 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 28.462 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 28.462 * [taylor]: Taking taylor expansion of (pow z 2) in x 28.462 * [taylor]: Taking taylor expansion of z in x 28.462 * [taylor]: Taking taylor expansion of (pow y 2) in x 28.462 * [taylor]: Taking taylor expansion of y in x 28.462 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in x 28.462 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x 28.462 * [taylor]: Taking taylor expansion of 4.0 in x 28.462 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 28.462 * [taylor]: Taking taylor expansion of (* z y) in x 28.462 * [taylor]: Taking taylor expansion of z in x 28.462 * [taylor]: Taking taylor expansion of y in x 28.463 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 28.463 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.463 * [taylor]: Taking taylor expansion of x in x 28.463 * [taylor]: Taking taylor expansion of 1 in y 28.463 * [taylor]: Taking taylor expansion of 0 in y 28.463 * [taylor]: Taking taylor expansion of 1 in z 28.463 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 (* z y)))) in y 28.463 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y 28.463 * [taylor]: Taking taylor expansion of 4.0 in y 28.463 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 28.463 * [taylor]: Taking taylor expansion of (* z y) in y 28.463 * [taylor]: Taking taylor expansion of z in y 28.463 * [taylor]: Taking taylor expansion of y in y 28.464 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 z))) in z 28.464 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z 28.464 * [taylor]: Taking taylor expansion of 4.0 in z 28.464 * [taylor]: Taking taylor expansion of (/ 1 z) in z 28.464 * [taylor]: Taking taylor expansion of z in z 28.464 * [taylor]: Taking taylor expansion of 0 in z 28.464 * [taylor]: Taking taylor expansion of 0 in z 28.464 * [taylor]: Taking taylor expansion of 0 in y 28.465 * [taylor]: Taking taylor expansion of 0 in z 28.465 * [taylor]: Taking taylor expansion of 0 in z 28.465 * [taylor]: Taking taylor expansion of 0 in z 28.466 * [taylor]: Taking taylor expansion of 0 in y 28.466 * [taylor]: Taking taylor expansion of 0 in z 28.466 * [taylor]: Taking taylor expansion of 0 in z 28.466 * [taylor]: Taking taylor expansion of 0 in z 28.466 * [taylor]: Taking taylor expansion of 0 in z 28.467 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2)))) in (x y z) around 0 28.467 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2)))) in z 28.467 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in z 28.467 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in z 28.467 * [taylor]: Taking taylor expansion of (pow x 4) in z 28.467 * [taylor]: Taking taylor expansion of x in z 28.467 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in z 28.467 * [taylor]: Taking taylor expansion of 16.0 in z 28.467 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 28.467 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 28.468 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.468 * [taylor]: Taking taylor expansion of z in z 28.468 * [taylor]: Taking taylor expansion of (pow y 2) in z 28.468 * [taylor]: Taking taylor expansion of y in z 28.468 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in z 28.468 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in z 28.468 * [taylor]: Taking taylor expansion of 4.0 in z 28.468 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 28.468 * [taylor]: Taking taylor expansion of (* z y) in z 28.468 * [taylor]: Taking taylor expansion of z in z 28.468 * [taylor]: Taking taylor expansion of y in z 28.468 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 28.468 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.468 * [taylor]: Taking taylor expansion of x in z 28.468 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2)))) in y 28.468 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in y 28.468 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 28.469 * [taylor]: Taking taylor expansion of (pow x 4) in y 28.469 * [taylor]: Taking taylor expansion of x in y 28.469 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in y 28.469 * [taylor]: Taking taylor expansion of 16.0 in y 28.469 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 28.469 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.469 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.469 * [taylor]: Taking taylor expansion of z in y 28.469 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.469 * [taylor]: Taking taylor expansion of y in y 28.469 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in y 28.469 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y 28.469 * [taylor]: Taking taylor expansion of 4.0 in y 28.469 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 28.469 * [taylor]: Taking taylor expansion of (* z y) in y 28.469 * [taylor]: Taking taylor expansion of z in y 28.469 * [taylor]: Taking taylor expansion of y in y 28.469 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 28.469 * [taylor]: Taking taylor expansion of (pow x 2) in y 28.469 * [taylor]: Taking taylor expansion of x in y 28.470 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2)))) in x 28.470 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in x 28.470 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 28.470 * [taylor]: Taking taylor expansion of (pow x 4) in x 28.470 * [taylor]: Taking taylor expansion of x in x 28.470 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in x 28.470 * [taylor]: Taking taylor expansion of 16.0 in x 28.470 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 28.470 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 28.470 * [taylor]: Taking taylor expansion of (pow z 2) in x 28.470 * [taylor]: Taking taylor expansion of z in x 28.470 * [taylor]: Taking taylor expansion of (pow y 2) in x 28.470 * [taylor]: Taking taylor expansion of y in x 28.470 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in x 28.470 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x 28.470 * [taylor]: Taking taylor expansion of 4.0 in x 28.470 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 28.470 * [taylor]: Taking taylor expansion of (* z y) in x 28.470 * [taylor]: Taking taylor expansion of z in x 28.470 * [taylor]: Taking taylor expansion of y in x 28.470 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 28.470 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.470 * [taylor]: Taking taylor expansion of x in x 28.471 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2)))) in x 28.471 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in x 28.471 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 28.471 * [taylor]: Taking taylor expansion of (pow x 4) in x 28.471 * [taylor]: Taking taylor expansion of x in x 28.471 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in x 28.471 * [taylor]: Taking taylor expansion of 16.0 in x 28.471 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 28.471 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 28.471 * [taylor]: Taking taylor expansion of (pow z 2) in x 28.471 * [taylor]: Taking taylor expansion of z in x 28.471 * [taylor]: Taking taylor expansion of (pow y 2) in x 28.471 * [taylor]: Taking taylor expansion of y in x 28.471 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in x 28.471 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x 28.471 * [taylor]: Taking taylor expansion of 4.0 in x 28.471 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 28.471 * [taylor]: Taking taylor expansion of (* z y) in x 28.471 * [taylor]: Taking taylor expansion of z in x 28.471 * [taylor]: Taking taylor expansion of y in x 28.471 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 28.471 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.471 * [taylor]: Taking taylor expansion of x in x 28.471 * [taylor]: Taking taylor expansion of 1 in y 28.472 * [taylor]: Taking taylor expansion of 0 in y 28.472 * [taylor]: Taking taylor expansion of 1 in z 28.472 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 (* z y)))) in y 28.472 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y 28.472 * [taylor]: Taking taylor expansion of 4.0 in y 28.472 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 28.472 * [taylor]: Taking taylor expansion of (* z y) in y 28.472 * [taylor]: Taking taylor expansion of z in y 28.472 * [taylor]: Taking taylor expansion of y in y 28.472 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 z))) in z 28.472 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z 28.472 * [taylor]: Taking taylor expansion of 4.0 in z 28.472 * [taylor]: Taking taylor expansion of (/ 1 z) in z 28.472 * [taylor]: Taking taylor expansion of z in z 28.472 * [taylor]: Taking taylor expansion of 0 in z 28.472 * [taylor]: Taking taylor expansion of 0 in z 28.473 * [taylor]: Taking taylor expansion of 0 in y 28.473 * [taylor]: Taking taylor expansion of 0 in z 28.473 * [taylor]: Taking taylor expansion of 0 in z 28.473 * [taylor]: Taking taylor expansion of 0 in z 28.475 * [taylor]: Taking taylor expansion of 0 in y 28.475 * [taylor]: Taking taylor expansion of 0 in z 28.475 * [taylor]: Taking taylor expansion of 0 in z 28.475 * [taylor]: Taking taylor expansion of 0 in z 28.475 * [taylor]: Taking taylor expansion of 0 in z 28.475 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 28.476 * [approximate]: Taking taylor expansion of (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) in (x y z) around 0 28.476 * [taylor]: Taking taylor expansion of (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) in z 28.476 * [taylor]: Taking taylor expansion of (pow x 4) in z 28.476 * [taylor]: Taking taylor expansion of x in z 28.476 * [taylor]: Taking taylor expansion of (* 16.0 (* (pow z 2) (pow y 2))) in z 28.476 * [taylor]: Taking taylor expansion of 16.0 in z 28.476 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 28.476 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.476 * [taylor]: Taking taylor expansion of z in z 28.476 * [taylor]: Taking taylor expansion of (pow y 2) in z 28.476 * [taylor]: Taking taylor expansion of y in z 28.476 * [taylor]: Taking taylor expansion of (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) in y 28.476 * [taylor]: Taking taylor expansion of (pow x 4) in y 28.476 * [taylor]: Taking taylor expansion of x in y 28.476 * [taylor]: Taking taylor expansion of (* 16.0 (* (pow z 2) (pow y 2))) in y 28.476 * [taylor]: Taking taylor expansion of 16.0 in y 28.476 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.476 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.476 * [taylor]: Taking taylor expansion of z in y 28.476 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.476 * [taylor]: Taking taylor expansion of y in y 28.476 * [taylor]: Taking taylor expansion of (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) in x 28.476 * [taylor]: Taking taylor expansion of (pow x 4) in x 28.476 * [taylor]: Taking taylor expansion of x in x 28.476 * [taylor]: Taking taylor expansion of (* 16.0 (* (pow z 2) (pow y 2))) in x 28.476 * [taylor]: Taking taylor expansion of 16.0 in x 28.476 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 28.476 * [taylor]: Taking taylor expansion of (pow z 2) in x 28.476 * [taylor]: Taking taylor expansion of z in x 28.476 * [taylor]: Taking taylor expansion of (pow y 2) in x 28.476 * [taylor]: Taking taylor expansion of y in x 28.476 * [taylor]: Taking taylor expansion of (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) in x 28.476 * [taylor]: Taking taylor expansion of (pow x 4) in x 28.476 * [taylor]: Taking taylor expansion of x in x 28.476 * [taylor]: Taking taylor expansion of (* 16.0 (* (pow z 2) (pow y 2))) in x 28.476 * [taylor]: Taking taylor expansion of 16.0 in x 28.476 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 28.476 * [taylor]: Taking taylor expansion of (pow z 2) in x 28.476 * [taylor]: Taking taylor expansion of z in x 28.476 * [taylor]: Taking taylor expansion of (pow y 2) in x 28.476 * [taylor]: Taking taylor expansion of y in x 28.477 * [taylor]: Taking taylor expansion of (neg (* 16.0 (* (pow z 2) (pow y 2)))) in y 28.477 * [taylor]: Taking taylor expansion of (* 16.0 (* (pow z 2) (pow y 2))) in y 28.477 * [taylor]: Taking taylor expansion of 16.0 in y 28.477 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.477 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.477 * [taylor]: Taking taylor expansion of z in y 28.477 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.477 * [taylor]: Taking taylor expansion of y in y 28.477 * [taylor]: Taking taylor expansion of 0 in y 28.477 * [taylor]: Taking taylor expansion of 0 in z 28.478 * [taylor]: Taking taylor expansion of 0 in y 28.478 * [taylor]: Taking taylor expansion of 0 in z 28.478 * [taylor]: Taking taylor expansion of 0 in z 28.478 * [taylor]: Taking taylor expansion of (neg (* 16.0 (pow z 2))) in z 28.478 * [taylor]: Taking taylor expansion of (* 16.0 (pow z 2)) in z 28.478 * [taylor]: Taking taylor expansion of 16.0 in z 28.478 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.478 * [taylor]: Taking taylor expansion of z in z 28.479 * [taylor]: Taking taylor expansion of 0 in y 28.479 * [taylor]: Taking taylor expansion of 0 in z 28.479 * [taylor]: Taking taylor expansion of 0 in z 28.479 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in (x y z) around 0 28.479 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in z 28.479 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in z 28.479 * [taylor]: Taking taylor expansion of (pow x 4) in z 28.479 * [taylor]: Taking taylor expansion of x in z 28.479 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in z 28.479 * [taylor]: Taking taylor expansion of 16.0 in z 28.479 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 28.479 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 28.479 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.479 * [taylor]: Taking taylor expansion of z in z 28.479 * [taylor]: Taking taylor expansion of (pow y 2) in z 28.479 * [taylor]: Taking taylor expansion of y in z 28.479 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in y 28.479 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 28.479 * [taylor]: Taking taylor expansion of (pow x 4) in y 28.479 * [taylor]: Taking taylor expansion of x in y 28.480 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in y 28.480 * [taylor]: Taking taylor expansion of 16.0 in y 28.480 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 28.480 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.480 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.480 * [taylor]: Taking taylor expansion of z in y 28.480 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.480 * [taylor]: Taking taylor expansion of y in y 28.480 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in x 28.480 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 28.480 * [taylor]: Taking taylor expansion of (pow x 4) in x 28.480 * [taylor]: Taking taylor expansion of x in x 28.480 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in x 28.480 * [taylor]: Taking taylor expansion of 16.0 in x 28.480 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 28.480 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 28.480 * [taylor]: Taking taylor expansion of (pow z 2) in x 28.480 * [taylor]: Taking taylor expansion of z in x 28.480 * [taylor]: Taking taylor expansion of (pow y 2) in x 28.480 * [taylor]: Taking taylor expansion of y in x 28.480 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in x 28.480 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 28.480 * [taylor]: Taking taylor expansion of (pow x 4) in x 28.480 * [taylor]: Taking taylor expansion of x in x 28.481 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in x 28.481 * [taylor]: Taking taylor expansion of 16.0 in x 28.481 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 28.481 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 28.481 * [taylor]: Taking taylor expansion of (pow z 2) in x 28.481 * [taylor]: Taking taylor expansion of z in x 28.481 * [taylor]: Taking taylor expansion of (pow y 2) in x 28.481 * [taylor]: Taking taylor expansion of y in x 28.481 * [taylor]: Taking taylor expansion of 1 in y 28.481 * [taylor]: Taking taylor expansion of 0 in y 28.481 * [taylor]: Taking taylor expansion of 0 in y 28.481 * [taylor]: Taking taylor expansion of 1 in z 28.481 * [taylor]: Taking taylor expansion of 0 in y 28.481 * [taylor]: Taking taylor expansion of 0 in z 28.481 * [taylor]: Taking taylor expansion of 0 in z 28.482 * [taylor]: Taking taylor expansion of (neg (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in y 28.482 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in y 28.482 * [taylor]: Taking taylor expansion of 16.0 in y 28.482 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 28.482 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.482 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.482 * [taylor]: Taking taylor expansion of z in y 28.482 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.482 * [taylor]: Taking taylor expansion of y in y 28.483 * [taylor]: Taking taylor expansion of (neg (* 16.0 (/ 1 (pow z 2)))) in z 28.483 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow z 2))) in z 28.483 * [taylor]: Taking taylor expansion of 16.0 in z 28.483 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 28.483 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.483 * [taylor]: Taking taylor expansion of z in z 28.483 * [taylor]: Taking taylor expansion of 0 in z 28.483 * [taylor]: Taking taylor expansion of 0 in z 28.483 * [taylor]: Taking taylor expansion of 0 in z 28.484 * [taylor]: Taking taylor expansion of 0 in y 28.484 * [taylor]: Taking taylor expansion of 0 in z 28.484 * [taylor]: Taking taylor expansion of 0 in z 28.484 * [taylor]: Taking taylor expansion of 0 in z 28.484 * [taylor]: Taking taylor expansion of 0 in z 28.484 * [taylor]: Taking taylor expansion of 0 in z 28.486 * [taylor]: Taking taylor expansion of 0 in y 28.486 * [taylor]: Taking taylor expansion of 0 in z 28.486 * [taylor]: Taking taylor expansion of 0 in z 28.486 * [taylor]: Taking taylor expansion of 0 in z 28.486 * [taylor]: Taking taylor expansion of 0 in z 28.486 * [taylor]: Taking taylor expansion of 0 in z 28.487 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in (x y z) around 0 28.487 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in z 28.487 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in z 28.487 * [taylor]: Taking taylor expansion of (pow x 4) in z 28.487 * [taylor]: Taking taylor expansion of x in z 28.487 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in z 28.487 * [taylor]: Taking taylor expansion of 16.0 in z 28.487 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 28.487 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 28.487 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.487 * [taylor]: Taking taylor expansion of z in z 28.487 * [taylor]: Taking taylor expansion of (pow y 2) in z 28.487 * [taylor]: Taking taylor expansion of y in z 28.488 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in y 28.488 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 28.488 * [taylor]: Taking taylor expansion of (pow x 4) in y 28.488 * [taylor]: Taking taylor expansion of x in y 28.488 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in y 28.488 * [taylor]: Taking taylor expansion of 16.0 in y 28.488 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 28.488 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.488 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.488 * [taylor]: Taking taylor expansion of z in y 28.488 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.488 * [taylor]: Taking taylor expansion of y in y 28.488 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in x 28.488 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 28.488 * [taylor]: Taking taylor expansion of (pow x 4) in x 28.488 * [taylor]: Taking taylor expansion of x in x 28.488 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in x 28.488 * [taylor]: Taking taylor expansion of 16.0 in x 28.488 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 28.488 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 28.488 * [taylor]: Taking taylor expansion of (pow z 2) in x 28.488 * [taylor]: Taking taylor expansion of z in x 28.488 * [taylor]: Taking taylor expansion of (pow y 2) in x 28.488 * [taylor]: Taking taylor expansion of y in x 28.489 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in x 28.489 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 28.489 * [taylor]: Taking taylor expansion of (pow x 4) in x 28.489 * [taylor]: Taking taylor expansion of x in x 28.489 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in x 28.489 * [taylor]: Taking taylor expansion of 16.0 in x 28.489 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 28.489 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 28.489 * [taylor]: Taking taylor expansion of (pow z 2) in x 28.489 * [taylor]: Taking taylor expansion of z in x 28.489 * [taylor]: Taking taylor expansion of (pow y 2) in x 28.489 * [taylor]: Taking taylor expansion of y in x 28.489 * [taylor]: Taking taylor expansion of 1 in y 28.489 * [taylor]: Taking taylor expansion of 0 in y 28.489 * [taylor]: Taking taylor expansion of 0 in y 28.489 * [taylor]: Taking taylor expansion of 1 in z 28.490 * [taylor]: Taking taylor expansion of 0 in y 28.490 * [taylor]: Taking taylor expansion of 0 in z 28.490 * [taylor]: Taking taylor expansion of 0 in z 28.490 * [taylor]: Taking taylor expansion of (neg (* 16.0 (/ 1 (* (pow z 2) (pow y 2))))) in y 28.490 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* (pow z 2) (pow y 2)))) in y 28.490 * [taylor]: Taking taylor expansion of 16.0 in y 28.490 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 28.490 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.490 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.491 * [taylor]: Taking taylor expansion of z in y 28.491 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.491 * [taylor]: Taking taylor expansion of y in y 28.491 * [taylor]: Taking taylor expansion of (neg (* 16.0 (/ 1 (pow z 2)))) in z 28.491 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow z 2))) in z 28.491 * [taylor]: Taking taylor expansion of 16.0 in z 28.491 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 28.491 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.491 * [taylor]: Taking taylor expansion of z in z 28.491 * [taylor]: Taking taylor expansion of 0 in z 28.491 * [taylor]: Taking taylor expansion of 0 in z 28.491 * [taylor]: Taking taylor expansion of 0 in z 28.492 * [taylor]: Taking taylor expansion of 0 in y 28.492 * [taylor]: Taking taylor expansion of 0 in z 28.492 * [taylor]: Taking taylor expansion of 0 in z 28.492 * [taylor]: Taking taylor expansion of 0 in z 28.492 * [taylor]: Taking taylor expansion of 0 in z 28.492 * [taylor]: Taking taylor expansion of 0 in z 28.493 * [taylor]: Taking taylor expansion of 0 in y 28.494 * [taylor]: Taking taylor expansion of 0 in z 28.494 * [taylor]: Taking taylor expansion of 0 in z 28.494 * [taylor]: Taking taylor expansion of 0 in z 28.494 * [taylor]: Taking taylor expansion of 0 in z 28.494 * [taylor]: Taking taylor expansion of 0 in z 28.495 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 28.495 * [approximate]: Taking taylor expansion of (* 16.0 (* (pow z 2) (pow y 2))) in (y z) around 0 28.495 * [taylor]: Taking taylor expansion of (* 16.0 (* (pow z 2) (pow y 2))) in z 28.495 * [taylor]: Taking taylor expansion of 16.0 in z 28.495 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 28.495 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.495 * [taylor]: Taking taylor expansion of z in z 28.495 * [taylor]: Taking taylor expansion of (pow y 2) in z 28.495 * [taylor]: Taking taylor expansion of y in z 28.495 * [taylor]: Taking taylor expansion of (* 16.0 (* (pow z 2) (pow y 2))) in y 28.495 * [taylor]: Taking taylor expansion of 16.0 in y 28.495 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.495 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.495 * [taylor]: Taking taylor expansion of z in y 28.495 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.495 * [taylor]: Taking taylor expansion of y in y 28.495 * [taylor]: Taking taylor expansion of (* 16.0 (* (pow z 2) (pow y 2))) in y 28.495 * [taylor]: Taking taylor expansion of 16.0 in y 28.495 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.495 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.495 * [taylor]: Taking taylor expansion of z in y 28.495 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.495 * [taylor]: Taking taylor expansion of y in y 28.495 * [taylor]: Taking taylor expansion of (* 16.0 (pow z 2)) in z 28.495 * [taylor]: Taking taylor expansion of 16.0 in z 28.495 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.495 * [taylor]: Taking taylor expansion of z in z 28.496 * [taylor]: Taking taylor expansion of 0 in z 28.496 * [taylor]: Taking taylor expansion of 0 in z 28.496 * [taylor]: Taking taylor expansion of 0 in z 28.496 * [approximate]: Taking taylor expansion of (/ 16.0 (* (pow z 2) (pow y 2))) in (y z) around 0 28.496 * [taylor]: Taking taylor expansion of (/ 16.0 (* (pow z 2) (pow y 2))) in z 28.496 * [taylor]: Taking taylor expansion of 16.0 in z 28.496 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 28.496 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.497 * [taylor]: Taking taylor expansion of z in z 28.497 * [taylor]: Taking taylor expansion of (pow y 2) in z 28.497 * [taylor]: Taking taylor expansion of y in z 28.497 * [taylor]: Taking taylor expansion of (/ 16.0 (* (pow z 2) (pow y 2))) in y 28.497 * [taylor]: Taking taylor expansion of 16.0 in y 28.497 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.497 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.497 * [taylor]: Taking taylor expansion of z in y 28.497 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.497 * [taylor]: Taking taylor expansion of y in y 28.497 * [taylor]: Taking taylor expansion of (/ 16.0 (* (pow z 2) (pow y 2))) in y 28.497 * [taylor]: Taking taylor expansion of 16.0 in y 28.497 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.497 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.497 * [taylor]: Taking taylor expansion of z in y 28.497 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.497 * [taylor]: Taking taylor expansion of y in y 28.497 * [taylor]: Taking taylor expansion of (/ 16.0 (pow z 2)) in z 28.497 * [taylor]: Taking taylor expansion of 16.0 in z 28.497 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.497 * [taylor]: Taking taylor expansion of z in z 28.498 * [taylor]: Taking taylor expansion of 0 in z 28.498 * [taylor]: Taking taylor expansion of 0 in z 28.499 * [taylor]: Taking taylor expansion of 0 in z 28.499 * [taylor]: Taking taylor expansion of 0 in z 28.500 * [approximate]: Taking taylor expansion of (/ 16.0 (* (pow z 2) (pow y 2))) in (y z) around 0 28.500 * [taylor]: Taking taylor expansion of (/ 16.0 (* (pow z 2) (pow y 2))) in z 28.500 * [taylor]: Taking taylor expansion of 16.0 in z 28.500 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 28.500 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.500 * [taylor]: Taking taylor expansion of z in z 28.500 * [taylor]: Taking taylor expansion of (pow y 2) in z 28.500 * [taylor]: Taking taylor expansion of y in z 28.500 * [taylor]: Taking taylor expansion of (/ 16.0 (* (pow z 2) (pow y 2))) in y 28.500 * [taylor]: Taking taylor expansion of 16.0 in y 28.500 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.500 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.500 * [taylor]: Taking taylor expansion of z in y 28.500 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.500 * [taylor]: Taking taylor expansion of y in y 28.500 * [taylor]: Taking taylor expansion of (/ 16.0 (* (pow z 2) (pow y 2))) in y 28.500 * [taylor]: Taking taylor expansion of 16.0 in y 28.500 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 28.500 * [taylor]: Taking taylor expansion of (pow z 2) in y 28.500 * [taylor]: Taking taylor expansion of z in y 28.501 * [taylor]: Taking taylor expansion of (pow y 2) in y 28.501 * [taylor]: Taking taylor expansion of y in y 28.501 * [taylor]: Taking taylor expansion of (/ 16.0 (pow z 2)) in z 28.501 * [taylor]: Taking taylor expansion of 16.0 in z 28.501 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.501 * [taylor]: Taking taylor expansion of z in z 28.505 * [taylor]: Taking taylor expansion of 0 in z 28.506 * [taylor]: Taking taylor expansion of 0 in z 28.507 * [taylor]: Taking taylor expansion of 0 in z 28.507 * [taylor]: Taking taylor expansion of 0 in z 28.507 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 28.508 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* z y))) in (x y z) around 0 28.508 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* z y))) in z 28.508 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.508 * [taylor]: Taking taylor expansion of x in z 28.508 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in z 28.508 * [taylor]: Taking taylor expansion of 4.0 in z 28.508 * [taylor]: Taking taylor expansion of (* z y) in z 28.508 * [taylor]: Taking taylor expansion of z in z 28.508 * [taylor]: Taking taylor expansion of y in z 28.508 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* z y))) in y 28.508 * [taylor]: Taking taylor expansion of (pow x 2) in y 28.508 * [taylor]: Taking taylor expansion of x in y 28.508 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in y 28.508 * [taylor]: Taking taylor expansion of 4.0 in y 28.508 * [taylor]: Taking taylor expansion of (* z y) in y 28.508 * [taylor]: Taking taylor expansion of z in y 28.508 * [taylor]: Taking taylor expansion of y in y 28.508 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* z y))) in x 28.508 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.508 * [taylor]: Taking taylor expansion of x in x 28.508 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in x 28.508 * [taylor]: Taking taylor expansion of 4.0 in x 28.508 * [taylor]: Taking taylor expansion of (* z y) in x 28.508 * [taylor]: Taking taylor expansion of z in x 28.508 * [taylor]: Taking taylor expansion of y in x 28.508 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* z y))) in x 28.508 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.508 * [taylor]: Taking taylor expansion of x in x 28.508 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in x 28.508 * [taylor]: Taking taylor expansion of 4.0 in x 28.508 * [taylor]: Taking taylor expansion of (* z y) in x 28.508 * [taylor]: Taking taylor expansion of z in x 28.508 * [taylor]: Taking taylor expansion of y in x 28.508 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in y 28.508 * [taylor]: Taking taylor expansion of 4.0 in y 28.508 * [taylor]: Taking taylor expansion of (* z y) in y 28.508 * [taylor]: Taking taylor expansion of z in y 28.508 * [taylor]: Taking taylor expansion of y in y 28.509 * [taylor]: Taking taylor expansion of 0 in z 28.509 * [taylor]: Taking taylor expansion of 0 in y 28.509 * [taylor]: Taking taylor expansion of 0 in z 28.509 * [taylor]: Taking taylor expansion of (* 4.0 z) in z 28.509 * [taylor]: Taking taylor expansion of 4.0 in z 28.509 * [taylor]: Taking taylor expansion of z in z 28.509 * [taylor]: Taking taylor expansion of 1 in y 28.509 * [taylor]: Taking taylor expansion of 1 in z 28.509 * [taylor]: Taking taylor expansion of 0 in z 28.509 * [taylor]: Taking taylor expansion of 0 in z 28.510 * [taylor]: Taking taylor expansion of 0 in y 28.510 * [taylor]: Taking taylor expansion of 0 in z 28.510 * [taylor]: Taking taylor expansion of 0 in z 28.510 * [taylor]: Taking taylor expansion of 0 in z 28.510 * [taylor]: Taking taylor expansion of 0 in z 28.510 * [approximate]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in (x y z) around 0 28.510 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in z 28.510 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in z 28.510 * [taylor]: Taking taylor expansion of 4.0 in z 28.510 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 28.510 * [taylor]: Taking taylor expansion of (* z y) in z 28.510 * [taylor]: Taking taylor expansion of z in z 28.510 * [taylor]: Taking taylor expansion of y in z 28.511 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 28.511 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.511 * [taylor]: Taking taylor expansion of x in z 28.511 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in y 28.511 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y 28.511 * [taylor]: Taking taylor expansion of 4.0 in y 28.511 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 28.511 * [taylor]: Taking taylor expansion of (* z y) in y 28.511 * [taylor]: Taking taylor expansion of z in y 28.511 * [taylor]: Taking taylor expansion of y in y 28.511 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 28.511 * [taylor]: Taking taylor expansion of (pow x 2) in y 28.511 * [taylor]: Taking taylor expansion of x in y 28.511 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in x 28.511 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x 28.511 * [taylor]: Taking taylor expansion of 4.0 in x 28.511 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 28.511 * [taylor]: Taking taylor expansion of (* z y) in x 28.511 * [taylor]: Taking taylor expansion of z in x 28.511 * [taylor]: Taking taylor expansion of y in x 28.511 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 28.511 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.511 * [taylor]: Taking taylor expansion of x in x 28.511 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in x 28.511 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x 28.511 * [taylor]: Taking taylor expansion of 4.0 in x 28.511 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 28.511 * [taylor]: Taking taylor expansion of (* z y) in x 28.511 * [taylor]: Taking taylor expansion of z in x 28.511 * [taylor]: Taking taylor expansion of y in x 28.511 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 28.511 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.511 * [taylor]: Taking taylor expansion of x in x 28.512 * [taylor]: Taking taylor expansion of 1 in y 28.512 * [taylor]: Taking taylor expansion of 0 in y 28.512 * [taylor]: Taking taylor expansion of 1 in z 28.512 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y 28.512 * [taylor]: Taking taylor expansion of 4.0 in y 28.512 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 28.512 * [taylor]: Taking taylor expansion of (* z y) in y 28.512 * [taylor]: Taking taylor expansion of z in y 28.512 * [taylor]: Taking taylor expansion of y in y 28.512 * [taylor]: Taking taylor expansion of (/ 4.0 z) in z 28.512 * [taylor]: Taking taylor expansion of 4.0 in z 28.512 * [taylor]: Taking taylor expansion of z in z 28.512 * [taylor]: Taking taylor expansion of 0 in z 28.512 * [taylor]: Taking taylor expansion of 0 in z 28.512 * [taylor]: Taking taylor expansion of 0 in y 28.513 * [taylor]: Taking taylor expansion of 0 in z 28.513 * [taylor]: Taking taylor expansion of 0 in z 28.513 * [taylor]: Taking taylor expansion of 0 in z 28.513 * [taylor]: Taking taylor expansion of 0 in y 28.513 * [taylor]: Taking taylor expansion of 0 in z 28.513 * [taylor]: Taking taylor expansion of 0 in z 28.513 * [taylor]: Taking taylor expansion of 0 in z 28.513 * [taylor]: Taking taylor expansion of 0 in z 28.514 * [approximate]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in (x y z) around 0 28.514 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in z 28.514 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in z 28.514 * [taylor]: Taking taylor expansion of 4.0 in z 28.514 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 28.514 * [taylor]: Taking taylor expansion of (* z y) in z 28.514 * [taylor]: Taking taylor expansion of z in z 28.514 * [taylor]: Taking taylor expansion of y in z 28.514 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 28.514 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.514 * [taylor]: Taking taylor expansion of x in z 28.514 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in y 28.514 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y 28.514 * [taylor]: Taking taylor expansion of 4.0 in y 28.514 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 28.514 * [taylor]: Taking taylor expansion of (* z y) in y 28.514 * [taylor]: Taking taylor expansion of z in y 28.514 * [taylor]: Taking taylor expansion of y in y 28.514 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 28.514 * [taylor]: Taking taylor expansion of (pow x 2) in y 28.514 * [taylor]: Taking taylor expansion of x in y 28.514 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in x 28.514 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x 28.515 * [taylor]: Taking taylor expansion of 4.0 in x 28.515 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 28.515 * [taylor]: Taking taylor expansion of (* z y) in x 28.515 * [taylor]: Taking taylor expansion of z in x 28.515 * [taylor]: Taking taylor expansion of y in x 28.515 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 28.515 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.515 * [taylor]: Taking taylor expansion of x in x 28.515 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 (pow x 2))) in x 28.515 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x 28.515 * [taylor]: Taking taylor expansion of 4.0 in x 28.515 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 28.515 * [taylor]: Taking taylor expansion of (* z y) in x 28.515 * [taylor]: Taking taylor expansion of z in x 28.515 * [taylor]: Taking taylor expansion of y in x 28.515 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 28.515 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.515 * [taylor]: Taking taylor expansion of x in x 28.515 * [taylor]: Taking taylor expansion of 1 in y 28.515 * [taylor]: Taking taylor expansion of 0 in y 28.515 * [taylor]: Taking taylor expansion of 1 in z 28.515 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y 28.515 * [taylor]: Taking taylor expansion of 4.0 in y 28.515 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 28.515 * [taylor]: Taking taylor expansion of (* z y) in y 28.515 * [taylor]: Taking taylor expansion of z in y 28.515 * [taylor]: Taking taylor expansion of y in y 28.516 * [taylor]: Taking taylor expansion of (/ 4.0 z) in z 28.516 * [taylor]: Taking taylor expansion of 4.0 in z 28.516 * [taylor]: Taking taylor expansion of z in z 28.516 * [taylor]: Taking taylor expansion of 0 in z 28.516 * [taylor]: Taking taylor expansion of 0 in z 28.516 * [taylor]: Taking taylor expansion of 0 in y 28.516 * [taylor]: Taking taylor expansion of 0 in z 28.516 * [taylor]: Taking taylor expansion of 0 in z 28.516 * [taylor]: Taking taylor expansion of 0 in z 28.517 * [taylor]: Taking taylor expansion of 0 in y 28.517 * [taylor]: Taking taylor expansion of 0 in z 28.517 * [taylor]: Taking taylor expansion of 0 in z 28.517 * [taylor]: Taking taylor expansion of 0 in z 28.517 * [taylor]: Taking taylor expansion of 0 in z 28.517 * * * [progress]: simplifying candidates 28.519 * [simplify]: Simplifying using # : (- (log (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (log (+ (* x x) (* (* y 4.0) z)))) (log (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)))) (exp (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)))) (/ (* (* (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (* (* (+ (* x x) (* (* y 4.0) z)) (+ (* x x) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)))) (* (cbrt (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)))) (cbrt (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z))))) (cbrt (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)))) (* (* (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)))) (sqrt (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)))) (sqrt (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)))) (neg (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (neg (+ (* x x) (* (* y 4.0) z))) (/ (pow x 4) (+ (* x x) (* (* y 4.0) z))) (/ (* (* (* y 4.0) z) (* (* y 4.0) z)) (+ (* x x) (* (* y 4.0) z))) (/ (* (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))))) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (+ (* x x) (* (* y 4.0) z)))) (/ (* (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))))) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (* (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))))) 1) (/ (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (+ (* x x) (* (* y 4.0) z))) (/ (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (+ (* x x) (* (* y 4.0) z)))) (/ (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) 1) (/ (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (+ (* x x) (* (* y 4.0) z))) (/ 1 (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z)))) (/ 1 (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ 1 1) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z))) (/ (+ (pow (sqrt x) 4) (* (* y 4.0) z)) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (- (pow (sqrt x) 4) (* (* y 4.0) z)) (cbrt (+ (* x x) (* (* y 4.0) z)))) (/ (+ (pow (sqrt x) 4) (* (* y 4.0) z)) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (- (pow (sqrt x) 4) (* (* y 4.0) z)) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (+ (pow (sqrt x) 4) (* (* y 4.0) z)) 1) (/ (- (pow (sqrt x) 4) (* (* y 4.0) z)) (+ (* x x) (* (* y 4.0) z))) (/ (+ (sqrt (pow x 4)) (* (* y 4.0) z)) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (- (sqrt (pow x 4)) (* (* y 4.0) z)) (cbrt (+ (* x x) (* (* y 4.0) z)))) (/ (+ (sqrt (pow x 4)) (* (* y 4.0) z)) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (- (sqrt (pow x 4)) (* (* y 4.0) z)) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (+ (sqrt (pow x 4)) (* (* y 4.0) z)) 1) (/ (- (sqrt (pow x 4)) (* (* y 4.0) z)) (+ (* x x) (* (* y 4.0) z))) (/ (+ (pow x (/ 4 2)) (* (* y 4.0) z)) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (- (pow x (/ 4 2)) (* (* y 4.0) z)) (cbrt (+ (* x x) (* (* y 4.0) z)))) (/ (+ (pow x (/ 4 2)) (* (* y 4.0) z)) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (- (pow x (/ 4 2)) (* (* y 4.0) z)) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (+ (pow x (/ 4 2)) (* (* y 4.0) z)) 1) (/ (- (pow x (/ 4 2)) (* (* y 4.0) z)) (+ (* x x) (* (* y 4.0) z))) (/ 1 (+ (* x x) (* (* y 4.0) z))) (/ (+ (* x x) (* (* y 4.0) z)) (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) 1) (/ (+ (* x x) (* (* y 4.0) z)) (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))))) (/ (+ (* x x) (* (* y 4.0) z)) (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))))) (/ (+ (* x x) (* (* y 4.0) z)) (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (/ (+ (* x x) (* (* y 4.0) z)) (- (pow (sqrt x) 4) (* (* y 4.0) z))) (/ (+ (* x x) (* (* y 4.0) z)) (- (sqrt (pow x 4)) (* (* y 4.0) z))) (/ (+ (* x x) (* (* y 4.0) z)) (- (pow x (/ 4 2)) (* (* y 4.0) z))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (pow (* x x) 3) (pow (* (* y 4.0) z) 3))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (- (* (* x x) (* x x)) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (* (+ (* x x) (* (* y 4.0) z)) (+ (* (pow x 4) (pow x 4)) (+ (* (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z))) (* (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))))) (* (+ (* x x) (* (* y 4.0) z)) (+ (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (/ (exp (pow x 4)) (exp (* (* (* y 4.0) z) (* (* y 4.0) z)))) (log (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (exp (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (* (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))))) (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (* (* (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (- (pow (pow x 4) 3) (pow (* (* (* y 4.0) z) (* (* y 4.0) z)) 3)) (+ (* (pow x 4) (pow x 4)) (+ (* (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z))) (* (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))))) (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (- (* (pow x 4) (pow x 4)) (* (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (+ (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (pow (sqrt x) 4) (* (* y 4.0) z)) (- (pow (sqrt x) 4) (* (* y 4.0) z)) (+ (sqrt (pow x 4)) (* (* y 4.0) z)) (- (sqrt (pow x 4)) (* (* y 4.0) z)) (+ (pow x (/ 4 2)) (* (* y 4.0) z)) (- (pow x (/ 4 2)) (* (* y 4.0) z)) (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (+ 1 1) (+ 1 1) (+ 1 1) (+ (+ (+ (log y) (log 4.0)) (log z)) (+ (+ (log y) (log 4.0)) (log z))) (+ (+ (+ (log y) (log 4.0)) (log z)) (+ (log (* y 4.0)) (log z))) (+ (+ (+ (log y) (log 4.0)) (log z)) (log (* (* y 4.0) z))) (+ (+ (log (* y 4.0)) (log z)) (+ (+ (log y) (log 4.0)) (log z))) (+ (+ (log (* y 4.0)) (log z)) (+ (log (* y 4.0)) (log z))) (+ (+ (log (* y 4.0)) (log z)) (log (* (* y 4.0) z))) (+ (log (* (* y 4.0) z)) (+ (+ (log y) (log 4.0)) (log z))) (+ (log (* (* y 4.0) z)) (+ (log (* y 4.0)) (log z))) (+ (log (* (* y 4.0) z)) (log (* (* y 4.0) z))) (log (* (* (* y 4.0) z) (* (* y 4.0) z))) (exp (* (* (* y 4.0) z) (* (* y 4.0) z))) (* (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (* z z) z)) (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (* z z) z))) (* (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (* z z) z)) (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (* z z) z))) (* (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (* z z) z)) (* (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* y 4.0) z))) (* (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (* z z) z)) (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (* z z) z))) (* (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (* z z) z)) (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (* z z) z))) (* (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (* z z) z)) (* (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* y 4.0) z))) (* (* (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* y 4.0) z)) (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (* z z) z))) (* (* (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* y 4.0) z)) (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (* z z) z))) (* (* (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* y 4.0) z)) (* (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* y 4.0) z))) (* (cbrt (* (* (* y 4.0) z) (* (* y 4.0) z))) (cbrt (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (* (* (* y 4.0) z) (* (* y 4.0) z))) (* (* (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z))) (* (* (* y 4.0) z) (* (* y 4.0) z))) (sqrt (* (* (* y 4.0) z) (* (* y 4.0) z))) (sqrt (* (* (* y 4.0) z) (* (* y 4.0) z))) (* (* y 4.0) (* y 4.0)) (* z z) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* (* y 4.0) z) (* y 4.0)) (* z (* (* y 4.0) z)) (* (exp (* x x)) (exp (* (* y 4.0) z))) (log (+ (* x x) (* (* y 4.0) z))) (exp (+ (* x x) (* (* y 4.0) z))) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z)))) (cbrt (+ (* x x) (* (* y 4.0) z))) (* (* (+ (* x x) (* (* y 4.0) z)) (+ (* x x) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z))) (sqrt (+ (* x x) (* (* y 4.0) z))) (sqrt (+ (* x x) (* (* y 4.0) z))) (+ (pow (* x x) 3) (pow (* (* y 4.0) z) 3)) (+ (* (* x x) (* x x)) (- (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* x x) (* (* y 4.0) z)))) (- (* (* x x) (* x x)) (* (* (* y 4.0) z) (* (* y 4.0) z))) (- (* x x) (* (* y 4.0) z)) (- (* 1.0 (pow x 2)) (* 4.0 (* z y))) (- (pow x 2) (* 4.0 (* z y))) (- (pow x 2) (* 4.0 (* z y))) 0 (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) (* 16.0 (* (pow z 2) (pow y 2))) (* 16.0 (* (pow z 2) (pow y 2))) (* 16.0 (* (pow z 2) (pow y 2))) (+ (pow x 2) (* 4.0 (* z y))) (+ (pow x 2) (* 4.0 (* z y))) (+ (pow x 2) (* 4.0 (* z y))) 28.520 * * [simplify]: iteration 0 : 15 enodes (cost 27 ) 28.523 * * [simplify]: iteration 1 : 35 enodes (cost 27 ) 28.529 * * [simplify]: iteration 2 : 106 enodes (cost 27 ) 28.569 * * [simplify]: iteration 3 : 389 enodes (cost 27 ) 28.903 * * [simplify]: iteration 4 : 928 enodes (cost 27 ) 29.607 * * [simplify]: iteration 5 : 1149 enodes (cost 27 ) 30.311 * * [simplify]: iteration 6 : 1498 enodes (cost 12 ) 31.247 * * [simplify]: iteration 7 : 1854 enodes (cost 10 ) 32.500 * * [simplify]: iteration 8 : 2668 enodes (cost 10 ) 34.597 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 34.598 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 34.600 * * [simplify]: iteration 1 : 38 enodes (cost 26 ) 34.607 * * [simplify]: iteration 2 : 122 enodes (cost 26 ) 34.656 * * [simplify]: iteration 3 : 498 enodes (cost 26 ) 35.309 * * [simplify]: iteration 4 : 1493 enodes (cost 26 ) 37.382 * * [simplify]: iteration 5 : 3256 enodes (cost 12 ) 42.162 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 42.162 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 42.165 * * [simplify]: iteration 1 : 35 enodes (cost 26 ) 42.176 * * [simplify]: iteration 2 : 120 enodes (cost 26 ) 42.218 * * [simplify]: iteration 3 : 497 enodes (cost 26 ) 42.676 * * [simplify]: iteration 4 : 1533 enodes (cost 26 ) 44.705 * * [simplify]: iteration 5 : 3341 enodes (cost 12 ) 49.254 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 49.255 * * [simplify]: iteration 0 : 17 enodes (cost 77 ) 49.258 * * [simplify]: iteration 1 : 56 enodes (cost 77 ) 49.271 * * [simplify]: iteration 2 : 236 enodes (cost 29 ) 49.376 * * [simplify]: iteration 3 : 1111 enodes (cost 27 ) 50.167 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 50.168 * * [simplify]: iteration 0 : 15 enodes (cost 53 ) 50.170 * * [simplify]: iteration 1 : 36 enodes (cost 53 ) 50.177 * * [simplify]: iteration 2 : 118 enodes (cost 53 ) 50.224 * * [simplify]: iteration 3 : 489 enodes (cost 53 ) 50.684 * * [simplify]: iteration 4 : 1488 enodes (cost 53 ) 52.726 * * [simplify]: iteration 5 : 3252 enodes (cost 25 ) 57.295 * * [simplify]: iteration done : 5000 enodes (cost 25 ) 57.296 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 57.298 * * [simplify]: iteration 1 : 35 enodes (cost 26 ) 57.304 * * [simplify]: iteration 2 : 117 enodes (cost 26 ) 57.351 * * [simplify]: iteration 3 : 492 enodes (cost 26 ) 57.800 * * [simplify]: iteration 4 : 1487 enodes (cost 26 ) 59.837 * * [simplify]: iteration 5 : 3234 enodes (cost 12 ) 65.205 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 65.206 * * [simplify]: iteration 0 : 15 enodes (cost 77 ) 65.208 * * [simplify]: iteration 1 : 43 enodes (cost 77 ) 65.217 * * [simplify]: iteration 2 : 153 enodes (cost 27 ) 65.282 * * [simplify]: iteration 3 : 749 enodes (cost 27 ) 66.265 * * [simplify]: iteration 4 : 4753 enodes (cost 13 ) 67.781 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 67.781 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 67.789 * * [simplify]: iteration 1 : 35 enodes (cost 26 ) 67.795 * * [simplify]: iteration 2 : 117 enodes (cost 26 ) 67.840 * * [simplify]: iteration 3 : 492 enodes (cost 26 ) 68.286 * * [simplify]: iteration 4 : 1487 enodes (cost 26 ) 70.300 * * [simplify]: iteration 5 : 3234 enodes (cost 12 ) 75.298 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 75.299 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 75.301 * * [simplify]: iteration 1 : 35 enodes (cost 26 ) 75.308 * * [simplify]: iteration 2 : 117 enodes (cost 26 ) 75.354 * * [simplify]: iteration 3 : 492 enodes (cost 26 ) 75.798 * * [simplify]: iteration 4 : 1487 enodes (cost 26 ) 77.799 * * [simplify]: iteration 5 : 3234 enodes (cost 12 ) 82.787 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 82.788 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 82.790 * * [simplify]: iteration 1 : 28 enodes (cost 16 ) 82.796 * * [simplify]: iteration 2 : 102 enodes (cost 16 ) 82.836 * * [simplify]: iteration 3 : 413 enodes (cost 16 ) 83.435 * * [simplify]: iteration 4 : 1279 enodes (cost 15 ) 86.186 * * [simplify]: iteration 5 : 2717 enodes (cost 15 ) 88.732 * * [simplify]: iteration 6 : 3578 enodes (cost 15 ) 92.091 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 92.092 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 92.093 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 92.095 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 92.103 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 92.115 * * [simplify]: iteration 4 : 66 enodes (cost 10 ) 92.126 * * [simplify]: iteration done : 66 enodes (cost 10 ) 92.127 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 92.128 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 92.131 * * [simplify]: iteration 2 : 34 enodes (cost 13 ) 92.137 * * [simplify]: iteration 3 : 64 enodes (cost 13 ) 92.146 * * [simplify]: iteration 4 : 86 enodes (cost 13 ) 92.155 * * [simplify]: iteration 5 : 108 enodes (cost 13 ) 92.167 * * [simplify]: iteration 6 : 138 enodes (cost 13 ) 92.184 * * [simplify]: iteration 7 : 206 enodes (cost 13 ) 92.225 * * [simplify]: iteration 8 : 396 enodes (cost 13 ) 92.389 * * [simplify]: iteration 9 : 1067 enodes (cost 13 ) 93.877 * * [simplify]: iteration 10 : 3986 enodes (cost 13 ) 95.562 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 95.563 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 95.564 * * [simplify]: iteration 1 : 24 enodes (cost 21 ) 95.569 * * [simplify]: iteration 2 : 88 enodes (cost 21 ) 95.602 * * [simplify]: iteration 3 : 307 enodes (cost 21 ) 95.792 * * [simplify]: iteration 4 : 727 enodes (cost 21 ) 96.404 * * [simplify]: iteration 5 : 1234 enodes (cost 21 ) 97.548 * * [simplify]: iteration 6 : 1434 enodes (cost 21 ) 98.674 * * [simplify]: iteration done : 1434 enodes (cost 21 ) 98.675 * * [simplify]: iteration 0 : 17 enodes (cost 55 ) 98.677 * * [simplify]: iteration 1 : 41 enodes (cost 55 ) 98.685 * * [simplify]: iteration 2 : 120 enodes (cost 55 ) 98.729 * * [simplify]: iteration 3 : 410 enodes (cost 55 ) 99.084 * * [simplify]: iteration 4 : 956 enodes (cost 55 ) 99.819 * * [simplify]: iteration 5 : 1158 enodes (cost 55 ) 100.522 * * [simplify]: iteration 6 : 1443 enodes (cost 55 ) 101.483 * * [simplify]: iteration 7 : 1853 enodes (cost 55 ) 102.748 * * [simplify]: iteration 8 : 2578 enodes (cost 55 ) 104.853 * * [simplify]: iteration done : 5000 enodes (cost 55 ) 104.854 * * [simplify]: iteration 0 : 15 enodes (cost 27 ) 104.856 * * [simplify]: iteration 1 : 33 enodes (cost 27 ) 104.863 * * [simplify]: iteration 2 : 103 enodes (cost 27 ) 104.899 * * [simplify]: iteration 3 : 384 enodes (cost 27 ) 105.250 * * [simplify]: iteration 4 : 934 enodes (cost 27 ) 105.959 * * [simplify]: iteration 5 : 1127 enodes (cost 27 ) 106.660 * * [simplify]: iteration 6 : 1440 enodes (cost 27 ) 107.590 * * [simplify]: iteration 7 : 1808 enodes (cost 27 ) 108.827 * * [simplify]: iteration 8 : 2581 enodes (cost 27 ) 110.909 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 110.909 * * [simplify]: iteration 0 : 16 enodes (cost 44 ) 110.912 * * [simplify]: iteration 1 : 36 enodes (cost 44 ) 110.918 * * [simplify]: iteration 2 : 108 enodes (cost 44 ) 110.959 * * [simplify]: iteration 3 : 384 enodes (cost 44 ) 111.315 * * [simplify]: iteration 4 : 943 enodes (cost 44 ) 112.031 * * [simplify]: iteration 5 : 1128 enodes (cost 44 ) 112.739 * * [simplify]: iteration 6 : 1473 enodes (cost 44 ) 113.692 * * [simplify]: iteration 7 : 1881 enodes (cost 44 ) 115.151 * * [simplify]: iteration 8 : 2638 enodes (cost 44 ) 117.247 * * [simplify]: iteration done : 5000 enodes (cost 44 ) 117.248 * * [simplify]: iteration 0 : 15 enodes (cost 27 ) 117.250 * * [simplify]: iteration 1 : 33 enodes (cost 27 ) 117.257 * * [simplify]: iteration 2 : 103 enodes (cost 27 ) 117.292 * * [simplify]: iteration 3 : 384 enodes (cost 27 ) 117.648 * * [simplify]: iteration 4 : 934 enodes (cost 27 ) 118.359 * * [simplify]: iteration 5 : 1127 enodes (cost 27 ) 119.051 * * [simplify]: iteration 6 : 1440 enodes (cost 27 ) 119.985 * * [simplify]: iteration 7 : 1808 enodes (cost 27 ) 121.216 * * [simplify]: iteration 8 : 2581 enodes (cost 27 ) 123.281 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 123.282 * * [simplify]: iteration 0 : 14 enodes (cost 35 ) 123.284 * * [simplify]: iteration 1 : 35 enodes (cost 33 ) 123.290 * * [simplify]: iteration 2 : 111 enodes (cost 33 ) 123.332 * * [simplify]: iteration 3 : 396 enodes (cost 33 ) 123.684 * * [simplify]: iteration 4 : 984 enodes (cost 33 ) 124.415 * * [simplify]: iteration 5 : 1328 enodes (cost 33 ) 125.171 * * [simplify]: iteration 6 : 1980 enodes (cost 33 ) 126.789 * * [simplify]: iteration 7 : 4461 enodes (cost 33 ) 128.901 * * [simplify]: iteration done : 5000 enodes (cost 33 ) 128.902 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 128.904 * * [simplify]: iteration 1 : 32 enodes (cost 26 ) 128.910 * * [simplify]: iteration 2 : 102 enodes (cost 26 ) 128.946 * * [simplify]: iteration 3 : 380 enodes (cost 26 ) 129.297 * * [simplify]: iteration 4 : 938 enodes (cost 26 ) 129.996 * * [simplify]: iteration 5 : 1149 enodes (cost 26 ) 130.693 * * [simplify]: iteration 6 : 1468 enodes (cost 26 ) 131.633 * * [simplify]: iteration 7 : 1874 enodes (cost 26 ) 132.861 * * [simplify]: iteration 8 : 2617 enodes (cost 26 ) 134.965 * * [simplify]: iteration done : 5001 enodes (cost 26 ) 134.965 * * [simplify]: iteration 0 : 16 enodes (cost 38 ) 134.968 * * [simplify]: iteration 1 : 36 enodes (cost 38 ) 134.975 * * [simplify]: iteration 2 : 106 enodes (cost 38 ) 135.017 * * [simplify]: iteration 3 : 380 enodes (cost 38 ) 135.374 * * [simplify]: iteration 4 : 937 enodes (cost 38 ) 136.090 * * [simplify]: iteration 5 : 1156 enodes (cost 38 ) 136.787 * * [simplify]: iteration 6 : 1485 enodes (cost 38 ) 137.734 * * [simplify]: iteration 7 : 1875 enodes (cost 38 ) 138.975 * * [simplify]: iteration 8 : 2624 enodes (cost 38 ) 141.054 * * [simplify]: iteration done : 5000 enodes (cost 38 ) 141.055 * * [simplify]: iteration 0 : 15 enodes (cost 27 ) 141.057 * * [simplify]: iteration 1 : 33 enodes (cost 27 ) 141.063 * * [simplify]: iteration 2 : 103 enodes (cost 27 ) 141.105 * * [simplify]: iteration 3 : 384 enodes (cost 27 ) 141.461 * * [simplify]: iteration 4 : 934 enodes (cost 27 ) 142.168 * * [simplify]: iteration 5 : 1127 enodes (cost 27 ) 142.858 * * [simplify]: iteration 6 : 1440 enodes (cost 27 ) 143.802 * * [simplify]: iteration 7 : 1808 enodes (cost 27 ) 145.285 * * [simplify]: iteration 8 : 2581 enodes (cost 27 ) 147.398 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 147.399 * * [simplify]: iteration 0 : 15 enodes (cost 27 ) 147.401 * * [simplify]: iteration 1 : 33 enodes (cost 27 ) 147.407 * * [simplify]: iteration 2 : 103 enodes (cost 27 ) 147.444 * * [simplify]: iteration 3 : 384 enodes (cost 27 ) 147.804 * * [simplify]: iteration 4 : 934 enodes (cost 27 ) 148.527 * * [simplify]: iteration 5 : 1127 enodes (cost 27 ) 149.238 * * [simplify]: iteration 6 : 1440 enodes (cost 27 ) 150.193 * * [simplify]: iteration 7 : 1808 enodes (cost 27 ) 151.454 * * [simplify]: iteration 8 : 2581 enodes (cost 27 ) 153.590 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 153.591 * * [simplify]: iteration 0 : 15 enodes (cost 27 ) 153.593 * * [simplify]: iteration 1 : 33 enodes (cost 27 ) 153.599 * * [simplify]: iteration 2 : 103 enodes (cost 27 ) 153.642 * * [simplify]: iteration 3 : 384 enodes (cost 27 ) 154.007 * * [simplify]: iteration 4 : 934 enodes (cost 27 ) 154.726 * * [simplify]: iteration 5 : 1127 enodes (cost 27 ) 155.436 * * [simplify]: iteration 6 : 1440 enodes (cost 27 ) 156.395 * * [simplify]: iteration 7 : 1808 enodes (cost 27 ) 157.666 * * [simplify]: iteration 8 : 2581 enodes (cost 27 ) 159.775 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 159.776 * * [simplify]: iteration 0 : 13 enodes (cost 18 ) 159.778 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 159.783 * * [simplify]: iteration 2 : 104 enodes (cost 16 ) 159.824 * * [simplify]: iteration 3 : 381 enodes (cost 16 ) 160.190 * * [simplify]: iteration 4 : 948 enodes (cost 16 ) 160.970 * * [simplify]: iteration 5 : 1296 enodes (cost 16 ) 161.742 * * [simplify]: iteration 6 : 1945 enodes (cost 16 ) 163.417 * * [simplify]: iteration 7 : 4455 enodes (cost 16 ) 165.531 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 165.532 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 165.534 * * [simplify]: iteration 1 : 32 enodes (cost 26 ) 165.539 * * [simplify]: iteration 2 : 102 enodes (cost 26 ) 165.582 * * [simplify]: iteration 3 : 380 enodes (cost 26 ) 165.946 * * [simplify]: iteration 4 : 938 enodes (cost 26 ) 166.663 * * [simplify]: iteration 5 : 1149 enodes (cost 26 ) 167.371 * * [simplify]: iteration 6 : 1468 enodes (cost 26 ) 168.329 * * [simplify]: iteration 7 : 1874 enodes (cost 26 ) 169.592 * * [simplify]: iteration 8 : 2617 enodes (cost 26 ) 171.732 * * [simplify]: iteration done : 5001 enodes (cost 26 ) 171.733 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 171.735 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 171.738 * * [simplify]: iteration 2 : 27 enodes (cost 23 ) 171.741 * * [simplify]: iteration done : 27 enodes (cost 23 ) 171.742 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 171.744 * * [simplify]: iteration 1 : 35 enodes (cost 26 ) 171.750 * * [simplify]: iteration 2 : 117 enodes (cost 26 ) 171.800 * * [simplify]: iteration 3 : 492 enodes (cost 26 ) 172.262 * * [simplify]: iteration 4 : 1488 enodes (cost 26 ) 174.393 * * [simplify]: iteration 5 : 3237 enodes (cost 26 ) 179.642 * * [simplify]: iteration done : 5001 enodes (cost 26 ) 179.642 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 179.644 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 179.646 * * [simplify]: iteration 2 : 24 enodes (cost 12 ) 179.649 * * [simplify]: iteration 3 : 26 enodes (cost 12 ) 179.652 * * [simplify]: iteration done : 26 enodes (cost 12 ) 179.653 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 179.656 * * [simplify]: iteration 1 : 35 enodes (cost 26 ) 179.662 * * [simplify]: iteration 2 : 117 enodes (cost 26 ) 179.711 * * [simplify]: iteration 3 : 492 enodes (cost 26 ) 180.177 * * [simplify]: iteration 4 : 1488 enodes (cost 26 ) 182.380 * * [simplify]: iteration 5 : 3237 enodes (cost 26 ) 187.438 * * [simplify]: iteration done : 5001 enodes (cost 26 ) 187.439 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 187.439 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 187.439 * * [simplify]: iteration done : 4 enodes (cost 1 ) 187.440 * * [simplify]: iteration 0 : 13 enodes (cost 25 ) 187.442 * * [simplify]: iteration 1 : 34 enodes (cost 25 ) 187.448 * * [simplify]: iteration 2 : 116 enodes (cost 25 ) 187.497 * * [simplify]: iteration 3 : 493 enodes (cost 25 ) 187.967 * * [simplify]: iteration 4 : 1494 enodes (cost 25 ) 190.087 * * [simplify]: iteration 5 : 3223 enodes (cost 11 ) 194.848 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 194.849 * * [simplify]: iteration 0 : 15 enodes (cost 32 ) 194.856 * * [simplify]: iteration 1 : 27 enodes (cost 32 ) 194.860 * * [simplify]: iteration 2 : 40 enodes (cost 32 ) 194.867 * * [simplify]: iteration 3 : 60 enodes (cost 31 ) 194.872 * * [simplify]: iteration 4 : 75 enodes (cost 31 ) 194.887 * * [simplify]: iteration 5 : 112 enodes (cost 31 ) 194.908 * * [simplify]: iteration 6 : 233 enodes (cost 31 ) 195.074 * * [simplify]: iteration 7 : 687 enodes (cost 31 ) 196.565 * * [simplify]: iteration 8 : 2560 enodes (cost 31 ) 199.918 * * [simplify]: iteration done : 5000 enodes (cost 31 ) 199.919 * * [simplify]: iteration 0 : 14 enodes (cost 21 ) 199.926 * * [simplify]: iteration 1 : 28 enodes (cost 21 ) 199.930 * * [simplify]: iteration 2 : 62 enodes (cost 21 ) 199.947 * * [simplify]: iteration 3 : 141 enodes (cost 20 ) 199.971 * * [simplify]: iteration 4 : 252 enodes (cost 20 ) 200.041 * * [simplify]: iteration 5 : 439 enodes (cost 20 ) 200.198 * * [simplify]: iteration 6 : 862 enodes (cost 20 ) 201.190 * * [simplify]: iteration 7 : 2678 enodes (cost 20 ) 202.472 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 202.473 * * [simplify]: iteration 0 : 14 enodes (cost 21 ) 202.475 * * [simplify]: iteration 1 : 24 enodes (cost 21 ) 202.478 * * [simplify]: iteration 2 : 37 enodes (cost 21 ) 202.484 * * [simplify]: iteration 3 : 57 enodes (cost 20 ) 202.489 * * [simplify]: iteration 4 : 72 enodes (cost 20 ) 202.497 * * [simplify]: iteration 5 : 109 enodes (cost 20 ) 202.524 * * [simplify]: iteration 6 : 230 enodes (cost 20 ) 202.688 * * [simplify]: iteration 7 : 679 enodes (cost 20 ) 204.288 * * [simplify]: iteration 8 : 2585 enodes (cost 20 ) 208.110 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 208.111 * * [simplify]: iteration 0 : 14 enodes (cost 21 ) 208.113 * * [simplify]: iteration 1 : 28 enodes (cost 21 ) 208.117 * * [simplify]: iteration 2 : 62 enodes (cost 21 ) 208.136 * * [simplify]: iteration 3 : 141 enodes (cost 20 ) 208.161 * * [simplify]: iteration 4 : 252 enodes (cost 20 ) 208.232 * * [simplify]: iteration 5 : 439 enodes (cost 20 ) 208.393 * * [simplify]: iteration 6 : 862 enodes (cost 20 ) 209.379 * * [simplify]: iteration 7 : 2678 enodes (cost 20 ) 210.650 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 210.650 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 210.652 * * [simplify]: iteration 1 : 23 enodes (cost 10 ) 210.655 * * [simplify]: iteration 2 : 37 enodes (cost 10 ) 210.659 * * [simplify]: iteration 3 : 55 enodes (cost 9 ) 210.667 * * [simplify]: iteration 4 : 84 enodes (cost 9 ) 210.687 * * [simplify]: iteration 5 : 137 enodes (cost 9 ) 210.715 * * [simplify]: iteration 6 : 263 enodes (cost 9 ) 210.888 * * [simplify]: iteration 7 : 743 enodes (cost 9 ) 212.775 * * [simplify]: iteration 8 : 2901 enodes (cost 9 ) 215.623 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 215.624 * * [simplify]: iteration 0 : 13 enodes (cost 20 ) 215.626 * * [simplify]: iteration 1 : 27 enodes (cost 20 ) 215.630 * * [simplify]: iteration 2 : 61 enodes (cost 20 ) 215.641 * * [simplify]: iteration 3 : 140 enodes (cost 19 ) 215.673 * * [simplify]: iteration 4 : 249 enodes (cost 19 ) 215.743 * * [simplify]: iteration 5 : 434 enodes (cost 19 ) 215.899 * * [simplify]: iteration 6 : 855 enodes (cost 19 ) 216.878 * * [simplify]: iteration 7 : 2671 enodes (cost 19 ) 218.227 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 218.228 * * [simplify]: iteration 0 : 15 enodes (cost 32 ) 218.230 * * [simplify]: iteration 1 : 27 enodes (cost 32 ) 218.234 * * [simplify]: iteration 2 : 40 enodes (cost 32 ) 218.240 * * [simplify]: iteration 3 : 60 enodes (cost 32 ) 218.246 * * [simplify]: iteration 4 : 71 enodes (cost 32 ) 218.252 * * [simplify]: iteration 5 : 83 enodes (cost 32 ) 218.259 * * [simplify]: iteration 6 : 103 enodes (cost 32 ) 218.270 * * [simplify]: iteration 7 : 147 enodes (cost 32 ) 218.297 * * [simplify]: iteration 8 : 261 enodes (cost 32 ) 218.378 * * [simplify]: iteration 9 : 636 enodes (cost 32 ) 219.097 * * [simplify]: iteration 10 : 2298 enodes (cost 32 ) 221.319 * * [simplify]: iteration done : 5000 enodes (cost 32 ) 221.320 * * [simplify]: iteration 0 : 14 enodes (cost 21 ) 221.322 * * [simplify]: iteration 1 : 28 enodes (cost 21 ) 221.326 * * [simplify]: iteration 2 : 60 enodes (cost 21 ) 221.343 * * [simplify]: iteration 3 : 131 enodes (cost 21 ) 221.364 * * [simplify]: iteration 4 : 218 enodes (cost 21 ) 221.425 * * [simplify]: iteration 5 : 321 enodes (cost 21 ) 221.514 * * [simplify]: iteration 6 : 382 enodes (cost 21 ) 221.608 * * [simplify]: iteration 7 : 427 enodes (cost 21 ) 221.723 * * [simplify]: iteration 8 : 538 enodes (cost 21 ) 221.889 * * [simplify]: iteration 9 : 917 enodes (cost 21 ) 222.708 * * [simplify]: iteration 10 : 2583 enodes (cost 21 ) 224.385 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 224.385 * * [simplify]: iteration 0 : 14 enodes (cost 21 ) 224.388 * * [simplify]: iteration 1 : 24 enodes (cost 21 ) 224.391 * * [simplify]: iteration 2 : 37 enodes (cost 21 ) 224.396 * * [simplify]: iteration 3 : 57 enodes (cost 21 ) 224.402 * * [simplify]: iteration 4 : 68 enodes (cost 21 ) 224.415 * * [simplify]: iteration 5 : 80 enodes (cost 21 ) 224.422 * * [simplify]: iteration 6 : 100 enodes (cost 21 ) 224.432 * * [simplify]: iteration 7 : 144 enodes (cost 21 ) 224.452 * * [simplify]: iteration 8 : 257 enodes (cost 21 ) 224.537 * * [simplify]: iteration 9 : 633 enodes (cost 21 ) 225.272 * * [simplify]: iteration 10 : 2307 enodes (cost 21 ) 227.066 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 227.067 * * [simplify]: iteration 0 : 14 enodes (cost 21 ) 227.069 * * [simplify]: iteration 1 : 28 enodes (cost 21 ) 227.078 * * [simplify]: iteration 2 : 60 enodes (cost 21 ) 227.088 * * [simplify]: iteration 3 : 131 enodes (cost 21 ) 227.111 * * [simplify]: iteration 4 : 218 enodes (cost 21 ) 227.170 * * [simplify]: iteration 5 : 321 enodes (cost 21 ) 227.256 * * [simplify]: iteration 6 : 382 enodes (cost 21 ) 227.352 * * [simplify]: iteration 7 : 427 enodes (cost 21 ) 227.460 * * [simplify]: iteration 8 : 538 enodes (cost 21 ) 227.630 * * [simplify]: iteration 9 : 917 enodes (cost 21 ) 228.451 * * [simplify]: iteration 10 : 2583 enodes (cost 21 ) 230.079 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 230.080 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 230.082 * * [simplify]: iteration 1 : 23 enodes (cost 10 ) 230.084 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 230.089 * * [simplify]: iteration 3 : 56 enodes (cost 10 ) 230.104 * * [simplify]: iteration 4 : 103 enodes (cost 10 ) 230.131 * * [simplify]: iteration 5 : 212 enodes (cost 10 ) 230.177 * * [simplify]: iteration 6 : 395 enodes (cost 10 ) 230.555 * * [simplify]: iteration 7 : 1259 enodes (cost 10 ) 232.768 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 232.769 * * [simplify]: iteration 0 : 13 enodes (cost 20 ) 232.771 * * [simplify]: iteration 1 : 27 enodes (cost 20 ) 232.775 * * [simplify]: iteration 2 : 59 enodes (cost 20 ) 232.785 * * [simplify]: iteration 3 : 130 enodes (cost 20 ) 232.810 * * [simplify]: iteration 4 : 217 enodes (cost 20 ) 232.872 * * [simplify]: iteration 5 : 320 enodes (cost 20 ) 232.956 * * [simplify]: iteration 6 : 381 enodes (cost 20 ) 233.053 * * [simplify]: iteration 7 : 426 enodes (cost 20 ) 233.163 * * [simplify]: iteration 8 : 542 enodes (cost 20 ) 233.330 * * [simplify]: iteration 9 : 922 enodes (cost 20 ) 234.133 * * [simplify]: iteration 10 : 2568 enodes (cost 20 ) 236.199 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 236.200 * * [simplify]: iteration 0 : 16 enodes (cost 33 ) 236.202 * * [simplify]: iteration 1 : 28 enodes (cost 31 ) 236.206 * * [simplify]: iteration 2 : 42 enodes (cost 31 ) 236.210 * * [simplify]: iteration 3 : 47 enodes (cost 31 ) 236.220 * * [simplify]: iteration 4 : 53 enodes (cost 31 ) 236.225 * * [simplify]: iteration 5 : 63 enodes (cost 31 ) 236.231 * * [simplify]: iteration 6 : 87 enodes (cost 31 ) 236.243 * * [simplify]: iteration 7 : 149 enodes (cost 31 ) 236.292 * * [simplify]: iteration 8 : 370 enodes (cost 31 ) 236.763 * * [simplify]: iteration 9 : 1313 enodes (cost 31 ) 239.180 * * [simplify]: iteration done : 5000 enodes (cost 31 ) 239.181 * * [simplify]: iteration 0 : 15 enodes (cost 22 ) 239.183 * * [simplify]: iteration 1 : 29 enodes (cost 20 ) 239.187 * * [simplify]: iteration 2 : 64 enodes (cost 20 ) 239.196 * * [simplify]: iteration 3 : 122 enodes (cost 20 ) 239.223 * * [simplify]: iteration 4 : 207 enodes (cost 20 ) 239.283 * * [simplify]: iteration 5 : 308 enodes (cost 20 ) 239.367 * * [simplify]: iteration 6 : 371 enodes (cost 20 ) 239.465 * * [simplify]: iteration 7 : 441 enodes (cost 20 ) 239.603 * * [simplify]: iteration 8 : 649 enodes (cost 20 ) 240.158 * * [simplify]: iteration 9 : 1580 enodes (cost 20 ) 242.366 * * [simplify]: iteration done : 5001 enodes (cost 20 ) 242.367 * * [simplify]: iteration 0 : 15 enodes (cost 22 ) 242.369 * * [simplify]: iteration 1 : 25 enodes (cost 20 ) 242.372 * * [simplify]: iteration 2 : 39 enodes (cost 20 ) 242.380 * * [simplify]: iteration 3 : 46 enodes (cost 20 ) 242.384 * * [simplify]: iteration 4 : 52 enodes (cost 20 ) 242.389 * * [simplify]: iteration 5 : 62 enodes (cost 20 ) 242.395 * * [simplify]: iteration 6 : 86 enodes (cost 20 ) 242.406 * * [simplify]: iteration 7 : 151 enodes (cost 20 ) 242.456 * * [simplify]: iteration 8 : 365 enodes (cost 20 ) 242.907 * * [simplify]: iteration 9 : 1294 enodes (cost 20 ) 245.288 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 245.289 * * [simplify]: iteration 0 : 15 enodes (cost 22 ) 245.291 * * [simplify]: iteration 1 : 29 enodes (cost 20 ) 245.295 * * [simplify]: iteration 2 : 64 enodes (cost 20 ) 245.304 * * [simplify]: iteration 3 : 122 enodes (cost 20 ) 245.331 * * [simplify]: iteration 4 : 207 enodes (cost 20 ) 245.392 * * [simplify]: iteration 5 : 308 enodes (cost 20 ) 245.478 * * [simplify]: iteration 6 : 371 enodes (cost 20 ) 245.577 * * [simplify]: iteration 7 : 441 enodes (cost 20 ) 245.713 * * [simplify]: iteration 8 : 649 enodes (cost 20 ) 246.261 * * [simplify]: iteration 9 : 1580 enodes (cost 20 ) 248.475 * * [simplify]: iteration done : 5001 enodes (cost 20 ) 248.476 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 248.478 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 248.480 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 248.490 * * [simplify]: iteration 3 : 52 enodes (cost 9 ) 248.497 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 248.508 * * [simplify]: iteration 5 : 140 enodes (cost 9 ) 248.561 * * [simplify]: iteration 6 : 416 enodes (cost 9 ) 248.977 * * [simplify]: iteration 7 : 1327 enodes (cost 9 ) 251.425 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 251.426 * * [simplify]: iteration 0 : 14 enodes (cost 21 ) 251.428 * * [simplify]: iteration 1 : 28 enodes (cost 19 ) 251.432 * * [simplify]: iteration 2 : 63 enodes (cost 19 ) 251.440 * * [simplify]: iteration 3 : 119 enodes (cost 19 ) 251.469 * * [simplify]: iteration 4 : 206 enodes (cost 19 ) 251.530 * * [simplify]: iteration 5 : 307 enodes (cost 19 ) 251.615 * * [simplify]: iteration 6 : 372 enodes (cost 19 ) 251.714 * * [simplify]: iteration 7 : 440 enodes (cost 19 ) 251.853 * * [simplify]: iteration 8 : 659 enodes (cost 19 ) 252.403 * * [simplify]: iteration 9 : 1592 enodes (cost 19 ) 254.546 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 254.547 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 254.548 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 254.550 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 254.553 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 254.557 * * [simplify]: iteration done : 25 enodes (cost 11 ) 254.557 * * [simplify]: iteration 0 : 13 enodes (cost 25 ) 254.559 * * [simplify]: iteration 1 : 31 enodes (cost 25 ) 254.565 * * [simplify]: iteration 2 : 101 enodes (cost 25 ) 254.604 * * [simplify]: iteration 3 : 381 enodes (cost 25 ) 254.936 * * [simplify]: iteration 4 : 916 enodes (cost 11 ) 255.653 * * [simplify]: iteration 5 : 1162 enodes (cost 11 ) 256.351 * * [simplify]: iteration 6 : 1489 enodes (cost 11 ) 257.313 * * [simplify]: iteration 7 : 1883 enodes (cost 11 ) 258.531 * * [simplify]: iteration 8 : 2625 enodes (cost 11 ) 260.594 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 260.595 * * [simplify]: iteration 0 : 15 enodes (cost 37 ) 260.597 * * [simplify]: iteration 1 : 38 enodes (cost 37 ) 260.612 * * [simplify]: iteration 2 : 138 enodes (cost 37 ) 260.668 * * [simplify]: iteration 3 : 651 enodes (cost 37 ) 261.428 * * [simplify]: iteration 4 : 2843 enodes (cost 37 ) 263.196 * * [simplify]: iteration done : 5000 enodes (cost 37 ) 263.197 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 263.199 * * [simplify]: iteration 1 : 35 enodes (cost 26 ) 263.205 * * [simplify]: iteration 2 : 117 enodes (cost 26 ) 263.253 * * [simplify]: iteration 3 : 492 enodes (cost 26 ) 263.710 * * [simplify]: iteration 4 : 1488 enodes (cost 26 ) 266.040 * * [simplify]: iteration 5 : 3237 enodes (cost 26 ) 270.952 * * [simplify]: iteration done : 5001 enodes (cost 26 ) 270.953 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 270.955 * * [simplify]: iteration 1 : 34 enodes (cost 15 ) 270.961 * * [simplify]: iteration 2 : 118 enodes (cost 15 ) 271.021 * * [simplify]: iteration 3 : 496 enodes (cost 15 ) 271.817 * * [simplify]: iteration 4 : 1719 enodes (cost 15 ) 277.160 * * [simplify]: iteration 5 : 4724 enodes (cost 15 ) 278.001 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 278.002 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 278.004 * * [simplify]: iteration 1 : 32 enodes (cost 26 ) 278.010 * * [simplify]: iteration 2 : 102 enodes (cost 26 ) 278.052 * * [simplify]: iteration 3 : 375 enodes (cost 26 ) 278.407 * * [simplify]: iteration 4 : 939 enodes (cost 26 ) 279.106 * * [simplify]: iteration 5 : 1134 enodes (cost 26 ) 279.822 * * [simplify]: iteration 6 : 1459 enodes (cost 26 ) 280.764 * * [simplify]: iteration 7 : 1861 enodes (cost 26 ) 282.023 * * [simplify]: iteration 8 : 2622 enodes (cost 26 ) 284.094 * * [simplify]: iteration done : 5001 enodes (cost 26 ) 284.095 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 284.097 * * [simplify]: iteration 1 : 32 enodes (cost 26 ) 284.103 * * [simplify]: iteration 2 : 102 enodes (cost 26 ) 284.143 * * [simplify]: iteration 3 : 375 enodes (cost 26 ) 284.495 * * [simplify]: iteration 4 : 939 enodes (cost 26 ) 285.192 * * [simplify]: iteration 5 : 1134 enodes (cost 26 ) 285.903 * * [simplify]: iteration 6 : 1459 enodes (cost 26 ) 286.843 * * [simplify]: iteration 7 : 1861 enodes (cost 26 ) 288.088 * * [simplify]: iteration 8 : 2622 enodes (cost 26 ) 290.154 * * [simplify]: iteration done : 5001 enodes (cost 26 ) 290.155 * * [simplify]: iteration 0 : 13 enodes (cost 25 ) 290.157 * * [simplify]: iteration 1 : 31 enodes (cost 25 ) 290.164 * * [simplify]: iteration 2 : 101 enodes (cost 25 ) 290.204 * * [simplify]: iteration 3 : 381 enodes (cost 25 ) 290.539 * * [simplify]: iteration 4 : 916 enodes (cost 11 ) 291.260 * * [simplify]: iteration 5 : 1162 enodes (cost 11 ) 291.965 * * [simplify]: iteration 6 : 1489 enodes (cost 11 ) 292.908 * * [simplify]: iteration 7 : 1883 enodes (cost 11 ) 294.375 * * [simplify]: iteration 8 : 2625 enodes (cost 11 ) 296.468 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 296.469 * * [simplify]: iteration 0 : 13 enodes (cost 20 ) 296.476 * * [simplify]: iteration 1 : 24 enodes (cost 20 ) 296.479 * * [simplify]: iteration 2 : 48 enodes (cost 20 ) 296.488 * * [simplify]: iteration 3 : 93 enodes (cost 19 ) 296.502 * * [simplify]: iteration 4 : 110 enodes (cost 19 ) 296.522 * * [simplify]: iteration 5 : 147 enodes (cost 19 ) 296.551 * * [simplify]: iteration 6 : 267 enodes (cost 19 ) 296.717 * * [simplify]: iteration 7 : 709 enodes (cost 19 ) 298.338 * * [simplify]: iteration 8 : 2678 enodes (cost 19 ) 302.535 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 302.536 * * [simplify]: iteration 0 : 13 enodes (cost 20 ) 302.538 * * [simplify]: iteration 1 : 24 enodes (cost 20 ) 302.541 * * [simplify]: iteration 2 : 48 enodes (cost 20 ) 302.549 * * [simplify]: iteration 3 : 93 enodes (cost 20 ) 302.564 * * [simplify]: iteration 4 : 106 enodes (cost 20 ) 302.582 * * [simplify]: iteration 5 : 118 enodes (cost 20 ) 302.596 * * [simplify]: iteration 6 : 138 enodes (cost 20 ) 302.613 * * [simplify]: iteration 7 : 184 enodes (cost 20 ) 302.645 * * [simplify]: iteration 8 : 298 enodes (cost 20 ) 302.733 * * [simplify]: iteration 9 : 680 enodes (cost 20 ) 303.487 * * [simplify]: iteration 10 : 2346 enodes (cost 20 ) 305.499 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 305.500 * * [simplify]: iteration 0 : 14 enodes (cost 21 ) 305.503 * * [simplify]: iteration 1 : 25 enodes (cost 19 ) 305.506 * * [simplify]: iteration 2 : 50 enodes (cost 19 ) 305.513 * * [simplify]: iteration 3 : 80 enodes (cost 19 ) 305.526 * * [simplify]: iteration 4 : 90 enodes (cost 19 ) 305.538 * * [simplify]: iteration 5 : 100 enodes (cost 19 ) 305.556 * * [simplify]: iteration 6 : 122 enodes (cost 19 ) 305.576 * * [simplify]: iteration 7 : 185 enodes (cost 19 ) 305.631 * * [simplify]: iteration 8 : 394 enodes (cost 19 ) 306.119 * * [simplify]: iteration 9 : 1321 enodes (cost 19 ) 308.635 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 308.636 * * [simplify]: iteration 0 : 16 enodes (cost 29 ) 308.639 * * [simplify]: iteration 1 : 53 enodes (cost 29 ) 308.655 * * [simplify]: iteration 2 : 195 enodes (cost 27 ) 308.753 * * [simplify]: iteration 3 : 867 enodes (cost 27 ) 309.832 * * [simplify]: iteration 4 : 2885 enodes (cost 27 ) 312.044 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 312.045 * * [simplify]: iteration 0 : 14 enodes (cost 35 ) 312.047 * * [simplify]: iteration 1 : 42 enodes (cost 35 ) 312.056 * * [simplify]: iteration 2 : 151 enodes (cost 31 ) 312.126 * * [simplify]: iteration 3 : 791 enodes (cost 31 ) 313.338 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 313.339 * * [simplify]: iteration 0 : 17 enodes (cost 57 ) 313.347 * * [simplify]: iteration 1 : 56 enodes (cost 41 ) 313.361 * * [simplify]: iteration 2 : 265 enodes (cost 37 ) 313.560 * * [simplify]: iteration 3 : 1681 enodes (cost 37 ) 314.741 * * [simplify]: iteration done : 5000 enodes (cost 37 ) 314.742 * * [simplify]: iteration 0 : 13 enodes (cost 25 ) 314.744 * * [simplify]: iteration 1 : 37 enodes (cost 25 ) 314.752 * * [simplify]: iteration 2 : 133 enodes (cost 25 ) 314.813 * * [simplify]: iteration 3 : 643 enodes (cost 25 ) 315.489 * * [simplify]: iteration 4 : 2395 enodes (cost 25 ) 319.886 * * [simplify]: iteration 5 : 4741 enodes (cost 25 ) 322.050 * * [simplify]: iteration done : 5000 enodes (cost 25 ) 322.050 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 322.052 * * [simplify]: iteration 1 : 31 enodes (cost 16 ) 322.058 * * [simplify]: iteration 2 : 104 enodes (cost 16 ) 322.095 * * [simplify]: iteration 3 : 376 enodes (cost 16 ) 322.298 * * [simplify]: iteration 4 : 1118 enodes (cost 16 ) 323.275 * * [simplify]: iteration 5 : 2932 enodes (cost 16 ) 323.902 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 323.903 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 323.905 * * [simplify]: iteration 1 : 28 enodes (cost 16 ) 323.910 * * [simplify]: iteration 2 : 99 enodes (cost 16 ) 323.950 * * [simplify]: iteration 3 : 385 enodes (cost 16 ) 324.294 * * [simplify]: iteration 4 : 916 enodes (cost 16 ) 324.995 * * [simplify]: iteration 5 : 1118 enodes (cost 16 ) 325.679 * * [simplify]: iteration 6 : 1409 enodes (cost 16 ) 326.603 * * [simplify]: iteration 7 : 1775 enodes (cost 16 ) 327.832 * * [simplify]: iteration 8 : 2546 enodes (cost 16 ) 330.150 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 330.151 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 330.152 * * [simplify]: iteration 1 : 31 enodes (cost 16 ) 330.158 * * [simplify]: iteration 2 : 114 enodes (cost 16 ) 330.202 * * [simplify]: iteration 3 : 469 enodes (cost 16 ) 330.572 * * [simplify]: iteration 4 : 1368 enodes (cost 16 ) 331.432 * * [simplify]: iteration 5 : 3111 enodes (cost 16 ) 332.112 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 332.113 * * [simplify]: iteration 0 : 12 enodes (cost 33 ) 332.114 * * [simplify]: iteration 1 : 29 enodes (cost 33 ) 332.120 * * [simplify]: iteration 2 : 100 enodes (cost 33 ) 332.155 * * [simplify]: iteration 3 : 376 enodes (cost 33 ) 332.496 * * [simplify]: iteration 4 : 939 enodes (cost 33 ) 333.195 * * [simplify]: iteration 5 : 1150 enodes (cost 33 ) 333.901 * * [simplify]: iteration 6 : 1487 enodes (cost 33 ) 334.840 * * [simplify]: iteration 7 : 1871 enodes (cost 33 ) 336.084 * * [simplify]: iteration 8 : 2617 enodes (cost 33 ) 338.155 * * [simplify]: iteration done : 5001 enodes (cost 33 ) 338.156 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 338.157 * * [simplify]: iteration 1 : 28 enodes (cost 16 ) 338.162 * * [simplify]: iteration 2 : 99 enodes (cost 16 ) 338.204 * * [simplify]: iteration 3 : 382 enodes (cost 16 ) 338.543 * * [simplify]: iteration 4 : 912 enodes (cost 16 ) 339.249 * * [simplify]: iteration 5 : 1118 enodes (cost 16 ) 339.956 * * [simplify]: iteration 6 : 1441 enodes (cost 16 ) 340.913 * * [simplify]: iteration 7 : 1811 enodes (cost 16 ) 342.129 * * [simplify]: iteration 8 : 2519 enodes (cost 16 ) 344.496 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 344.496 * * [simplify]: iteration 0 : 12 enodes (cost 47 ) 344.498 * * [simplify]: iteration 1 : 30 enodes (cost 47 ) 344.504 * * [simplify]: iteration 2 : 115 enodes (cost 17 ) 344.553 * * [simplify]: iteration 3 : 528 enodes (cost 17 ) 345.304 * * [simplify]: iteration 4 : 3555 enodes (cost 17 ) 347.762 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 347.763 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 347.765 * * [simplify]: iteration 1 : 28 enodes (cost 16 ) 347.770 * * [simplify]: iteration 2 : 99 enodes (cost 16 ) 347.810 * * [simplify]: iteration 3 : 382 enodes (cost 16 ) 348.156 * * [simplify]: iteration 4 : 912 enodes (cost 16 ) 348.872 * * [simplify]: iteration 5 : 1118 enodes (cost 16 ) 349.577 * * [simplify]: iteration 6 : 1441 enodes (cost 16 ) 350.532 * * [simplify]: iteration 7 : 1811 enodes (cost 16 ) 351.759 * * [simplify]: iteration 8 : 2519 enodes (cost 16 ) 354.151 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 354.152 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 354.154 * * [simplify]: iteration 1 : 28 enodes (cost 16 ) 354.159 * * [simplify]: iteration 2 : 99 enodes (cost 16 ) 354.200 * * [simplify]: iteration 3 : 382 enodes (cost 16 ) 354.547 * * [simplify]: iteration 4 : 912 enodes (cost 16 ) 355.263 * * [simplify]: iteration 5 : 1118 enodes (cost 16 ) 355.980 * * [simplify]: iteration 6 : 1441 enodes (cost 16 ) 356.915 * * [simplify]: iteration 7 : 1811 enodes (cost 16 ) 358.133 * * [simplify]: iteration 8 : 2519 enodes (cost 16 ) 360.444 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 360.445 * * [simplify]: iteration 0 : 13 enodes (cost 19 ) 360.447 * * [simplify]: iteration 1 : 44 enodes (cost 19 ) 360.462 * * [simplify]: iteration 2 : 199 enodes (cost 13 ) 360.601 * * [simplify]: iteration 3 : 1304 enodes (cost 13 ) 361.788 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 361.789 * * [simplify]: iteration 0 : 14 enodes (cost 47 ) 361.792 * * [simplify]: iteration 1 : 45 enodes (cost 31 ) 361.803 * * [simplify]: iteration 2 : 210 enodes (cost 27 ) 361.959 * * [simplify]: iteration 3 : 1197 enodes (cost 27 ) 364.250 * * [simplify]: iteration done : 5001 enodes (cost 27 ) 364.251 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 364.252 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 364.256 * * [simplify]: iteration 2 : 98 enodes (cost 12 ) 364.306 * * [simplify]: iteration 3 : 377 enodes (cost 12 ) 364.676 * * [simplify]: iteration 4 : 841 enodes (cost 12 ) 365.369 * * [simplify]: iteration 5 : 921 enodes (cost 12 ) 365.976 * * [simplify]: iteration done : 921 enodes (cost 12 ) 365.977 * * [simplify]: iteration 0 : 12 enodes (cost 31 ) 365.980 * * [simplify]: iteration 1 : 39 enodes (cost 27 ) 365.988 * * [simplify]: iteration 2 : 166 enodes (cost 17 ) 366.103 * * [simplify]: iteration 3 : 1021 enodes (cost 11 ) 367.853 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 367.854 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 367.856 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 367.860 * * [simplify]: iteration 2 : 78 enodes (cost 15 ) 367.890 * * [simplify]: iteration 3 : 220 enodes (cost 15 ) 367.986 * * [simplify]: iteration 4 : 297 enodes (cost 15 ) 368.083 * * [simplify]: iteration 5 : 309 enodes (cost 15 ) 368.178 * * [simplify]: iteration 6 : 329 enodes (cost 15 ) 368.281 * * [simplify]: iteration 7 : 371 enodes (cost 15 ) 368.395 * * [simplify]: iteration 8 : 484 enodes (cost 15 ) 368.563 * * [simplify]: iteration 9 : 861 enodes (cost 15 ) 369.359 * * [simplify]: iteration 10 : 2514 enodes (cost 15 ) 371.479 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 371.479 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 371.481 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 371.483 * * [simplify]: iteration 2 : 32 enodes (cost 10 ) 371.488 * * [simplify]: iteration 3 : 54 enodes (cost 9 ) 371.493 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 371.506 * * [simplify]: iteration 5 : 104 enodes (cost 9 ) 371.527 * * [simplify]: iteration 6 : 226 enodes (cost 9 ) 371.680 * * [simplify]: iteration 7 : 677 enodes (cost 9 ) 373.132 * * [simplify]: iteration 8 : 2546 enodes (cost 9 ) 376.616 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 376.617 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 376.618 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 376.621 * * [simplify]: iteration 2 : 44 enodes (cost 10 ) 376.634 * * [simplify]: iteration 3 : 89 enodes (cost 9 ) 376.647 * * [simplify]: iteration 4 : 106 enodes (cost 9 ) 376.662 * * [simplify]: iteration 5 : 143 enodes (cost 9 ) 376.695 * * [simplify]: iteration 6 : 263 enodes (cost 9 ) 376.867 * * [simplify]: iteration 7 : 720 enodes (cost 9 ) 378.346 * * [simplify]: iteration 8 : 2588 enodes (cost 9 ) 382.135 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 382.136 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 382.137 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 382.140 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 382.145 * * [simplify]: iteration 3 : 55 enodes (cost 10 ) 382.150 * * [simplify]: iteration 4 : 66 enodes (cost 10 ) 382.155 * * [simplify]: iteration 5 : 78 enodes (cost 10 ) 382.161 * * [simplify]: iteration 6 : 98 enodes (cost 10 ) 382.171 * * [simplify]: iteration 7 : 142 enodes (cost 10 ) 382.194 * * [simplify]: iteration 8 : 256 enodes (cost 10 ) 382.272 * * [simplify]: iteration 9 : 631 enodes (cost 10 ) 382.997 * * [simplify]: iteration 10 : 2288 enodes (cost 10 ) 384.816 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 384.816 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 384.818 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 384.821 * * [simplify]: iteration 2 : 45 enodes (cost 10 ) 384.828 * * [simplify]: iteration 3 : 90 enodes (cost 10 ) 384.846 * * [simplify]: iteration 4 : 103 enodes (cost 10 ) 384.859 * * [simplify]: iteration 5 : 115 enodes (cost 10 ) 384.872 * * [simplify]: iteration 6 : 135 enodes (cost 10 ) 384.888 * * [simplify]: iteration 7 : 179 enodes (cost 10 ) 384.920 * * [simplify]: iteration 8 : 295 enodes (cost 10 ) 385.012 * * [simplify]: iteration 9 : 679 enodes (cost 10 ) 385.737 * * [simplify]: iteration 10 : 2333 enodes (cost 10 ) 387.520 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 387.521 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 387.523 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 387.525 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 387.530 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 387.535 * * [simplify]: iteration 4 : 66 enodes (cost 9 ) 387.543 * * [simplify]: iteration 5 : 108 enodes (cost 9 ) 387.564 * * [simplify]: iteration 6 : 236 enodes (cost 9 ) 387.732 * * [simplify]: iteration 7 : 756 enodes (cost 9 ) 389.836 * * [simplify]: iteration 8 : 3748 enodes (cost 9 ) 393.214 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 393.215 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 393.217 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 393.220 * * [simplify]: iteration 2 : 46 enodes (cost 9 ) 393.226 * * [simplify]: iteration 3 : 78 enodes (cost 9 ) 393.238 * * [simplify]: iteration 4 : 86 enodes (cost 9 ) 393.254 * * [simplify]: iteration 5 : 96 enodes (cost 9 ) 393.267 * * [simplify]: iteration 6 : 118 enodes (cost 9 ) 393.285 * * [simplify]: iteration 7 : 174 enodes (cost 9 ) 393.340 * * [simplify]: iteration 8 : 382 enodes (cost 9 ) 393.783 * * [simplify]: iteration 9 : 1287 enodes (cost 9 ) 396.204 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 396.205 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 396.206 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 396.211 * * [simplify]: iteration 2 : 98 enodes (cost 12 ) 396.261 * * [simplify]: iteration 3 : 377 enodes (cost 12 ) 396.624 * * [simplify]: iteration 4 : 841 enodes (cost 12 ) 397.314 * * [simplify]: iteration 5 : 921 enodes (cost 12 ) 397.915 * * [simplify]: iteration done : 921 enodes (cost 12 ) 397.915 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 397.916 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 397.916 * * [simplify]: iteration done : 6 enodes (cost 1 ) 397.916 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 397.917 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 397.917 * * [simplify]: iteration done : 6 enodes (cost 1 ) 397.918 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 397.918 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 397.918 * * [simplify]: iteration done : 6 enodes (cost 1 ) 397.919 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 397.919 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 397.920 * * [simplify]: iteration done : 6 enodes (cost 1 ) 397.920 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 397.921 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 397.921 * * [simplify]: iteration done : 6 enodes (cost 1 ) 397.921 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 397.922 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 397.922 * * [simplify]: iteration done : 6 enodes (cost 1 ) 397.923 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 397.923 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 397.923 * * [simplify]: iteration done : 6 enodes (cost 1 ) 397.924 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 397.924 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 397.924 * * [simplify]: iteration done : 6 enodes (cost 1 ) 397.925 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 397.925 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 397.926 * * [simplify]: iteration done : 6 enodes (cost 1 ) 397.926 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 397.927 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 397.931 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 397.955 * * [simplify]: iteration 3 : 178 enodes (cost 11 ) 398.033 * * [simplify]: iteration 4 : 208 enodes (cost 11 ) 398.119 * * [simplify]: iteration done : 208 enodes (cost 11 ) 398.120 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 398.121 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 398.124 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 398.145 * * [simplify]: iteration 3 : 178 enodes (cost 11 ) 398.225 * * [simplify]: iteration 4 : 208 enodes (cost 11 ) 398.311 * * [simplify]: iteration done : 208 enodes (cost 11 ) 398.312 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 398.313 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 398.316 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 398.337 * * [simplify]: iteration 3 : 178 enodes (cost 11 ) 398.416 * * [simplify]: iteration 4 : 208 enodes (cost 11 ) 398.503 * * [simplify]: iteration done : 208 enodes (cost 11 ) 398.503 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 398.504 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 398.508 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 398.528 * * [simplify]: iteration 3 : 178 enodes (cost 11 ) 398.607 * * [simplify]: iteration 4 : 208 enodes (cost 11 ) 398.692 * * [simplify]: iteration done : 208 enodes (cost 11 ) 398.693 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 398.694 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 398.697 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 398.718 * * [simplify]: iteration 3 : 178 enodes (cost 11 ) 398.809 * * [simplify]: iteration 4 : 208 enodes (cost 11 ) 398.895 * * [simplify]: iteration done : 208 enodes (cost 11 ) 398.896 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 398.897 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 398.901 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 398.925 * * [simplify]: iteration 3 : 178 enodes (cost 11 ) 399.005 * * [simplify]: iteration 4 : 208 enodes (cost 11 ) 399.093 * * [simplify]: iteration done : 208 enodes (cost 11 ) 399.094 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 399.095 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 399.098 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 399.122 * * [simplify]: iteration 3 : 178 enodes (cost 11 ) 399.199 * * [simplify]: iteration 4 : 208 enodes (cost 11 ) 399.286 * * [simplify]: iteration done : 208 enodes (cost 11 ) 399.287 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 399.288 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 399.292 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 399.315 * * [simplify]: iteration 3 : 178 enodes (cost 11 ) 399.392 * * [simplify]: iteration 4 : 208 enodes (cost 11 ) 399.480 * * [simplify]: iteration done : 208 enodes (cost 11 ) 399.481 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 399.481 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 399.485 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 399.505 * * [simplify]: iteration 3 : 178 enodes (cost 11 ) 399.588 * * [simplify]: iteration 4 : 208 enodes (cost 11 ) 399.677 * * [simplify]: iteration done : 208 enodes (cost 11 ) 399.677 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 399.678 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 399.678 * * [simplify]: iteration done : 6 enodes (cost 1 ) 399.679 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 399.679 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 399.679 * * [simplify]: iteration done : 6 enodes (cost 1 ) 399.680 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 399.680 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 399.681 * * [simplify]: iteration done : 6 enodes (cost 1 ) 399.681 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 399.682 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 399.685 * * [simplify]: iteration 2 : 62 enodes (cost 10 ) 399.701 * * [simplify]: iteration 3 : 159 enodes (cost 10 ) 399.766 * * [simplify]: iteration 4 : 251 enodes (cost 10 ) 399.863 * * [simplify]: iteration 5 : 261 enodes (cost 10 ) 399.950 * * [simplify]: iteration done : 261 enodes (cost 10 ) 399.950 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 399.952 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 399.955 * * [simplify]: iteration 2 : 51 enodes (cost 15 ) 399.966 * * [simplify]: iteration 3 : 135 enodes (cost 9 ) 400.012 * * [simplify]: iteration 4 : 229 enodes (cost 9 ) 400.108 * * [simplify]: iteration 5 : 243 enodes (cost 9 ) 400.196 * * [simplify]: iteration done : 243 enodes (cost 9 ) 400.197 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 400.198 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 400.202 * * [simplify]: iteration 2 : 58 enodes (cost 13 ) 400.214 * * [simplify]: iteration 3 : 141 enodes (cost 8 ) 400.260 * * [simplify]: iteration 4 : 277 enodes (cost 8 ) 400.353 * * [simplify]: iteration 5 : 294 enodes (cost 8 ) 400.444 * * [simplify]: iteration done : 294 enodes (cost 8 ) 400.444 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 400.446 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 400.449 * * [simplify]: iteration 2 : 51 enodes (cost 15 ) 400.460 * * [simplify]: iteration 3 : 135 enodes (cost 9 ) 400.506 * * [simplify]: iteration 4 : 225 enodes (cost 9 ) 400.603 * * [simplify]: iteration 5 : 239 enodes (cost 9 ) 400.693 * * [simplify]: iteration done : 239 enodes (cost 9 ) 400.693 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 400.695 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 400.697 * * [simplify]: iteration 2 : 45 enodes (cost 9 ) 400.707 * * [simplify]: iteration 3 : 115 enodes (cost 9 ) 400.747 * * [simplify]: iteration 4 : 222 enodes (cost 9 ) 400.844 * * [simplify]: iteration 5 : 283 enodes (cost 9 ) 400.927 * * [simplify]: iteration done : 283 enodes (cost 9 ) 400.928 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 400.929 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 400.932 * * [simplify]: iteration 2 : 44 enodes (cost 13 ) 400.940 * * [simplify]: iteration 3 : 111 enodes (cost 8 ) 400.976 * * [simplify]: iteration 4 : 262 enodes (cost 8 ) 401.066 * * [simplify]: iteration 5 : 319 enodes (cost 8 ) 401.155 * * [simplify]: iteration done : 319 enodes (cost 8 ) 401.156 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 401.158 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 401.162 * * [simplify]: iteration 2 : 58 enodes (cost 13 ) 401.173 * * [simplify]: iteration 3 : 143 enodes (cost 8 ) 401.225 * * [simplify]: iteration 4 : 287 enodes (cost 8 ) 401.329 * * [simplify]: iteration 5 : 309 enodes (cost 8 ) 401.423 * * [simplify]: iteration done : 309 enodes (cost 8 ) 401.424 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 401.426 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 401.428 * * [simplify]: iteration 2 : 44 enodes (cost 13 ) 401.436 * * [simplify]: iteration 3 : 113 enodes (cost 8 ) 401.474 * * [simplify]: iteration 4 : 270 enodes (cost 8 ) 401.576 * * [simplify]: iteration 5 : 341 enodes (cost 8 ) 401.668 * * [simplify]: iteration done : 341 enodes (cost 8 ) 401.669 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 401.670 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 401.672 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 401.679 * * [simplify]: iteration 3 : 87 enodes (cost 8 ) 401.703 * * [simplify]: iteration 4 : 208 enodes (cost 8 ) 401.775 * * [simplify]: iteration 5 : 304 enodes (cost 8 ) 401.870 * * [simplify]: iteration 6 : 307 enodes (cost 8 ) 401.957 * * [simplify]: iteration done : 307 enodes (cost 8 ) 401.957 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 401.959 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 401.965 * * [simplify]: iteration 2 : 81 enodes (cost 8 ) 401.991 * * [simplify]: iteration 3 : 270 enodes (cost 8 ) 402.120 * * [simplify]: iteration 4 : 514 enodes (cost 8 ) 402.350 * * [simplify]: iteration 5 : 626 enodes (cost 8 ) 402.542 * * [simplify]: iteration done : 626 enodes (cost 8 ) 402.543 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 402.544 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 402.548 * * [simplify]: iteration 2 : 80 enodes (cost 12 ) 402.574 * * [simplify]: iteration 3 : 273 enodes (cost 12 ) 402.692 * * [simplify]: iteration 4 : 569 enodes (cost 12 ) 402.876 * * [simplify]: iteration 5 : 1298 enodes (cost 12 ) 403.981 * * [simplify]: iteration 6 : 3341 enodes (cost 12 ) 405.066 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 405.067 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 405.069 * * [simplify]: iteration 1 : 32 enodes (cost 35 ) 405.078 * * [simplify]: iteration 2 : 184 enodes (cost 23 ) 405.240 * * [simplify]: iteration 3 : 1331 enodes (cost 11 ) 406.566 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 406.567 * * [simplify]: iteration 0 : 16 enodes (cost 35 ) 406.570 * * [simplify]: iteration 1 : 48 enodes (cost 35 ) 406.589 * * [simplify]: iteration 2 : 215 enodes (cost 19 ) 406.792 * * [simplify]: iteration 3 : 1498 enodes (cost 9 ) 408.305 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 408.306 * * [simplify]: iteration 0 : 16 enodes (cost 35 ) 408.312 * * [simplify]: iteration 1 : 47 enodes (cost 35 ) 408.324 * * [simplify]: iteration 2 : 237 enodes (cost 19 ) 408.557 * * [simplify]: iteration 3 : 1678 enodes (cost 15 ) 409.925 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 409.926 * * [simplify]: iteration 0 : 16 enodes (cost 35 ) 409.929 * * [simplify]: iteration 1 : 48 enodes (cost 35 ) 409.944 * * [simplify]: iteration 2 : 216 enodes (cost 19 ) 410.155 * * [simplify]: iteration 3 : 1515 enodes (cost 9 ) 411.572 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 411.573 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 411.575 * * [simplify]: iteration 1 : 34 enodes (cost 35 ) 411.589 * * [simplify]: iteration 2 : 176 enodes (cost 19 ) 411.760 * * [simplify]: iteration 3 : 1300 enodes (cost 9 ) 413.286 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 413.287 * * [simplify]: iteration 0 : 13 enodes (cost 35 ) 413.290 * * [simplify]: iteration 1 : 46 enodes (cost 35 ) 413.303 * * [simplify]: iteration 2 : 226 enodes (cost 15 ) 413.591 * * [simplify]: iteration 3 : 1703 enodes (cost 7 ) 415.174 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 415.174 * * [simplify]: iteration 0 : 16 enodes (cost 35 ) 415.177 * * [simplify]: iteration 1 : 47 enodes (cost 35 ) 415.189 * * [simplify]: iteration 2 : 237 enodes (cost 19 ) 415.436 * * [simplify]: iteration 3 : 1721 enodes (cost 15 ) 417.042 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 417.043 * * [simplify]: iteration 0 : 13 enodes (cost 35 ) 417.046 * * [simplify]: iteration 1 : 46 enodes (cost 35 ) 417.059 * * [simplify]: iteration 2 : 226 enodes (cost 15 ) 417.333 * * [simplify]: iteration 3 : 1662 enodes (cost 7 ) 419.137 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 419.138 * * [simplify]: iteration 0 : 8 enodes (cost 35 ) 419.139 * * [simplify]: iteration 1 : 28 enodes (cost 35 ) 419.148 * * [simplify]: iteration 2 : 162 enodes (cost 15 ) 419.322 * * [simplify]: iteration 3 : 1143 enodes (cost 7 ) 421.408 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 421.409 * * [simplify]: iteration 0 : 8 enodes (cost 25 ) 421.410 * * [simplify]: iteration 1 : 19 enodes (cost 25 ) 421.414 * * [simplify]: iteration 2 : 64 enodes (cost 25 ) 421.434 * * [simplify]: iteration 3 : 183 enodes (cost 25 ) 421.520 * * [simplify]: iteration 4 : 225 enodes (cost 25 ) 421.609 * * [simplify]: iteration done : 225 enodes (cost 25 ) 421.611 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 421.612 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 421.615 * * [simplify]: iteration 2 : 63 enodes (cost 12 ) 421.636 * * [simplify]: iteration 3 : 181 enodes (cost 12 ) 421.720 * * [simplify]: iteration 4 : 218 enodes (cost 12 ) 421.807 * * [simplify]: iteration done : 218 enodes (cost 12 ) 421.808 * * [simplify]: iteration 0 : 8 enodes (cost 35 ) 421.809 * * [simplify]: iteration 1 : 27 enodes (cost 35 ) 421.821 * * [simplify]: iteration 2 : 152 enodes (cost 13 ) 421.984 * * [simplify]: iteration 3 : 1113 enodes (cost 7 ) 423.883 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 423.884 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 423.885 * * [simplify]: iteration 1 : 19 enodes (cost 6 ) 423.889 * * [simplify]: iteration 2 : 64 enodes (cost 6 ) 423.910 * * [simplify]: iteration 3 : 183 enodes (cost 6 ) 423.995 * * [simplify]: iteration 4 : 219 enodes (cost 6 ) 424.084 * * [simplify]: iteration done : 219 enodes (cost 6 ) 424.085 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 424.086 * * [simplify]: iteration 1 : 19 enodes (cost 6 ) 424.090 * * [simplify]: iteration 2 : 64 enodes (cost 6 ) 424.112 * * [simplify]: iteration 3 : 183 enodes (cost 6 ) 424.197 * * [simplify]: iteration 4 : 219 enodes (cost 6 ) 424.285 * * [simplify]: iteration done : 219 enodes (cost 6 ) 424.286 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 424.287 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 424.289 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 424.293 * * [simplify]: iteration done : 23 enodes (cost 7 ) 424.293 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 424.294 * * [simplify]: iteration done : 2 enodes (cost 3 ) 424.294 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 424.295 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 424.295 * * [simplify]: iteration done : 6 enodes (cost 1 ) 424.295 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 424.296 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 424.296 * * [simplify]: iteration done : 6 enodes (cost 1 ) 424.297 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 424.297 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 424.298 * * [simplify]: iteration done : 6 enodes (cost 1 ) 424.298 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 424.299 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 424.299 * * [simplify]: iteration done : 6 enodes (cost 1 ) 424.300 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 424.300 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 424.300 * * [simplify]: iteration done : 6 enodes (cost 1 ) 424.301 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 424.301 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 424.302 * * [simplify]: iteration done : 6 enodes (cost 1 ) 424.302 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 424.303 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 424.303 * * [simplify]: iteration done : 6 enodes (cost 1 ) 424.304 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 424.304 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 424.304 * * [simplify]: iteration done : 6 enodes (cost 1 ) 424.305 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 424.305 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 424.306 * * [simplify]: iteration done : 6 enodes (cost 1 ) 424.306 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 424.307 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 424.309 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 424.318 * * [simplify]: iteration 3 : 77 enodes (cost 9 ) 424.341 * * [simplify]: iteration 4 : 94 enodes (cost 9 ) 424.362 * * [simplify]: iteration done : 94 enodes (cost 9 ) 424.363 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 424.364 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 424.365 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 424.370 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 424.377 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 424.384 * * [simplify]: iteration done : 40 enodes (cost 7 ) 424.384 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 424.386 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 424.389 * * [simplify]: iteration 2 : 42 enodes (cost 10 ) 424.397 * * [simplify]: iteration 3 : 81 enodes (cost 10 ) 424.412 * * [simplify]: iteration 4 : 225 enodes (cost 10 ) 424.508 * * [simplify]: iteration 5 : 772 enodes (cost 10 ) 425.689 * * [simplify]: iteration 6 : 3469 enodes (cost 10 ) 427.376 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 427.377 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 427.378 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 427.380 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 427.383 * * [simplify]: iteration done : 20 enodes (cost 10 ) 427.383 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 427.385 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 427.387 * * [simplify]: iteration 2 : 32 enodes (cost 10 ) 427.392 * * [simplify]: iteration 3 : 53 enodes (cost 10 ) 427.400 * * [simplify]: iteration 4 : 125 enodes (cost 10 ) 427.434 * * [simplify]: iteration 5 : 393 enodes (cost 10 ) 427.663 * * [simplify]: iteration 6 : 1342 enodes (cost 10 ) 428.899 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 428.900 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 428.901 * * [simplify]: iteration 1 : 15 enodes (cost 21 ) 428.909 * * [simplify]: iteration 2 : 21 enodes (cost 21 ) 428.912 * * [simplify]: iteration done : 21 enodes (cost 21 ) 428.912 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 428.913 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 428.915 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 428.918 * * [simplify]: iteration done : 20 enodes (cost 10 ) 428.919 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 428.920 * * [simplify]: iteration 1 : 28 enodes (cost 29 ) 428.926 * * [simplify]: iteration 2 : 100 enodes (cost 11 ) 428.961 * * [simplify]: iteration 3 : 445 enodes (cost 11 ) 429.320 * * [simplify]: iteration 4 : 1844 enodes (cost 11 ) 431.357 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 431.358 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 431.359 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 431.361 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 431.363 * * [simplify]: iteration done : 20 enodes (cost 10 ) 431.364 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 431.365 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 431.367 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 431.370 * * [simplify]: iteration done : 20 enodes (cost 10 ) 431.371 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 431.372 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 431.379 * * [simplify]: iteration 2 : 110 enodes (cost 11 ) 431.420 * * [simplify]: iteration 3 : 410 enodes (cost 11 ) 431.844 * * [simplify]: iteration 4 : 1437 enodes (cost 11 ) 434.333 * * [simplify]: iteration 5 : 3443 enodes (cost 11 ) 435.915 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 435.915 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 435.918 * * [simplify]: iteration 1 : 39 enodes (cost 23 ) 435.926 * * [simplify]: iteration 2 : 141 enodes (cost 21 ) 435.989 * * [simplify]: iteration 3 : 490 enodes (cost 19 ) 436.319 * * [simplify]: iteration 4 : 963 enodes (cost 19 ) 436.826 * * [simplify]: iteration 5 : 1162 enodes (cost 19 ) 437.416 * * [simplify]: iteration 6 : 1469 enodes (cost 19 ) 438.396 * * [simplify]: iteration 7 : 2703 enodes (cost 19 ) 439.962 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 439.962 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 439.964 * * [simplify]: iteration 1 : 30 enodes (cost 19 ) 439.971 * * [simplify]: iteration 2 : 98 enodes (cost 17 ) 440.016 * * [simplify]: iteration 3 : 378 enodes (cost 15 ) 440.381 * * [simplify]: iteration 4 : 1029 enodes (cost 15 ) 441.159 * * [simplify]: iteration 5 : 1449 enodes (cost 15 ) 442.102 * * [simplify]: iteration 6 : 1950 enodes (cost 15 ) 443.511 * * [simplify]: iteration 7 : 3164 enodes (cost 15 ) 445.487 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 445.488 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 445.489 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 445.491 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 445.496 * * [simplify]: iteration 3 : 56 enodes (cost 9 ) 445.508 * * [simplify]: iteration 4 : 58 enodes (cost 9 ) 445.521 * * [simplify]: iteration done : 58 enodes (cost 9 ) 445.522 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 445.524 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 445.527 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 445.535 * * [simplify]: iteration 3 : 86 enodes (cost 11 ) 445.548 * * [simplify]: iteration 4 : 94 enodes (cost 11 ) 445.561 * * [simplify]: iteration 5 : 104 enodes (cost 11 ) 445.578 * * [simplify]: iteration 6 : 128 enodes (cost 11 ) 445.598 * * [simplify]: iteration 7 : 194 enodes (cost 11 ) 445.657 * * [simplify]: iteration 8 : 410 enodes (cost 11 ) 446.134 * * [simplify]: iteration 9 : 1349 enodes (cost 11 ) 448.661 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 448.661 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 448.663 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 448.665 * * [simplify]: iteration 2 : 45 enodes (cost 9 ) 448.671 * * [simplify]: iteration 3 : 75 enodes (cost 9 ) 448.688 * * [simplify]: iteration 4 : 83 enodes (cost 9 ) 448.699 * * [simplify]: iteration 5 : 93 enodes (cost 9 ) 448.712 * * [simplify]: iteration 6 : 115 enodes (cost 9 ) 448.729 * * [simplify]: iteration 7 : 176 enodes (cost 9 ) 448.785 * * [simplify]: iteration 8 : 390 enodes (cost 9 ) 449.249 * * [simplify]: iteration 9 : 1312 enodes (cost 9 ) 451.709 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 451.709 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 451.711 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 451.713 * * [simplify]: iteration 2 : 45 enodes (cost 9 ) 451.720 * * [simplify]: iteration 3 : 75 enodes (cost 9 ) 451.731 * * [simplify]: iteration 4 : 83 enodes (cost 9 ) 451.743 * * [simplify]: iteration 5 : 93 enodes (cost 9 ) 451.760 * * [simplify]: iteration 6 : 115 enodes (cost 9 ) 451.778 * * [simplify]: iteration 7 : 176 enodes (cost 9 ) 451.835 * * [simplify]: iteration 8 : 390 enodes (cost 9 ) 452.304 * * [simplify]: iteration 9 : 1312 enodes (cost 9 ) 454.755 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 454.755 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 454.755 * * [simplify]: iteration done : 1 enodes (cost 1 ) 454.756 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 454.758 * * [simplify]: iteration 1 : 29 enodes (cost 13 ) 454.770 * * [simplify]: iteration 2 : 102 enodes (cost 13 ) 454.788 * * [simplify]: iteration 3 : 239 enodes (cost 13 ) 454.880 * * [simplify]: iteration 4 : 423 enodes (cost 13 ) 455.049 * * [simplify]: iteration 5 : 479 enodes (cost 13 ) 455.218 * * [simplify]: iteration 6 : 536 enodes (cost 13 ) 455.407 * * [simplify]: iteration 7 : 687 enodes (cost 13 ) 455.675 * * [simplify]: iteration 8 : 1200 enodes (cost 13 ) 456.873 * * [simplify]: iteration 9 : 3380 enodes (cost 13 ) 458.726 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 458.727 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 458.728 * * [simplify]: iteration 1 : 29 enodes (cost 13 ) 458.735 * * [simplify]: iteration 2 : 102 enodes (cost 13 ) 458.753 * * [simplify]: iteration 3 : 239 enodes (cost 13 ) 458.845 * * [simplify]: iteration 4 : 423 enodes (cost 13 ) 459.014 * * [simplify]: iteration 5 : 479 enodes (cost 13 ) 459.187 * * [simplify]: iteration 6 : 536 enodes (cost 13 ) 459.380 * * [simplify]: iteration 7 : 687 enodes (cost 13 ) 459.650 * * [simplify]: iteration 8 : 1200 enodes (cost 13 ) 460.856 * * [simplify]: iteration 9 : 3380 enodes (cost 13 ) 462.705 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 462.706 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 462.707 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 462.713 * * [simplify]: iteration 2 : 77 enodes (cost 9 ) 462.727 * * [simplify]: iteration 3 : 126 enodes (cost 9 ) 462.748 * * [simplify]: iteration 4 : 163 enodes (cost 9 ) 462.772 * * [simplify]: iteration 5 : 180 enodes (cost 9 ) 462.803 * * [simplify]: iteration 6 : 222 enodes (cost 9 ) 462.846 * * [simplify]: iteration 7 : 340 enodes (cost 9 ) 462.961 * * [simplify]: iteration 8 : 751 enodes (cost 9 ) 463.932 * * [simplify]: iteration 9 : 2606 enodes (cost 9 ) 466.152 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 466.153 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 466.154 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 466.160 * * [simplify]: iteration 2 : 77 enodes (cost 9 ) 466.169 * * [simplify]: iteration 3 : 126 enodes (cost 9 ) 466.195 * * [simplify]: iteration 4 : 163 enodes (cost 9 ) 466.219 * * [simplify]: iteration 5 : 180 enodes (cost 9 ) 466.251 * * [simplify]: iteration 6 : 222 enodes (cost 9 ) 466.289 * * [simplify]: iteration 7 : 340 enodes (cost 9 ) 466.406 * * [simplify]: iteration 8 : 751 enodes (cost 9 ) 467.365 * * [simplify]: iteration 9 : 2606 enodes (cost 9 ) 469.598 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 469.599 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 469.600 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 469.605 * * [simplify]: iteration 2 : 77 enodes (cost 9 ) 469.615 * * [simplify]: iteration 3 : 126 enodes (cost 9 ) 469.636 * * [simplify]: iteration 4 : 163 enodes (cost 9 ) 469.665 * * [simplify]: iteration 5 : 180 enodes (cost 9 ) 469.693 * * [simplify]: iteration 6 : 222 enodes (cost 9 ) 469.736 * * [simplify]: iteration 7 : 340 enodes (cost 9 ) 469.851 * * [simplify]: iteration 8 : 751 enodes (cost 9 ) 470.819 * * [simplify]: iteration 9 : 2606 enodes (cost 9 ) 473.290 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 473.291 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 473.292 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 473.294 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 473.298 * * [simplify]: iteration 3 : 38 enodes (cost 9 ) 473.301 * * [simplify]: iteration 4 : 44 enodes (cost 9 ) 473.306 * * [simplify]: iteration 5 : 54 enodes (cost 9 ) 473.312 * * [simplify]: iteration 6 : 78 enodes (cost 9 ) 473.323 * * [simplify]: iteration 7 : 138 enodes (cost 9 ) 473.373 * * [simplify]: iteration 8 : 345 enodes (cost 9 ) 473.828 * * [simplify]: iteration 9 : 1254 enodes (cost 9 ) 476.270 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 476.271 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 476.273 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 476.275 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 476.279 * * [simplify]: iteration 3 : 38 enodes (cost 9 ) 476.283 * * [simplify]: iteration 4 : 44 enodes (cost 9 ) 476.287 * * [simplify]: iteration 5 : 54 enodes (cost 9 ) 476.292 * * [simplify]: iteration 6 : 78 enodes (cost 9 ) 476.304 * * [simplify]: iteration 7 : 138 enodes (cost 9 ) 476.355 * * [simplify]: iteration 8 : 345 enodes (cost 9 ) 476.812 * * [simplify]: iteration 9 : 1254 enodes (cost 9 ) 479.256 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 479.257 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 479.258 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 479.261 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 479.264 * * [simplify]: iteration 3 : 38 enodes (cost 9 ) 479.268 * * [simplify]: iteration 4 : 44 enodes (cost 9 ) 479.272 * * [simplify]: iteration 5 : 54 enodes (cost 9 ) 479.278 * * [simplify]: iteration 6 : 78 enodes (cost 9 ) 479.289 * * [simplify]: iteration 7 : 138 enodes (cost 9 ) 479.338 * * [simplify]: iteration 8 : 345 enodes (cost 9 ) 479.788 * * [simplify]: iteration 9 : 1254 enodes (cost 9 ) 482.225 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 482.228 * [simplify]: Simplified to: (log (- (* x x) (* (* y 4.0) z))) (log (* 1 (- (* x x) (* (* y 4.0) z)))) (exp (* (- (* x x) (* (* y 4.0) z)) 1)) (pow (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z))) 3) (* (cbrt (* (- (* x x) (* (* y 4.0) z)) 1)) (cbrt (* (- (* x x) (* (* y 4.0) z)) 1))) (cbrt (* 1 (- (* x x) (* (* y 4.0) z)))) (pow (/ (- (* x x) (* (* y 4.0) z)) 1) 3) (sqrt (* 1 (- (* x x) (* (* y 4.0) z)))) (sqrt (* 1 (- (* x x) (* (* y 4.0) z)))) (- (* (* (* y 4.0) z) (* (* y 4.0) z)) (pow x 4)) (neg (+ (* x x) (* (* y 4.0) z))) (/ (pow x 4) (+ (* x x) (* (* y 4.0) z))) (/ (* (* (* y 4.0) z) (* (* y 4.0) z)) (+ (* x x) (* (* y 4.0) z))) (/ (* (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))))) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (+ (* x x) (* (* y 4.0) z)))) (/ (* (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))))) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (sqrt (+ (* x x) (* (* y 4.0) z)))) (* (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))))) (/ (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (+ (* x x) (* (* y 4.0) z))) (/ (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (+ (* x x) (* (* y 4.0) z)))) (/ (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (sqrt (+ (* x x) (* (* y 4.0) z)))) (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (/ (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (+ (* x x) (* (* y 4.0) z))) (/ 1 (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z)))) (/ 1 (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (sqrt (+ (* x x) (* (* y 4.0) z)))) 1 (* 1 (- (* x x) (* (* y 4.0) z))) (/ (+ (* x x) (* (* y 4.0) z)) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (- (* x x) (* (* y 4.0) z)) (cbrt (+ (* x x) (* (* y 4.0) z)))) (/ (+ (* x x) (* (* y 4.0) z)) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (- (* x x) (* (* y 4.0) z)) (sqrt (+ (* x x) (* (* y 4.0) z)))) (+ (* (* y 4.0) z) (* x x)) (/ (- (* x x) (* (* y 4.0) z)) (+ (* x x) (* (* y 4.0) z))) (/ (+ (sqrt (pow x 4)) (* (* y 4.0) z)) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (- (sqrt (pow x 4)) (* (* y 4.0) z)) (cbrt (+ (* x x) (* (* y 4.0) z)))) (/ (+ (sqrt (pow x 4)) (* (* y 4.0) z)) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (- (sqrt (pow x 4)) (* (* y 4.0) z)) (sqrt (+ (* x x) (* (* y 4.0) z)))) (+ (* (* y 4.0) z) (sqrt (pow x 4))) (/ (- (sqrt (pow x 4)) (* (* y 4.0) z)) (+ (* x x) (* (* y 4.0) z))) (/ (+ (pow x 2) (* (* y 4.0) z)) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (- (pow x 2) (* (* y 4.0) z)) (cbrt (+ (* x x) (* (* y 4.0) z)))) (/ (+ (pow x 2) (* (* y 4.0) z)) (sqrt (+ (* x x) (* (* y 4.0) z)))) (/ (- (pow x 2) (* (* y 4.0) z)) (sqrt (+ (* x x) (* (* y 4.0) z)))) (+ (pow x 2) (* (* y 4.0) z)) (/ (- (pow x 2) (* (* y 4.0) z)) (+ (* x x) (* (* y 4.0) z))) (/ 1 (+ (* x x) (* (* y 4.0) z))) (/ 1 (- (* x x) (* (* y 4.0) z))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z))))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (sqrt (+ (* x x) (* (* y 4.0) z)))) (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (/ (+ (* x x) (* (* y 4.0) z)) (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))))) (/ (+ (* x x) (* (* y 4.0) z)) (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))))) (/ 1 (- (* x x) (* (* y 4.0) z))) (/ (+ (* x x) (* (* y 4.0) z)) (- (* x x) (* (* y 4.0) z))) (/ (+ (* x x) (* (* y 4.0) z)) (- (sqrt (pow x 4)) (* (* y 4.0) z))) (/ (+ (* x x) (* (* y 4.0) z)) (- (pow x 2) (* (* y 4.0) z))) (/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (pow (* (* y 4.0) z) 3) (pow x 6))) 1 (* (+ (* x x) (* (* y 4.0) z)) (+ (* (* (* y 4.0) z) (+ (* (pow x 4) (* (* y 4.0) z)) (pow (* (* y 4.0) z) 3))) (pow x 8))) (* (+ (* x x) (* (* y 4.0) z)) (+ (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (exp (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (log (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (exp (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (* (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))))) (cbrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (pow (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) 3) (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (sqrt (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (- (pow (pow x 4) 3) (pow (* (* y 4.0) z) 6)) (+ (pow x 8) (* (* (* y 4.0) z) (+ (* (pow x 4) (* (* y 4.0) z)) (pow (* (* y 4.0) z) 3)))) (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (- (pow x 8) (pow (* (* y 4.0) z) 4)) (+ (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* (* y 4.0) z) (* x x)) (- (* x x) (* (* y 4.0) z)) (+ (sqrt (pow x 4)) (* (* y 4.0) z)) (- (sqrt (pow x 4)) (* (* y 4.0) z)) (+ (pow x 2) (* (* y 4.0) z)) (- (pow x 2) (* (* y 4.0) z)) (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) 2 2 2 2 2 2 2 2 2 (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* (* y 4.0) z) (* (* y 4.0) z)) 2 2 2 (* 2 (+ (+ (log y) (log 4.0)) (log z))) (* 2 (+ (log (* y 4.0)) (log z))) (* 2 (log (* (* y 4.0) z))) (* 2 (+ (log (* y 4.0)) (log z))) (* 2 (+ (log (* y 4.0)) (log z))) (* 2 (log (* (* y 4.0) z))) (* 2 (log (* (* y 4.0) z))) (* 2 (log (* (* y 4.0) z))) (* 2 (log (* (* y 4.0) z))) (* 2 (log (* (* y 4.0) z))) (exp (* (* (* y 4.0) z) (* (* y 4.0) z))) (* (pow z 6) (* (pow 4.0 6) (pow y 6))) (* (pow z 6) (pow (* y 4.0) 6)) (* (pow (* (* y 4.0) z) 3) (pow (* (* y 4.0) z) 3)) (* (pow z 6) (pow (* y 4.0) 6)) (* (pow (* y 4.0) 6) (pow z 6)) (pow (* (* y 4.0) z) 6) (* (pow (* (* y 4.0) z) 3) (pow (* (* y 4.0) z) 3)) (pow (* (* y 4.0) z) 6) (pow (* (* y 4.0) z) 6) (* (cbrt (* (* (* y 4.0) z) (* (* y 4.0) z))) (cbrt (* (* (* y 4.0) z) (* (* y 4.0) z)))) (cbrt (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow (* (* y 4.0) z) 6) (fabs (* (* y 4.0) z)) (fabs (* (* y 4.0) z)) (* (* y 4.0) (* y 4.0)) (* z z) 2 2 2 2 2 2 2 2 2 (* (* (* y 4.0) z) (* y 4.0)) (* z (* (* y 4.0) z)) (exp (+ (* x x) (* (* y 4.0) z))) (log (+ (* x x) (* (* y 4.0) z))) (exp (+ (* x x) (* (* y 4.0) z))) (* (cbrt (+ (* x x) (* (* y 4.0) z))) (cbrt (+ (* x x) (* (* y 4.0) z)))) (cbrt (+ (* x x) (* (* y 4.0) z))) (pow (+ (* x x) (* (* y 4.0) z)) 3) (sqrt (+ (* x x) (* (* y 4.0) z))) (sqrt (+ (* x x) (* (* y 4.0) z))) (+ (pow (* (* y 4.0) z) 3) (pow x 6)) (+ (* (* (* y 4.0) z) (- (* (* y 4.0) z) (* x x))) (pow x 4)) (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (- (* x x) (* (* y 4.0) z)) (- (* 1.0 (pow x 2)) (* 4.0 (* z y))) (- (pow x 2) (* 4.0 (* z y))) (- (pow x 2) (* 4.0 (* z y))) 0 (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) (- (pow x 4) (* 16.0 (* (pow z 2) (pow y 2)))) (* 16.0 (* (pow z 2) (pow y 2))) (* 16.0 (* (pow z 2) (pow y 2))) (* 16.0 (* (pow z 2) (pow y 2))) (+ (pow x 2) (* 4.0 (* z y))) (+ (pow x 2) (* 4.0 (* z y))) (+ (pow x 2) (* 4.0 (* z y))) 482.229 * * * [progress]: adding candidates to table 482.437 * [progress]: [Phase 3 of 3] Extracting. 482.437 * * [regime]: Finding splitpoints for: (# #) 482.438 * * * [regime-changes]: Trying 7 branch expressions: ((* y 4.0) (* (* y 4.0) z) (* x x) (- (* x x) (* (* y 4.0) z)) z y x) 482.438 * * * * [regimes]: Trying to branch on (* y 4.0) from (# #) 482.484 * * * * [regimes]: Trying to branch on (* (* y 4.0) z) from (# #) 482.526 * * * * [regimes]: Trying to branch on (* x x) from (# #) 482.568 * * * * [regimes]: Trying to branch on (- (* x x) (* (* y 4.0) z)) from (# #) 482.612 * * * * [regimes]: Trying to branch on z from (# #) 482.655 * * * * [regimes]: Trying to branch on y from (# #) 482.699 * * * * [regimes]: Trying to branch on x from (# #) 482.741 * * * [regime]: Found split indices: #