Details

sample284.0ms

Algorithm

intervals

Results

137.0ms	1873×	body	80	nan
21.0ms	259×	body	80	valid

simplify57.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	9
1	59	9
2	153	9
3	360	9
4	813	9
5	1639	9
6	3143	9
7	5001	9

prune5.0ms

Filtered

1 candidates to 0 candidates (100.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.4b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (log (+ x y)) (log z)) t)
0.1b	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
0.2b	(* (- a 0.5) (log t))
0.6b	(+ (log (+ x y)) (log z))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 102

Calls

4 calls:

7.0ms	(- (+ (log (+ x y)) (log z)) t)
12.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
6.0ms	(* (- a 0.5) (log t))
6.0ms	(+ (log (+ x y)) (log z))

series125.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(- (+ (log (+ x y)) (log z)) t)
48.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
11.0ms	(* (- a 0.5) (log t))
14.0ms	(+ (log (+ x y)) (log z))

simplify71.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	681	1040
1	2483	977
2	5001	932

prune186.0ms

Filtered

114 candidates to 80 candidates (29.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	104	10	114
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	105	10	115

Merged error: 0.0b

Counts

115 → 10

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt z) (cbrt z))
0.6b	(cbrt z)
0.6b	(cbrt z)
0.6b	(cbrt z)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 73

Calls

4 calls:

5.0ms	(* (cbrt z) (cbrt z))
1.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)

series87.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (cbrt z) (cbrt z))
20.0ms	(cbrt z)
21.0ms	(cbrt z)
21.0ms	(cbrt z)

simplify71.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (66.0ms)

Iter	Nodes	Cost
0	148	349
1	471	322
2	2276	265
3	5002	252

prune131.0ms

Filtered

85 candidates to 56 candidates (34.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	85	10	95

Merged error: 0.0b

Counts

95 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ (- (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) t) (* (- a 0.5) (log t)))
0.2b	(* (- a 0.5) (log t))
0.3b	(+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z)))
0.5b	(+ (log (sqrt (+ x y))) (log z))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

40×	`*-un-lft-identity`
29×	`log-prod`
24×	`pow1` `distribute-lft-out`
19×	`add-sqr-sqrt`
18×	`log-pow`
17×	`associate-+l+`
15×	`add-cube-cbrt` `add-log-exp`
11×	`sum-log`
10×	`associate-+r+`
8×	`sqrt-prod`
7×	`associate-+l-`
6×	`add-exp-log` `distribute-rgt-in` `log-div` `distribute-lft-in` `flip3-+` `sqrt-div` `associate-*l/` `add-cbrt-cube` `flip-+`
5×	`flip3--` `associate-l` `flip--`
4×	`associate-r` `frac-add`
3×	`+-commutative` `diff-log`
2×	`associate-+r-`
1×	`sub-neg` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 118

Calls

4 calls:

17.0ms	(+ (- (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) t) (* (- a 0.5) (log t)))
8.0ms	(* (- a 0.5) (log t))
13.0ms	(+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z)))
8.0ms	(+ (log (sqrt (+ x y))) (log z))

series112.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(+ (- (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) t) (* (- a 0.5) (log t)))
9.0ms	(* (- a 0.5) (log t))
22.0ms	(+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z)))
19.0ms	(+ (log (sqrt (+ x y))) (log z))

simplify78.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	862	1527
1	3259	1385
2	5001	1347

prune185.0ms

Filtered

130 candidates to 92 candidates (29.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	128	2	130
Fresh	2	6	8
Picked	1	0	1
Done	0	1	1
Total	131	9	140

Merged error: 0.0b

Counts

140 → 9

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))
0.6b	(+ (log (+ x y)) (log z))
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

43×	`log-prod`
30×	`distribute-rgt-in` `distribute-lft-in`
28×	`associate-+l+`
26×	`*-un-lft-identity`
24×	`cbrt-prod`
20×	`add-sqr-sqrt` `add-cube-cbrt`
15×	`associate-+r+`
8×	`pow1` `associate-*l/`
6×	`distribute-lft-out` `add-log-exp`
4×	`add-exp-log` `flip3--` `frac-add` `log-pow` `add-cbrt-cube` `flip--`
3×	`flip3-+` `flip-+`
2×	`+-commutative` `associate-+l-` `log-div` `pow1/3` `sum-log`

Counts

4 → 98

Calls

4 calls:

13.0ms	(+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))
6.0ms	(+ (log (+ x y)) (log z))
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series94.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))
14.0ms	(+ (log (+ x y)) (log z))
23.0ms	(cbrt t)
22.0ms	(cbrt t)

simplify59.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	637	941
1	2068	825
2	5001	778

prune150.0ms

Filtered

110 candidates to 95 candidates (13.6%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	108	2	110
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	108	11	119

Merged error: 0b

Counts

119 → 11

regimes1.2s

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	16
1	30	16

end0.0ms

sample7.2s

Algorithm

intervals

Results

3.5s	56669×	body	80	nan
575.0ms	8023×	body	80	valid

Details

sample284.0ms

simplify57.0ms

prune5.0ms

localize15.0ms

rewrite35.0ms

series125.0ms

simplify71.0ms

prune186.0ms

localize20.0ms

rewrite12.0ms

series87.0ms

simplify71.0ms

prune131.0ms

localize17.0ms

rewrite51.0ms

series112.0ms

simplify78.0ms

prune185.0ms

localize20.0ms

rewrite25.0ms

series94.0ms

simplify59.0ms

prune150.0ms

regimes1.2s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample7.2s

Profiling