Details

Time bar (total: 28.2s)

sample435.0ms

Algorithm
intervals
Results
153.0ms119×body1280valid
73.0ms72×body640valid
67.0ms51×body1280nan
39.0ms39×body640nan
27.0ms126×body80overflowed
25.0ms37×body320valid
13.0ms18×body320nan
8.0ms19×body160valid
5.0ms12×body160nan
3.0ms13×body80valid
2.0ms11×body80nan

simplify73.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
013348
145348
2276947
3500247

prune18.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 61.3b

Counts
2 → 2

localize46.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
1.0b
(sqrt (* PI 2.0))
4.8b
(+ (- z 1.0) 1.0)

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
42×*-un-lft-identity
20×add-log-exp
17×distribute-lft-out
16×exp-prod
15×add-sqr-sqrt
11×associate-*r*
10×add-cube-cbrt
9×add-exp-log
7×pow1 unpow-prod-down sum-log
6×distribute-lft-neg-in distribute-rgt-neg-in add-cbrt-cube
5×rem-exp-log
4×associate-*l* neg-log distribute-lft-out--
3×prod-exp unswap-sqr
2×associate-+l- associate-+l+ sqrt-pow1 diff-log sqrt-prod sqr-pow
1×unpow-prod-up +-commutative neg-sub0 exp-neg pow-to-exp neg-mul-1 sub-neg distribute-neg-in flip3-+ pow1/2 exp-diff associate-*r/ exp-sum pow-prod-down pow-exp *-commutative cbrt-unprod flip-+ pow-sub
Counts
4 → 90
Calls
4 calls:
11.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
20.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))
7.0ms
(+ (- z 1.0) 1.0)

series21.0ms

Counts
4 → 10
Calls
4 calls:
2.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
18.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))
1.0ms
(+ (- z 1.0) 1.0)

simplify57.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0552704
12036643
25001638

prune502.0ms

Filtered
100 candidates to 68 candidates (32.0%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New955100
Fresh101
Picked101
Done000
Total975102

Merged error: 1.1b

Counts
102 → 5

localize45.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
1.0b
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
1.0b
(sqrt (* PI 2.0))

rewrite197.0ms

Algorithm
rewrite-expression-head
Rules
392×frac-add
130×frac-times
102×associate-*r/
82×*-un-lft-identity
56×flip3-+ flip-+
52×exp-neg associate-+l- pow-sub
51×distribute-lft-out
35×neg-sub0 exp-diff
23×associate-*l/
22×associate-*r*
21×add-exp-log
17×un-div-inv
16×add-sqr-sqrt exp-prod
15×prod-exp add-cbrt-cube add-log-exp
12×pow1
11×add-cube-cbrt
7×unpow-prod-down cbrt-unprod
6×distribute-lft-neg-in distribute-rgt-neg-in
5×associate-*l* sum-log rem-exp-log
4×pow-prod-down neg-log
3×distribute-lft-out-- unswap-sqr
2×pow-to-exp sqrt-pow1 pow-exp sqrt-prod *-commutative sqr-pow
1×unpow-prod-up distribute-rgt-in neg-mul-1 distribute-neg-in distribute-lft-in pow1/2 diff-log exp-sum
Counts
4 → 223
Calls
4 calls:
15.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
142.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
18.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))

series64.0ms

Counts
4 → 10
Calls
4 calls:
2.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
44.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
18.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify295.0ms

Algorithm
egg-herbie
Counts
233 → 233
Iterations

Useful iterations: 1 (64.0ms)

IterNodesCost
0374523930
1500223816

prune4.2s

Filtered
233 candidates to 140 candidates (39.9%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New2249233
Fresh404
Picked101
Done000
Total2299238

Merged error: 0.0b

Counts
238 → 9

localize70.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
1.0b
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
1.0b
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
1.0b
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
216×add-sqr-sqrt
208×unpow-prod-down
132×times-frac
116×associate-*l*
96×add-exp-log *-un-lft-identity
72×add-cube-cbrt unswap-sqr
52×pow-exp
48×prod-exp sqrt-prod
40×sqr-pow
24×div-exp associate-*r*
16×pow-to-exp
12×rec-exp 1-exp add-cbrt-cube
4×pow1 *-commutative cbrt-unprod div-inv add-log-exp
Counts
4 → 296
Calls
4 calls:
14.0ms
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
18.0ms
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
14.0ms
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
14.0ms
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0ms
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0ms
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0ms
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))

simplify79.0ms

Algorithm
egg-herbie
Counts
300 → 300
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
04352848
115332748
250012604

prune6.0s

Filtered
300 candidates to 177 candidates (41.0%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New2991300
Fresh358
Picked011
Done000
Total3027309

Merged error: 0.0b

Counts
309 → 7

localize59.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (log 6.5) (sqrt 2.0))
1.0b
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
1.0b
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
1.6b
(- (* (* (exp (neg 6.5)) (+ (* (log 6.5) (* z (sqrt 2.0))) (sqrt 2.0))) 1656.8104518737205) (* 676.5203681218851 (* (exp (neg 6.5)) (* (log 6.5) (sqrt 2.0)))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
117×add-sqr-sqrt
104×unpow-prod-down
66×times-frac
62×associate-*l*
53×*-un-lft-identity
52×add-exp-log
48×associate-*l/
41×add-cube-cbrt
38×unswap-sqr
28×sqrt-prod
26×pow-exp
25×prod-exp
24×associate-*r/
20×sqr-pow
18×neg-sub0 exp-neg exp-diff associate-*r*
16×frac-sub
12×div-exp
10×add-cbrt-cube
8×frac-times pow-to-exp
7×pow1
6×rec-exp flip3-+ 1-exp flip-+ add-log-exp
4×sub-div
3×*-commutative cbrt-unprod
2×div-inv
1×sub-neg flip3-- diff-log pow-prod-down log-pow flip--
Counts
4 → 203
Calls
4 calls:
5.0ms
(* (log 6.5) (sqrt 2.0))
14.0ms
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
14.0ms
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
16.0ms
(- (* (* (exp (neg 6.5)) (+ (* (log 6.5) (* z (sqrt 2.0))) (sqrt 2.0))) 1656.8104518737205) (* 676.5203681218851 (* (exp (neg 6.5)) (* (log 6.5) (sqrt 2.0)))))

series81.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(* (log 6.5) (sqrt 2.0))
0.0ms
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0ms
(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
81.0ms
(- (* (* (exp (neg 6.5)) (+ (* (log 6.5) (* z (sqrt 2.0))) (sqrt 2.0))) 1656.8104518737205) (* 676.5203681218851 (* (exp (neg 6.5)) (* (log 6.5) (sqrt 2.0)))))

simplify105.0ms

Algorithm
egg-herbie
Counts
209 → 209
Iterations

Useful iterations: 2 (79.0ms)

IterNodesCost
08262678
132222518
250012430

prune2.3s

Filtered
209 candidates to 118 candidates (43.5%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New2090209
Fresh055
Picked011
Done011
Total2097216

Merged error: 0.0b

Counts
216 → 7

regimes105.0ms

Accuracy

0% (1.0b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 1.0b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07967
18367
28367

end0.0ms

sample13.2s

Algorithm
intervals
Results
4.4s3396×body1280valid
2.4s2514×body640valid
2.1s1569×body1280nan
1.3s1249×body640nan
862.0ms3936×body80overflowed
858.0ms1249×body320valid
445.0ms609×body320nan
264.0ms599×body160valid
144.0ms312×body160nan
76.0ms344×body80valid
65.0ms328×body80nan

Profiling

Loading profile data...