Details

analyze808.0ms

Algorithm: search

sample100.0ms

Algorithm

intervals

Results

25.0ms	394×	body	80	nan
22.0ms	256×	body	80	valid
19.0ms	250×	body	80	invalid

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

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

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

series126.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (- t 1.0) (log a))
7.0ms	(* y (log z))
67.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

prune153.0ms

Filtered

75 candidates to 107 candidates (-42.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	105	2	107
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	106	3	109

Merged error: 0.0b

Counts

109 → 3

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

4.0ms	(+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t))
4.0ms	(* (log (/ 1 z)) y)
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)

series178.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t))
10.0ms	(* (log (/ 1 z)) y)
11.0ms	(* (log (/ 1 a)) t)
129.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)

simplify79.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (69.0ms)

Iter	Nodes	Cost
0	643	1005
1	2831	801
2	5001	771

prune196.0ms

Filtered

68 candidates to 99 candidates (-45.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	98	4	102

Merged error: 0b

Counts

102 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (pow a (- t 1.0)) (exp b))
0.1b	(pow a (- t 1.0))
1.0b	(* (/ x y) (pow z y))
4.0b	(* (* (/ x y) (pow z y)) (/ (pow a (- t 1.0)) (exp b)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

97×	`add-exp-log`
66×	`times-frac`
64×	`add-sqr-sqrt`
58×	`prod-exp`
51×	`*-un-lft-identity`
49×	`add-cube-cbrt`
39×	`div-exp`
38×	`associate-r`
32×	`add-cbrt-cube`
29×	`unpow-prod-down`
19×	`pow-to-exp` `pow-exp`
16×	`unpow-prod-up`
14×	`associate-l`
12×	`cbrt-unprod`
11×	`sqr-pow`
9×	`associate-/l*`
8×	`sub-neg`
7×	`pow1` `cbrt-undiv`
6×	`unswap-sqr`
5×	`pow-unpow`
4×	`associate-*l/` `add-log-exp`
3×	`associate-/r*` `div-inv`
2×	`*-commutative` `pow-sub`
1×	`frac-times` `pow-pow` `frac-2neg` `associate-*r/` `pow-prod-down` `clear-num` `associate-/l/` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 197

Calls

4 calls:

6.0ms	(/ (pow a (- t 1.0)) (exp b))
4.0ms	(pow a (- t 1.0))
8.0ms	(* (/ x y) (pow z y))
14.0ms	(* (* (/ x y) (pow z y)) (/ (pow a (- t 1.0)) (exp b)))

series117.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(/ (pow a (- t 1.0)) (exp b))
12.0ms	(pow a (- t 1.0))
14.0ms	(* (/ x y) (pow z y))
69.0ms	(* (* (/ x y) (pow z y)) (/ (pow a (- t 1.0)) (exp b)))

simplify44.0ms

Algorithm

egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	1012	1815
1	5002	1661

prune248.0ms

Filtered

134 candidates to 209 candidates (-56.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	208	1	209
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	210	3	213

Merged error: 0b

Counts

213 → 3

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (pow a (neg 1.0)) (exp b))
1.7b	(* (/ x y) (* (pow z y) (pow a t)))
2.5b	(* (* (/ x y) (* (pow z y) (pow a t))) (/ (pow a (neg 1.0)) (exp b)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

352×	`add-exp-log`
274×	`prod-exp`
116×	`div-exp`
82×	`pow-to-exp` `pow-exp`
58×	`add-cbrt-cube`
51×	`times-frac`
40×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
28×	`cbrt-unprod`
26×	`associate-r`
21×	`unpow-prod-down`
14×	`associate-l`
12×	`cbrt-undiv`
10×	`pow1`
7×	`associate-/l*` `sqr-pow`
4×	`pow-prod-down` `associate-*l/`
3×	`associate-/r*` `div-inv` `add-log-exp`
2×	`*-commutative` `associate-/l/`
1×	`neg-sub0` `frac-times` `pow-neg` `frac-2neg` `associate-*r/` `clear-num` `pow-sub`

Counts

3 → 228

Calls

3 calls:

5.0ms	(/ (pow a (neg 1.0)) (exp b))
9.0ms	(* (/ x y) (* (pow z y) (pow a t)))
16.0ms	(* (* (/ x y) (* (pow z y) (pow a t))) (/ (pow a (neg 1.0)) (exp b)))

series169.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(/ (pow a (neg 1.0)) (exp b))
40.0ms	(* (/ x y) (* (pow z y) (pow a t)))
113.0ms	(* (* (/ x y) (* (pow z y) (pow a t))) (/ (pow a (neg 1.0)) (exp b)))

simplify126.0ms

Algorithm

egg-herbie

Counts

237 → 237

Iterations

Useful iterations: 2 (100.0ms)

Iter	Nodes	Cost
0	1038	2569
1	4685	2272
2	5002	2186

prune202.0ms

Filtered

100 candidates to 237 candidates (-137.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	237	0	237
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	237	3	240

Merged error: 0b

Counts

240 → 3

regimes507.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	14
1	28	14

end0.0ms

analyze820.0ms

Algorithm: search

sample3.1s

Algorithm

intervals

Results

958.0ms	14250×	body	80	nan
630.0ms	8000×	body	80	valid
574.0ms	7288×	body	80	invalid

Details

analyze808.0ms

sample100.0ms

simplify49.0ms

prune17.0ms

localize16.0ms

rewrite31.0ms

series126.0ms

simplify58.0ms

prune153.0ms

localize23.0ms

rewrite32.0ms

series178.0ms

simplify79.0ms

prune196.0ms

localize14.0ms

rewrite39.0ms

series117.0ms

simplify44.0ms

prune248.0ms

localize16.0ms

rewrite45.0ms

series169.0ms

simplify126.0ms

prune202.0ms

regimes507.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze820.0ms

sample3.1s

Profiling