Details

analyze839.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

sample104.0ms

Algorithm

intervals

Results

27.0ms	421×	body	80	nan
20.0ms	256×	body	80	valid
17.0ms	222×	body	80	invalid

simplify41.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5079	16

prune17.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.4b

Counts

2 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.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))
11.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series130.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (- t 1.0) (log a))
7.0ms	(* y (log z))
44.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
70.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify33.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5016	1237

prune176.0ms

Filtered

76 candidates to 106 candidates (-39.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

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

Merged error: 0.2b

Counts

108 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y)
0.5b	(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
0.7b	(/ (pow a (- t 1.0)) (exp b))
1.2b	(* x (/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

100×	`add-exp-log`
71×	`add-sqr-sqrt`
63×	`times-frac`
56×	`div-exp`
50×	`prod-exp`
43×	`add-cube-cbrt` `*-un-lft-identity`
35×	`associate-r`
34×	`add-cbrt-cube`
31×	`unpow-prod-down`
22×	`pow-to-exp` `pow-exp`
15×	`sqr-pow`
13×	`unswap-sqr`
10×	`cbrt-undiv` `associate-l` `cbrt-unprod`
9×	`associate-/l*`
7×	`unpow-prod-up` `sub-neg`
6×	`pow1` `associate-/r*`
4×	`div-inv` `add-log-exp`
3×	`associate-*r/`
2×	`frac-2neg` `clear-num` `*-commutative` `associate-/l/`
1×	`pow-prod-down` `pow-sub`

Counts

4 → 193

Calls

4 calls:

10.0ms	(/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y)
13.0ms	(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
6.0ms	(/ (pow a (- t 1.0)) (exp b))
12.0ms	(* x (/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y))

series214.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y)
55.0ms	(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
23.0ms	(/ (pow a (- t 1.0)) (exp b))
71.0ms	(* x (/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y))

simplify78.0ms

Algorithm

egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5243	3154

prune251.0ms

Filtered

131 candidates to 205 candidates (-56.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	204	1	205
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	206	6	212

Merged error: 0.2b

Counts

212 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow a (- t 1.0))
0.5b	(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
0.7b	(/ (pow a (- t 1.0)) (exp b))
1.7b	(/ (* x (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) y)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

70×	`add-exp-log` `add-sqr-sqrt`
60×	`times-frac`
44×	`*-un-lft-identity`
42×	`add-cube-cbrt`
37×	`prod-exp`
35×	`div-exp`
34×	`unpow-prod-down`
28×	`associate-r`
25×	`add-cbrt-cube`
16×	`pow-to-exp` `pow-exp` `sqr-pow`
12×	`unswap-sqr`
9×	`associate-/l*`
8×	`unpow-prod-up` `sub-neg`
7×	`cbrt-undiv` `associate-l` `cbrt-unprod`
6×	`associate-/r*`
5×	`pow1` `pow-unpow`
4×	`add-log-exp`
3×	`associate-*r/` `div-inv`
2×	`frac-2neg` `clear-num` `associate-/l/` `pow-sub`
1×	`pow-pow` `*-commutative` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 177

Calls

4 calls:

4.0ms	(pow a (- t 1.0))
13.0ms	(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
6.0ms	(/ (pow a (- t 1.0)) (exp b))
12.0ms	(/ (* x (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) y)

series163.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(pow a (- t 1.0))
57.0ms	(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
21.0ms	(/ (pow a (- t 1.0)) (exp b))
73.0ms	(/ (* x (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) y)

simplify76.0ms

Algorithm

egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4976	2754
1	4976	2754

prune242.0ms

Filtered

127 candidates to 189 candidates (-48.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	188	1	189
Fresh	0	3	3
Picked	1	0	1
Done	0	2	2
Total	189	6	195

Merged error: 0.2b

Counts

195 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow a (- t 1.0))
0.5b	(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
0.7b	(/ (pow a (- t 1.0)) (exp b))
1.7b	(* (* x (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) (/ 1 y))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

222×	`add-exp-log`
168×	`prod-exp`
76×	`div-exp`
75×	`add-sqr-sqrt`
66×	`times-frac`
49×	`*-un-lft-identity`
47×	`add-cube-cbrt`
43×	`add-cbrt-cube`
41×	`associate-r`
37×	`pow-to-exp` `pow-exp`
34×	`unpow-prod-down`
20×	`cbrt-unprod`
16×	`sqr-pow`
14×	`rec-exp` `1-exp`
12×	`unswap-sqr`
10×	`pow1`
8×	`cbrt-undiv` `unpow-prod-up` `sub-neg` `associate-l` `associate-/l*`
6×	`associate-*r/`
5×	`pow-unpow`
4×	`add-log-exp`
3×	`pow-prod-down` `associate-/r*` `div-inv`
2×	`*-commutative` `pow-sub`
1×	`frac-times` `pow-pow` `frac-2neg` `associate-*l/` `clear-num` `un-div-inv` `associate-/l/` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 233

Calls

4 calls:

4.0ms	(pow a (- t 1.0))
13.0ms	(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
6.0ms	(/ (pow a (- t 1.0)) (exp b))
15.0ms	(* (* x (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) (/ 1 y))

series165.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(pow a (- t 1.0))
57.0ms	(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
21.0ms	(/ (pow a (- t 1.0)) (exp b))
74.0ms	(* (* x (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) (/ 1 y))

simplify86.0ms

Algorithm

egg-herbie

Counts

245 → 245

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4989	3774
1	4989	3774

prune259.0ms

Filtered

135 candidates to 245 candidates (-81.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	243	2	245
Fresh	1	2	3
Picked	1	0	1
Done	0	2	2
Total	245	6	251

Merged error: 0.2b

Counts

251 → 6

regimes1.1s

Accuracy

-2.4% (2.0b remaining)

Error of 2.1b against oracle of 0.1b and baseline of 2.0b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	57	53
1	57	53

end0.0ms

sample3.2s

Algorithm

intervals

Results

958.0ms	14222×	body	80	nan
632.0ms	7999×	body	80	valid
565.0ms	7210×	body	80	invalid
0.0ms	1×	body	160	valid

Details

analyze839.0ms

sample104.0ms

simplify41.0ms

prune17.0ms

localize19.0ms

rewrite31.0ms

series130.0ms

simplify33.0ms

prune176.0ms

localize14.0ms

rewrite51.0ms

series214.0ms

simplify78.0ms

prune251.0ms

localize14.0ms

rewrite42.0ms

series163.0ms

simplify76.0ms

prune242.0ms

localize15.0ms

rewrite49.0ms

series165.0ms

simplify86.0ms

prune259.0ms

regimes1.1s

bsearch1.0ms

simplify2.0ms

end0.0ms

sample3.2s

Profiling