Details

sample196.0ms

Algorithm

intervals

Results

80.0ms	1421×	body	80	nan
26.0ms	428×	body	80	valid
5.0ms	12×	body	640	valid
2.0ms	2×	body	1280	valid
2.0ms	7×	body	320	valid
1.0ms	10×	body	160	valid

simplify41.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	10
1	58	10
2	129	10
3	318	10
4	1073	10
5	5001	10

prune3.0ms

Filtered

1 candidates to 0 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: 2.2b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(* a (- (log (- 1.0 z)) b))
0.0b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
0.2b	(* y (- (log z) t))
6.5b	(log (- 1.0 z))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

12×	`associate-*r/`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
7×	`flip3--` `flip--`
4×	`associate-+l+` `associate-+r+` `frac-add`
2×	`log-div` `*-commutative`
1×	`+-commutative` `flip3-+` `flip-+`

Counts

4 → 31

Calls

4 calls:

4.0ms	(* a (- (log (- 1.0 z)) b))
8.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms	(* y (- (log z) t))
2.0ms	(log (- 1.0 z))

series363.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(* a (- (log (- 1.0 z)) b))
178.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
70.0ms	(* y (- (log z) t))
43.0ms	(log (- 1.0 z))

simplify48.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	447	443
1	1603	434
2	5002	429

prune153.0ms

Filtered

43 candidates to 31 candidates (72.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	42	1	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	43	1	44

Merged error: 0.0b

Counts

44 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) b) (* 1.0 z))))))
0.0b	(* a (- (- (log 1.0) b) (* 1.0 z)))
0.0b	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) b) (* 1.0 z))))
0.2b	(* y (- (log z) t))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

18×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
16×	`associate-+r+`
14×	`associate-r` `exp-sum`
12×	`associate-*r/` `associate--l+`
8×	`associate-+l+`
6×	`flip3--` `flip--`
4×	`frac-add`
3×	`*-commutative`
2×	`+-commutative`
1×	`flip3-+` `flip-+`

Counts

4 → 52

Calls

4 calls:

10.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) b) (* 1.0 z))))))
5.0ms	(* a (- (- (log 1.0) b) (* 1.0 z)))
9.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) b) (* 1.0 z))))
3.0ms	(* y (- (log z) t))

series434.0ms

Counts

4 → 12

Calls

4 calls:

154.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) b) (* 1.0 z))))))
67.0ms	(* a (- (- (log 1.0) b) (* 1.0 z)))
145.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) b) (* 1.0 z))))
69.0ms	(* y (- (log z) t))

simplify54.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	416	591
1	1566	570
2	5001	567

prune172.0ms

Filtered

64 candidates to 36 candidates (56.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	63	2	65

Merged error: 0.0b

Counts

65 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (* (pow 1.0 a) (pow z y)))
0.0b	(+ (* a b) (* 1.0 (* a z)))
0.0b	(+ (* t y) (+ (* a b) (* 1.0 (* a z))))
1.0b	(/ (* x (* (pow 1.0 a) (pow z y))) (exp (+ (* t y) (+ (* a b) (* 1.0 (* a z))))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

37×	`associate-r`
32×	`exp-sum`
28×	`times-frac`
24×	`sqr-pow`
19×	`+-commutative`
18×	`associate-+r+`
14×	`*-commutative`
7×	`associate-/l*`
6×	`associate-l` `unswap-sqr`
4×	`associate-/r*`
2×	`flip3-+` `flip-+`
1×	`distribute-rgt-out` `frac-2neg` `clear-num` `div-inv`

Counts

4 → 57

Calls

4 calls:

4.0ms	(* x (* (pow 1.0 a) (pow z y)))
5.0ms	(+ (* a b) (* 1.0 (* a z)))
7.0ms	(+ (* t y) (+ (* a b) (* 1.0 (* a z))))
13.0ms	(/ (* x (* (pow 1.0 a) (pow z y))) (exp (+ (* t y) (+ (* a b) (* 1.0 (* a z))))))

series478.0ms

Counts

4 → 12

Calls

4 calls:

131.0ms	(* x (* (pow 1.0 a) (pow z y)))
42.0ms	(+ (* a b) (* 1.0 (* a z)))
46.0ms	(+ (* t y) (+ (* a b) (* 1.0 (* a z))))
258.0ms	(/ (* x (* (pow 1.0 a) (pow z y))) (exp (+ (* t y) (+ (* a b) (* 1.0 (* a z))))))

simplify54.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	407	730
1	1500	730
2	5002	721

prune297.0ms

Filtered

69 candidates to 63 candidates (91.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	69	2	71

Merged error: 0b

Counts

71 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (/ (exp (+ (* t y) (+ (* a b) (* 1.0 (* a z))))) (* (pow 1.0 a) (pow z y))))
0.0b	(+ (* a b) (* 1.0 (* a z)))
0.0b	(+ (* t y) (+ (* a b) (* 1.0 (* a z))))
0.8b	(/ (exp (+ (* t y) (+ (* a b) (* 1.0 (* a z))))) (* (pow 1.0 a) (pow z y)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

48×	`exp-sum`
40×	`times-frac` `sqr-pow`
31×	`associate-/r*`
27×	`+-commutative`
26×	`associate-+r+`
12×	`associate-/r/` `*-commutative`
11×	`associate-r`
10×	`associate-l` `unswap-sqr`
8×	`associate-/l*`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`pow-to-exp` `flip3-+` `flip-+`
1×	`distribute-rgt-out` `div-exp` `prod-exp`

Counts

4 → 78

Calls

4 calls:

13.0ms	(/ x (/ (exp (+ (* t y) (+ (* a b) (* 1.0 (* a z))))) (* (pow 1.0 a) (pow z y))))
5.0ms	(+ (* a b) (* 1.0 (* a z)))
7.0ms	(+ (* t y) (+ (* a b) (* 1.0 (* a z))))
12.0ms	(/ (exp (+ (* t y) (+ (* a b) (* 1.0 (* a z))))) (* (pow 1.0 a) (pow z y)))

series543.0ms

Counts

4 → 12

Calls

4 calls:

255.0ms	(/ x (/ (exp (+ (* t y) (+ (* a b) (* 1.0 (* a z))))) (* (pow 1.0 a) (pow z y))))
42.0ms	(+ (* a b) (* 1.0 (* a z)))
47.0ms	(+ (* t y) (+ (* a b) (* 1.0 (* a z))))
199.0ms	(/ (exp (+ (* t y) (+ (* a b) (* 1.0 (* a z))))) (* (pow 1.0 a) (pow z y)))

simplify58.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	419	899
1	1640	899
2	5002	886

prune404.0ms

Filtered

90 candidates to 83 candidates (92.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	90	2	92

Merged error: 0b

Counts

92 → 2

regimes120.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	11
1	23	11

end0.0ms

sample5.5s

Algorithm

intervals

Results

2.3s	40968×	body	80	nan
779.0ms	12457×	body	80	valid
128.0ms	366×	body	640	valid
92.0ms	422×	body	320	valid
56.0ms	80×	body	1280	valid
35.0ms	265×	body	160	valid