Details

analyze1.5s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.7%	98%	0.3%	13
2.5%	97.2%	0.3%	14

sample52.0ms

Algorithm

intervals

Results

18.0ms	256×	body	80	valid
7.0ms	126×	body	80	invalid

simplify270.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (138.0ms)

Iter	Nodes	Cost
0	5180	31

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.0b

Counts

2 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a)) (*.f64 (-.f64 (+.f64 y t) 2) b))
0.0b	(*.f64 (-.f64 y 1) z)
0.0b	(*.f64 (-.f64 t 1) a)
0.0b	(*.f64 (-.f64 (+.f64 y t) 2) b)

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

26×	`associate-*l/_binary64_1278` `add-sqr-sqrt_binary64_1201`
21×	`*-un-lft-identity_binary64_1216`
20×	`associate-l_binary64_1276`
19×	`flip3--_binary64_1215` `flip--_binary64_1242`
13×	`add-log-exp_binary64_1181`
12×	`frac-add_binary64_1206`
10×	`add-cbrt-cube_binary64_1188` `pow1_binary64_1162` `add-exp-log_binary64_1180` `add-cube-cbrt_binary64_1187`
9×	`associate-r_binary64_1275`
8×	`frac-sub_binary64_1207`
5×	`difference-of-squares_binary64_1245`
4×	`distribute-lft-out--_binary64_1261`
3×	`sum-log_binary64_1131` `cbrt-unprod_binary64_1185` `pow-prod-down_binary64_1143` `unswap-sqr_binary64_1244` `diff-log_binary64_1132` `prod-exp_binary64_1167` `*-commutative_binary64_1284`
2×	`sub-neg_binary64_1220` `difference-of-sqr-1_binary64_1246` `associate-+l+_binary64_1268`
1×	`flip-+_binary64_1241` `flip3-+_binary64_1214` `distribute-lft-out_binary64_1260` `associate--l+_binary64_1272` `+-commutative_binary64_1283` `associate-+l-_binary64_1270`

Counts

4 → 99

Calls

4 calls:

14.0ms	(+.f64 (-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a)) (*.f64 (-.f64 (+.f64 y t) 2) b))
7.0ms	(*.f64 (-.f64 y 1) z)
6.0ms	(*.f64 (-.f64 t 1) a)
9.0ms	(*.f64 (-.f64 (+.f64 y t) 2) b)

series207.0ms

Counts

4 → 12

Calls

4 calls:

144.0ms	(+.f64 (-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a)) (*.f64 (-.f64 (+.f64 y t) 2) b))
17.0ms	(*.f64 (-.f64 y 1) z)
21.0ms	(*.f64 (-.f64 t 1) a)
25.0ms	(*.f64 (-.f64 (+.f64 y t) 2) b)

simplify76.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5073	3256

prune428.0ms

Filtered

