Details

sample245.0ms

Algorithm

intervals

Results

90.0ms	1260×	body	80	nan
34.0ms	421×	body	80	valid
3.0ms	12×	body	320	valid
3.0ms	7×	body	640	valid
1.0ms	9×	body	160	valid

simplify38.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4997	17
1	4997	17

prune12.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: 2.6b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
0.1b	(* y (- (log z) t))
0.5b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
5.5b	(log (- 1.0 z))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 101

Calls

4 calls:

9.0ms	(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
8.0ms	(* y (- (log z) t))
13.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
4.0ms	(log (- 1.0 z))

series109.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
14.0ms	(* y (- (log z) t))
41.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms	(log (- 1.0 z))

simplify50.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4966	1589
1	4966	1589

prune206.0ms

Filtered

86 candidates to 113 candidates (-31.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	111	2	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	2	114

Merged error: 0.0b

Counts

114 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (exp (+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b)))))
0.0b	(exp (+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b))))
0.1b	(* y (- (log z) t))
0.5b	(+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b)))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 96

Calls

4 calls:

23.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b)))))
18.0ms	(exp (+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b))))
8.0ms	(* y (- (log z) t))
21.0ms	(+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b)))

series217.0ms

Counts

4 → 12

Calls

4 calls:

89.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b)))))
58.0ms	(exp (+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b))))
15.0ms	(* y (- (log z) t))
55.0ms	(+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b)))

simplify65.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4974	2701
1	4974	2701

prune245.0ms

Filtered

81 candidates to 108 candidates (-33.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	105	3	108
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	105	5	110

Merged error: 0.0b

Counts

110 → 5

localize38.0ms

Local error

Found 4 expressions with local error:

0.1b	(* y (- (log z) t))
0.1b	(* y (- (log z) t))
0.5b	(+ (* y (- (log z) t)) (* a (+ (log 1.0) (- (* (/ z 1.0) (* (/ z 1.0) -1/2)) (+ (* z 1.0) b)))))
0.5b	(+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

26×	`associate--l+`
24×	`distribute-rgt-in` `add-sqr-sqrt` `log-prod` `distribute-lft-in`
22×	`*-un-lft-identity`
20×	`associate-+l+` `associate-*r/`
16×	`add-cube-cbrt`
12×	`associate-r`
10×	`pow1` `sub-neg`
8×	`add-exp-log` `associate-+r+` `flip3--` `frac-add` `add-cbrt-cube` `flip--` `add-log-exp`
6×	`associate-l`
4×	`flip3-+` `flip-+` `distribute-lft-out--`
2×	`+-commutative` `pow-prod-down` `prod-exp` `sum-log` `log-pow` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr`

Counts

4 → 124

Calls

4 calls:

8.0ms	(* y (- (log z) t))
7.0ms	(* y (- (log z) t))
10.0ms	(+ (* y (- (log z) t)) (* a (+ (log 1.0) (- (* (/ z 1.0) (* (/ z 1.0) -1/2)) (+ (* z 1.0) b)))))
19.0ms	(+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b)))

series131.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(* y (- (log z) t))
14.0ms	(* y (- (log z) t))
50.0ms	(+ (* y (- (log z) t)) (* a (+ (log 1.0) (- (* (/ z 1.0) (* (/ z 1.0) -1/2)) (+ (* z 1.0) b)))))
53.0ms	(+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b)))

simplify42.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5218	3128

prune474.0ms

Filtered

98 candidates to 136 candidates (-38.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	136	5	141

Merged error: 0.0b

Counts

141 → 5

localize43.0ms

Local error

Found 4 expressions with local error:

0.5b	(+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b)))
10.6b	(cbrt (+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b))))
10.6b	(cbrt (+ (* y (- (log z) t)) (* a (+ (log 1.0) (- (* (/ z 1.0) (* (/ z 1.0) -1/2)) (+ (* z 1.0) b))))))
10.6b	(cbrt (+ (* y (- (log z) t)) (* a (+ (log 1.0) (- (* (/ z 1.0) (* (/ z 1.0) -1/2)) (+ (* z 1.0) b))))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

32×	`associate-*r/`
18×	`cbrt-div`
16×	`frac-add`
12×	`flip3--` `flip--`
10×	`associate-+l+`
9×	`cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
8×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `associate--l+` `flip-+`
6×	`associate-+r+` `log-prod` `add-log-exp`
4×	`pow1` `add-exp-log` `sub-neg` `add-cbrt-cube`
3×	`pow1/3`
1×	`+-commutative` `sum-log`

Counts

4 → 82

Calls

4 calls:

21.0ms	(+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b)))
8.0ms	(cbrt (+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b))))
7.0ms	(cbrt (+ (* y (- (log z) t)) (* a (+ (log 1.0) (- (* (/ z 1.0) (* (/ z 1.0) -1/2)) (+ (* z 1.0) b))))))
7.0ms	(cbrt (+ (* y (- (log z) t)) (* a (+ (log 1.0) (- (* (/ z 1.0) (* (/ z 1.0) -1/2)) (+ (* z 1.0) b))))))

series1.3s

Counts

4 → 12

Calls

4 calls:

52.0ms	(+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b)))
419.0ms	(cbrt (+ (* y (- (log z) t)) (* a (- (+ (log 1.0) (- (* (* (/ z 1.0) (/ z 1.0)) -1/2) (* 1.0 z))) b))))
421.0ms	(cbrt (+ (* y (- (log z) t)) (* a (+ (log 1.0) (- (* (/ z 1.0) (* (/ z 1.0) -1/2)) (+ (* z 1.0) b))))))
432.0ms	(cbrt (+ (* y (- (log z) t)) (* a (+ (log 1.0) (- (* (/ z 1.0) (* (/ z 1.0) -1/2)) (+ (* z 1.0) b))))))

simplify50.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5694	4836

prune702.0ms

Filtered

86 candidates to 94 candidates (-9.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	94	5	99

Merged error: 0.0b

Counts

99 → 5

regimes556.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	72	30
1	72	30

end0.0ms

sample7.6s

Algorithm

intervals

Results

2.8s	40084×	body	80	nan
967.0ms	12370×	body	80	valid
160.0ms	390×	body	640	valid
116.0ms	434×	body	320	valid
53.0ms	66×	body	1280	valid
44.0ms	267×	body	160	valid

Details

sample245.0ms

simplify38.0ms

prune12.0ms

localize15.0ms

rewrite37.0ms

series109.0ms

simplify50.0ms

prune206.0ms

localize20.0ms

rewrite73.0ms

series217.0ms

simplify65.0ms

prune245.0ms

localize38.0ms

rewrite49.0ms

series131.0ms

simplify42.0ms

prune474.0ms

localize43.0ms

rewrite47.0ms

series1.3s

simplify50.0ms

prune702.0ms

regimes556.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample7.6s

Profiling