Details

sample53.0ms

Algorithm

intervals

Results

14.0ms	304×	body	80	valid
11.0ms	281×	body	80	nan

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	368	12
1	368	12

prune11.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.0b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 39

Calls

2 calls:

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

series30.0ms

Counts

2 → 6

Calls

2 calls:

15.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
15.0ms	(* y (+ (- 1.0 z) (log z)))

simplify38.0ms

Algorithm

egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4975	511
1	4975	511

prune66.0ms

Filtered

29 candidates to 45 candidates (-55.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	42	3	45
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	42	4	46

Merged error: 0.0b

Counts

46 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z))))
0.5b	(cbrt (+ (- 1.0 z) (log z)))
0.5b	(cbrt (+ (- 1.0 z) (log z)))
0.5b	(cbrt (+ (- 1.0 z) (log z)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

143×	`*-un-lft-identity`
93×	`cbrt-prod`
60×	`distribute-lft-out`
41×	`pow1`
30×	`swap-sqr` `log-pow` `distribute-lft-out--`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
10×	`associate-r` `associate-l`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 131

Calls

4 calls:

21.0ms	(* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z))))
7.0ms	(cbrt (+ (- 1.0 z) (log z)))
7.0ms	(cbrt (+ (- 1.0 z) (log z)))
7.0ms	(cbrt (+ (- 1.0 z) (log z)))

series79.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z))))
18.0ms	(cbrt (+ (- 1.0 z) (log z)))
15.0ms	(cbrt (+ (- 1.0 z) (log z)))
15.0ms	(cbrt (+ (- 1.0 z) (log z)))

simplify52.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5007	3541

prune406.0ms

Filtered

80 candidates to 143 candidates (-78.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	142	1	143
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	143	4	147

Merged error: 0.0b

Counts

147 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- 1.0 z) (- 1.0 z))
0.5b	(* (log z) (log z))
5.8b	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
7.6b	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

50×	`*-un-lft-identity`
36×	`add-sqr-sqrt`
30×	`pow1`
18×	`add-cube-cbrt` `distribute-lft-out--`
15×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `add-cbrt-cube`
13×	`swap-sqr` `associate-r`
12×	`associate-l`
10×	`log-pow`
9×	`flip3--` `flip--`
8×	`sub-neg` `times-frac` `associate--l+` `associate-/r*`
7×	`difference-of-squares`
6×	`log-prod` `associate-*r/`
4×	`frac-times` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow-prod-down` `*-commutative` `unswap-sqr`
2×	`cbrt-undiv` `pow2` `pow-plus` `div-exp` `associate-*l/` `associate-/r/` `pow-sqr` `pow-prod-up` `associate-/l/`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 149

Calls

4 calls:

11.0ms	(* (- 1.0 z) (- 1.0 z))
6.0ms	(* (log z) (log z))
15.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
25.0ms	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

series105.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(* (- 1.0 z) (- 1.0 z))
17.0ms	(* (log z) (log z))
23.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
63.0ms	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

simplify66.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5016	2088

prune437.0ms

Filtered

91 candidates to 161 candidates (-76.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	160	1	161
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	161	4	165

Merged error: 0b

Counts

165 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (- 1.0 (+ z (log z))))
0.5b	(* (log z) (log z))
5.8b	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
7.5b	(* (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (/ 1 (- 1.0 (+ z (log z)))))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

86×	`*-un-lft-identity`
53×	`add-sqr-sqrt`
42×	`times-frac`
35×	`add-cube-cbrt` `associate-r`
34×	`add-exp-log`
32×	`pow1`
22×	`add-cbrt-cube`
21×	`distribute-lft-out--`
14×	`prod-exp` `distribute-lft-out`
13×	`distribute-rgt-in` `distribute-lft-in` `log-pow`
8×	`associate-l` `associate--l+` `cbrt-unprod` `difference-of-squares`
7×	`associate-r/` `associate-/r`
6×	`sub-neg` `log-prod` `swap-sqr` `div-exp`
5×	`flip3--` `pow-prod-down` `flip--`
4×	`associate-/r/` `add-log-exp`
3×	`cbrt-undiv` `rec-exp` `1-exp` `-commutative` `associate-/l`
2×	`frac-times` `associate-*l/` `div-inv` `unswap-sqr`
1×	`pow2` `pow-flip` `frac-2neg` `pow-plus` `clear-num` `pow-sqr` `un-div-inv` `pow-prod-up` `inv-pow`

Counts

4 → 174

Calls

4 calls:

9.0ms	(/ 1 (- 1.0 (+ z (log z))))
6.0ms	(* (log z) (log z))
18.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
26.0ms	(* (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (/ 1 (- 1.0 (+ z (log z)))))

series110.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ 1 (- 1.0 (+ z (log z))))
17.0ms	(* (log z) (log z))
26.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
59.0ms	(* (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (/ 1 (- 1.0 (+ z (log z)))))

simplify89.0ms

Algorithm

egg-herbie

Counts

186 → 186

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4976	2739
1	4976	2739

prune246.0ms

Filtered

100 candidates to 186 candidates (-86.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	186	0	186
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	186	4	190

Merged error: 0b

Counts

190 → 4

regimes405.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	12
1	15	12

end0.0ms

sample1.6s

Algorithm

intervals

Results

446.0ms	9200×	body	80	valid
372.0ms	9128×	body	80	nan

Details

sample53.0ms

simplify8.0ms

prune11.0ms

localize11.0ms

rewrite19.0ms

series30.0ms

simplify38.0ms

prune66.0ms

localize16.0ms

rewrite50.0ms

series79.0ms

simplify52.0ms

prune406.0ms

localize15.0ms

rewrite62.0ms

series105.0ms

simplify66.0ms

prune437.0ms

localize17.0ms

rewrite67.0ms

series110.0ms

simplify89.0ms

prune246.0ms

regimes405.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.6s

Profiling