Details

sample218.0ms

Algorithm

intervals

Results

105.0ms	1638×	body	80	nan
38.0ms	519×	body	80	valid

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

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

Counts

2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.2b	(* y (log z))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.5b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite32.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))
7.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)

series372.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(* (- t 1.0) (log a))
39.0ms	(* y (log z))
111.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
167.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify54.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	492	869
1	2033	708
2	5002	676

prune313.0ms

Filtered

107 candidates to 75 candidates (70.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

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

Merged error: 0.0b

Counts

109 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-cbrt-cube`
16×	`add-exp-log`
13×	`add-sqr-sqrt` `*-un-lft-identity`
11×	`add-cube-cbrt`
10×	`add-log-exp`
9×	`times-frac` `associate-/r*`
6×	`cbrt-undiv` `div-exp`
5×	`exp-prod`
4×	`pow1` `exp-diff`
3×	`frac-2neg` `associate-r/` `exp-sum` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `rem-exp-log` `associate-/l/` `associate-/l`
2×	`diff-log`
1×	`sub-neg` `associate--l+` `sum-log` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 85

Calls

4 calls:

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

series623.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
165.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
165.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
180.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify38.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 2 (27.0ms)

Iter	Nodes	Cost
0	309	1287
1	1125	1003
2	5001	952

prune464.0ms

Filtered

97 candidates to 81 candidates (83.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	97	6	103

Merged error: 0.0b

Counts

103 → 6

localize19.0ms

Local error

Found 4 expressions with local error:

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

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

series703.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify302.0ms

Algorithm

egg-herbie

Counts

1147 → 1147

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5001	32428

prune4.9s

Filtered

1147 candidates to 877 candidates (76.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	1146	1	1147
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	1146	7	1153

Merged error: 0b

Counts

1153 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite131.0ms

Algorithm

rewrite-expression-head

Rules

573×	`times-frac`
273×	`add-sqr-sqrt`
267×	`add-cube-cbrt` `*-un-lft-identity`
241×	`associate-l`
216×	`sqrt-prod`
156×	`unpow-prod-down`
52×	`log-prod`
51×	`exp-sum`
26×	`distribute-rgt-in` `distribute-lft-in`
22×	`add-exp-log` `add-cbrt-cube`
21×	`pow1`
20×	`div-inv`
16×	`associate-r`
12×	`sqr-pow`
9×	`prod-exp` `log-pow` `cbrt-unprod`
6×	`pow-prod-down`
4×	`*-commutative` `add-log-exp`
3×	`pow-flip` `log-rec` `associate-*l/` `inv-pow` `unswap-sqr`
2×	`cbrt-undiv` `sqrt-div` `div-exp` `distribute-rgt-neg-out`
1×	`distribute-lft-neg-out` `frac-times` `associate-*r/`

Counts

4 → 369

Calls

4 calls:

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

series696.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(* (log (/ 1 a)) t)
40.0ms	(* y (log (/ 1 z)))
48.0ms	(* y (log (/ 1 z)))
540.0ms	(* (/ (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y) (* (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) x))

simplify115.0ms

Algorithm

egg-herbie

Counts

381 → 381

Iterations

Useful iterations: 1 (39.0ms)

Iter	Nodes	Cost
0	1844	8223
1	5001	7791

prune2.2s

Filtered

381 candidates to 309 candidates (81.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	381	0	381
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	381	7	388

Merged error: 0b

Counts

388 → 7

regimes540.0ms

Accuracy

56.6% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 1.0b

bsearch312.0ms

Steps

Iters	Range		Point
4	2.294495307792348e+87	4.298452045241444e+87	2.3521210471819576e+87
10	-1.550062379797332e+90	-6.404418649581622e+77	-6.497457455884763e+77

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	43
1	42	43

end0.0ms

sample6.0s

Algorithm

intervals

Results

2.9s	45483×	body	80	nan
1.2s	15306×	body	80	valid

Details

sample218.0ms

simplify51.0ms

prune12.0ms

localize16.0ms

rewrite32.0ms

series372.0ms

simplify54.0ms

prune313.0ms

localize21.0ms

rewrite43.0ms

series623.0ms

simplify38.0ms

prune464.0ms

localize19.0ms

rewrite186.0ms

series703.0ms

simplify302.0ms

prune4.9s

localize24.0ms

rewrite131.0ms

series696.0ms

simplify115.0ms

prune2.2s

regimes540.0ms

bsearch312.0ms

simplify2.0ms

end0.0ms

sample6.0s

Profiling