Details

Time bar (total: 9.2s)

analyze1.3s

Algorithm
search

sample33.0ms

Algorithm
intervals
Results
11.0ms256×body80valid
5.0ms121×body80invalid

simplify11.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
0267
1576
2956
31166
41186
51186

prune14.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: 0.0b

Counts
2 → 2

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite15.0ms

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

series27.0ms

Counts
3 → 9
Calls
3 calls:
15.0ms
(+ (+ x (* y z)) (* t a))
6.0ms
(+ x (* y z))
6.0ms
(* (* a z) b)

simplify35.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
0262221
11167197
25001197

prune80.0ms

Filtered
38 candidates to 51 candidates (-34.2%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New46551
Fresh011
Picked011
Done000
Total46753

Merged error: 0.0b

Counts
53 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt b)
0.6b
(cbrt b)
2.2b
(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
2.8b
(* (* a z) (* (cbrt b) (cbrt b)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1 add-exp-log
21×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
9×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×associate-*r*
4×add-log-exp
2×pow1/3 associate-*l* *-commutative
Counts
4 → 74
Calls
4 calls:
1.0ms
(cbrt b)
1.0ms
(cbrt b)
12.0ms
(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
10.0ms
(* (* a z) (* (cbrt b) (cbrt b)))

series80.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(cbrt b)
22.0ms
(cbrt b)
9.0ms
(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
25.0ms
(* (* a z) (* (cbrt b) (cbrt b)))

simplify45.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0308573
11316444
25001385

prune86.0ms

Filtered
50 candidates to 86 candidates (-72.0%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New84286
Fresh325
Picked011
Done011
Total87693

Merged error: 0.0b

Counts
93 → 6

localize24.0ms

Local error

Found 4 expressions with local error:

2.8b
(* (* a z) (* (cbrt b) (cbrt b)))
14.9b
(cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
14.9b
(cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
14.9b
(cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))

rewrite40.0ms

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

series91.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (* a z) (* (cbrt b) (cbrt b)))
23.0ms
(cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
21.0ms
(cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
21.0ms
(cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))

simplify97.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 3 (91.0ms)

IterNodesCost
0269587
1938497
24352444
35001432

prune81.0ms

Filtered
45 candidates to 61 candidates (-35.6%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New61061
Fresh033
Picked011
Done022
Total61667

Merged error: 0.0b

Counts
67 → 6

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt b))
0.6b
(cbrt (cbrt b))
2.2b
(* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))
2.8b
(* (* a z) (* (cbrt b) (cbrt b)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
85×pow1 add-exp-log
62×pow-prod-down prod-exp cbrt-unprod
49×add-cbrt-cube
18×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
2×pow1/3 associate-*r* associate-*l* *-commutative
Counts
4 → 105
Calls
4 calls:
2.0ms
(cbrt (cbrt b))
1.0ms
(cbrt (cbrt b))
23.0ms
(* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))
9.0ms
(* (* a z) (* (cbrt b) (cbrt b)))

series98.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(cbrt (cbrt b))
30.0ms
(cbrt (cbrt b))
12.0ms
(* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))
26.0ms
(* (* a z) (* (cbrt b) (cbrt b)))

simplify65.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
04581432
11870913
25002646

prune75.0ms

Filtered
54 candidates to 117 candidates (-116.7%)
Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New1170117
Fresh022
Picked011
Done033
Total1176123

Merged error: 0.0b

Counts
123 → 6

regimes658.0ms

Accuracy

75.5% (0.5b remaining)

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

bsearch3.9s

Steps
ItersRangePoint
8
1.7534000296838626e-84
3.1485997625077886e-80
7.230958291415674e-83
8
-1.3496557021982187e+108
-2.050048511299513e+104
-2.085658192309215e+104

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03913
13913

end0.0ms

analyze1.3s

Algorithm
search

sample915.0ms

Algorithm
intervals
Results
373.0ms8000×body80valid
179.0ms3825×body80invalid

Profiling

Loading profile data...