Details

sample213.0ms

Algorithm

intervals

Results

95.0ms	1519×	body	80	nan
38.0ms	484×	body	80	valid

simplify51.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	32	10
1	65	10
2	181	8
3	522	8
4	2203	8
5	5002	8

prune10.0ms

Filtered

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

Counts

2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 89

Calls

4 calls:

4.0ms	(* y (log z))
6.0ms	(+ (* y (log z)) (* (- t 1.0) (log a)))
6.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)

series410.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* y (log z))
71.0ms	(+ (* y (log z)) (* (- t 1.0) (log a)))
112.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
191.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify60.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	509	924
1	2060	793
2	5003	736

prune323.0ms

Filtered

101 candidates to 76 candidates (75.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	94	7	101
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	95	8	103

Merged error: 0.0b

Counts

103 → 8

localize22.0ms

Local error

Found 4 expressions with local error:

1.4b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
1.5b	(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
1.5b	(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
1.5b	(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

21×	`cbrt-prod`
12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
9×	`add-cbrt-cube`
8×	`add-exp-log`
4×	`pow1` `div-inv` `add-log-exp`
3×	`cbrt-div` `pow1/3` `associate-/r*`
2×	`cbrt-undiv` `div-exp`
1×	`frac-2neg` `exp-diff` `associate-r/` `prod-exp` `clear-num` `cbrt-unprod` `associate-/l/` `associate-/l`

Counts

4 → 70

Calls

4 calls:

11.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
8.0ms	(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
8.0ms	(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
8.0ms	(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))

series908.0ms

Counts

4 → 12

Calls

4 calls:

163.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
247.0ms	(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
252.0ms	(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
245.0ms	(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))

simplify44.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	385	1378
1	1455	1242
2	5001	1193

prune464.0ms

Filtered

82 candidates to 77 candidates (93.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	82	8	90

Merged error: 0.0b

Counts

90 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite103.0ms

Algorithm

rewrite-expression-head

Rules

889×	`times-frac`
405×	`add-sqr-sqrt` `*-un-lft-identity`
403×	`add-cube-cbrt`
348×	`unpow-prod-down`
234×	`pow-unpow`
116×	`sqr-pow`
100×	`unpow-prod-up`
50×	`sub-neg`
41×	`associate-/r*`
24×	`add-exp-log` `div-exp`
19×	`div-inv`
18×	`associate-/r/`
17×	`pow-sub`
15×	`pow-pow`
13×	`exp-prod`
11×	`add-cbrt-cube`
10×	`pow-to-exp` `pow-exp` `associate-/l*`
6×	`pow1`
4×	`cbrt-undiv` `add-log-exp`
2×	`frac-2neg` `clear-num`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

4 → 620

Calls

4 calls:

6.0ms	(/ (exp b) (pow a (- t 1.0)))
5.0ms	(pow a (- t 1.0))
15.0ms	(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
28.0ms	(pow (exp (/ x y)) (/ (pow z y) (/ (exp b) (pow a (- t 1.0)))))

series503.0ms

Counts

4 → 12

Calls

4 calls:

78.0ms	(/ (exp b) (pow a (- t 1.0)))
55.0ms	(pow a (- t 1.0))
163.0ms	(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
206.0ms	(pow (exp (/ x y)) (/ (pow z y) (/ (exp b) (pow a (- t 1.0)))))

simplify115.0ms

Algorithm

egg-herbie

Counts

632 → 632

Iterations

Useful iterations: 1 (40.0ms)

Iter	Nodes	Cost
0	2247	7637
1	5002	7568

prune2.4s

Filtered

632 candidates to 432 candidates (68.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	632	0	632
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	632	8	640

Merged error: 0.0b

Counts

640 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

470×	`times-frac`
222×	`add-sqr-sqrt` `*-un-lft-identity`
220×	`add-cube-cbrt`
186×	`unpow-prod-down`
70×	`add-exp-log`
62×	`sqr-pow`
59×	`div-exp`
58×	`unpow-prod-up`
44×	`associate-/r*`
29×	`sub-neg`
25×	`add-cbrt-cube`
16×	`pow-to-exp` `pow-exp`
13×	`prod-exp`
11×	`cbrt-undiv` `div-inv` `associate-/l*`
10×	`associate-/r/` `pow-sub`
5×	`pow1` `pow-unpow`
4×	`add-log-exp`
3×	`frac-2neg` `clear-num` `cbrt-unprod`
1×	`pow-pow` `associate-*r/` `associate-/l/` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 400

Calls

4 calls:

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

series506.0ms

Counts

4 → 12

Calls

4 calls:

78.0ms	(/ (exp b) (pow a (- t 1.0)))
59.0ms	(pow a (- t 1.0))
160.0ms	(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
209.0ms	(/ (* x (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))) y)

simplify90.0ms

Algorithm

egg-herbie

Counts

412 → 412

Iterations

Useful iterations: 1 (36.0ms)

Iter	Nodes	Cost
0	1465	5113
1	5001	4925

prune1.1s

Filtered

412 candidates to 273 candidates (66.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	409	3	412
Fresh	2	3	5
Picked	1	0	1
Done	0	2	2
Total	412	8	420

Merged error: 0.0b

Counts

420 → 8

regimes522.0ms

Accuracy

0% (1.9b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	35
1	25	35

end0.0ms

sample6.2s

Algorithm

intervals

Results

2.9s	44013×	body	80	nan
1.1s	14811×	body	80	valid
0.0ms	1×	body	160	valid

Details

sample213.0ms

simplify51.0ms

prune10.0ms

localize18.0ms

rewrite30.0ms

series410.0ms

simplify60.0ms

prune323.0ms

localize22.0ms

rewrite36.0ms

series908.0ms

simplify44.0ms

prune464.0ms

localize16.0ms

rewrite103.0ms

series503.0ms

simplify115.0ms

prune2.4s

localize13.0ms

rewrite81.0ms

series506.0ms

simplify90.0ms

prune1.1s

regimes522.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample6.2s

Profiling