Details

Time bar (total: 31.5s)

sample385.0ms

Algorithm
intervals
Results
126.0ms115×body1280valid
59.0ms77×body640valid
48.0ms43×body1280nan
29.0ms34×body640nan
20.0ms35×body320valid
20.0ms113×body80overflowed
11.0ms7×body160nan
10.0ms16×body320nan
9.0ms21×body160valid
2.0ms10×body80valid
1.0ms9×body80nan

simplify73.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
013348
145348
2276947
3500247

prune37.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.4b

Counts
2 → 2

localize49.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))
6.0b
(+ (- 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:
10.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)

series387.0ms

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

simplify57.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0552704
12036643
25001638

prune1.2s

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: 0.6b

Counts
102 → 5

localize54.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
0.6b
(* (* (* (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))

rewrite205.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:
10.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
148.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)))
3.0ms
(sqrt (* PI 2.0))

series1.1s

Counts
4 → 10
Calls
4 calls:
22.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
750.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))))
339.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify298.0ms

Algorithm
egg-herbie
Counts
233 → 233
Iterations

Useful iterations: 1 (63.0ms)

IterNodesCost
0374523930
1500223816

prune3.9s

Filtered
233 candidates to 140 candidates (39.9%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New22310233
Fresh404
Picked101
Done000
Total22810238

Merged error: 0b

Counts
238 → 10

localize56.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
0.6b
(* (* (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI)) (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 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI))
1.0b
(sqrt PI)

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
560×frac-add
212×frac-times
173×exp-neg
147×associate-*l/
104×mul-1-neg
102×associate-*r/
80×flip3-+ flip-+
73×*-un-lft-identity
69×un-div-inv
52×neg-sub0 exp-diff
46×distribute-lft-out
24×pow1
23×add-cbrt-cube
18×add-exp-log
17×associate-*r*
16×exp-prod
15×add-log-exp
13×pow-prod-down prod-exp cbrt-unprod
12×add-sqr-sqrt
11×add-cube-cbrt
6×distribute-lft-neg-in distribute-rgt-neg-in sqrt-prod
5×sum-log rem-exp-log
4×neg-log
2×associate-*l* *-commutative distribute-lft-out--
1×distribute-rgt-in neg-mul-1 rem-sqrt-square distribute-neg-in distribute-lft-in sqrt-pow1 pow1/2 diff-log exp-sum
Counts
4 → 270
Calls
4 calls:
10.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
146.0ms
(* (* (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI)) (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))))
11.0ms
(* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI))
1.0ms
(sqrt PI)

series1.2s

Counts
4 → 10
Calls
4 calls:
22.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
801.0ms
(* (* (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI)) (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))))
358.0ms
(* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI))
0.0ms
(sqrt PI)

simplify382.0ms

Algorithm
egg-herbie
Counts
280 → 280
Iterations

Useful iterations: 1 (63.0ms)

IterNodesCost
0415533219
1500333106

prune3.9s

Filtered
280 candidates to 135 candidates (51.8%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New2755280
Fresh549
Picked101
Done000
Total2819290

Merged error: 0b

Counts
290 → 9

localize52.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (+ (+ (+ (+ (+ (+ (+ (+ 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))) (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI)))
0.6b
(/ (* (+ (+ (+ (+ (+ (+ (+ (+ 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))) (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI))
1.0b
(sqrt PI)

rewrite297.0ms

Algorithm
rewrite-expression-head
Rules
336×frac-add
102×associate-*l/
70×exp-neg mul-1-neg
64×frac-times
54×*-un-lft-identity
50×associate-/l/
48×flip3-+ flip-+
39×associate-*r/
36×distribute-lft-out
35×un-div-inv
32×add-cbrt-cube
25×add-exp-log
19×pow1
15×prod-exp cbrt-unprod
12×associate-*l*
11×add-sqr-sqrt
10×add-cube-cbrt
9×pow-prod-down
7×associate-*r*
6×sqrt-prod
4×cbrt-undiv times-frac div-exp associate-/r* add-log-exp
2×associate-+l- exp-sum *-commutative
1×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 exp-diff clear-num associate-/r/ div-inv associate-/l*
Counts
4 → 193
Calls
4 calls:
128.0ms
(* (+ (+ (+ (+ (+ (+ (+ (+ 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))) (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI)))
137.0ms
(/ (* (+ (+ (+ (+ (+ (+ (+ (+ 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))) (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
14.0ms
(* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI))
1.0ms
(sqrt PI)

series1.7s

Counts
4 → 10
Calls
4 calls:
616.0ms
(* (+ (+ (+ (+ (+ (+ (+ (+ 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))) (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI)))
785.0ms
(/ (* (+ (+ (+ (+ (+ (+ (+ (+ 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))) (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
348.0ms
(* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI))
0.0ms
(sqrt PI)

simplify194.0ms

Algorithm
egg-herbie
Counts
203 → 203
Iterations

Useful iterations: 1 (52.0ms)

IterNodesCost
0285514822
1500114328

prune4.6s

Filtered
203 candidates to 154 candidates (24.1%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New2021203
Fresh268
Picked011
Done000
Total2048212

Merged error: 0b

Counts
212 → 8

regimes173.0ms

Accuracy

0% (0.9b 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
08246
18846
28846

end0.0ms

sample11.1s

Algorithm
intervals
Results
3.7s3411×body1280valid
1.9s2439×body640valid
1.8s1559×body1280nan
1.0s1226×body640nan
685.0ms1222×body320valid
682.0ms3879×body80overflowed
396.0ms635×body320nan
233.0ms648×body160valid
115.0ms308×body160nan
68.0ms358×body80valid
45.0ms284×body80nan

Profiling

Loading profile data...