Details

Time bar (total: 3.7s)

sample77.0ms

Algorithm
intervals
Results
29.0ms56×body1280valid
12.0ms38×body640valid
9.0ms158×body80valid
6.0ms29×body320valid
4.0ms105×body80nan
2.0ms17×body160valid

simplify130.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (10.0ms)

IterNodesCost
0156
1246
2516
31066
43044
57744
641424
750014

prune8.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 9.9b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ x (+ x y))
4.2b
(pow (/ x (+ x y)) x)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
24×times-frac
20×add-sqr-sqrt add-cube-cbrt
18×unpow-prod-down
7×add-exp-log distribute-lft-out
4×associate-/r* associate-/r/ add-cbrt-cube
3×pow1 pow-unpow associate-/l*
2×flip3-+ div-exp pow-exp flip-+ div-inv add-log-exp
1×cbrt-undiv pow-to-exp pow-pow frac-2neg clear-num sqr-pow
Counts
2 → 66
Calls
2 calls:
10.0ms
(/ x (+ x y))
7.0ms
(pow (/ x (+ x y)) x)

series24.0ms

Counts
2 → 6
Calls
2 calls:
5.0ms
(/ x (+ x y))
19.0ms
(pow (/ x (+ x y)) x)

simplify67.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 2 (58.0ms)

IterNodesCost
0451502
12027479
25002474

prune119.0ms

Filtered
51 candidates to 72 candidates (-41.2%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New67572
Fresh000
Picked101
Done000
Total68573

Merged error: 1.1b

Counts
73 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
13×unpow-prod-down
12×cbrt-div
9×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×associate-/r/
6×flip3-+ flip-+
5×pow1 pow-exp
4×frac-times div-exp prod-exp add-cbrt-cube add-log-exp
3×pow-unpow pow1/3
2×associate-*r/ associate-*l/
1×pow-to-exp pow-pow times-frac div-inv sqr-pow
Counts
4 → 64
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
17.0ms
(pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)

series108.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(cbrt x)
22.0ms
(cbrt x)
23.0ms
(cbrt x)
40.0ms
(pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)

simplify71.0ms

Algorithm
egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
0540774
11876714
25002668

prune123.0ms

Filtered
55 candidates to 76 candidates (-38.2%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New75176
Fresh134
Picked011
Done000
Total76581

Merged error: 0.8b

Counts
81 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
23.0b
(pow (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x y))) x)

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
10×pow1
9×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×prod-exp
5×pow-exp
4×add-cbrt-cube add-log-exp
3×pow-unpow pow-pow pow1/3 pow-prod-down
2×div-exp
1×pow-to-exp unpow-prod-down sqr-pow
Counts
4 → 54
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
14.0ms
(pow (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x y))) x)

series91.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(cbrt x)
25.0ms
(cbrt x)
22.0ms
(cbrt x)
20.0ms
(pow (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x y))) x)

simplify53.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
0354470
11412420
25001377

prune91.0ms

Filtered
47 candidates to 66 candidates (-40.4%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New66066
Fresh033
Picked011
Done011
Total66571

Merged error: 0.8b

Counts
71 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ x y))
0.5b
(cbrt (+ x y))
0.5b
(cbrt (+ x y))
22.7b
(pow (* (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (cbrt (+ x y)))) x)

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
50×add-exp-log
20×prod-exp
15×div-exp pow-exp
14×*-un-lft-identity
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt
7×pow1
6×cbrt-div
4×rec-exp 1-exp add-cbrt-cube add-log-exp
3×pow-unpow flip3-+ pow1/3 flip-+ distribute-lft-out
2×pow-pow
1×pow-to-exp unpow-prod-down pow-prod-down sqr-pow
Counts
4 → 72
Calls
4 calls:
3.0ms
(cbrt (+ x y))
3.0ms
(cbrt (+ x y))
3.0ms
(cbrt (+ x y))
24.0ms
(pow (* (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (cbrt (+ x y)))) x)

series122.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(cbrt (+ x y))
35.0ms
(cbrt (+ x y))
32.0ms
(cbrt (+ x y))
21.0ms
(pow (* (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (cbrt (+ x y)))) x)

simplify61.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0502798
11814760
25002701

prune109.0ms

Filtered
57 candidates to 84 candidates (-47.4%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New84084
Fresh022
Picked011
Done022
Total84589

Merged error: 0.8b

Counts
89 → 5

regimes108.0ms

Accuracy

19.1% (4.1b remaining)

Error of 5.8b against oracle of 1.7b and baseline of 6.8b

bsearch83.0ms

Steps
ItersRangePoint
7
2.7935665521017764e+138
8.10541727310913e+139
5.920549252530767e+138
8
5.5413264862143224e-05
0.0364262917160445
0.03585562158226088

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03238
13238

end0.0ms

sample2.1s

Algorithm
intervals
Results
767.0ms1539×body1280valid
417.0ms1406×body640valid
262.0ms4901×body80valid
162.0ms803×body320valid
123.0ms3076×body80nan
56.0ms454×body160valid

Profiling

Loading profile data...