Details

Time bar (total: 3.8s)

sample29.0ms

Algorithm
intervals
Results
13.0ms367×body80valid

simplify12.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0267
1576
2956
31166
41186
51186

prune7.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ x (* y z)) (* t a))
4.6b
(* (* a z) b)

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube add-log-exp
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r* pow-prod-down prod-exp sum-log cbrt-unprod
1×+-commutative associate-+l+ flip3-+ associate-*l* *-commutative flip-+
Counts
2 → 31
Calls
2 calls:
16.0ms
(+ (+ x (* y z)) (* t a))
7.0ms
(* (* a z) b)

series113.0ms

Counts
2 → 6
Calls
2 calls:
68.0ms
(+ (+ x (* y z)) (* t a))
45.0ms
(* (* a z) b)

simplify121.0ms

Algorithm
egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0208172
1941148
24576147
35001147

prune97.0ms

Filtered
37 candidates to 26 candidates (70.3%)
Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

4.6b
(* (* a z) b)
15.1b
(cbrt (* (* a z) b))
15.1b
(cbrt (* (* a z) b))
15.1b
(cbrt (* (* a z) b))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-cbrt-cube
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×cbrt-prod pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
1×associate-*l* *-commutative
Counts
4 → 45
Calls
4 calls:
9.0ms
(* (* a z) b)
5.0ms
(cbrt (* (* a z) b))
5.0ms
(cbrt (* (* a z) b))
5.0ms
(cbrt (* (* a z) b))

series296.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (* a z) b)
88.0ms
(cbrt (* (* a z) b))
90.0ms
(cbrt (* (* a z) b))
94.0ms
(cbrt (* (* a z) b))

simplify71.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 3 (67.0ms)

IterNodesCost
0181286
1716238
23196229
35001210

prune212.0ms

Filtered
57 candidates to 48 candidates (84.2%)
Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

4.6b
(* (* a z) b)
11.6b
(cbrt (* a z))
15.1b
(cbrt (* (* a z) b))
15.1b
(cbrt (* (* a z) b))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-cbrt-cube
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×cbrt-prod pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
1×associate-*l* *-commutative
Counts
4 → 45
Calls
4 calls:
6.0ms
(* (* a z) b)
1.0ms
(cbrt (* a z))
5.0ms
(cbrt (* (* a z) b))
5.0ms
(cbrt (* (* a z) b))

series273.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* (* a z) b)
68.0ms
(cbrt (* a z))
88.0ms
(cbrt (* (* a z) b))
87.0ms
(cbrt (* (* a z) b))

simplify76.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 3 (72.0ms)

IterNodesCost
0217264
1796220
23398204
35001188

prune239.0ms

Filtered
57 candidates to 46 candidates (80.7%)
Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

4.6b
(* (* a z) b)
11.6b
(cbrt (* a z))
15.1b
(cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
15.1b
(cbrt (* (* a z) b))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-cbrt-cube
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×cbrt-prod pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
1×associate-*l* *-commutative
Counts
4 → 45
Calls
4 calls:
7.0ms
(* (* a z) b)
1.0ms
(cbrt (* a z))
50.0ms
(cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
5.0ms
(cbrt (* (* a z) b))

series462.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (* a z) b)
67.0ms
(cbrt (* a z))
89.0ms
(cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
280.0ms
(cbrt (* (* a z) b))

simplify85.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 3 (81.0ms)

IterNodesCost
0232319
1833265
23502246
35001193

prune249.0ms

Filtered
57 candidates to 46 candidates (80.7%)
Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0.0b

regimes282.0ms

Accuracy

81.4% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 2.3b

bsearch90.0ms

Steps
ItersRangePoint
8
1.2092755710383987e+18
1.4845492880366121e+22
5.479845352469504e+18
6
-2.1908358096019987e+137
-3.367817903331944e+136
-3.4174146112374786e+136

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03915
13915

end0.0ms

sample841.0ms

Algorithm
intervals
Results
454.0ms11710×body80valid