Details

sample217.0ms

Algorithm

intervals

Results

101.0ms	1538×	body	80	nan
38.0ms	467×	body	80	valid

simplify52.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

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

prune11.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.3b

Counts

2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

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

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

series382.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(* (- t 1.0) (log a))
37.0ms	(* y (log z))
170.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
116.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify54.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	493	869
1	2033	715
2	5001	683

prune314.0ms

Filtered

107 candidates to 75 candidates (70.1%)

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

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

132×	`times-frac`
96×	`add-sqr-sqrt`
81×	`associate-r`
76×	`*-un-lft-identity`
75×	`add-cube-cbrt`
55×	`unpow-prod-down`
45×	`add-exp-log`
26×	`log-prod`
24×	`div-exp`
22×	`add-cbrt-cube`
17×	`exp-sum`
16×	`prod-exp`
14×	`pow1`
13×	`distribute-rgt-in` `distribute-lft-in`
12×	`associate-l`
8×	`pow-exp` `div-inv` `unswap-sqr`
6×	`log-pow` `cbrt-unprod`
5×	`cbrt-undiv` `sqr-pow`
4×	`add-log-exp`
3×	`pow-prod-down` `associate-/r` `-commutative`
2×	`pow-to-exp` `rec-exp` `pow-flip` `1-exp` `associate-*r/` `log-rec` `inv-pow`
1×	`distribute-lft-neg-out` `frac-2neg` `clear-num` `distribute-rgt-neg-out` `associate-/l/` `associate-/l*`

Counts

4 → 199

Calls

4 calls:

30.0ms	(* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))
7.0ms	(* y (log (/ 1 z)))
5.0ms	(* (log (/ 1 a)) t)
21.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y)

series835.0ms

Counts

4 → 12

Calls

4 calls:

397.0ms	(* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))
38.0ms	(* y (log (/ 1 z)))
64.0ms	(* (log (/ 1 a)) t)
335.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y)

simplify50.0ms

Algorithm

egg-herbie

Counts

211 → 211

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1077	2667
1	5002	2322

prune682.0ms

Filtered

211 candidates to 145 candidates (68.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	209	2	211
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	211	5	216

Merged error: 0b

Counts

216 → 5

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite189.0ms

Algorithm

rewrite-expression-head

Rules

3067×	`times-frac`
1238×	`add-sqr-sqrt`
1234×	`add-cube-cbrt` `*-un-lft-identity`
728×	`unpow-prod-down`
239×	`exp-sum`
146×	`div-inv`
72×	`associate-/l*`
56×	`sqr-pow`
43×	`add-exp-log`
37×	`div-exp`
26×	`log-prod`
20×	`add-cbrt-cube`
13×	`distribute-rgt-in` `distribute-lft-in` `associate-/r*`
12×	`pow1`
10×	`add-log-exp`
9×	`associate-r` `associate-l`
8×	`cbrt-undiv` `pow-exp`
6×	`log-pow`
3×	`exp-prod` `sum-log` `rem-exp-log`
2×	`pow-to-exp` `rec-exp` `pow-flip` `1-exp` `log-rec` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `inv-pow` `unswap-sqr`
1×	`distribute-lft-neg-out` `frac-2neg` `clear-num` `associate-/r/` `distribute-rgt-neg-out` `associate-/l/`

Counts

4 → 1135

Calls

4 calls:

9.0ms	(exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))
7.0ms	(* y (log (/ 1 z)))
5.0ms	(* (log (/ 1 a)) t)
48.0ms	(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))

series714.0ms

Counts

4 → 12

Calls

4 calls:

87.0ms	(exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))
46.0ms	(* y (log (/ 1 z)))
59.0ms	(* (log (/ 1 a)) t)
521.0ms	(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))

simplify300.0ms

Algorithm

egg-herbie

Counts

1147 → 1147

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5001	32428

prune5.0s

Filtered

1147 candidates to 878 candidates (76.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	1147	0	1147
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	1147	5	1152

Merged error: 0b

Counts

1152 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite103.0ms

Algorithm

rewrite-expression-head

Rules

320×	`times-frac`
313×	`add-exp-log`
224×	`div-exp`
140×	`add-sqr-sqrt`
124×	`*-un-lft-identity`
123×	`add-cube-cbrt` `prod-exp`
108×	`pow-exp`
107×	`unpow-prod-down`
87×	`associate-r`
31×	`add-cbrt-cube`
27×	`pow-to-exp` `rec-exp` `1-exp`
21×	`associate-/l*`
17×	`div-inv`
13×	`associate-l`
10×	`pow1` `cbrt-undiv`
9×	`sqr-pow`
8×	`cbrt-unprod` `unswap-sqr`
4×	`add-log-exp`
3×	`associate-/r` `log-pow` `-commutative`
2×	`pow-prod-down`
1×	`distribute-lft-neg-out` `pow-flip` `frac-2neg` `associate-*r/` `exp-sum` `log-rec` `clear-num` `associate-/l/` `inv-pow`

Counts

4 → 337

Calls

4 calls:

26.0ms	(/ (/ (pow (/ 1 a) 1.0) (* (exp (+ (* (log (/ 1 a)) t) b)) (pow (/ 1 z) y))) y)
14.0ms	(* (exp (+ (* (log (/ 1 a)) t) b)) (pow (/ 1 z) y))
5.0ms	(* (log (/ 1 a)) t)
35.0ms	(* x (/ (/ (pow (/ 1 a) 1.0) (* (exp (+ (* (log (/ 1 a)) t) b)) (pow (/ 1 z) y))) y))

series900.0ms

Counts

4 → 12

Calls

4 calls:

346.0ms	(/ (/ (pow (/ 1 a) 1.0) (* (exp (+ (* (log (/ 1 a)) t) b)) (pow (/ 1 z) y))) y)
122.0ms	(* (exp (+ (* (log (/ 1 a)) t) b)) (pow (/ 1 z) y))
65.0ms	(* (log (/ 1 a)) t)
366.0ms	(* x (/ (/ (pow (/ 1 a) 1.0) (* (exp (+ (* (log (/ 1 a)) t) b)) (pow (/ 1 z) y))) y))

simplify81.0ms

Algorithm

egg-herbie

Counts

349 → 349

Iterations

Useful iterations: 1 (32.0ms)

Iter	Nodes	Cost
0	1581	4899
1	5002	4441

prune919.0ms

Filtered

349 candidates to 206 candidates (59.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	349	0	349
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	349	5	354

Merged error: 0b

Counts

354 → 5

regimes316.0ms

Accuracy

76% (1.5b remaining)

Error of 1.6b against oracle of 0.1b and baseline of 6.4b

bsearch386.0ms

Steps

Iters	Range		Point
9	0.1756399837717407	361069.06242869626	1.1700160174606165
8	-672979716004465.9	-427743160838.2446	-433455108479.84827

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	27
1	44	27

end0.0ms

sample6.3s

Algorithm

intervals

Results

3.0s	45631×	body	80	nan
1.2s	15205×	body	80	valid

Details

sample217.0ms

simplify52.0ms

prune11.0ms

localize20.0ms

rewrite33.0ms

series382.0ms

simplify54.0ms

prune314.0ms

localize24.0ms

rewrite72.0ms

series835.0ms

simplify50.0ms

prune682.0ms

localize20.0ms

rewrite189.0ms

series714.0ms

simplify300.0ms

prune5.0s

localize19.0ms

rewrite103.0ms

series900.0ms

simplify81.0ms

prune919.0ms

regimes316.0ms

bsearch386.0ms

simplify2.0ms

end0.0ms

sample6.3s

Profiling