Details

sample22.0ms

Algorithm

intervals

Results

10.0ms

348×

body

valid

simplify141.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	4
1	31	4
2	57	4
3	91	4
4	117	4
5	136	4
6	158	4
7	212	4
8	421	4
9	880	4
10	1618	4
11	2991	4
12	4757	4
13	5001	4

prune2.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: 1.6b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (/ x y) (- z t)) t)
6.6b	(* (/ x y) (- z t))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
13×	`associate-l`
12×	`*-un-lft-identity`
10×	`add-cube-cbrt` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
5×	`associate-r`
4×	`pow1` `distribute-rgt-in` `sub-neg` `associate-+l+` `distribute-lft-in` `add-log-exp`
2×	`frac-times` `flip3--` `associate-*r/` `prod-exp` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `div-exp` `pow-prod-down` `associate-l/` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 57

Calls

2 calls:

7.0ms	(+ (* (/ x y) (- z t)) t)
10.0ms	(* (/ x y) (- z t))

series87.0ms

Counts

2 → 6

Calls

2 calls:

31.0ms	(+ (* (/ x y) (- z t)) t)
56.0ms	(* (/ x y) (- z t))

simplify36.0ms

Algorithm

egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	314	342
1	1191	302
2	5002	302

prune138.0ms

Filtered

63 candidates to 43 candidates (68.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	54	9	63
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	55	9	64

Merged error: 0.0b

Counts

64 → 9

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ (* (/ x y) z) (* (/ x y) (neg t))) t)
0.0b	(+ (* (/ x y) z) (* (/ x y) (neg t)))
4.3b	(* (/ x y) (neg t))
5.2b	(* (/ x y) z)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
26×	`associate-l`
24×	`*-un-lft-identity`
22×	`add-cube-cbrt`
20×	`times-frac`
14×	`add-exp-log` `add-cbrt-cube`
13×	`associate-r`
11×	`add-log-exp`
8×	`pow1`
5×	`distribute-rgt-neg-out`
4×	`associate-*l/` `prod-exp` `sum-log` `cbrt-unprod` `unswap-sqr`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`cbrt-undiv` `+-commutative` `associate-+l-` `flip3-+` `div-exp` `unsub-neg` `pow-prod-down` `*-commutative` `flip-+` `div-inv` `distribute-lft-out`
1×	`neg-mul-1` `associate-+l+` `frac-add`

Counts

4 → 103

Calls

4 calls:

8.0ms	(+ (+ (* (/ x y) z) (* (/ x y) (neg t))) t)
5.0ms	(+ (* (/ x y) z) (* (/ x y) (neg t)))
8.0ms	(* (/ x y) (neg t))
8.0ms	(* (/ x y) z)

series143.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(+ (+ (* (/ x y) z) (* (/ x y) (neg t))) t)
49.0ms	(+ (* (/ x y) z) (* (/ x y) (neg t)))
30.0ms	(* (/ x y) (neg t))
20.0ms	(* (/ x y) z)

simplify68.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	481	608
1	2197	531
2	5001	530

prune217.0ms

Filtered

115 candidates to 86 candidates (74.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	115	0	115
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	115	9	124

Merged error: 0.0b

Counts

124 → 9

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
2.8b	(* (/ (cbrt x) y) (- z t))
4.9b	(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

66×	`add-exp-log`
35×	`add-cbrt-cube`
33×	`prod-exp`
32×	`add-sqr-sqrt`
29×	`associate-l`
24×	`*-un-lft-identity`
23×	`times-frac`
22×	`add-cube-cbrt`
20×	`cbrt-unprod`
18×	`div-exp`
16×	`cbrt-prod`
11×	`pow1` `frac-times` `associate-*r/`
10×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in`
6×	`sub-neg` `flip3--` `1-exp` `associate-r` `flip--`
4×	`pow-prod-down` `associate-*l/` `add-log-exp`
3×	`unswap-sqr`
2×	`pow1/3` `*-commutative` `div-inv`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

4 → 135

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
10.0ms	(* (/ (cbrt x) y) (- z t))
14.0ms	(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))

series626.0ms

Counts

4 → 12

Calls

4 calls:

180.0ms	(cbrt x)
189.0ms	(cbrt x)
168.0ms	(* (/ (cbrt x) y) (- z t))
89.0ms	(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))

simplify87.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 2 (76.0ms)

Iter	Nodes	Cost
0	689	1166
1	3527	902
2	5002	763

prune282.0ms

Filtered

147 candidates to 91 candidates (61.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	147	9	156

Merged error: 0.0b

Counts

156 → 9

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ (* x (- z t)) y) t)
0.0b	(* x (- z t))
6.4b	(/ (* x (- z t)) y)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
5×	`pow1` `associate-r` `add-log-exp`
4×	`associate-*r/`
3×	`times-frac` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `div-exp` `prod-exp` `flip--` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 61

Calls

3 calls:

7.0ms	(+ (/ (* x (- z t)) y) t)
6.0ms	(* x (- z t))
8.0ms	(/ (* x (- z t)) y)

series120.0ms

Counts

3 → 9

Calls

3 calls:

33.0ms	(+ (/ (* x (- z t)) y) t)
34.0ms	(* x (- z t))
53.0ms	(/ (* x (- z t)) y)

simplify44.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	288	331
1	1163	295
2	5001	283

prune95.0ms

Filtered

70 candidates to 43 candidates (61.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	67	3	70
Fresh	3	3	6
Picked	1	0	1
Done	0	2	2
Total	71	8	79

Merged error: 0.0b

Counts

79 → 8

regimes189.0ms

Accuracy

23% (1.5b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 1.9b

bsearch98.0ms

Steps

Iters	Range		Point
11	5.132172363894162e-150	1.6472593934702808e-127	1.9593859466949988e-131
8	-2.264556543629425e-55	-6.149585189344581e-58	-2.0220152627365835e-55

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	16
1	41	16
2	44	16
3	44	16

end0.0ms

sample611.0ms

Algorithm

intervals

Results

343.0ms

10727×

body

valid

Details

sample22.0ms

simplify141.0ms

prune2.0ms

localize6.0ms

rewrite18.0ms

series87.0ms

simplify36.0ms

prune138.0ms

localize9.0ms

rewrite33.0ms

series143.0ms

simplify68.0ms

prune217.0ms

localize19.0ms

rewrite31.0ms

series626.0ms

simplify87.0ms

prune282.0ms

localize6.0ms

rewrite23.0ms

series120.0ms

simplify44.0ms

prune95.0ms

regimes189.0ms

bsearch98.0ms

simplify2.0ms

end0.0ms

sample611.0ms

Profiling