Details

analyze815.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%	99.7%	0.3%	5
6.2%	90.4%	3.4%	6
6.2%	90.4%	3.4%	7
6.2%	88.8%	5%	8
7.8%	77.9%	14.3%	9
7.8%	56.5%	35.7%	10
7.8%	56.5%	35.7%	11
8.1%	41.5%	50.3%	12
8.3%	41.4%	50.3%	13
8.4%	40.2%	51.4%	14

sample94.0ms

Algorithm

intervals

Results

27.0ms	383×	body	80	nan
19.0ms	256×	body	80	valid
15.0ms	203×	body	80	invalid

simplify38.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5079	16

prune16.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.2b

Counts

2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.3b	(* y (log z))
1.0b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.6b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`add-cbrt-cube`
12×	`add-exp-log` `log-prod`
10×	`pow1` `add-log-exp`
8×	`associate-r` `associate-l`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`exp-prod`
3×	`times-frac` `prod-exp` `associate-/r*` `cbrt-unprod` `rem-exp-log`
2×	`cbrt-undiv` `exp-diff` `diff-log` `div-exp` `exp-sum` `pow-prod-down` `associate-l/` `log-pow` `-commutative` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`sub-neg` `flip3--` `frac-2neg` `associate-r/` `associate--l+` `clear-num` `sum-log` `flip--` `div-inv` `associate-/l/` `associate-/l`

Counts

4 → 94

Calls

4 calls:

7.0ms	(* (- t 1.0) (log a))
4.0ms	(* y (log z))
7.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
13.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series135.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (- t 1.0) (log a))
7.0ms	(* y (log z))
46.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
72.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify30.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5016	1237

prune176.0ms

Filtered

