Details

analyze328.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%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	49.9%	50.1%	5
0%	43.7%	56.3%	6
0%	34.3%	65.7%	7
3.1%	31.2%	65.7%	8
3.5%	27.7%	68.8%	9
5.3%	24.4%	70.4%	10
7.5%	19.8%	72.7%	11
11.1%	16.2%	72.7%	12
11.3%	15.3%	73.5%	13
13.2%	13%	73.9%	14

sample25.0ms

Algorithm

intervals

Results

14.0ms	256×	body	80	valid
0.0ms	9×	body	80	nan
0.0ms	1×	body	80	invalid

simplify183.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (181.0ms)

Iter	Nodes	Cost
0	6359	11

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (- (* x (log y)) y) z) (log t))
0.0b	(- (- (* x (log y)) y) z)
0.0b	(- (* x (log y)) y)
0.3b	(* x (log y))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

32×	`associate--l+`
27×	`log-prod`
25×	`*-un-lft-identity`
19×	`add-sqr-sqrt`
17×	`add-log-exp`
15×	`add-cube-cbrt`
12×	`distribute-rgt-in` `distribute-lft-in`
9×	`pow1`
8×	`associate-+l+`
7×	`diff-log`
6×	`add-exp-log` `add-cbrt-cube`
5×	`sub-neg`
4×	`associate-r` `distribute-lft-out`
3×	`associate-+r+` `associate-l` `sum-log` `log-pow` `distribute-lft-out--`
2×	`flip3--` `flip--`
1×	`+-commutative` `associate--l-` `associate-+l-` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `difference-of-squares` `unswap-sqr`

Counts

4 → 93

Calls

4 calls:

14.0ms	(+ (- (- (* x (log y)) y) z) (log t))
7.0ms	(- (- (* x (log y)) y) z)
4.0ms	(- (* x (log y)) y)
4.0ms	(* x (log y))

series37.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(+ (- (- (* x (log y)) y) z) (log t))
8.0ms	(- (- (* x (log y)) y) z)
9.0ms	(- (* x (log y)) y)
7.0ms	(* x (log y))

simplify48.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5092	985

prune115.0ms

Filtered

77 candidates to 105 candidates (-36.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	101	4	105
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	101	5	106

Merged error: 0.0b

Counts

106 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (log (cbrt y)))
0.3b	(+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y))))
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

24×	`log-prod`
18×	`cbrt-prod` `add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
12×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
5×	`associate-r`
3×	`pow1/3` `associate-l`
2×	`log-pow`
1×	`+-commutative` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 78

Calls

4 calls:

5.0ms	(* x (log (cbrt y)))
10.0ms	(+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y))))
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series85.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* x (log (cbrt y)))
21.0ms	(+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y))))
21.0ms	(cbrt y)
22.0ms	(cbrt y)

simplify61.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4951	620
1	4951	620

prune112.0ms

Filtered

62 candidates to 90 candidates (-45.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	88	2	90
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	89	6	95

Merged error: 0.0b

Counts

95 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (sqrt y)) (cbrt (sqrt y)))
0.5b	(cbrt (sqrt y))
0.5b	(cbrt (sqrt y))
0.6b	(cbrt y)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

55×	`cbrt-prod`
43×	`add-sqr-sqrt`
26×	`sqrt-prod`
21×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1` `swap-sqr`
9×	`pow1/3` `associate-r` `associate-l` `unswap-sqr`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

8.0ms	(* (cbrt (sqrt y)) (cbrt (sqrt y)))
2.0ms	(cbrt (sqrt y))
2.0ms	(cbrt (sqrt y))
1.0ms	(cbrt y)

series72.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (cbrt (sqrt y)) (cbrt (sqrt y)))
16.0ms	(cbrt (sqrt y))
18.0ms	(cbrt (sqrt y))
22.0ms	(cbrt y)

simplify47.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5072	685

prune121.0ms

Filtered

64 candidates to 107 candidates (-67.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	107	6	113

Merged error: 0.0b

Counts

113 → 6

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* (log (cbrt y)) 2) (log (cbrt (sqrt y))))
0.5b	(cbrt (sqrt y))
0.5b	(cbrt (sqrt y))
0.6b	(cbrt y)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

21×	`cbrt-prod`
12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`associate-+r+` `log-prod` `sqrt-prod`
5×	`add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`pow1/3`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 59

Calls

4 calls:

6.0ms	(+ (* (log (cbrt y)) 2) (log (cbrt (sqrt y))))
2.0ms	(cbrt (sqrt y))
2.0ms	(cbrt (sqrt y))
2.0ms	(cbrt y)

series107.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(+ (* (log (cbrt y)) 2) (log (cbrt (sqrt y))))
16.0ms	(cbrt (sqrt y))
16.0ms	(cbrt (sqrt y))
21.0ms	(cbrt y)

simplify39.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4921	547
1	4921	547

prune84.0ms

Filtered

51 candidates to 71 candidates (-39.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	70	1	71
Fresh	0	3	3
Picked	1	0	1
Done	0	2	2
Total	71	6	77

Merged error: 0b

Counts

77 → 6

regimes584.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	25
1	42	25

end0.0ms

sample688.0ms

Algorithm

intervals

Results

445.0ms	7999×	body	80	valid
14.0ms	353×	body	80	nan
2.0ms	31×	body	80	invalid
0.0ms	1×	body	640	valid

Details

analyze328.0ms

sample25.0ms

simplify183.0ms

prune8.0ms

localize11.0ms

rewrite33.0ms

series37.0ms

simplify48.0ms

prune115.0ms

localize16.0ms

rewrite20.0ms

series85.0ms

simplify61.0ms

prune112.0ms

localize22.0ms

rewrite15.0ms

series72.0ms

simplify47.0ms

prune121.0ms

localize25.0ms

rewrite13.0ms

series107.0ms

simplify39.0ms

prune84.0ms

regimes584.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample688.0ms

Profiling