Details

analyze683.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
23.4%	74.9%	1.8%	11
27.3%	69%	3.7%	12
36.6%	56.5%	6.8%	13
40.5%	52%	7.4%	14

sample19.0ms

Algorithm

intervals

Results

7.0ms	256×	body	128	valid
2.0ms	59×	body	128	invalid

simplify29.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	438	10
1	438	10

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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 → 2

localize7.0ms

Local error

Found 2 expressions with local error:

0.4b	(-.f64 (.f64 x y) (.f64 z y))
5.4b	(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64`
4×	`-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
3×	`associate-r_binary64`
2×	`flip3--_binary64` `distribute-rgt-out--_binary64` `flip--_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

2 → 33

Calls

2 calls:

4.0ms	(-.f64 (.f64 x y) (.f64 z y))
7.0ms	(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)

series181.0ms

Counts

2 → 6

Calls

2 calls:

62.0ms	(-.f64 (.f64 x y) (.f64 z y))
118.0ms	(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)

simplify84.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4963	471
1	4963	471

prune32.0ms

Filtered

29 candidates to 39 candidates (-34.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	33	6	39
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	33	8	41

Merged error: 0.0b

Counts

41 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)
1.6b	(.f64 (.f64 y (.f64 (-.f64 x z) (.f64 (cbrt.f64 t) (cbrt.f64 t)))) (cbrt.f64 t))
3.8b	(.f64 y (.f64 (-.f64 x z) (*.f64 (cbrt.f64 t) (cbrt.f64 t))))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

27×	`pow1_binary64` `add-exp-log_binary64`
19×	`add-cbrt-cube_binary64`
16×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
9×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `cbrt-prod_binary64`
7×	`associate-r_binary64`
6×	`associate-*l/_binary64`
4×	`add-log-exp_binary64` `associate-r/_binary64` `associate-l*_binary64`
2×	`flip3--_binary64` `pow1/3_binary64` `flip--_binary64` `*-commutative_binary64`

Counts

4 → 74

Calls

4 calls:

1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)
25.0ms	(.f64 (.f64 y (.f64 (-.f64 x z) (.f64 (cbrt.f64 t) (cbrt.f64 t)))) (cbrt.f64 t))
14.0ms	(.f64 y (.f64 (-.f64 x z) (*.f64 (cbrt.f64 t) (cbrt.f64 t))))

series832.0ms

Counts

4 → 12

Calls

4 calls:

146.0ms	(cbrt.f64 t)
174.0ms	(cbrt.f64 t)
194.0ms	(.f64 (.f64 y (.f64 (-.f64 x z) (.f64 (cbrt.f64 t) (cbrt.f64 t)))) (cbrt.f64 t))
317.0ms	(.f64 y (.f64 (-.f64 x z) (*.f64 (cbrt.f64 t) (cbrt.f64 t))))

simplify76.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4873	966
1	4873	966

prune54.0ms

Filtered

61 candidates to 86 candidates (-41.0%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	84	10	94

Merged error: 0.0b

Counts

94 → 10

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(*.f64 t (-.f64 x z))
6.1b	(.f64 y (.f64 t (-.f64 x z)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`
6×	`sub-neg_binary64` `associate-r_binary64` `associate-r/_binary64` `associate-l*_binary64`
5×	`add-cube-cbrt_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64`
4×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
2×	`add-log-exp_binary64` `flip3--_binary64` `flip--_binary64` `*-commutative_binary64`
1×	`unswap-sqr_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`

Counts

2 → 48

Calls

2 calls:

7.0ms	(*.f64 t (-.f64 x z))
17.0ms	(.f64 y (.f64 t (-.f64 x z)))

series173.0ms

Counts

2 → 6

Calls

2 calls:

74.0ms	(*.f64 t (-.f64 x z))
99.0ms	(.f64 y (.f64 t (-.f64 x z)))

simplify45.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5262	578

prune36.0ms

Filtered

30 candidates to 54 candidates (-80.0%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	51	3	54
Fresh	4	3	7
Picked	1	0	1
Done	0	2	2
Total	56	8	64

Merged error: 0b

Counts

64 → 8

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 y (.f64 t x)) (.f64 y (.f64 t (neg.f64 z))))
5.2b	(.f64 y (.f64 t (neg.f64 z)))
6.0b	(.f64 y (.f64 t x))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64`
5×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`distribute-rgt-neg-out_binary64`
2×	`associate-r_binary64` `*-commutative_binary64`
1×	`flip3-+_binary64` `distribute-lft-out_binary64` `+-commutative_binary64` `flip-+_binary64` `unsub-neg_binary64` `sum-log_binary64`

Counts

3 → 50

Calls

3 calls:

6.0ms	(+.f64 (.f64 y (.f64 t x)) (.f64 y (.f64 t (neg.f64 z))))
6.0ms	(.f64 y (.f64 t (neg.f64 z)))
6.0ms	(.f64 y (.f64 t x))

series233.0ms

Counts

3 → 9

Calls

3 calls:

125.0ms	(+.f64 (.f64 y (.f64 t x)) (.f64 y (.f64 t (neg.f64 z))))
57.0ms	(.f64 y (.f64 t (neg.f64 z)))
51.0ms	(.f64 y (.f64 t x))

simplify65.0ms

Algorithm

egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5103	610

prune27.0ms

Filtered

38 candidates to 59 candidates (-55.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	59	8	67

Merged error: 0b

Counts

67 → 8

regimes154.0ms

Accuracy

81.5% (1.3b remaining)

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

bsearch1.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	89	69
1	89	69

end0.0ms

sample543.0ms

Algorithm

intervals

Results

239.0ms	8000×	body	128	valid
55.0ms	1834×	body	128	invalid

Details

analyze683.0ms

sample19.0ms

simplify29.0ms

prune7.0ms

localize7.0ms

rewrite13.0ms

series181.0ms

simplify84.0ms

prune32.0ms

localize9.0ms

rewrite48.0ms

series832.0ms

simplify76.0ms

prune54.0ms

localize6.0ms

rewrite28.0ms

series173.0ms

simplify45.0ms

prune36.0ms

localize9.0ms

rewrite21.0ms

series233.0ms

simplify65.0ms

prune27.0ms

regimes154.0ms

bsearch1.0ms

simplify3.0ms

end0.0ms

sample543.0ms

Profiling