76 candidates to 106 candidates (-39.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	100	6	106
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	102	6	108

Merged error: 0.0b

Counts

108 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.3b	(* y (log z))
1.1b	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.6b	(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
21×	`add-exp-log`
20×	`*-un-lft-identity`
16×	`add-cube-cbrt`
13×	`add-cbrt-cube`
12×	`log-prod`
11×	`pow1`
8×	`associate-r` `associate-l`
6×	`distribute-rgt-in` `distribute-lft-in` `prod-exp`
5×	`pow-unpow` `div-exp`
4×	`pow-exp` `add-log-exp`
3×	`unpow-prod-down` `times-frac` `associate-/r*` `cbrt-unprod`
2×	`cbrt-undiv` `unpow-prod-up` `pow-to-exp` `e-exp-1` `pow-prod-down` `associate-l/` `log-pow` `-commutative` `distribute-lft-out--` `pow-sub` `difference-of-squares` `unswap-sqr`
1×	`sub-neg` `flip3--` `pow-pow` `frac-2neg` `associate-r/` `associate--l+` `clear-num` `flip--` `div-inv` `associate-/l/` `associate-/l` `sqr-pow`

Counts

4 → 102

Calls

4 calls:

7.0ms	(* (- t 1.0) (log a))
4.0ms	(* y (log z))
6.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
9.0ms	(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series143.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (- t 1.0) (log a))
7.0ms	(* y (log z))
50.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
76.0ms	(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify48.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5252	1516

prune169.0ms

Filtered

78 candidates to 114 candidates (-46.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	114	6	120

Merged error: 0b

Counts

120 → 6

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b	(* y (log z))
0.8b	(pow (sqrt E) (+ (* y (log z)) (- (* (- t 1.0) (log a)) b)))
0.8b	(pow (sqrt E) (+ (* y (log z)) (- (* (- t 1.0) (log a)) b)))
1.6b	(/ (* x (* (pow (sqrt E) (+ (* y (log z)) (- (* (- t 1.0) (log a)) b))) (pow (sqrt E) (+ (* y (log z)) (- (* (- t 1.0) (log a)) b))))) y)

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-exp-log`
20×	`prod-exp`
18×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
15×	`add-cbrt-cube`
12×	`unpow-prod-down`
11×	`pow1` `div-exp`
8×	`pow-to-exp` `pow-exp`
6×	`associate-+r-` `pow-unpow` `log-prod` `pow-pow` `sqrt-prod` `pow-sub`
4×	`associate-r/` `associate-r*` `cbrt-unprod` `add-log-exp`
3×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `times-frac` `associate-l` `associate-/r*` `associate-/l/`
2×	`unpow-prod-up` `sqrt-pow1` `pow1/2` `sqrt-pow2` `sqr-pow`
1×	`frac-times` `frac-2neg` `pow-prod-down` `associate-l/` `clear-num` `log-pow` `-commutative` `div-inv` `associate-/l*` `unswap-sqr`

Counts

4 → 109

Calls

4 calls:

5.0ms	(* y (log z))
12.0ms	(pow (sqrt E) (+ (* y (log z)) (- (* (- t 1.0) (log a)) b)))
10.0ms	(pow (sqrt E) (+ (* y (log z)) (- (* (- t 1.0) (log a)) b)))
13.0ms	(/ (* x (* (pow (sqrt E) (+ (* y (log z)) (- (* (- t 1.0) (log a)) b))) (pow (sqrt E) (+ (* y (log z)) (- (* (- t 1.0) (log a)) b))))) y)

series251.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* y (log z))
59.0ms	(pow (sqrt E) (+ (* y (log z)) (- (* (- t 1.0) (log a)) b)))
62.0ms	(pow (sqrt E) (+ (* y (log z)) (- (* (- t 1.0) (log a)) b)))
122.0ms	(/ (* x (* (pow (sqrt E) (+ (* y (log z)) (- (* (- t 1.0) (log a)) b))) (pow (sqrt E) (+ (* y (log z)) (- (* (- t 1.0) (log a)) b))))) y)

simplify56.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4958	2374
1	4958	2374

prune191.0ms

Filtered

79 candidates to 121 candidates (-53.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	121	6	127

Merged error: 0b

Counts

127 → 6

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* (pow a (neg 1.0)) (* (pow z y) (pow a t))) (exp b))
0.0b	(* (pow a (neg 1.0)) (* (pow z y) (pow a t)))
0.1b	(/ (/ (* (pow a (neg 1.0)) (* (pow z y) (pow a t))) (exp b)) y)
1.0b	(* x (/ (/ (* (pow a (neg 1.0)) (* (pow z y) (pow a t))) (exp b)) y))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

343×	`add-exp-log`
261×	`prod-exp`
157×	`div-exp`
112×	`pow-to-exp` `pow-exp`
67×	`times-frac`
52×	`add-cbrt-cube`
44×	`add-sqr-sqrt`
39×	`add-cube-cbrt` `*-un-lft-identity`
26×	`associate-r`
17×	`cbrt-undiv` `cbrt-unprod`
10×	`associate-l` `div-inv`
8×	`associate-/l*`
6×	`pow1` `associate-/r*`
4×	`associate-*l/` `add-log-exp`
3×	`unpow-prod-down` `associate-/l/`
2×	`neg-sub0` `pow-neg` `frac-2neg` `clear-num` `*-commutative` `pow-sub` `unswap-sqr`
1×	`associate-*r/` `pow-prod-down` `sqr-pow`

Counts

4 → 259

Calls

4 calls:

11.0ms	(/ (* (pow a (neg 1.0)) (* (pow z y) (pow a t))) (exp b))
9.0ms	(* (pow a (neg 1.0)) (* (pow z y) (pow a t)))
15.0ms	(/ (/ (* (pow a (neg 1.0)) (* (pow z y) (pow a t))) (exp b)) y)
20.0ms	(* x (/ (/ (* (pow a (neg 1.0)) (* (pow z y) (pow a t))) (exp b)) y))

series355.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(/ (* (pow a (neg 1.0)) (* (pow z y) (pow a t))) (exp b))
47.0ms	(* (pow a (neg 1.0)) (* (pow z y) (pow a t)))
94.0ms	(/ (/ (* (pow a (neg 1.0)) (* (pow z y) (pow a t))) (exp b)) y)
134.0ms	(* x (/ (/ (* (pow a (neg 1.0)) (* (pow z y) (pow a t))) (exp b)) y))

simplify94.0ms

Algorithm

egg-herbie

Counts

271 → 271

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5072	4851

prune193.0ms

Filtered

120 candidates to 271 candidates (-125.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	271	0	271
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	271	6	277

Merged error: 0b

Counts

277 → 6

regimes900.0ms

Accuracy

-56.4% (3.1b remaining)

Error of 3.2b against oracle of 0.0b and baseline of 2.0b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	66	75
1	66	75

end0.0ms

sample3.1s

Algorithm

intervals

Results

967.0ms	14356×	body	80	nan
635.0ms	8000×	body	80	valid
558.0ms	7288×	body	80	invalid

Details

analyze815.0ms

sample94.0ms

simplify38.0ms

prune16.0ms

localize16.0ms

rewrite35.0ms

series135.0ms

simplify30.0ms

prune176.0ms

localize18.0ms

rewrite30.0ms

series143.0ms

simplify48.0ms

prune169.0ms

localize23.0ms

rewrite44.0ms

series251.0ms

simplify56.0ms

prune191.0ms

localize20.0ms

rewrite71.0ms

series355.0ms

simplify94.0ms

prune193.0ms

regimes900.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample3.1s

Profiling