Details

sample30.0ms

Algorithm

intervals

Results

10.0ms

340×

body

valid

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	3
1	34	3
2	72	3
3	100	3
4	108	3
5	108	3

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 8.6b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

8.2b	(* t (* y (- x z)))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

8×	`distribute-rgt-in` `distribute-lft-in`
6×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`sub-neg` `associate-*r/`
3×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
1×	`flip3--` `associate-r` `*-commutative` `flip--` `add-log-exp`

Counts

1 → 28

Calls

1 calls:

7.0ms

(* t (* y (- x z)))

series53.0ms

Counts

1 → 3

Calls

1 calls:

53.0ms

(* t (* y (- x z)))

simplify66.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	161	146
1	537	123
2	2648	123
3	5002	123

prune68.0ms

Filtered

31 candidates to 15 candidates (51.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	24	7	31
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	24	8	32

Merged error: 0.1b

Counts

32 → 8

localize5.0ms

Local error

Found 1 expressions with local error:

6.4b	(* (* t y) (- x z))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`associate-r`
4×	`add-sqr-sqrt` `*-un-lft-identity`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`distribute-rgt-in` `add-cube-cbrt` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `associate-l` `*-commutative` `flip--` `distribute-lft-out--` `add-log-exp` `difference-of-squares`

Counts

1 → 26

Calls

1 calls:

7.0ms

(* (* t y) (- x z))

series51.0ms

Counts

1 → 3

Calls

1 calls:

51.0ms

(* (* t y) (- x z))

simplify93.0ms

Algorithm

egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	177	134
1	820	111
2	4326	111
3	5002	111

prune70.0ms

Filtered

29 candidates to 15 candidates (48.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	25	4	29
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	26	11	37

Merged error: 0.0b

Counts

37 → 11

localize9.0ms

Local error

Found 4 expressions with local error:

5.9b	(cbrt (* (* t y) (- x z)))
6.4b	(* (* t y) (- x z))
6.4b	(* (* t y) (- x z))
6.4b	(* (* t y) (- x z))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

19×	`pow1` `add-exp-log` `add-cbrt-cube`
15×	`associate-r`
13×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`associate-*r/`
7×	`add-cube-cbrt`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
4×	`flip3--` `flip--` `add-log-exp`
3×	`associate-l` `*-commutative` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-div`
1×	`cbrt-prod` `pow1/3`

Counts

4 → 89

Calls

4 calls:

5.0ms	(cbrt (* (* t y) (- x z)))
7.0ms	(* (* t y) (- x z))
7.0ms	(* (* t y) (- x z))
7.0ms	(* (* t y) (- x z))

series276.0ms

Counts

4 → 12

Calls

4 calls:

130.0ms	(cbrt (* (* t y) (- x z)))
47.0ms	(* (* t y) (- x z))
49.0ms	(* (* t y) (- x z))
49.0ms	(* (* t y) (- x z))

simplify35.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	280	507
1	1108	429
2	5001	426

prune277.0ms

Filtered

101 candidates to 61 candidates (39.6%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	100	1	101
Fresh	1	7	8
Picked	0	1	1
Done	0	2	2
Total	101	11	112

Merged error: 0.0b

Counts

112 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

6.4b	(* (* t y) (- x z))
6.4b	(* (* t y) (- x z))
6.4b	(* (* t y) (- x z))
6.4b	(* (* t y) (- x z))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

24×	`pow1` `add-exp-log` `add-cbrt-cube`
20×	`associate-r`
16×	`add-sqr-sqrt` `*-un-lft-identity`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`distribute-rgt-in` `add-cube-cbrt` `sub-neg` `distribute-lft-in` `associate-*r/`
4×	`flip3--` `associate-l` `*-commutative` `flip--` `distribute-lft-out--` `add-log-exp` `difference-of-squares`

Counts

4 → 104

Calls

4 calls:

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

series227.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(* (* t y) (- x z))
49.0ms	(* (* t y) (- x z))
57.0ms	(* (* t y) (- x z))
72.0ms	(* (* t y) (- x z))

simplify98.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	177	536
1	820	444
2	4326	444
3	5002	444

prune465.0ms

Filtered

116 candidates to 64 candidates (44.8%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	7	7
Picked	0	1	1
Done	0	3	3
Total	116	11	127

Merged error: 0.0b

Counts

127 → 11

regimes384.0ms

Accuracy

61.4% (2.7b remaining)

Error of 2.7b against oracle of 0.1b and baseline of 7.0b

bsearch78.0ms

Steps

Iters	Range		Point
6	3.867702163868204e-20	2.135586924360714e-19	8.02205953564386e-20
9	-4.6733107765896116e-18	-1.2883768751617081e-23	-1.2511771692288799e-19

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	6
1	22	6

end0.0ms

sample754.0ms

Algorithm

intervals

Results

301.0ms

10560×

body

valid

Details

sample30.0ms

simplify10.0ms

prune9.0ms

localize5.0ms

rewrite8.0ms

series53.0ms

simplify66.0ms

prune68.0ms

localize5.0ms

rewrite8.0ms

series51.0ms

simplify93.0ms

prune70.0ms

localize9.0ms

rewrite28.0ms

series276.0ms

simplify35.0ms

prune277.0ms

localize13.0ms

rewrite41.0ms

series227.0ms

simplify98.0ms

prune465.0ms

regimes384.0ms

bsearch78.0ms

simplify1.0ms

end0.0ms

sample754.0ms

Profiling