Details

sample22.0ms

Algorithm

intervals

Results

7.0ms

301×

body

valid

simplify48.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	3
1	22	3
2	33	3
3	36	3
4	42	3
5	46	3
6	54	3
7	282	3
8	2072	3
9	5002	3

prune3.0ms

Filtered

1 candidates to 0 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: 11.6b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (+ y z))
11.0b	(/ (* x (+ y z)) z)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt` `*-un-lft-identity`
6×	`add-cube-cbrt`
4×	`pow1` `associate-r/` `associate-r*`
3×	`times-frac` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `flip3-+` `div-exp` `prod-exp` `cbrt-unprod` `flip-+` `associate-/l/` `add-log-exp`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `pow-prod-down` `clear-num` `-commutative` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

2 → 46

Calls

2 calls:

5.0ms	(* x (+ y z))
6.0ms	(/ (* x (+ y z)) z)

series61.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(* x (+ y z))
37.0ms	(/ (* x (+ y z)) z)

simplify34.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	226	206
1	1099	177
2	5001	177

prune148.0ms

Filtered

52 candidates to 35 candidates (67.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	47	5	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	48	5	53

Merged error: 0.0b

Counts

53 → 5

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ z (+ y z))
1.8b	(/ x (/ z (+ y z)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
94×	`*-un-lft-identity`
62×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`associate-/r*`
16×	`distribute-lft-out`
11×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`

Counts

2 → 123

Calls

2 calls:

5.0ms	(/ z (+ y z))
8.0ms	(/ x (/ z (+ y z)))

series83.0ms

Counts

2 → 6

Calls

2 calls:

38.0ms	(/ z (+ y z))
45.0ms	(/ x (/ z (+ y z)))

simplify55.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	413	869
1	1890	835
2	5001	832

prune362.0ms

Filtered

129 candidates to 91 candidates (70.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	129	5	134

Merged error: 0b

Counts

134 → 5

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ y z) z)
2.2b	(* x (/ (+ y z) z))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
25×	`add-sqr-sqrt` `times-frac`
20×	`add-cube-cbrt`
16×	`associate-r`
9×	`add-exp-log` `add-cbrt-cube`
7×	`distribute-lft-out`
4×	`pow1` `associate-/l*`
3×	`associate-l` `associate-/r*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `flip3-+` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `flip-+`

Counts

2 → 68

Calls

2 calls:

5.0ms	(/ (+ y z) z)
11.0ms	(* x (/ (+ y z) z))

series50.0ms

Counts

2 → 6

Calls

2 calls:

16.0ms	(/ (+ y z) z)
33.0ms	(* x (/ (+ y z) z))

simplify85.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	233	344
1	1013	313
2	3948	313
3	5001	313

prune187.0ms

Filtered

74 candidates to 49 candidates (66.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	74	5	79

Merged error: 0b

Counts

79 → 5

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (/ (* x y) z) x)
6.0b	(/ (* x y) z)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-exp-log` `add-cbrt-cube`
6×	`*-un-lft-identity`
4×	`add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
3×	`times-frac` `associate-/r*`
2×	`pow1` `cbrt-undiv` `div-exp`
1×	`+-commutative` `frac-2neg` `flip3-+` `prod-exp` `clear-num` `sum-log` `cbrt-unprod` `flip-+` `div-inv` `distribute-lft-out` `associate-/l*`

Counts

2 → 33

Calls

2 calls:

6.0ms	(+ (/ (* x y) z) x)
4.0ms	(/ (* x y) z)

series44.0ms

Counts

2 → 6

Calls

2 calls:

26.0ms	(+ (/ (* x y) z) x)
18.0ms	(/ (* x y) z)

simplify84.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 2 (19.0ms)

Iter	Nodes	Cost
0	168	160
1	736	144
2	3353	142
3	5001	142

prune94.0ms

Filtered

39 candidates to 26 candidates (66.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	39	0	39
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	39	5	44

Merged error: 0b

Counts

44 → 5

regimes175.0ms

Accuracy

4.6% (2.6b remaining)

Error of 2.6b against oracle of 0.0b and baseline of 2.7b

bsearch56.0ms

Steps

Iters	Range		Point
8	-2.2525504020736545e-280	-9.713192194754105e-284	-1.0788090645499864e-283
7	-2.7985570989888334e-186	-6.004224838987446e-188	-6.060181816469218e-187

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	9
1	21	9

end0.0ms

sample547.0ms

Algorithm

intervals

Results

230.0ms

9583×

body

valid

Details

sample22.0ms

simplify48.0ms

prune3.0ms

localize5.0ms

rewrite13.0ms

series61.0ms

simplify34.0ms

prune148.0ms

localize5.0ms

rewrite18.0ms

series83.0ms

simplify55.0ms

prune362.0ms

localize5.0ms

rewrite19.0ms

series50.0ms

simplify85.0ms

prune187.0ms

localize5.0ms

rewrite11.0ms

series44.0ms

simplify84.0ms

prune94.0ms

regimes175.0ms

bsearch56.0ms

simplify1.0ms

end0.0ms

sample547.0ms

Profiling