Details

sample39.0ms

Algorithm

intervals

Results

13.0ms	291×	body	80	valid
9.0ms	257×	body	80	nan

simplify61.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	25	6
1	51	6
2	104	6
3	191	6
4	262	6
5	353	6
6	466	6
7	712	6
8	1110	6
9	1256	6
10	1257	6
11	1257	6

prune2.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: 0.1b

Counts

2 → 1

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (- 1.0 z) (log z))
0.0b	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
0.2b	(* y (+ (- 1.0 z) (log z)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 61

Calls

3 calls:

7.0ms	(+ (- 1.0 z) (log z))
6.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
9.0ms	(* y (+ (- 1.0 z) (log z)))

series297.0ms

Counts

3 → 9

Calls

3 calls:

167.0ms	(+ (- 1.0 z) (log z))
55.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
75.0ms	(* y (+ (- 1.0 z) (log z)))

simplify45.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	359	419
1	1515	371
2	5002	370

prune131.0ms

Filtered

70 candidates to 45 candidates (64.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	64	6	70
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	64	7	71

Merged error: 0.0b

Counts

71 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x 0.5) (+ (* y (- 1.0 z)) (* y (log z))))
0.0b	(* y (- 1.0 z))
0.1b	(+ (* y (- 1.0 z)) (* y (log z)))
0.3b	(* y (log z))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
12×	`add-cube-cbrt` `log-prod`
11×	`add-log-exp`
10×	`distribute-rgt-in` `distribute-lft-in`
9×	`pow1` `associate-r`
8×	`add-exp-log` `add-cbrt-cube`
7×	`associate-+r+`
6×	`associate-l`
4×	`sub-neg` `associate-+l+` `sum-log`
2×	`+-commutative` `flip3-+` `associate-r/` `pow-prod-down` `prod-exp` `-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`
1×	`flip3--` `log-pow` `flip--` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 86

Calls

4 calls:

8.0ms	(+ (* x 0.5) (+ (* y (- 1.0 z)) (* y (log z))))
6.0ms	(* y (- 1.0 z))
7.0ms	(+ (* y (- 1.0 z)) (* y (log z)))
4.0ms	(* y (log z))

series226.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(+ (* x 0.5) (+ (* y (- 1.0 z)) (* y (log z))))
31.0ms	(* y (- 1.0 z))
92.0ms	(+ (* y (- 1.0 z)) (* y (log z)))
40.0ms	(* y (log z))

simplify60.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	436	538
1	1993	482
2	5001	472

prune179.0ms

Filtered

98 candidates to 62 candidates (63.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	3	2	5
Picked	0	1	1
Done	0	1	1
Total	98	7	105

Merged error: 0.0b

Counts

105 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (- 1.0 (- z (* 2 (log (cbrt z))))) y)
0.3b	(* y (log (cbrt z)))
0.6b	(cbrt z)
0.6b	(cbrt z)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
12×	`cbrt-prod` `log-prod`
9×	`pow1`
8×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`add-log-exp`
3×	`pow1/3`
2×	`pow-prod-down` `associate-l/` `prod-exp` `log-pow` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`flip3--` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 76

Calls

4 calls:

7.0ms	(* (- 1.0 (- z (* 2 (log (cbrt z))))) y)
5.0ms	(* y (log (cbrt z)))
1.0ms	(cbrt z)
1.0ms	(cbrt z)

series583.0ms

Counts

4 → 12

Calls

4 calls:

135.0ms	(* (- 1.0 (- z (* 2 (log (cbrt z))))) y)
91.0ms	(* y (log (cbrt z)))
182.0ms	(cbrt z)
175.0ms	(cbrt z)

simplify37.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	261	501
1	1110	442
2	5001	424

prune256.0ms

Filtered

88 candidates to 71 candidates (80.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	88	7	95

Merged error: 0.0b

Counts

95 → 7

localize26.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (log z) (log z))
0.7b	(pow (log z) 3)
2.3b	(* y (+ (pow (- 1.0 z) 3) (pow (log z) 3)))
15.7b	(/ (* y (+ (pow (- 1.0 z) 3) (pow (log z) 3))) (+ (* (- 1.0 z) (- 1.0 z)) (- (* (log z) (log z)) (* (- 1.0 z) (log z)))))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

53×	`*-un-lft-identity`
30×	`pow1`
25×	`associate-r`
21×	`add-sqr-sqrt`
20×	`unpow-prod-down` `flip3--` `cube-prod` `flip--`
18×	`associate-/r/`
17×	`add-cube-cbrt` `distribute-lft-out`
16×	`frac-add` `log-pow`
14×	`add-exp-log` `add-cbrt-cube`
8×	`frac-times` `associate-*r/` `distribute-lft-out--`
7×	`associate-l`
6×	`log-prod` `swap-sqr`
4×	`distribute-rgt-in` `distribute-lft-in` `associate-*l/` `add-log-exp`
3×	`pow-unpow` `flip3-+` `times-frac` `prod-exp` `associate-/r*` `cbrt-unprod` `flip-+`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative` `associate-/l/` `unswap-sqr`
1×	`pow2` `cube-mult` `pow-to-exp` `pow-pow` `frac-2neg` `pow-plus` `unpow3` `pow-exp` `clear-num` `pow-sqr` `sum-cubes` `pow-prod-up` `div-inv` `associate-/l*` `rem-cube-cbrt` `sqr-pow`

Counts

4 → 142

Calls

4 calls:

5.0ms	(* (log z) (log z))
3.0ms	(pow (log z) 3)
21.0ms	(* y (+ (pow (- 1.0 z) 3) (pow (log z) 3)))
31.0ms	(/ (* y (+ (pow (- 1.0 z) 3) (pow (log z) 3))) (+ (* (- 1.0 z) (- 1.0 z)) (- (* (log z) (log z)) (* (- 1.0 z) (log z)))))

series902.0ms

Counts

4 → 12

Calls

4 calls:

156.0ms	(* (log z) (log z))
179.0ms	(pow (log z) 3)
99.0ms	(* y (+ (pow (- 1.0 z) 3) (pow (log z) 3)))
467.0ms	(/ (* y (+ (pow (- 1.0 z) 3) (pow (log z) 3))) (+ (* (- 1.0 z) (- 1.0 z)) (- (* (log z) (log z)) (* (- 1.0 z) (log z)))))

simplify50.0ms

Algorithm

egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1109	2070
1	5001	1938

prune406.0ms

Filtered

154 candidates to 89 candidates (57.8%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	154	7	161

Merged error: 0.0b

Counts

161 → 7

regimes222.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 (0.0ms)

Iter	Nodes	Cost
0	15	6
1	15	6

end0.0ms

sample1.1s

Algorithm

intervals

Results

412.0ms	9167×	body	80	valid
340.0ms	9182×	body	80	nan

Details

sample39.0ms

simplify61.0ms

prune2.0ms

localize14.0ms

rewrite23.0ms

series297.0ms

simplify45.0ms

prune131.0ms

localize10.0ms

rewrite27.0ms

series226.0ms

simplify60.0ms

prune179.0ms

localize14.0ms

rewrite16.0ms

series583.0ms

simplify37.0ms

prune256.0ms

localize26.0ms

rewrite65.0ms

series902.0ms

simplify50.0ms

prune406.0ms

regimes222.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling