Details

analyze842.0ms

Algorithm: search

sample105.0ms

Algorithm

intervals

Results

29.0ms	440×	body	80	nan
23.0ms	256×	body	80	valid
18.0ms	238×	body	80	invalid

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

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

Counts

2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (- t 1.0) (log a))
0.2b	(* y (log z))
0.7b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
0.9b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

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` `exp-sum` `prod-exp` `associate-/r*` `cbrt-unprod` `rem-exp-log`
2×	`cbrt-undiv` `exp-diff` `diff-log` `div-exp` `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 → 95

Calls

4 calls:

6.0ms	(* (- t 1.0) (log a))
4.0ms	(* y (log z))
10.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
8.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series127.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify58.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	569	965
1	2353	793
2	5001	726

prune169.0ms

Filtered

75 candidates to 107 candidates (-42.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	102	5	107
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	104	5	109

Merged error: 0.0b

Counts

109 → 5

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (log (/ 1 z)) y)
0.2b	(/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))
0.3b	(* (log (/ 1 a)) t)
0.7b	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

116×	`times-frac`
72×	`add-sqr-sqrt`
68×	`add-cube-cbrt` `*-un-lft-identity`
65×	`unpow-prod-down`
37×	`add-exp-log`
24×	`div-exp`
19×	`add-cbrt-cube`
18×	`exp-sum` `associate-/l*`
12×	`pow1` `associate-l`
9×	`prod-exp`
8×	`distribute-lft-neg-out` `log-rec` `pow-exp`
7×	`associate-/r*` `div-inv`
6×	`associate-r` `log-pow`
5×	`cbrt-undiv` `sqr-pow`
4×	`exp-diff` `associate-/r/` `cbrt-unprod` `add-log-exp`
2×	`pow-to-exp` `associate-+r-` `rec-exp` `distribute-neg-out` `pow-flip` `frac-2neg` `1-exp` `unsub-neg` `pow-prod-down` `clear-num` `*-commutative` `inv-pow` `unswap-sqr`
1×	`associate-*r/` `associate-/l/`

Counts

4 → 183

Calls

4 calls:

4.0ms	(* (log (/ 1 z)) y)
14.0ms	(/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))
4.0ms	(* (log (/ 1 a)) t)
18.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)

series271.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (log (/ 1 z)) y)
110.0ms	(/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))
10.0ms	(* (log (/ 1 a)) t)
140.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)

simplify104.0ms

Algorithm

egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 2 (73.0ms)

Iter	Nodes	Cost
0	873	3226
1	3742	2814
2	5002	2793

prune480.0ms

Filtered

132 candidates to 195 candidates (-47.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	194	1	195
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	194	6	200

Merged error: 0b

Counts

200 → 6

localize33.0ms

Local error

Found 4 expressions with local error:

0.7b	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)
1.4b	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))
1.4b	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))
1.4b	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-exp-log`
21×	`cbrt-prod`
16×	`div-exp`
13×	`add-cbrt-cube`
12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
7×	`prod-exp`
4×	`pow1` `cbrt-undiv` `pow-exp` `div-inv` `add-log-exp`
3×	`cbrt-div` `pow1/3` `associate-/r*`
2×	`cbrt-unprod`
1×	`pow-to-exp` `rec-exp` `frac-2neg` `1-exp` `associate-r/` `clear-num` `associate-/l/` `associate-/l`

Counts

4 → 77

Calls

4 calls:

22.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)
16.0ms	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))
16.0ms	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))
16.0ms	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))

series729.0ms

Counts

4 → 12

Calls

4 calls:

135.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)
196.0ms	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))
199.0ms	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))
197.0ms	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))

simplify65.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	619	2083
1	2327	1819
2	5001	1782

prune654.0ms

Filtered

77 candidates to 89 candidates (-15.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	89	6	95

Merged error: 0b

Counts

95 → 6

localize29.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (log (/ 1 z)) y)
0.3b	(* (log (/ 1 a)) t)
5.7b	(/ (* (pow (/ 1 a) 1.0) (pow 1 (+ t y))) (/ y x))
8.4b	(* (/ (* (pow (/ 1 a) 1.0) (pow 1 (+ t y))) (/ y x)) (/ (* (pow 1 1.0) (exp (neg (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) 1))

rewrite141.0ms

Algorithm

rewrite-expression-head

Rules

2419×	`add-exp-log`
1602×	`div-exp`
1547×	`prod-exp`
876×	`pow-exp`
597×	`1-exp`
342×	`pow-to-exp`
96×	`rec-exp`
89×	`add-cbrt-cube`
56×	`times-frac`
38×	`add-sqr-sqrt`
34×	`cbrt-undiv`
32×	`add-cube-cbrt` `*-un-lft-identity`
30×	`associate-l` `cbrt-unprod`
14×	`pow1`
13×	`associate-r` `associate-/r*`
6×	`log-pow` `div-inv`
4×	`add-log-exp`
3×	`pow-prod-down` `*-commutative` `unswap-sqr`
2×	`distribute-lft-neg-out` `pow-flip` `log-rec` `associate-/r/` `inv-pow`
1×	`frac-times` `frac-2neg` `associate-r/` `associate-l/` `clear-num` `associate-/l*`

Counts

4 → 750

Calls

4 calls:

4.0ms	(* (log (/ 1 z)) y)
4.0ms	(* (log (/ 1 a)) t)
12.0ms	(/ (* (pow (/ 1 a) 1.0) (pow 1 (+ t y))) (/ y x))
34.0ms	(* (/ (* (pow (/ 1 a) 1.0) (pow 1 (+ t y))) (/ y x)) (/ (* (pow 1 1.0) (exp (neg (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) 1))

series305.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (log (/ 1 z)) y)
10.0ms	(* (log (/ 1 a)) t)
97.0ms	(/ (* (pow (/ 1 a) 1.0) (pow 1 (+ t y))) (/ y x))
188.0ms	(* (/ (* (pow (/ 1 a) 1.0) (pow 1 (+ t y))) (/ y x)) (/ (* (pow 1 1.0) (exp (neg (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) 1))

simplify151.0ms

Algorithm

egg-herbie

Counts

762 → 762

Iterations

Useful iterations: 1 (33.0ms)

Iter	Nodes	Cost
0	2478	14449
1	5002	10823

prune423.0ms

Filtered

113 candidates to 762 candidates (-574.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	762	0	762
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	762	6	768

Merged error: 0b

Counts

768 → 6

regimes733.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	14
1	28	14

end0.0ms

analyze904.0ms

Algorithm: search

sample3.3s

Algorithm

intervals

Results

1.2s	14400×	body	80	nan
643.0ms	8000×	body	80	valid
567.0ms	7194×	body	80	invalid

Details

analyze842.0ms

sample105.0ms

simplify48.0ms

prune16.0ms

localize16.0ms

rewrite31.0ms

series127.0ms

simplify58.0ms

prune169.0ms

localize24.0ms

rewrite48.0ms

series271.0ms

simplify104.0ms

prune480.0ms

localize33.0ms

rewrite72.0ms

series729.0ms

simplify65.0ms

prune654.0ms

localize29.0ms

rewrite141.0ms

series305.0ms

simplify151.0ms

prune423.0ms

regimes733.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze904.0ms

sample3.3s

Profiling