Details

analyze859.0ms

Algorithm: search

sample111.0ms

Algorithm

intervals

Results

33.0ms	462×	body	80	nan
21.0ms	271×	body	80	invalid
20.0ms	256×	body	80	valid

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

rewrite30.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:

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

series171.0ms

Counts

4 → 12

Calls

4 calls:

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

prune170.0ms

Filtered

75 candidates to 107 candidates (-42.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

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

Merged error: 0.0b

Counts

109 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
82×	`add-sqr-sqrt` `associate-r`
62×	`*-un-lft-identity`
61×	`add-cube-cbrt`
55×	`unpow-prod-down`
45×	`add-exp-log`
24×	`div-exp`
22×	`add-cbrt-cube`
17×	`exp-sum`
16×	`prod-exp`
15×	`associate-l`
14×	`pow1`
8×	`distribute-lft-neg-out` `log-rec` `pow-exp` `unswap-sqr`
6×	`log-pow` `cbrt-unprod` `div-inv`
5×	`cbrt-undiv` `sqr-pow`
4×	`exp-diff` `associate-/r/` `add-log-exp`
3×	`pow-prod-down` `associate-/r` `-commutative`
2×	`pow-to-exp` `associate-+r-` `rec-exp` `distribute-neg-out` `pow-flip` `1-exp` `associate-*r/` `unsub-neg` `inv-pow`
1×	`frac-2neg` `clear-num` `associate-/l/` `associate-/l*`

Counts

4 → 177

Calls

4 calls:

27.0ms	(* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t))))))
5.0ms	(* (log (/ 1 a)) t)
4.0ms	(* (log (/ 1 z)) y)
19.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)

series288.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify120.0ms

Algorithm

egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1050	2460
1	4978	2167
2	5002	2167

prune502.0ms

Filtered

131 candidates to 189 candidates (-44.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	186	3	189
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	188	7	195

Merged error: 0b

Counts

195 → 7

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-exp-log` `add-cbrt-cube`
18×	`add-sqr-sqrt` `associate-l`
16×	`pow1`
12×	`add-cube-cbrt` `*-un-lft-identity`
9×	`associate-r` `log-pow`
6×	`prod-exp` `cbrt-unprod`
4×	`sqrt-div` `add-log-exp`
3×	`cbrt-undiv` `distribute-lft-neg-out` `pow-flip` `times-frac` `associate-r/` `div-exp` `log-rec` `pow-prod-down` `associate-/r` `*-commutative` `associate-/l/` `inv-pow` `unswap-sqr`
1×	`frac-times` `frac-2neg` `associate-l/` `clear-num` `div-inv` `associate-/l`

Counts

4 → 92

Calls

4 calls:

4.0ms	(* (log (/ 1 a)) t)
5.0ms	(* (log (/ 1 z)) y)
4.0ms	(* (log (/ 1 z)) y)
39.0ms	(/ (* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t))))))) (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t))))))) y)

series166.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify62.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	490	1188
1	2066	871
2	5001	842

prune343.0ms

Filtered

74 candidates to 104 candidates (-40.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	104	7	111

Merged error: 0b

Counts

111 → 7

localize27.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt x) (cbrt x))
0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

5.0ms	(* (cbrt x) (cbrt x))
1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)

series88.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (cbrt x) (cbrt x))
23.0ms	(cbrt x)
20.0ms	(cbrt x)
21.0ms	(cbrt x)

simplify71.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (66.0ms)

Iter	Nodes	Cost
0	148	349
1	471	322
2	2276	265
3	5002	252

prune134.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	85	7	92

Merged error: 0b

Counts

92 → 7

regimes752.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	14
1	28	14

end0.0ms

analyze839.0ms

Algorithm: search

sample3.2s

Algorithm

intervals

Results

967.0ms	14379×	body	80	nan
638.0ms	8000×	body	80	valid
579.0ms	7410×	body	80	invalid

Details

analyze859.0ms

sample111.0ms

simplify48.0ms

prune16.0ms

localize16.0ms

rewrite30.0ms

series171.0ms

simplify58.0ms

prune170.0ms

localize22.0ms

rewrite63.0ms

series288.0ms

simplify120.0ms

prune502.0ms

localize28.0ms

rewrite55.0ms

series166.0ms

simplify62.0ms

prune343.0ms

localize27.0ms

rewrite10.0ms

series88.0ms

simplify71.0ms

prune134.0ms

regimes752.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze839.0ms

sample3.2s

Profiling