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

sample83.0ms

Algorithm

intervals

Results

26.0ms	328×	body	80	nan
20.0ms	255×	body	80	valid
3.0ms	37×	body	80	invalid
0.0ms	1×	body	320	valid

simplify44.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	1957	21
1	1957	21

prune5.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

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

24×	`log-prod_binary64`
22×	`add-sqr-sqrt_binary64`
20×	`add-log-exp_binary64`
18×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`
12×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
11×	`sum-log_binary64`
10×	`pow1_binary64`
8×	`associate-r_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l_binary64`
7×	`associate-+l+_binary64`
6×	`associate-+r+_binary64` `associate-*l/_binary64`
4×	`flip3-+_binary64` `frac-add_binary64` `flip-+_binary64`
3×	`flip3--_binary64` `flip--_binary64`
2×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `log-pow_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `+-commutative_binary64` `*-commutative_binary64`
1×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`

Counts

4 → 96

Calls

4 calls:

6.0ms	(+.f64 (*.f64 x (log.f64 y)) z)
19.0ms	(+.f64 (+.f64 (+.f64 (+.f64 (.f64 x (log.f64 y)) z) t) a) (.f64 (-.f64 b 1/2) (log.f64 c)))
8.0ms	(*.f64 (-.f64 b 1/2) (log.f64 c))
5.0ms	(*.f64 x (log.f64 y))

series93.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(+.f64 (*.f64 x (log.f64 y)) z)
63.0ms	(+.f64 (+.f64 (+.f64 (+.f64 (.f64 x (log.f64 y)) z) t) a) (.f64 (-.f64 b 1/2) (log.f64 c)))
9.0ms	(*.f64 (-.f64 b 1/2) (log.f64 c))
7.0ms	(*.f64 x (log.f64 y))

simplify43.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5011	1362

prune124.0ms

Filtered

78 candidates to 108 candidates (-38.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	98	10	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	10	109

Merged error: 0.0b

Counts

109 → 10

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

42×	`log-prod_binary64`
33×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
24×	`associate-+l+_binary64` `add-sqr-sqrt_binary64` `cbrt-prod_binary64`
22×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
12×	`associate-+r+_binary64`
8×	`associate-*l/_binary64`
7×	`pow1_binary64`
6×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`flip3--_binary64` `associate-r_binary64` `frac-add_binary64` `flip--_binary64`
3×	`associate-l_binary64`
2×	`pow1/3_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `cbrt-unprod_binary64` `distribute-lft-out_binary64` `log-pow_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 99

Calls

4 calls:

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

series77.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(*.f64 x (log.f64 y))
41.0ms	(+.f64 (.f64 (-.f64 b 1/2) (.f64 2 (log.f64 (cbrt.f64 c)))) (*.f64 (-.f64 b 1/2) (log.f64 (cbrt.f64 c))))
14.0ms	(cbrt.f64 c)
15.0ms	(cbrt.f64 c)

simplify30.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5066	1047

prune127.0ms

Filtered

92 candidates to 111 candidates (-20.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	113	8	121

Merged error: 0.0b

Counts

121 → 8

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 x (log.f64 y))
0.3b	(+.f64 (.f64 (-.f64 b 1/2) (.f64 2 (log.f64 (cbrt.f64 c)))) (*.f64 (-.f64 b 1/2) (log.f64 (pow.f64 c 1/3))))
0.6b	(cbrt.f64 c)
5.1b	(pow.f64 c 1/3)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

44×	`log-prod_binary64`
34×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
25×	`add-sqr-sqrt_binary64`
24×	`associate-+l+_binary64`
23×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
15×	`cbrt-prod_binary64`
14×	`associate-+r+_binary64`
9×	`unpow-prod-down_binary64`
8×	`pow1_binary64` `associate-*l/_binary64`
7×	`add-exp-log_binary64`
6×	`add-log-exp_binary64` `add-cbrt-cube_binary64`
4×	`flip3--_binary64` `associate-r_binary64` `frac-add_binary64` `flip--_binary64`
3×	`pow-unpow_binary64` `sqr-pow_binary64` `associate-l_binary64`
1×	`pow-to-exp_binary64` `pow-prod-down_binary64` `flip3-+_binary64` `cbrt-unprod_binary64` `distribute-lft-out_binary64` `pow1/3_binary64` `pow-pow_binary64` `log-pow_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `+-commutative_binary64` `flip-+_binary64` `pow-exp_binary64` `unpow1/3_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 108

Calls

4 calls:

5.0ms	(*.f64 x (log.f64 y))
16.0ms	(+.f64 (.f64 (-.f64 b 1/2) (.f64 2 (log.f64 (cbrt.f64 c)))) (*.f64 (-.f64 b 1/2) (log.f64 (pow.f64 c 1/3))))
1.0ms	(cbrt.f64 c)
2.0ms	(pow.f64 c 1/3)

series89.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(*.f64 x (log.f64 y))
53.0ms	(+.f64 (.f64 (-.f64 b 1/2) (.f64 2 (log.f64 (cbrt.f64 c)))) (*.f64 (-.f64 b 1/2) (log.f64 (pow.f64 c 1/3))))
16.0ms	(cbrt.f64 c)
14.0ms	(pow.f64 c 1/3)

simplify63.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4934	1001
1	4934	1001

prune122.0ms

Filtered

96 candidates to 120 candidates (-25.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	120	8	128

Merged error: 0.0b

Counts

128 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

42×	`log-prod_binary64`
34×	`add-sqr-sqrt_binary64`
28×	`*-un-lft-identity_binary64`
24×	`add-log-exp_binary64` `add-cube-cbrt_binary64` `associate-*l/_binary64`
21×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
20×	`frac-add_binary64`
18×	`sqrt-prod_binary64`
16×	`associate-r_binary64`
15×	`pow1_binary64` `sum-log_binary64`
13×	`associate-l_binary64`
12×	`flip3--_binary64` `flip--_binary64` `associate-+r+_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`flip3-+_binary64` `log-pow_binary64` `flip-+_binary64`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`
2×	`pow1/2_binary64` `sqrt-pow1_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`
1×	`associate-+l+_binary64` `+-commutative_binary64`

Counts

4 → 139

Calls

4 calls:

25.0ms	(+.f64 (+.f64 (.f64 (-.f64 b 1/2) (log.f64 (sqrt.f64 c))) (+.f64 a (+.f64 t (+.f64 (.f64 x (log.f64 y)) z)))) (*.f64 (-.f64 b 1/2) (log.f64 (sqrt.f64 c))))
9.0ms	(*.f64 (-.f64 b 1/2) (log.f64 (sqrt.f64 c)))
9.0ms	(*.f64 (-.f64 b 1/2) (log.f64 (sqrt.f64 c)))
6.0ms	(*.f64 x (log.f64 y))

series117.0ms

Counts

4 → 12

Calls

4 calls:

91.0ms	(+.f64 (+.f64 (.f64 (-.f64 b 1/2) (log.f64 (sqrt.f64 c))) (+.f64 a (+.f64 t (+.f64 (.f64 x (log.f64 y)) z)))) (*.f64 (-.f64 b 1/2) (log.f64 (sqrt.f64 c))))
8.0ms	(*.f64 (-.f64 b 1/2) (log.f64 (sqrt.f64 c)))
11.0ms	(*.f64 (-.f64 b 1/2) (log.f64 (sqrt.f64 c)))
7.0ms	(*.f64 x (log.f64 y))

simplify50.0ms

Algorithm

egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5108	3046

prune94.0ms

Filtered

96 candidates to 151 candidates (-57.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	151	0	151
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	151	8	159

Merged error: 0.0b

Counts

159 → 8

regimes1.2s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	49	33
1	49	33

end0.0ms

sample2.3s

Algorithm

intervals

Results

723.0ms	9868×	body	80	nan
668.0ms	7996×	body	80	valid
96.0ms	1201×	body	80	invalid
0.0ms	1×	body	1280	valid
0.0ms	2×	body	320	valid
0.0ms	1×	body	640	valid

Details

analyze1.1s

sample83.0ms

simplify44.0ms

prune5.0ms

localize17.0ms

rewrite41.0ms

series93.0ms

simplify43.0ms

prune124.0ms

localize26.0ms

rewrite28.0ms

series77.0ms

simplify30.0ms

prune127.0ms

localize33.0ms

rewrite30.0ms

series89.0ms

simplify63.0ms

prune122.0ms

localize20.0ms

rewrite55.0ms

series117.0ms

simplify50.0ms

prune94.0ms

regimes1.2s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.3s

Profiling