Details

analyze899.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	74.8%	25.2%	5
0%	74.8%	25.2%	6
0%	74.8%	25.2%	7
0%	74.8%	25.2%	8
0%	74.8%	25.2%	9
0%	62.3%	37.7%	10
0%	56.1%	43.9%	11
0%	56.1%	43.9%	12
1.6%	54.5%	43.9%	13
2.4%	53.7%	43.9%	14

sample38.0ms

Algorithm

intervals

Results

14.0ms	256×	body	80	valid
2.0ms	41×	body	80	invalid
1.0ms	24×	body	80	nan

simplify218.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (216.0ms)

Iter	Nodes	Cost
0	3717	16
1	3717	16

prune9.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.1b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 88

Calls

4 calls:

6.0ms	(* (- a 0.5) b)
12.0ms	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
9.0ms	(- (+ (+ x y) z) (* z (log t)))
4.0ms	(* z (log t))

series62.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (- a 0.5) b)
38.0ms	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
13.0ms	(- (+ (+ x y) z) (* z (log t)))
7.0ms	(* z (log t))

simplify42.0ms

Algorithm

egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4998	1309
1	4998	1309

prune141.0ms

Filtered

71 candidates to 100 candidates (-40.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	94	6	100
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	6	101

Merged error: 0.0b

Counts

101 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b	(* z (log (cbrt t)))
0.3b	(* z (* -2 (log (cbrt t))))
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

36×	`log-prod`
30×	`distribute-rgt-in` `distribute-lft-in`
24×	`cbrt-prod`
23×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow1`
11×	`add-exp-log` `add-cbrt-cube`
6×	`associate-r` `associate-l`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow1/3`
2×	`log-pow` `*-commutative`
1×	`unswap-sqr`

Counts

4 → 96

Calls

4 calls:

5.0ms	(* z (log (cbrt t)))
6.0ms	(* z (* -2 (log (cbrt t))))
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series84.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* z (log (cbrt t)))
20.0ms	(* z (* -2 (log (cbrt t))))
21.0ms	(cbrt t)
23.0ms	(cbrt t)

simplify63.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5021	903

prune118.0ms

Filtered

60 candidates to 108 candidates (-80.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	108	6	114

Merged error: 0.0b

Counts

114 → 6

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b	(* z (log (pow t 1/3)))
0.3b	(* z (* -2 (log (cbrt t))))
0.6b	(cbrt t)
5.0b	(pow t 1/3)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

38×	`log-prod`
31×	`distribute-rgt-in` `distribute-lft-in`
24×	`add-sqr-sqrt`
22×	`add-cube-cbrt` `*-un-lft-identity`
15×	`cbrt-prod`
12×	`pow1` `add-exp-log`
11×	`add-cbrt-cube`
9×	`unpow-prod-down`
6×	`associate-l`
5×	`associate-r`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow-unpow` `sqr-pow`
2×	`*-commutative`
1×	`pow-to-exp` `pow-pow` `unpow1/3` `pow1/3` `pow-exp` `log-pow` `unswap-sqr`

Counts

4 → 104

Calls

4 calls:

5.0ms	(* z (log (pow t 1/3)))
6.0ms	(* z (* -2 (log (cbrt t))))
1.0ms	(cbrt t)
2.0ms	(pow t 1/3)

series118.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* z (log (pow t 1/3)))
35.0ms	(* z (* -2 (log (cbrt t))))
37.0ms	(cbrt t)
25.0ms	(pow t 1/3)

simplify65.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4925	857
1	4925	857

prune151.0ms

Filtered

59 candidates to 116 candidates (-96.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	116	6	122

Merged error: 0.0b

Counts

122 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

36×	`log-prod`
27×	`add-log-exp`
25×	`*-un-lft-identity`
24×	`add-sqr-sqrt`
20×	`add-cube-cbrt`
18×	`distribute-rgt-in` `distribute-lft-in` `sqrt-prod`
12×	`pow1` `associate-r` `associate--r+`
10×	`sum-log`
8×	`add-exp-log` `add-cbrt-cube`
6×	`diff-log` `associate-l` `log-pow`
4×	`associate-+r-`
3×	`distribute-lft-out`
2×	`sqrt-pow1` `pow1/2` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `associate--l-` `sub-neg` `associate-+r+` `flip3--` `flip3-+` `associate--l+` `flip--` `flip-+`

Counts

4 → 111

Calls

4 calls:

7.0ms	(+ z (+ x (- y (* z (log (sqrt t))))))
11.0ms	(- (+ z (+ x (- y (* z (log (sqrt t)))))) (* z (log (sqrt t))))
5.0ms	(* z (log (sqrt t)))
5.0ms	(* z (log (sqrt t)))

series48.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(+ z (+ x (- y (* z (log (sqrt t))))))
15.0ms	(- (+ z (+ x (- y (* z (log (sqrt t)))))) (* z (log (sqrt t))))
11.0ms	(* z (log (sqrt t)))
9.0ms	(* z (log (sqrt t)))

simplify42.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5044	1377

prune95.0ms

Filtered

77 candidates to 123 candidates (-59.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	123	6	129

Merged error: 0.0b

Counts

129 → 6

regimes1.1s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	65	26
1	65	26

end0.0ms

sample935.0ms

Algorithm

intervals

Results

464.0ms	7994×	body	80	valid
65.0ms	1141×	body	80	invalid
55.0ms	1139×	body	80	nan
1.0ms	2×	body	1280	valid
0.0ms	2×	body	640	valid
0.0ms	1×	body	2560	valid
0.0ms	1×	body	160	valid

Details

analyze899.0ms

sample38.0ms

simplify218.0ms

prune9.0ms

localize12.0ms

rewrite34.0ms

series62.0ms

simplify42.0ms

prune141.0ms

localize18.0ms

rewrite17.0ms

series84.0ms

simplify63.0ms

prune118.0ms

localize25.0ms

rewrite18.0ms

series118.0ms

simplify65.0ms

prune151.0ms

localize15.0ms

rewrite32.0ms

series48.0ms

simplify42.0ms

prune95.0ms

regimes1.1s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample935.0ms

Profiling