Details

analyze844.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
6.2%	90.4%	3.4%	6
6.2%	90.4%	3.4%	7
6.2%	88.8%	5%	8
7.8%	77.9%	14.3%	9
7.8%	56.5%	35.7%	10
7.8%	56.5%	35.7%	11
8.1%	41.5%	50.3%	12
8.3%	41.4%	50.3%	13
8.4%	40.2%	51.4%	14

sample103.0ms

Algorithm

intervals

Results

32.0ms	472×	body	80	nan
19.0ms	256×	body	80	valid
15.0ms	212×	body	80	invalid

simplify37.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5079	16

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

Counts

2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

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

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

Calls

4 calls:

7.0ms	(* (- t 1.0) (log a))
4.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)

series124.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify30.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5016	1237

prune174.0ms

Filtered

76 candidates to 106 candidates (-39.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	100	6	106
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	101	7	108

Merged error: 0.1b

Counts

108 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.3b	(* y (log z))
1.1b	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.5b	(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
21×	`add-exp-log`
20×	`*-un-lft-identity`
16×	`add-cube-cbrt`
13×	`add-cbrt-cube`
12×	`log-prod`
11×	`pow1`
8×	`associate-r` `associate-l`
6×	`distribute-rgt-in` `distribute-lft-in` `prod-exp`
5×	`pow-unpow` `div-exp`
4×	`pow-exp` `add-log-exp`
3×	`unpow-prod-down` `times-frac` `associate-/r*` `cbrt-unprod`
2×	`cbrt-undiv` `unpow-prod-up` `pow-to-exp` `e-exp-1` `pow-prod-down` `associate-l/` `log-pow` `-commutative` `distribute-lft-out--` `pow-sub` `difference-of-squares` `unswap-sqr`
1×	`sub-neg` `flip3--` `pow-pow` `frac-2neg` `associate-r/` `associate--l+` `clear-num` `flip--` `div-inv` `associate-/l/` `associate-/l` `sqr-pow`

Counts

4 → 102

Calls

4 calls:

7.0ms	(* (- t 1.0) (log a))
4.0ms	(* y (log z))
6.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
8.0ms	(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series135.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (- t 1.0) (log a))
7.0ms	(* y (log z))
47.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
72.0ms	(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify44.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5252	1516

prune171.0ms

Filtered

78 candidates to 114 candidates (-46.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	111	3	114
Fresh	2	3	5
Picked	1	0	1
Done	1	0	1
Total	115	6	121

Merged error: 0.0b

Counts

121 → 6

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (/ y (* x (pow E (+ (* y (log z)) (- (* (- t 1.0) (log a)) b))))))
0.3b	(* y (log z))
1.1b	(pow E (+ (* y (log z)) (- (* (- t 1.0) (log a)) b)))
1.4b	(/ y (* x (pow E (+ (* y (log z)) (- (* (- t 1.0) (log a)) b)))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

64×	`add-exp-log`
39×	`times-frac`
32×	`div-exp`
31×	`add-sqr-sqrt`
29×	`add-cube-cbrt` `*-un-lft-identity`
20×	`add-cbrt-cube`
17×	`prod-exp`
10×	`pow-exp`
9×	`pow1` `associate-/r*`
7×	`cbrt-undiv`
6×	`associate-+r-` `rec-exp` `log-prod` `1-exp` `associate-/r/` `div-inv` `associate-/l*` `pow-sub`
5×	`pow-to-exp` `e-exp-1` `associate-*r/`
4×	`associate-r` `add-log-exp`
3×	`distribute-rgt-in` `unpow-prod-down` `pow-unpow` `distribute-lft-in` `associate-l` `cbrt-unprod`
2×	`frac-2neg` `clear-num`
1×	`unpow-prod-up` `pow-flip` `pow-pow` `pow-prod-down` `log-pow` `*-commutative` `inv-pow` `unswap-sqr` `sqr-pow`

Counts

4 → 139

Calls

4 calls:

9.0ms	(/ 1 (/ y (* x (pow E (+ (* y (log z)) (- (* (- t 1.0) (log a)) b))))))
4.0ms	(* y (log z))
12.0ms	(pow E (+ (* y (log z)) (- (* (- t 1.0) (log a)) b)))
6.0ms	(/ y (* x (pow E (+ (* y (log z)) (- (* (- t 1.0) (log a)) b)))))

series215.0ms

Counts

4 → 12

Calls

4 calls:

74.0ms	(/ 1 (/ y (* x (pow E (+ (* y (log z)) (- (* (- t 1.0) (log a)) b))))))
7.0ms	(* y (log z))
47.0ms	(pow E (+ (* y (log z)) (- (* (- t 1.0) (log a)) b)))
87.0ms	(/ y (* x (pow E (+ (* y (log z)) (- (* (- t 1.0) (log a)) b)))))

simplify59.0ms

Algorithm

egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5200	2841

prune195.0ms

Filtered

89 candidates to 151 candidates (-69.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	150	1	151
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	150	7	157

Merged error: 0.0b

Counts

157 → 7

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (* (pow a (neg 1.0)) (* (exp (neg (- b (* t (log a))))) (pow z y))))
0.1b	(/ 1 (/ y (* x (* (pow a (neg 1.0)) (* (exp (neg (- b (* t (log a))))) (pow z y))))))
0.3b	(* t (log a))
1.4b	(/ y (* x (* (pow a (neg 1.0)) (* (exp (neg (- b (* t (log a))))) (pow z y)))))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

239×	`add-exp-log`
171×	`prod-exp`
86×	`div-exp`
60×	`times-frac` `associate-*r/`
49×	`add-cbrt-cube`
48×	`associate-*l/`
41×	`associate-/r/`
37×	`add-sqr-sqrt`
36×	`neg-sub0`
35×	`pow-to-exp` `add-cube-cbrt` `*-un-lft-identity` `pow-exp`
24×	`frac-times`
19×	`cbrt-unprod`
18×	`exp-neg` `pow-neg` `exp-diff` `pow-sub`
16×	`associate-/r*`
15×	`rec-exp` `1-exp`
13×	`cbrt-undiv`
10×	`pow1`
6×	`log-prod` `associate-l` `div-inv` `associate-/l*`
5×	`associate-r`
4×	`add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in`
2×	`frac-2neg` `pow-prod-down` `clear-num` `*-commutative`
1×	`pow-flip` `log-pow` `inv-pow` `unswap-sqr`

Counts

4 → 231

Calls

4 calls:

13.0ms	(* x (* (pow a (neg 1.0)) (* (exp (neg (- b (* t (log a))))) (pow z y))))
19.0ms	(/ 1 (/ y (* x (* (pow a (neg 1.0)) (* (exp (neg (- b (* t (log a))))) (pow z y))))))
6.0ms	(* t (log a))
15.0ms	(/ y (* x (* (pow a (neg 1.0)) (* (exp (neg (- b (* t (log a))))) (pow z y)))))

series274.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(* x (* (pow a (neg 1.0)) (* (exp (neg (- b (* t (log a))))) (pow z y))))
100.0ms	(/ 1 (/ y (* x (* (pow a (neg 1.0)) (* (exp (neg (- b (* t (log a))))) (pow z y))))))
7.0ms	(* t (log a))
80.0ms	(/ y (* x (* (pow a (neg 1.0)) (* (exp (neg (- b (* t (log a))))) (pow z y)))))

simplify90.0ms

Algorithm

egg-herbie

Counts

243 → 243

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5110	4161

prune202.0ms

Filtered

102 candidates to 243 candidates (-138.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	240	3	243
Fresh	4	1	5
Picked	1	0	1
Done	0	1	1
Total	245	5	250

Merged error: 0b

Counts

250 → 5

regimes1.1s

Accuracy

-36.4% (2.8b remaining)

Error of 2.9b against oracle of 0.0b and baseline of 2.1b

bsearch217.0ms

Steps

Iters	Range		Point
9	1.0093944103468635e-81	5.549818287060506e-73	3.7081369141019746e-81
8	1.5153906628789223e-203	1.291754304319389e-200	1.6373611271993253e-203

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	88	49
1	88	49

end0.0ms

sample3.1s

Algorithm

intervals

Results

949.0ms	14435×	body	80	nan
632.0ms	8000×	body	80	valid
549.0ms	7233×	body	80	invalid

Details

analyze844.0ms

sample103.0ms

simplify37.0ms

prune16.0ms

localize18.0ms

rewrite31.0ms

series124.0ms

simplify30.0ms

prune174.0ms

localize18.0ms

rewrite28.0ms

series135.0ms

simplify44.0ms

prune171.0ms

localize19.0ms

rewrite36.0ms

series215.0ms

simplify59.0ms

prune195.0ms

localize20.0ms

rewrite66.0ms

series274.0ms

simplify90.0ms

prune202.0ms

regimes1.1s

bsearch217.0ms

simplify2.0ms

end0.0ms

sample3.1s

Profiling