Details

analyze1.1s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	74.7%	25.3%	8
0%	74.7%	25.3%	9
0%	65.4%	34.6%	10
0%	51.4%	48.6%	11
0%	51.4%	48.6%	12
0%	51.4%	48.6%	13
0%	51.4%	48.6%	14

sample86.0ms

Algorithm

intervals

Results

21.0ms	256×	body	80	valid
19.0ms	271×	body	80	nan
3.0ms	33×	body	80	invalid

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	1958	32
1	1958	32

prune10.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.1b

Counts

2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t)
0.0b	(+.f64 (*.f64 x (log.f64 y)) z)
0.1b	(*.f64 (-.f64 b 1/2) (log.f64 c))
0.3b	(*.f64 x (log.f64 y))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_1201`
18×	`*-un-lft-identity_binary64_1216` `log-prod_binary64_1134`
14×	`add-cube-cbrt_binary64_1187`
11×	`add-log-exp_binary64_1181`
10×	`pow1_binary64_1162`
9×	`distribute-lft-in_binary64_1258` `distribute-rgt-in_binary64_1259`
8×	`add-cbrt-cube_binary64_1188` `associate-l_binary64_1276` `add-exp-log_binary64_1180` `associate-r_binary64_1275`
7×	`associate-+l+_binary64_1268`
4×	`sum-log_binary64_1131`
2×	`associate-l/_binary64_1278` `cbrt-unprod_binary64_1185` `log-pow_binary64_1137` `pow-prod-down_binary64_1143` `flip-+_binary64_1241` `flip3-+_binary64_1214` `unswap-sqr_binary64_1244` `prod-exp_binary64_1167` `-commutative_binary64_1284` `+-commutative_binary64_1283`
1×	`flip3--_binary64_1215` `distribute-lft-out--_binary64_1261` `distribute-lft-out_binary64_1260` `flip--_binary64_1242` `difference-of-squares_binary64_1245`

Counts

4 → 85

Calls

4 calls:

7.0ms	(+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t)
5.0ms	(+.f64 (*.f64 x (log.f64 y)) z)
7.0ms	(*.f64 (-.f64 b 1/2) (log.f64 c))
5.0ms	(*.f64 x (log.f64 y))

series355.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t)
41.0ms	(+.f64 (*.f64 x (log.f64 y)) z)
40.0ms	(*.f64 (-.f64 b 1/2) (log.f64 c))
232.0ms	(*.f64 x (log.f64 y))

simplify87.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5002	1209

prune408.0ms

Filtered

65 candidates to 97 candidates (-49.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	90	7	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	7	98

Merged error: 0.0b

Counts

98 → 7

localize45.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_1183`
23×	`add-sqr-sqrt_binary64_1201`
15×	`*-un-lft-identity_binary64_1216` `add-cube-cbrt_binary64_1187`
11×	`pow1_binary64_1162`
9×	`pow1/3_binary64_1154`
6×	`swap-sqr_binary64_1243` `associate-l_binary64_1276` `add-exp-log_binary64_1180` `associate-r_binary64_1275`
4×	`add-cbrt-cube_binary64_1188` `unswap-sqr_binary64_1244` `add-log-exp_binary64_1181`
2×	`pow-prod-up_binary64_1142` `pow-prod-down_binary64_1143` `pow-sqr_binary64_1249`
1×	`pow-plus_binary64_1157` `cbrt-unprod_binary64_1185` `pow2_binary64_1153` `prod-exp_binary64_1167` `*-commutative_binary64_1284`

Counts

4 → 73

Calls

4 calls:

6.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

series346.0ms

Counts

4 → 12

Calls

4 calls:

97.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
82.0ms	(cbrt.f64 y)
85.0ms	(cbrt.f64 y)
81.0ms	(cbrt.f64 y)

simplify72.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5309	608

prune453.0ms

Filtered

