3.962 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (- (/ (* x y) 2.0) (/ z 8.0)) 0.032 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.033 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.035 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 0.037 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 0.040 * * [simplify]: iteration 4 : 25 enodes (cost 9 ) 0.042 * * [simplify]: iteration done : 25 enodes (cost 9 ) 0.042 * [simplify]: Simplified to: (- (/ (* x y) 2.0) (/ z 8.0)) 0.043 * * [progress]: iteration 1 / 4 0.043 * * * [progress]: picking best candidate 0.046 * * * * [pick]: Picked # 0.046 * * * [progress]: localizing error 0.053 * * * [progress]: generating rewritten candidates 0.053 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.064 * * * [progress]: generating series expansions 0.064 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.064 * [approximate]: Taking taylor expansion of (- (* 0.5 (* x y)) (* 0.125 z)) in (x y z) around 0 0.064 * [taylor]: Taking taylor expansion of (- (* 0.5 (* x y)) (* 0.125 z)) in z 0.065 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in z 0.065 * [taylor]: Taking taylor expansion of 0.5 in z 0.065 * [taylor]: Taking taylor expansion of (* x y) in z 0.065 * [taylor]: Taking taylor expansion of x in z 0.065 * [taylor]: Taking taylor expansion of y in z 0.065 * [taylor]: Taking taylor expansion of (* 0.125 z) in z 0.065 * [taylor]: Taking taylor expansion of 0.125 in z 0.065 * [taylor]: Taking taylor expansion of z in z 0.065 * [taylor]: Taking taylor expansion of (- (* 0.5 (* x y)) (* 0.125 z)) in y 0.065 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in y 0.065 * [taylor]: Taking taylor expansion of 0.5 in y 0.065 * [taylor]: Taking taylor expansion of (* x y) in y 0.065 * [taylor]: Taking taylor expansion of x in y 0.065 * [taylor]: Taking taylor expansion of y in y 0.065 * [taylor]: Taking taylor expansion of (* 0.125 z) in y 0.065 * [taylor]: Taking taylor expansion of 0.125 in y 0.065 * [taylor]: Taking taylor expansion of z in y 0.065 * [taylor]: Taking taylor expansion of (- (* 0.5 (* x y)) (* 0.125 z)) in x 0.065 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in x 0.065 * [taylor]: Taking taylor expansion of 0.5 in x 0.065 * [taylor]: Taking taylor expansion of (* x y) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of y in x 0.065 * [taylor]: Taking taylor expansion of (* 0.125 z) in x 0.065 * [taylor]: Taking taylor expansion of 0.125 in x 0.065 * [taylor]: Taking taylor expansion of z in x 0.065 * [taylor]: Taking taylor expansion of (- (* 0.5 (* x y)) (* 0.125 z)) in x 0.065 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in x 0.065 * [taylor]: Taking taylor expansion of 0.5 in x 0.065 * [taylor]: Taking taylor expansion of (* x y) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of y in x 0.065 * [taylor]: Taking taylor expansion of (* 0.125 z) in x 0.065 * [taylor]: Taking taylor expansion of 0.125 in x 0.065 * [taylor]: Taking taylor expansion of z in x 0.065 * [taylor]: Taking taylor expansion of (neg (* 0.125 z)) in y 0.065 * [taylor]: Taking taylor expansion of (* 0.125 z) in y 0.065 * [taylor]: Taking taylor expansion of 0.125 in y 0.065 * [taylor]: Taking taylor expansion of z in y 0.065 * [taylor]: Taking taylor expansion of (neg (* 0.125 z)) in z 0.065 * [taylor]: Taking taylor expansion of (* 0.125 z) in z 0.065 * [taylor]: Taking taylor expansion of 0.125 in z 0.066 * [taylor]: Taking taylor expansion of z in z 0.066 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.066 * [taylor]: Taking taylor expansion of 0.5 in y 0.066 * [taylor]: Taking taylor expansion of y in y 0.066 * [taylor]: Taking taylor expansion of 0 in z 0.066 * [taylor]: Taking taylor expansion of 0 in z 0.066 * [taylor]: Taking taylor expansion of 0 in y 0.066 * [taylor]: Taking taylor expansion of 0 in z 0.066 * [taylor]: Taking taylor expansion of 0.5 in z 0.066 * [taylor]: Taking taylor expansion of 0 in z 0.067 * [taylor]: Taking taylor expansion of 0 in y 0.067 * [taylor]: Taking taylor expansion of 0 in z 0.067 * [taylor]: Taking taylor expansion of 0 in z 0.067 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 (* x y))) (* 0.125 (/ 1 z))) in (x y z) around 0 0.067 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* x y))) (* 0.125 (/ 1 z))) in z 0.067 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in z 0.067 * [taylor]: Taking taylor expansion of 0.5 in z 0.067 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.067 * [taylor]: Taking taylor expansion of (* x y) in z 0.067 * [taylor]: Taking taylor expansion of x in z 0.067 * [taylor]: Taking taylor expansion of y in z 0.067 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 z)) in z 0.067 * [taylor]: Taking taylor expansion of 0.125 in z 0.067 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.067 * [taylor]: Taking taylor expansion of z in z 0.067 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* x y))) (* 0.125 (/ 1 z))) in y 0.067 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in y 0.067 * [taylor]: Taking taylor expansion of 0.5 in y 0.067 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.067 * [taylor]: Taking taylor expansion of (* x y) in y 0.067 * [taylor]: Taking taylor expansion of x in y 0.067 * [taylor]: Taking taylor expansion of y in y 0.067 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 z)) in y 0.067 * [taylor]: Taking taylor expansion of 0.125 in y 0.067 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.067 * [taylor]: Taking taylor expansion of z in y 0.067 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* x y))) (* 0.125 (/ 1 z))) in x 0.067 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in x 0.067 * [taylor]: Taking taylor expansion of 0.5 in x 0.068 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.068 * [taylor]: Taking taylor expansion of (* x y) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of y in x 0.068 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 z)) in x 0.068 * [taylor]: Taking taylor expansion of 0.125 in x 0.068 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.068 * [taylor]: Taking taylor expansion of z in x 0.068 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* x y))) (* 0.125 (/ 1 z))) in x 0.068 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in x 0.068 * [taylor]: Taking taylor expansion of 0.5 in x 0.068 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.068 * [taylor]: Taking taylor expansion of (* x y) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of y in x 0.068 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 z)) in x 0.068 * [taylor]: Taking taylor expansion of 0.125 in x 0.068 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.068 * [taylor]: Taking taylor expansion of z in x 0.068 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.068 * [taylor]: Taking taylor expansion of 0.5 in y 0.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.068 * [taylor]: Taking taylor expansion of y in y 0.068 * [taylor]: Taking taylor expansion of 0.5 in z 0.069 * [taylor]: Taking taylor expansion of (neg (* 0.125 (/ 1 z))) in y 0.069 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 z)) in y 0.069 * [taylor]: Taking taylor expansion of 0.125 in y 0.069 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.069 * [taylor]: Taking taylor expansion of z in y 0.069 * [taylor]: Taking taylor expansion of 0 in z 0.070 * [taylor]: Taking taylor expansion of 0 in y 0.070 * [taylor]: Taking taylor expansion of (neg (* 0.125 (/ 1 z))) in z 0.070 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 z)) in z 0.070 * [taylor]: Taking taylor expansion of 0.125 in z 0.070 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.070 * [taylor]: Taking taylor expansion of z in z 0.070 * [taylor]: Taking taylor expansion of 0 in z 0.070 * [taylor]: Taking taylor expansion of 0 in y 0.070 * [taylor]: Taking taylor expansion of 0 in z 0.070 * [taylor]: Taking taylor expansion of 0 in z 0.071 * [taylor]: Taking taylor expansion of 0 in z 0.071 * [approximate]: Taking taylor expansion of (+ (* 0.125 (/ 1 z)) (* 0.5 (/ 1 (* x y)))) in (x y z) around 0 0.071 * [taylor]: Taking taylor expansion of (+ (* 0.125 (/ 1 z)) (* 0.5 (/ 1 (* x y)))) in z 0.071 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 z)) in z 0.071 * [taylor]: Taking taylor expansion of 0.125 in z 0.071 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.071 * [taylor]: Taking taylor expansion of z in z 0.071 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in z 0.071 * [taylor]: Taking taylor expansion of 0.5 in z 0.071 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.071 * [taylor]: Taking taylor expansion of (* x y) in z 0.071 * [taylor]: Taking taylor expansion of x in z 0.071 * [taylor]: Taking taylor expansion of y in z 0.071 * [taylor]: Taking taylor expansion of (+ (* 0.125 (/ 1 z)) (* 0.5 (/ 1 (* x y)))) in y 0.071 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 z)) in y 0.071 * [taylor]: Taking taylor expansion of 0.125 in y 0.071 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.071 * [taylor]: Taking taylor expansion of z in y 0.071 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in y 0.071 * [taylor]: Taking taylor expansion of 0.5 in y 0.071 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.071 * [taylor]: Taking taylor expansion of (* x y) in y 0.071 * [taylor]: Taking taylor expansion of x in y 0.072 * [taylor]: Taking taylor expansion of y in y 0.072 * [taylor]: Taking taylor expansion of (+ (* 0.125 (/ 1 z)) (* 0.5 (/ 1 (* x y)))) in x 0.072 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 z)) in x 0.072 * [taylor]: Taking taylor expansion of 0.125 in x 0.072 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.072 * [taylor]: Taking taylor expansion of z in x 0.072 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in x 0.072 * [taylor]: Taking taylor expansion of 0.5 in x 0.072 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.072 * [taylor]: Taking taylor expansion of (* x y) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [taylor]: Taking taylor expansion of y in x 0.072 * [taylor]: Taking taylor expansion of (+ (* 0.125 (/ 1 z)) (* 0.5 (/ 1 (* x y)))) in x 0.072 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 z)) in x 0.072 * [taylor]: Taking taylor expansion of 0.125 in x 0.072 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.072 * [taylor]: Taking taylor expansion of z in x 0.072 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in x 0.072 * [taylor]: Taking taylor expansion of 0.5 in x 0.072 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.072 * [taylor]: Taking taylor expansion of (* x y) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [taylor]: Taking taylor expansion of y in x 0.072 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.073 * [taylor]: Taking taylor expansion of 0.5 in y 0.073 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.073 * [taylor]: Taking taylor expansion of y in y 0.073 * [taylor]: Taking taylor expansion of 0.5 in z 0.073 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 z)) in y 0.073 * [taylor]: Taking taylor expansion of 0.125 in y 0.073 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.073 * [taylor]: Taking taylor expansion of z in y 0.073 * [taylor]: Taking taylor expansion of 0 in z 0.073 * [taylor]: Taking taylor expansion of 0 in y 0.073 * [taylor]: Taking taylor expansion of (/ 0.125 z) in z 0.073 * [taylor]: Taking taylor expansion of 0.125 in z 0.073 * [taylor]: Taking taylor expansion of z in z 0.073 * [taylor]: Taking taylor expansion of 0 in z 0.074 * [taylor]: Taking taylor expansion of 0 in y 0.074 * [taylor]: Taking taylor expansion of 0 in z 0.074 * [taylor]: Taking taylor expansion of 0 in z 0.074 * [taylor]: Taking taylor expansion of 0 in z 0.075 * * * [progress]: simplifying candidates 0.075 * [simplify]: Simplifying using # : (/ (exp (/ (* x y) 2.0)) (exp (/ z 8.0))) (log (- (/ (* x y) 2.0) (/ z 8.0))) (exp (- (/ (* x y) 2.0) (/ z 8.0))) (* (cbrt (- (/ (* x y) 2.0) (/ z 8.0))) (cbrt (- (/ (* x y) 2.0) (/ z 8.0)))) (cbrt (- (/ (* x y) 2.0) (/ z 8.0))) (* (* (- (/ (* x y) 2.0) (/ z 8.0)) (- (/ (* x y) 2.0) (/ z 8.0))) (- (/ (* x y) 2.0) (/ z 8.0))) (sqrt (- (/ (* x y) 2.0) (/ z 8.0))) (sqrt (- (/ (* x y) 2.0) (/ z 8.0))) (- (* (* x y) 8.0) (* 2.0 z)) (* 2.0 8.0) (- (pow (/ (* x y) 2.0) 3) (pow (/ z 8.0) 3)) (+ (* (/ (* x y) 2.0) (/ (* x y) 2.0)) (+ (* (/ z 8.0) (/ z 8.0)) (* (/ (* x y) 2.0) (/ z 8.0)))) (neg (/ z 8.0)) (- (* (/ (* x y) 2.0) (/ (* x y) 2.0)) (* (/ z 8.0) (/ z 8.0))) (+ (/ (* x y) 2.0) (/ z 8.0)) (+ (sqrt (/ (* x y) 2.0)) (sqrt (/ z 8.0))) (- (sqrt (/ (* x y) 2.0)) (sqrt (/ z 8.0))) (+ (sqrt (/ (* x y) 2.0)) (/ (sqrt z) (sqrt 8.0))) (- (sqrt (/ (* x y) 2.0)) (/ (sqrt z) (sqrt 8.0))) (- (/ (* x y) 2.0) (/ z 8.0)) (neg (/ z 8.0)) (- (* 0.5 (* x y)) (* 0.125 z)) (- (* 0.5 (* x y)) (* 0.125 z)) (- (* 0.5 (* x y)) (* 0.125 z)) 0.076 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 0.077 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 0.079 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 0.081 * * [simplify]: iteration 3 : 32 enodes (cost 10 ) 0.085 * * [simplify]: iteration 4 : 44 enodes (cost 10 ) 0.091 * * [simplify]: iteration 5 : 69 enodes (cost 10 ) 0.105 * * [simplify]: iteration 6 : 146 enodes (cost 10 ) 0.168 * * [simplify]: iteration 7 : 444 enodes (cost 10 ) 0.496 * * [simplify]: iteration 8 : 1177 enodes (cost 10 ) 2.083 * * [simplify]: iteration 9 : 3354 enodes (cost 10 ) 3.188 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 3.189 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 3.190 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 3.197 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 3.199 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 3.202 * * [simplify]: iteration 4 : 26 enodes (cost 10 ) 3.205 * * [simplify]: iteration done : 26 enodes (cost 10 ) 3.206 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 3.207 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 3.209 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 3.212 * * [simplify]: iteration 3 : 35 enodes (cost 10 ) 3.217 * * [simplify]: iteration 4 : 50 enodes (cost 10 ) 3.223 * * [simplify]: iteration 5 : 77 enodes (cost 10 ) 3.241 * * [simplify]: iteration 6 : 199 enodes (cost 10 ) 3.320 * * [simplify]: iteration 7 : 493 enodes (cost 10 ) 3.652 * * [simplify]: iteration 8 : 1226 enodes (cost 10 ) 5.145 * * [simplify]: iteration 9 : 3320 enodes (cost 10 ) 6.325 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 6.325 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 6.327 * * [simplify]: iteration 1 : 16 enodes (cost 21 ) 6.329 * * [simplify]: iteration 2 : 23 enodes (cost 21 ) 6.331 * * [simplify]: iteration 3 : 26 enodes (cost 21 ) 6.334 * * [simplify]: iteration 4 : 27 enodes (cost 21 ) 6.337 * * [simplify]: iteration done : 27 enodes (cost 21 ) 6.338 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 6.339 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 6.341 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 6.343 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 6.346 * * [simplify]: iteration 4 : 26 enodes (cost 10 ) 6.348 * * [simplify]: iteration done : 26 enodes (cost 10 ) 6.349 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 6.351 * * [simplify]: iteration 1 : 17 enodes (cost 29 ) 6.353 * * [simplify]: iteration 2 : 38 enodes (cost 11 ) 6.359 * * [simplify]: iteration 3 : 122 enodes (cost 11 ) 6.400 * * [simplify]: iteration 4 : 502 enodes (cost 11 ) 6.717 * * [simplify]: iteration 5 : 2150 enodes (cost 11 ) 7.971 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 7.972 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 7.973 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 7.975 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 7.978 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 7.980 * * [simplify]: iteration 4 : 26 enodes (cost 10 ) 7.983 * * [simplify]: iteration done : 26 enodes (cost 10 ) 7.984 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 7.985 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 7.986 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 7.989 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 7.992 * * [simplify]: iteration 4 : 26 enodes (cost 10 ) 7.995 * * [simplify]: iteration done : 26 enodes (cost 10 ) 7.995 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 7.997 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 7.999 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 8.003 * * [simplify]: iteration done : 29 enodes (cost 9 ) 8.003 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.004 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.004 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.005 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 8.007 * * [simplify]: iteration 1 : 36 enodes (cost 13 ) 8.013 * * [simplify]: iteration 2 : 114 enodes (cost 13 ) 8.042 * * [simplify]: iteration 3 : 393 enodes (cost 13 ) 8.256 * * [simplify]: iteration 4 : 1679 enodes (cost 13 ) 9.788 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 9.789 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 9.793 * * [simplify]: iteration 1 : 35 enodes (cost 25 ) 9.799 * * [simplify]: iteration 2 : 92 enodes (cost 25 ) 9.817 * * [simplify]: iteration 3 : 240 enodes (cost 23 ) 9.893 * * [simplify]: iteration 4 : 566 enodes (cost 23 ) 10.148 * * [simplify]: iteration 5 : 877 enodes (cost 23 ) 10.477 * * [simplify]: iteration 6 : 963 enodes (cost 23 ) 10.823 * * [simplify]: iteration 7 : 973 enodes (cost 23 ) 11.168 * * [simplify]: iteration 8 : 976 enodes (cost 23 ) 11.513 * * [simplify]: iteration done : 976 enodes (cost 23 ) 11.513 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 11.514 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 11.514 * * [simplify]: iteration done : 6 enodes (cost 4 ) 11.515 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 11.517 * * [simplify]: iteration 1 : 27 enodes (cost 19 ) 11.520 * * [simplify]: iteration 2 : 66 enodes (cost 19 ) 11.532 * * [simplify]: iteration 3 : 177 enodes (cost 19 ) 11.582 * * [simplify]: iteration 4 : 440 enodes (cost 19 ) 11.754 * * [simplify]: iteration 5 : 772 enodes (cost 19 ) 12.025 * * [simplify]: iteration 6 : 1075 enodes (cost 19 ) 12.477 * * [simplify]: iteration 7 : 1658 enodes (cost 19 ) 13.938 * * [simplify]: iteration 8 : 3880 enodes (cost 19 ) 16.089 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 16.090 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 16.091 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 16.092 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 16.094 * * [simplify]: iteration 3 : 20 enodes (cost 9 ) 16.096 * * [simplify]: iteration 4 : 21 enodes (cost 9 ) 16.099 * * [simplify]: iteration done : 21 enodes (cost 9 ) 16.100 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 16.101 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 16.102 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 16.104 * * [simplify]: iteration 3 : 22 enodes (cost 11 ) 16.106 * * [simplify]: iteration 4 : 23 enodes (cost 11 ) 16.109 * * [simplify]: iteration done : 23 enodes (cost 11 ) 16.109 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 16.111 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 16.112 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 16.115 * * [simplify]: iteration 3 : 24 enodes (cost 11 ) 16.117 * * [simplify]: iteration 4 : 25 enodes (cost 11 ) 16.120 * * [simplify]: iteration done : 25 enodes (cost 11 ) 16.121 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 16.122 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 16.124 * * [simplify]: iteration 2 : 20 enodes (cost 12 ) 16.126 * * [simplify]: iteration 3 : 23 enodes (cost 12 ) 16.129 * * [simplify]: iteration 4 : 24 enodes (cost 12 ) 16.131 * * [simplify]: iteration done : 24 enodes (cost 12 ) 16.132 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 16.133 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 16.135 * * [simplify]: iteration 2 : 24 enodes (cost 12 ) 16.137 * * [simplify]: iteration 3 : 27 enodes (cost 12 ) 16.140 * * [simplify]: iteration 4 : 28 enodes (cost 12 ) 16.145 * * [simplify]: iteration done : 28 enodes (cost 12 ) 16.146 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 16.147 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 16.148 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 16.151 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 16.153 * * [simplify]: iteration 4 : 25 enodes (cost 9 ) 16.157 * * [simplify]: iteration done : 25 enodes (cost 9 ) 16.157 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.158 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 16.158 * * [simplify]: iteration done : 6 enodes (cost 4 ) 16.159 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 16.160 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 16.162 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 16.166 * * [simplify]: iteration done : 29 enodes (cost 9 ) 16.167 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 16.168 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 16.170 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 16.174 * * [simplify]: iteration done : 29 enodes (cost 9 ) 16.175 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 16.176 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 16.178 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 16.182 * * [simplify]: iteration done : 29 enodes (cost 9 ) 16.183 * [simplify]: Simplified to: (exp (- (/ (* x y) 2.0) (/ z 8.0))) (log (- (/ (* x y) 2.0) (/ z 8.0))) (exp (- (/ (* x y) 2.0) (/ z 8.0))) (* (cbrt (- (/ (* x y) 2.0) (/ z 8.0))) (cbrt (- (/ (* x y) 2.0) (/ z 8.0)))) (cbrt (- (/ (* x y) 2.0) (/ z 8.0))) (pow (- (/ (* x y) 2.0) (/ z 8.0)) 3) (sqrt (- (/ (* x y) 2.0) (/ z 8.0))) (sqrt (- (/ (* x y) 2.0) (/ z 8.0))) (- (* (* x y) 8.0) (* 2.0 z)) (* 2.0 8.0) (- (pow (/ (* x y) 2.0) 3) (pow (/ z 8.0) 3)) (+ (* (/ (* x y) 2.0) (+ (/ z 8.0) (/ (* x y) 2.0))) (* (/ z 8.0) (/ z 8.0))) (neg (/ z 8.0)) (* (+ (/ (* x y) 2.0) (/ z 8.0)) (- (/ (* x y) 2.0) (/ z 8.0))) (+ (/ (* x y) 2.0) (/ z 8.0)) (+ (sqrt (/ (* x y) 2.0)) (sqrt (/ z 8.0))) (- (sqrt (/ (* x y) 2.0)) (sqrt (/ z 8.0))) (+ (sqrt (/ (* x y) 2.0)) (/ (sqrt z) (sqrt 8.0))) (- (sqrt (/ (* x y) 2.0)) (/ (sqrt z) (sqrt 8.0))) (- (/ (* x y) 2.0) (/ z 8.0)) (neg (/ z 8.0)) (- (* 0.5 (* x y)) (* 0.125 z)) (- (* 0.5 (* x y)) (* 0.125 z)) (- (* 0.5 (* x y)) (* 0.125 z)) 16.183 * * * [progress]: adding candidates to table 16.212 * [progress]: [Phase 3 of 3] Extracting. 16.215 * [simplify]: Simplifying using # : (- (/ (* x y) 2.0) (/ z 8.0)) 16.215 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 16.215 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 16.216 * * [simplify]: iteration done : 10 enodes (cost 9 ) 16.216 * [simplify]: Simplified to: (- (/ (* x y) 2.0) (/ z 8.0)) 17.427 * [regime-testing]: End program error score: 0.006073879547533586