Details

sample269.0ms

Algorithm

intervals

Results

101.0ms	1468×	body	80	nan
38.0ms	478×	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.1b

Counts

2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.2b	(* y (log z))
0.9b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
1.0b	(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))

series123.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify57.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	569	965
1	2353	793
2	5001	726

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

localize20.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.2b	(* (log (/ 1 z)) y)
0.2b	(* (log (/ 1 a)) t)
0.9b	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)

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

29.0ms	(* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (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)

series274.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify112.0ms

Algorithm

egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 1 (23.0ms)

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

prune489.0ms

Filtered

131 candidates to 189 candidates (-44.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	188	1	189
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	189	6	195

Merged error: 0b

Counts

195 → 6

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-exp-log`
34×	`log-prod`
26×	`add-sqr-sqrt` `unpow-prod-down`
24×	`add-cube-cbrt` `*-un-lft-identity`
21×	`times-frac`
18×	`div-exp`
17×	`associate-+r+`
15×	`add-cbrt-cube`
8×	`pow1` `pow-exp` `prod-exp`
6×	`rem-log-exp` `associate-l`
5×	`add-log-exp`
4×	`cbrt-undiv` `log-pow`
3×	`associate-r` `associate-/r*` `cbrt-unprod` `div-inv`
2×	`pow-to-exp` `rec-exp` `1-exp` `sqr-pow`
1×	`+-commutative` `distribute-lft-neg-out` `pow-flip` `frac-2neg` `flip3-+` `associate-r/` `log-rec` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `associate-/l/` `associate-/l*` `inv-pow` `unswap-sqr`

Counts

4 → 110

Calls

4 calls:

4.0ms	(* (log (/ 1 z)) y)
8.0ms	(+ (* (log (/ 1 z)) y) (log (pow (/ 1 a) t)))
18.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (log (pow (/ 1 a) t))))))) y)
4.0ms	(log (pow (/ 1 a) t))

series185.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (log (/ 1 z)) y)
25.0ms	(+ (* (log (/ 1 z)) y) (log (pow (/ 1 a) t)))
137.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (log (pow (/ 1 a) t))))))) y)
14.0ms	(log (pow (/ 1 a) t))

simplify74.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	767	1212
1	3048	996
2	5002	940

prune246.0ms

Filtered

84 candidates to 122 candidates (-45.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	122	6	128

Merged error: 0b

Counts

128 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow a (- t 1.0))
0.3b	(* (pow a (- t 1.0)) (pow z y))
0.8b	(/ (* (pow a (- t 1.0)) (pow z y)) (* y (exp b)))
1.9b	(* x (/ (* (pow a (- t 1.0)) (pow z y)) (* y (exp b))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

131×	`add-exp-log`
86×	`prod-exp`
40×	`div-exp`
36×	`add-cbrt-cube`
31×	`pow-to-exp` `pow-exp`
28×	`add-sqr-sqrt`
15×	`unpow-prod-down`
14×	`*-un-lft-identity` `cbrt-unprod`
12×	`add-cube-cbrt` `associate-r` `associate-l`
10×	`unswap-sqr`
9×	`sqr-pow`
8×	`cbrt-undiv`
7×	`pow1`
5×	`pow-unpow`
4×	`unpow-prod-up` `add-log-exp`
3×	`pow-sub`
2×	`sub-neg` `times-frac` `associate-l/` `-commutative` `div-inv`
1×	`pow-pow` `frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `associate-/r` `associate-/l/` `associate-/l*` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 149

Calls

4 calls:

4.0ms	(pow a (- t 1.0))
7.0ms	(* (pow a (- t 1.0)) (pow z y))
9.0ms	(/ (* (pow a (- t 1.0)) (pow z y)) (* y (exp b)))
11.0ms	(* x (/ (* (pow a (- t 1.0)) (pow z y)) (* y (exp b))))

series191.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(pow a (- t 1.0))
34.0ms	(* (pow a (- t 1.0)) (pow z y))
68.0ms	(/ (* (pow a (- t 1.0)) (pow z y)) (* y (exp b)))
77.0ms	(* x (/ (* (pow a (- t 1.0)) (pow z y)) (* y (exp b))))

simplify100.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (84.0ms)

Iter	Nodes	Cost
0	768	1546
1	3669	1353
2	5003	1322

prune165.0ms

Filtered

86 candidates to 161 candidates (-87.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	160	1	161
Fresh	1	2	3
Picked	1	0	1
Done	1	1	2
Total	163	4	167

Merged error: 0b

Counts

167 → 4

regimes609.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	14
1	28	14

end0.0ms

sample7.9s

Algorithm

intervals

Results

3.0s	45925×	body	80	nan
1.2s	15224×	body	80	valid

Details

sample269.0ms

simplify48.0ms

prune16.0ms

localize18.0ms

rewrite30.0ms

series123.0ms

simplify57.0ms

prune167.0ms

localize20.0ms

rewrite64.0ms

series274.0ms

simplify112.0ms

prune489.0ms

localize24.0ms

rewrite39.0ms

series185.0ms

simplify74.0ms

prune246.0ms

localize13.0ms

rewrite36.0ms

series191.0ms

simplify100.0ms

prune165.0ms

regimes609.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample7.9s

Profiling