Details

analyze368.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	68.6%	31.4%	5
0%	65.5%	34.5%	6
0%	59.2%	40.8%	7
0%	51.4%	48.6%	8
0%	41.3%	58.7%	9
0%	28.4%	71.6%	10
2.3%	22.3%	75.4%	11
2.3%	21%	76.7%	12
2.7%	18%	79.3%	13
2.7%	16.4%	80.8%	14

sample44.0ms

Algorithm

intervals

Results

18.0ms	256×	body	80	valid
9.0ms	146×	body	80	nan
0.0ms	2×	body	80	invalid

simplify96.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	5198	16

prune18.0ms

Filtered

1 candidates to 1 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.3b

Counts

2 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.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`
6×	`add-exp-log` `distribute-rgt-in` `associate-+l+` `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 → 100

Calls

4 calls:

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

series103.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(- (+ (log (+ x y)) (log z)) t)
9.0ms	(* (- a 0.5) (log t))
50.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
14.0ms	(+ (log (+ x y)) (log z))

simplify31.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5089	1608

prune175.0ms

Filtered

85 candidates to 112 candidates (-31.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	104	8	112
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	106	8	114

Merged error: 0.0b

Counts

114 → 8

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
16×	`log-prod` `*-un-lft-identity`
14×	`sum-log`
13×	`associate-+r+`
12×	`cbrt-prod`
11×	`add-sqr-sqrt` `add-cube-cbrt`
9×	`associate-+l-`
6×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `flip-+`
5×	`pow1` `associate-+l+`
4×	`add-exp-log` `log-div` `associate-*l/` `frac-add` `add-cbrt-cube`
3×	`distribute-lft-out`
2×	`+-commutative` `associate-+r-` `flip3--` `pow1/3` `diff-log` `flip--`
1×	`log-pow`

Counts

4 → 79

Calls

4 calls:

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

series267.0ms

Counts

4 → 12

Calls

4 calls:

128.0ms	(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (* 2 (log (cbrt t))))))
97.0ms	(+ (+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (* 2 (log (cbrt t)))))) (* (- a 0.5) (log (cbrt t))))
21.0ms	(cbrt t)
21.0ms	(cbrt t)

simplify34.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5316	2010

prune212.0ms

Filtered

76 candidates to 91 candidates (-19.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	3	4	7
Picked	0	1	1
Done	0	0	0
Total	93	6	99

Merged error: 0b

Counts

99 → 6

localize30.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(cbrt (cbrt t))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-prod`
9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`

Counts

4 → 47

Calls

4 calls:

1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)
2.0ms	(cbrt (cbrt t))

series94.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(cbrt t)
21.0ms	(cbrt t)
23.0ms	(cbrt t)
29.0ms	(cbrt (cbrt t))

simplify35.0ms

Algorithm

egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	4926	241
1	4926	241

prune115.0ms

Filtered

43 candidates to 59 candidates (-37.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	59	6	65

Merged error: 0b

Counts

65 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 130

Calls

4 calls:

8.0ms	(* (- a 0.5) (log (sqrt t)))
7.0ms	(* (- a 0.5) (log (sqrt t)))
10.0ms	(+ (- (log z) t) (* (- a 0.5) (log (sqrt t))))
11.0ms	(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log (sqrt t)))))

series99.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (- a 0.5) (log (sqrt t)))
7.0ms	(* (- a 0.5) (log (sqrt t)))
25.0ms	(+ (- (log z) t) (* (- a 0.5) (log (sqrt t))))
60.0ms	(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log (sqrt t)))))

simplify45.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5053	2063

prune143.0ms

Filtered

99 candidates to 142 candidates (-43.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	142	6	148

Merged error: 0b

Counts

148 → 6

regimes799.0ms

Accuracy

0% (0.3b 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 (1.0ms)

Iter	Nodes	Cost
0	45	27
1	45	27

end0.0ms

sample1.2s

Algorithm

intervals

Results

569.0ms	8000×	body	80	valid
290.0ms	4457×	body	80	nan
2.0ms	31×	body	80	invalid

Details

analyze368.0ms

sample44.0ms

simplify96.0ms

prune18.0ms

localize14.0ms

rewrite36.0ms

series103.0ms

simplify31.0ms

prune175.0ms

localize19.0ms

rewrite33.0ms

series267.0ms

simplify34.0ms

prune212.0ms

localize30.0ms

rewrite7.0ms

series94.0ms

simplify35.0ms

prune115.0ms

localize18.0ms

rewrite39.0ms

series99.0ms

simplify45.0ms

prune143.0ms

regimes799.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling