Details

Time bar (total: 26.7s)

sample17.0ms

Algorithm
intervals
Results
7.0ms314×body80valid

simplify9.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0163
1373
2673
3793
4793

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 11.5b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

11.2b
(/ (* a1 a2) (* b1 b2))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
144×times-frac
131×add-sqr-sqrt
79×add-cube-cbrt *-un-lft-identity
78×associate-*r* associate-*l*
26×*-commutative unswap-sqr
13×add-exp-log add-cbrt-cube
12×associate-/r* associate-/l*
4×cbrt-undiv div-exp prod-exp cbrt-unprod
1×pow1 frac-2neg clear-num div-inv add-log-exp
Counts
1 → 186
Calls
1 calls:
12.0ms
(/ (* a1 a2) (* b1 b2))

series30.0ms

Counts
1 → 3
Calls
1 calls:
30.0ms
(/ (* a1 a2) (* b1 b2))

simplify97.0ms

Algorithm
egg-herbie
Counts
189 → 189
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
08241303
142311268
250011268

prune246.0ms

Filtered
189 candidates to 128 candidates (67.7%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1827189
Fresh000
Picked011
Done000
Total1828190

Merged error: 0b

Counts
190 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt a2)
0.7b
(cbrt a2)
0.7b
(cbrt a2)
7.6b
(/ (* a1 (* (cbrt a2) (cbrt a2))) (* b1 (* (cbrt b2) (cbrt b2))))

rewrite311.0ms

Algorithm
rewrite-expression-head
Rules
3697×add-sqr-sqrt
2970×associate-*r*
1989×cbrt-prod
1936×times-frac
1530×unswap-sqr
997×add-cube-cbrt *-un-lft-identity
810×associate-*l*
720×swap-sqr
270×*-commutative
136×add-cbrt-cube
108×cbrt-unprod
44×associate-/r* associate-/l*
40×add-exp-log
36×cbrt-undiv
18×prod-exp
9×div-exp
4×pow1 add-log-exp
3×pow1/3
1×frac-2neg clear-num div-inv
Counts
4 → 2112
Calls
4 calls:
1.0ms
(cbrt a2)
1.0ms
(cbrt a2)
1.0ms
(cbrt a2)
83.0ms
(/ (* a1 (* (cbrt a2) (cbrt a2))) (* b1 (* (cbrt b2) (cbrt b2))))

series657.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(cbrt a2)
179.0ms
(cbrt a2)
179.0ms
(cbrt a2)
116.0ms
(/ (* a1 (* (cbrt a2) (cbrt a2))) (* b1 (* (cbrt b2) (cbrt b2))))

simplify348.0ms

Algorithm
egg-herbie
Counts
2124 → 2124
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
0500136409

prune3.9s

Filtered
2124 candidates to 1104 candidates (52.0%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New212312124
Fresh246
Picked011
Done011
Total212572132

Merged error: 0b

Counts
2132 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt a2)
0.7b
(cbrt a2)
2.2b
(/ a1 (* b1 (cbrt (* (cbrt b2) (cbrt b2)))))
3.7b
(* (/ a1 (* b1 (cbrt (* (cbrt b2) (cbrt b2))))) (/ (* (cbrt a2) (cbrt a2)) (* (cbrt (cbrt b2)) (cbrt b2))))

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
10707×add-sqr-sqrt
9172×cbrt-prod
4616×unswap-sqr
4214×associate-/r*
3988×associate-*r*
3024×frac-times
2450×times-frac
2153×*-un-lft-identity
2151×add-cube-cbrt
1949×associate-*l*
1661×associate-/l*
1294×swap-sqr
504×*-commutative
423×add-cbrt-cube
318×cbrt-unprod
181×cbrt-undiv
114×clear-num
113×frac-2neg
78×add-exp-log
56×associate-*r/
54×associate-*l/
33×prod-exp
24×div-exp
6×pow1
4×add-log-exp
3×un-div-inv div-inv
2×pow1/3
1×pow-prod-down
Counts
4 → 5119
Calls
4 calls:
1.0ms
(cbrt a2)
1.0ms
(cbrt a2)
29.0ms
(/ a1 (* b1 (cbrt (* (cbrt b2) (cbrt b2)))))
1.3s
(* (/ a1 (* b1 (cbrt (* (cbrt b2) (cbrt b2))))) (/ (* (cbrt a2) (cbrt a2)) (* (cbrt (cbrt b2)) (cbrt b2))))

series657.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(cbrt a2)
179.0ms
(cbrt a2)
195.0ms
(/ a1 (* b1 (cbrt (* (cbrt b2) (cbrt b2)))))
103.0ms
(* (/ a1 (* b1 (cbrt (* (cbrt b2) (cbrt b2))))) (/ (* (cbrt a2) (cbrt a2)) (* (cbrt (cbrt b2)) (cbrt b2))))

simplify1.1s

Algorithm
egg-herbie
Counts
5131 → 5131
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
05571131080

prune15.9s

Filtered
5131 candidates to 3643 candidates (71.0%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New513105131
Fresh044
Picked011
Done022
Total513175138

Merged error: 0b

Counts
5138 → 7

localize5.0ms

Local error

Found 2 expressions with local error:

4.0b
(/ a2 (/ (* b1 b2) a1))
5.1b
(/ (* b1 b2) a1)

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
300×times-frac
194×add-sqr-sqrt
160×add-cube-cbrt *-un-lft-identity
51×associate-*r* associate-*l*
46×associate-/r*
27×associate-/l*
18×associate-/r/
17×*-commutative unswap-sqr
16×add-exp-log add-cbrt-cube
7×cbrt-undiv div-exp
6×div-inv
3×frac-2neg clear-num
2×pow1 prod-exp cbrt-unprod add-log-exp
Counts
2 → 262
Calls
2 calls:
14.0ms
(/ a2 (/ (* b1 b2) a1))
7.0ms
(/ (* b1 b2) a1)

series55.0ms

Counts
2 → 6
Calls
2 calls:
30.0ms
(/ a2 (/ (* b1 b2) a1))
25.0ms
(/ (* b1 b2) a1)

simplify112.0ms

Algorithm
egg-herbie
Counts
268 → 268
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
09461899
146261835
250021835

prune384.0ms

Filtered
268 candidates to 207 candidates (77.2%)
Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New2680268
Fresh033
Picked011
Done033
Total2687275

Merged error: 0b

Counts
275 → 7

regimes310.0ms

Accuracy

69.8% (2.3b remaining)

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

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02927
12927

end0.0ms

sample451.0ms

Algorithm
intervals
Results
223.0ms9976×body80valid