Details

sample33.0ms

Algorithm

intervals

Results

13.0ms

262×

body

valid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	8
1	39	8
2	47	8
3	49	8
4	49	8

prune4.0ms

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: 18.7b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* y z) t))
5.7b	(/ (* y z) t)
6.2b	(/ (* y b) t)
12.6b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity`
26×	`times-frac`
22×	`distribute-lft-out`
19×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r*`
6×	`associate-/l*` `add-log-exp`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `flip3-+` `associate-/r/` `flip-+`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`frac-add` `prod-exp` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `sum-log`

Counts

4 → 101

Calls

4 calls:

4.0ms	(+ x (/ (* y z) t))
4.0ms	(/ (* y z) t)
4.0ms	(/ (* y b) t)
13.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series59.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(+ x (/ (* y z) t))
5.0ms	(/ (* y z) t)
5.0ms	(/ (* y b) t)
41.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify46.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	454	843
1	1942	782
2	5001	782

prune208.0ms

Filtered

73 candidates to 113 candidates (-54.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	102	11	113
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	102	12	114

Merged error: 11.3b

Counts

114 → 12

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* y z) t))
4.7b	(* y (/ b t))
5.7b	(/ (* y z) t)
12.6b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* y (/ b t))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

33×	`*-un-lft-identity`
28×	`add-sqr-sqrt`
25×	`times-frac`
23×	`add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
13×	`associate-r`
6×	`pow1` `associate-/r*` `add-log-exp`
5×	`distribute-lft-out` `associate-/l*`
4×	`cbrt-undiv` `flip3-+` `div-exp` `associate-/r/` `flip-+`
3×	`associate-r/` `associate-l*` `prod-exp` `cbrt-unprod` `div-inv`
2×	`frac-2neg` `frac-add` `clear-num` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `pow-prod-down` `sum-log` `*-commutative`

Counts

4 → 102

Calls

4 calls:

4.0ms	(+ x (/ (* y z) t))
6.0ms	(* y (/ b t))
4.0ms	(/ (* y z) t)
10.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* y (/ b t))))

series59.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(+ x (/ (* y z) t))
5.0ms	(* y (/ b t))
5.0ms	(/ (* y z) t)
40.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* y (/ b t))))

simplify53.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	519	791
1	2261	730
2	5001	730

prune151.0ms

Filtered

76 candidates to 114 candidates (-50.0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	1	9	10
Picked	1	0	1
Done	0	1	1
Total	114	12	126

Merged error: 10.6b

Counts

126 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (/ z t)))
4.7b	(* y (/ b t))
5.5b	(* y (/ z t))
12.6b	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* y (/ b t))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
29×	`times-frac`
28×	`add-cube-cbrt` `*-un-lft-identity`
26×	`associate-r`
16×	`add-exp-log` `add-cbrt-cube`
8×	`pow1`
6×	`associate-l` `add-log-exp`
4×	`flip3-+` `associate-*r/` `prod-exp` `associate-/r/` `cbrt-unprod` `flip-+` `unswap-sqr`
3×	`cbrt-undiv` `div-exp` `associate-/r` `div-inv` `associate-/l`
2×	`pow-prod-down` `frac-add` `*-commutative` `associate-/l/`
1×	`+-commutative` `frac-2neg` `clear-num` `sum-log`

Counts

4 → 108

Calls

4 calls:

2.0ms	(+ x (* y (/ z t)))
6.0ms	(* y (/ b t))
7.0ms	(* y (/ z t))
9.0ms	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* y (/ b t))))

series63.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(+ x (* y (/ z t)))
5.0ms	(* y (/ b t))
5.0ms	(* y (/ z t))
39.0ms	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* y (/ b t))))

simplify80.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 1 (22.0ms)

Iter	Nodes	Cost
0	553	784
1	2338	723
2	5001	723

prune168.0ms

Filtered

86 candidates to 120 candidates (-39.5%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	118	14	132

Merged error: 10.6b

Counts

132 → 14

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 1 (/ (+ (+ a 1.0) (* y (/ b t))) (+ x (/ (* y z) t))))
4.7b	(* y (/ b t))
5.7b	(/ (* y z) t)
12.5b	(/ (+ (+ a 1.0) (* y (/ b t))) (+ x (/ (* y z) t)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

127×	`times-frac`
106×	`*-un-lft-identity`
79×	`add-sqr-sqrt`
74×	`add-cube-cbrt`
27×	`add-exp-log`
25×	`associate-/r*`
21×	`add-cbrt-cube`
16×	`distribute-lft-out`
13×	`associate-r`
11×	`div-exp` `associate-/r/`
8×	`div-inv`
7×	`pow1` `cbrt-undiv` `flip3-+` `flip-+` `associate-/l*`
4×	`associate-/l/` `add-log-exp`
3×	`frac-2neg` `associate-r/` `associate-l*` `prod-exp` `clear-num` `cbrt-unprod`
2×	`rec-exp` `1-exp` `frac-add` `unswap-sqr`
1×	`pow-flip` `pow-prod-down` `*-commutative` `inv-pow`

Counts

4 → 186

Calls

4 calls:

12.0ms	(/ 1 (/ (+ (+ a 1.0) (* y (/ b t))) (+ x (/ (* y z) t))))
6.0ms	(* y (/ b t))
4.0ms	(/ (* y z) t)
11.0ms	(/ (+ (+ a 1.0) (* y (/ b t))) (+ x (/ (* y z) t)))

series134.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(/ 1 (/ (+ (+ a 1.0) (* y (/ b t))) (+ x (/ (* y z) t))))
5.0ms	(* y (/ b t))
5.0ms	(/ (* y z) t)
32.0ms	(/ (+ (+ a 1.0) (* y (/ b t))) (+ x (/ (* y z) t)))

simplify89.0ms

Algorithm

egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	726	2290
1	3611	2096
2	5001	1999

prune190.0ms

Filtered

109 candidates to 198 candidates (-81.7%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	195	3	198
Fresh	0	11	11
Picked	0	1	1
Done	1	1	2
Total	196	16	212

Merged error: 10.5b

Counts

212 → 16

regimes1.0s

Accuracy

57% (2.6b remaining)

Error of 12.9b against oracle of 10.3b and baseline of 16.4b

bsearch55.0ms

Steps

Iters	Range		Point
10	8.200011094841033e-44	2.7036647751267544e-31	3.150062354636128e-37
8	-1.2159603224609972e-71	-6.428289419157525e-76	-8.977474147548546e-72

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	44	25
1	44	25

end0.0ms

sample936.0ms

Algorithm

intervals

Results

428.0ms

8268×

body

valid

Details

sample33.0ms

simplify7.0ms

prune4.0ms

localize11.0ms

rewrite28.0ms

series59.0ms

simplify46.0ms

prune208.0ms

localize11.0ms

rewrite28.0ms

series59.0ms

simplify53.0ms

prune151.0ms

localize14.0ms

rewrite28.0ms

series63.0ms

simplify80.0ms

prune168.0ms

localize13.0ms

rewrite41.0ms

series134.0ms

simplify89.0ms

prune190.0ms

regimes1.0s

bsearch55.0ms

simplify2.0ms

end0.0ms

sample936.0ms

Profiling