Details

Time bar (total: 5.3s)

sample27.0ms

Algorithm
intervals
Results
14.0ms407×body80valid

simplify81.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
0256
1695
21954
34614
49694
517604
624554
732584
834514
934514

prune5.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (- d2 d3) (- d4 d1))
0.0b
(* d1 (+ (- d2 d3) (- d4 d1)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
14×add-log-exp
8×flip3-- frac-add flip-- distribute-lft-out distribute-lft-out--
7×associate-*r*
6×add-sqr-sqrt associate-*r/
4×pow1 add-exp-log add-cube-cbrt diff-log sum-log add-cbrt-cube
3×associate-*l*
2×sub-neg associate-+l+ associate-+r+ flip3-+ flip-+
1×+-commutative distribute-rgt-in associate-+l- associate-+r- distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 58
Calls
2 calls:
9.0ms
(+ (- d2 d3) (- d4 d1))
12.0ms
(* d1 (+ (- d2 d3) (- d4 d1)))

series77.0ms

Counts
2 → 6
Calls
2 calls:
30.0ms
(+ (- d2 d3) (- d4 d1))
47.0ms
(* d1 (+ (- d2 d3) (- d4 d1)))

simplify50.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0391410
11841378
25002378

prune109.0ms

Filtered
64 candidates to 42 candidates (65.6%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New61364
Fresh101
Picked011
Done000
Total62466

Merged error: 0b

Counts
66 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(* d1 (- d2 d3))
0.0b
(+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-*r/
8×add-sqr-sqrt
6×distribute-rgt-in sub-neg *-un-lft-identity distribute-lft-in
5×flip3-- associate-*r* flip--
4×pow1 add-exp-log add-cube-cbrt associate-+l+ associate-+r+ frac-add add-cbrt-cube add-log-exp
3×associate-*l*
1×+-commutative flip3-+ pow-prod-down prod-exp sum-log *-commutative cbrt-unprod flip-+ distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 50
Calls
2 calls:
6.0ms
(* d1 (- d2 d3))
10.0ms
(+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))

series87.0ms

Counts
2 → 6
Calls
2 calls:
37.0ms
(* d1 (- d2 d3))
50.0ms
(+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))

simplify54.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0359327
11834307
25002307

prune89.0ms

Filtered
56 candidates to 37 candidates (66.1%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New56056
Fresh022
Picked011
Done011
Total56460

Merged error: 0b

Counts
60 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))))
1.8b
(cbrt (* d1 (+ (- d2 d3) (- d4 d1))))
1.8b
(cbrt (* d1 (+ (- d2 d3) (- d4 d1))))
1.8b
(cbrt (* d1 (+ (- d2 d3) (- d4 d1))))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
108×associate-*r/
102×cbrt-div
68×flip3-- frac-add flip--
36×frac-times
17×flip3-+ flip-+
11×pow1
10×add-sqr-sqrt
9×pow1/3
8×add-cube-cbrt *-un-lft-identity
7×cbrt-prod
6×add-exp-log associate-*l/
4×swap-sqr associate-*r* associate-*l* add-cbrt-cube add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 124
Calls
4 calls:
10.0ms
(* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))))
10.0ms
(cbrt (* d1 (+ (- d2 d3) (- d4 d1))))
10.0ms
(cbrt (* d1 (+ (- d2 d3) (- d4 d1))))
12.0ms
(cbrt (* d1 (+ (- d2 d3) (- d4 d1))))

series1.6s

Counts
4 → 12
Calls
4 calls:
474.0ms
(* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))))
373.0ms
(cbrt (* d1 (+ (- d2 d3) (- d4 d1))))
371.0ms
(cbrt (* d1 (+ (- d2 d3) (- d4 d1))))
377.0ms
(cbrt (* d1 (+ (- d2 d3) (- d4 d1))))

simplify66.0ms

Algorithm
egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
04902859
117302779
250012725

prune434.0ms

Filtered
136 candidates to 101 candidates (74.3%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1360136
Fresh011
Picked011
Done022
Total1364140

Merged error: 0b

Counts
140 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- d2 d3) (- d2 d3))
3.9b
(- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1)))
10.4b
(* d1 (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1))))
26.8b
(/ (* d1 (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1)))) (- (- d2 d3) (- d4 d1)))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
302×flip3-- flip--
230×associate-*r/
196×frac-times frac-sub
98×associate-*l/
66×associate-/l/
50×*-un-lft-identity
28×add-sqr-sqrt
22×distribute-lft-out--
16×distribute-rgt-in distribute-lft-in
13×pow1 add-exp-log sub-neg add-cbrt-cube
12×add-cube-cbrt associate--l+
9×associate-*r*
8×times-frac associate-*l* associate-/r* difference-of-squares
7×swap-sqr
6×associate-/r/ add-log-exp
4×associate--r+
3×prod-exp cbrt-unprod
2×cbrt-undiv div-exp pow-prod-down *-commutative unswap-sqr
1×pow2 frac-2neg pow-plus diff-log clear-num pow-sqr pow-prod-up div-inv associate-/l*
Counts
4 → 330
Calls
4 calls:
9.0ms
(* (- d2 d3) (- d2 d3))
14.0ms
(- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1)))
25.0ms
(* d1 (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1))))
33.0ms
(/ (* d1 (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1)))) (- (- d2 d3) (- d4 d1)))

series513.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(* (- d2 d3) (- d2 d3))
158.0ms
(- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1)))
191.0ms
(* d1 (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1))))
147.0ms
(/ (* d1 (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1)))) (- (- d2 d3) (- d4 d1)))

simplify95.0ms

Algorithm
egg-herbie
Counts
342 → 342
Iterations

Useful iterations: 1 (35.0ms)

IterNodesCost
017626326
150036200

prune951.0ms

Filtered
342 candidates to 214 candidates (62.6%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New3420342
Fresh000
Picked011
Done033
Total3424346

Merged error: 0b

Counts
346 → 4

regimes78.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0104
1104

end0.0ms

sample777.0ms

Algorithm
intervals
Results
450.0ms11828×body80valid