83 candidates to 111 candidates (-33.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	109	3	112

Merged error: 0b

Counts

112 → 3

localize29.0ms

Local error

Found 4 expressions with local error:

0.4b	(.f64 (.f64 (cbrt.f64 (-.f64 (+.f64 y t) 2)) (cbrt.f64 (-.f64 (+.f64 y t) 2))) (*.f64 b (cbrt.f64 (-.f64 (+.f64 y t) 2))))
0.7b	(cbrt.f64 (-.f64 (+.f64 y t) 2))
0.7b	(cbrt.f64 (-.f64 (+.f64 y t) 2))
0.7b	(cbrt.f64 (-.f64 (+.f64 y t) 2))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div_binary64_1184`
30×	`flip3--_binary64_1215` `flip--_binary64_1242`
28×	`frac-times_binary64_1208`
26×	`associate-*r/_binary64_1277`
22×	`*-un-lft-identity_binary64_1216`
18×	`cbrt-prod_binary64_1183`
16×	`pow1_binary64_1162` `add-exp-log_binary64_1180`
14×	`associate-*l/_binary64_1278`
13×	`add-sqr-sqrt_binary64_1201`
10×	`add-cbrt-cube_binary64_1188`
8×	`cbrt-unprod_binary64_1185` `pow-prod-down_binary64_1143` `prod-exp_binary64_1167`
7×	`add-cube-cbrt_binary64_1187`
6×	`distribute-lft-out--_binary64_1261`
4×	`add-log-exp_binary64_1181`
3×	`pow1/3_binary64_1154` `distribute-lft-out_binary64_1260` `difference-of-squares_binary64_1245`
1×	`associate-l_binary64_1276` `-commutative_binary64_1284` `associate-r*_binary64_1275`

Counts

4 → 96

Calls

4 calls:

30.0ms	(.f64 (.f64 (cbrt.f64 (-.f64 (+.f64 y t) 2)) (cbrt.f64 (-.f64 (+.f64 y t) 2))) (*.f64 b (cbrt.f64 (-.f64 (+.f64 y t) 2))))
6.0ms	(cbrt.f64 (-.f64 (+.f64 y t) 2))
6.0ms	(cbrt.f64 (-.f64 (+.f64 y t) 2))
6.0ms	(cbrt.f64 (-.f64 (+.f64 y t) 2))

series291.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(.f64 (.f64 (cbrt.f64 (-.f64 (+.f64 y t) 2)) (cbrt.f64 (-.f64 (+.f64 y t) 2))) (*.f64 b (cbrt.f64 (-.f64 (+.f64 y t) 2))))
80.0ms	(cbrt.f64 (-.f64 (+.f64 y t) 2))
85.0ms	(cbrt.f64 (-.f64 (+.f64 y t) 2))
85.0ms	(cbrt.f64 (-.f64 (+.f64 y t) 2))

simplify83.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5037	2957

prune364.0ms

Filtered

70 candidates to 108 candidates (-54.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	108	3	111

Merged error: 0b

Counts

111 → 3

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 y t) (+.f64 y t))
0.0b	(*.f64 (-.f64 t 1) a)
6.1b	(.f64 (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4) b)
11.1b	(/.f64 (.f64 (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4) b) (+.f64 (+.f64 y t) 2))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

41×	`*-un-lft-identity_binary64_1216`
25×	`add-sqr-sqrt_binary64_1201`
15×	`add-cbrt-cube_binary64_1188` `pow1_binary64_1162` `associate-l_binary64_1276` `add-exp-log_binary64_1180`
14×	`add-cube-cbrt_binary64_1187`
12×	`distribute-lft-out_binary64_1260`
10×	`associate-r_binary64_1275`
8×	`associate-*l/_binary64_1278`
7×	`flip-+_binary64_1241` `flip3-+_binary64_1214`
6×	`swap-sqr_binary64_1243`
5×	`associate-/r*_binary64_1279` `times-frac_binary64_1211`
4×	`frac-times_binary64_1208` `cbrt-unprod_binary64_1185` `prod-exp_binary64_1167` `add-log-exp_binary64_1181`
3×	`flip3--_binary64_1215` `pow-prod-down_binary64_1143` `unswap-sqr_binary64_1244` `*-commutative_binary64_1284` `flip--_binary64_1242` `difference-of-squares_binary64_1245`
2×	`div-exp_binary64_1169` `associate-*r/_binary64_1277` `associate-/r/_binary64_1281` `cbrt-undiv_binary64_1186` `associate-/l/_binary64_1282`
1×	`pow-plus_binary64_1157` `distribute-lft-out--_binary64_1261` `pow-prod-up_binary64_1142` `div-inv_binary64_1217` `pow2_binary64_1153` `clear-num_binary64_1219` `pow-sqr_binary64_1249` `frac-2neg_binary64_1209` `distribute-lft-in_binary64_1258` `associate-/l*_binary64_1280` `difference-of-sqr-1_binary64_1246` `distribute-rgt-in_binary64_1259`

Counts

4 → 114

Calls

4 calls:

8.0ms	(*.f64 (+.f64 y t) (+.f64 y t))
6.0ms	(*.f64 (-.f64 t 1) a)
12.0ms	(.f64 (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4) b)
21.0ms	(/.f64 (.f64 (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4) b) (+.f64 (+.f64 y t) 2))

series130.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(*.f64 (+.f64 y t) (+.f64 y t))
19.0ms	(*.f64 (-.f64 t 1) a)
38.0ms	(.f64 (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4) b)
61.0ms	(/.f64 (.f64 (-.f64 (.f64 (+.f64 y t) (+.f64 y t)) 4) b) (+.f64 (+.f64 y t) 2))

simplify82.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5071	2079

prune346.0ms

Filtered

78 candidates to 126 candidates (-61.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	126	3	129

Merged error: 0b

Counts

129 → 3

regimes680.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	187	31
1	187	31

end0.0ms

sample1.3s

Algorithm

intervals

Results

450.0ms	7996×	body	80	valid
246.0ms	4441×	body	80	invalid
0.0ms	2×	body	640	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	320	valid

Details

analyze1.5s

sample52.0ms

simplify270.0ms

prune14.0ms

localize25.0ms

rewrite40.0ms

series207.0ms

simplify76.0ms

prune428.0ms

localize29.0ms

rewrite52.0ms

series291.0ms

simplify83.0ms

prune364.0ms

localize28.0ms

rewrite51.0ms

series130.0ms

simplify82.0ms

prune346.0ms

regimes680.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample1.3s

Profiling