65 candidates to 85 candidates (-30.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	86	6	92

Merged error: 0.0b

Counts

92 → 6

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 x (log.f64 (cbrt.f64 y)))
0.3b	(*.f64 (log.f64 (pow.f64 y 2/3)) x)
0.6b	(cbrt.f64 y)
6.1b	(pow.f64 y 2/3)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_1201`
15×	`*-un-lft-identity_binary64_1216` `add-cube-cbrt_binary64_1187`
12×	`log-prod_binary64_1134`
10×	`pow1_binary64_1162`
9×	`add-exp-log_binary64_1180` `cbrt-prod_binary64_1183`
8×	`add-cbrt-cube_binary64_1188` `associate-r_binary64_1275`
7×	`associate-l_binary64_1276`
6×	`distribute-lft-in_binary64_1258` `distribute-rgt-in_binary64_1259`
4×	`add-log-exp_binary64_1181`
3×	`log-pow_binary64_1137` `unpow-prod-down_binary64_1151` `pow-unpow_binary64_1149`
2×	`cbrt-unprod_binary64_1185` `pow-prod-down_binary64_1143` `unswap-sqr_binary64_1244` `pow1/3_binary64_1154` `prod-exp_binary64_1167` `*-commutative_binary64_1284`
1×	`pow-exp_binary64_1140` `pow-to-exp_binary64_1141` `pow-pow_binary64_1144` `sqr-pow_binary64_1248`

Counts

4 → 79

Calls

4 calls:

5.0ms	(*.f64 x (log.f64 (cbrt.f64 y)))
4.0ms	(*.f64 (log.f64 (pow.f64 y 2/3)) x)
1.0ms	(cbrt.f64 y)
2.0ms	(pow.f64 y 2/3)

series315.0ms

Counts

4 → 12

Calls

4 calls:

74.0ms	(*.f64 x (log.f64 (cbrt.f64 y)))
78.0ms	(*.f64 (log.f64 (pow.f64 y 2/3)) x)
81.0ms	(cbrt.f64 y)
82.0ms	(pow.f64 y 2/3)

simplify84.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5062	882

prune369.0ms

Filtered

58 candidates to 91 candidates (-56.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	91	6	97

Merged error: 0.0b

Counts

97 → 6

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b	(+.f64 (.f64 (-.f64 b 1/2) (.f64 (log.f64 (cbrt.f64 c)) 2)) (*.f64 (-.f64 b 1/2) (log.f64 (cbrt.f64 c))))
0.3b	(*.f64 x (log.f64 y))
0.5b	(cbrt.f64 c)
0.5b	(cbrt.f64 c)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

18×	`log-prod_binary64_1134`
16×	`add-sqr-sqrt_binary64_1201`
14×	`*-un-lft-identity_binary64_1216` `add-cube-cbrt_binary64_1187`
12×	`cbrt-prod_binary64_1183` `associate-+r+_binary64_1267`
9×	`distribute-lft-in_binary64_1258` `distribute-rgt-in_binary64_1259`
8×	`associate-*l/_binary64_1278`
7×	`pow1_binary64_1162`
6×	`add-cbrt-cube_binary64_1188` `add-exp-log_binary64_1180` `add-log-exp_binary64_1181`
4×	`flip3--_binary64_1215` `associate-r_binary64_1275` `frac-add_binary64_1206` `flip--_binary64_1242`
3×	`associate-l_binary64_1276`
2×	`pow1/3_binary64_1154`
1×	`sum-log_binary64_1131` `cbrt-unprod_binary64_1185` `log-pow_binary64_1137` `pow-prod-down_binary64_1143` `flip-+_binary64_1241` `flip3-+_binary64_1214` `unswap-sqr_binary64_1244` `distribute-lft-out_binary64_1260` `prod-exp_binary64_1167` `*-commutative_binary64_1284` `+-commutative_binary64_1283`

Counts

4 → 75

Calls

4 calls:

12.0ms	(+.f64 (.f64 (-.f64 b 1/2) (.f64 (log.f64 (cbrt.f64 c)) 2)) (*.f64 (-.f64 b 1/2) (log.f64 (cbrt.f64 c))))
5.0ms	(*.f64 x (log.f64 y))
1.0ms	(cbrt.f64 c)
1.0ms	(cbrt.f64 c)

series338.0ms

Counts

4 → 12

Calls

4 calls:

140.0ms	(+.f64 (.f64 (-.f64 b 1/2) (.f64 (log.f64 (cbrt.f64 c)) 2)) (*.f64 (-.f64 b 1/2) (log.f64 (cbrt.f64 c))))
31.0ms	(*.f64 x (log.f64 y))
85.0ms	(cbrt.f64 c)
81.0ms	(cbrt.f64 c)

simplify46.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5176	1181

prune416.0ms

Filtered

74 candidates to 87 candidates (-17.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	87	6	93

Merged error: 0.0b

Counts

93 → 6

regimes1.6s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	47	45
1	47	45

end0.0ms

sample2.5s

Algorithm

intervals

Results

728.0ms	9822×	body	80	nan
699.0ms	7995×	body	80	valid
105.0ms	1194×	body	80	invalid
1.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	2×	body	160	valid
0.0ms	1×	body	320	valid

Details

analyze1.1s

sample86.0ms

simplify72.0ms

prune10.0ms

localize26.0ms

rewrite27.0ms

series355.0ms

simplify87.0ms

prune408.0ms

localize45.0ms

rewrite12.0ms

series346.0ms

simplify72.0ms

prune453.0ms

localize42.0ms

rewrite16.0ms

series315.0ms

simplify84.0ms

prune369.0ms

localize42.0ms

rewrite22.0ms

series338.0ms

simplify46.0ms

prune416.0ms

regimes1.6s

bsearch0.0ms

simplify3.0ms

end0.0ms

sample2.5s

Profiling