Details

analyze980.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
37.4%	62.4%	0.1%	9
37.4%	62.4%	0.1%	10
43.7%	56.2%	0.1%	11
43.7%	56.2%	0.1%	12
43.7%	56.2%	0.1%	13
61.7%	38.2%	0.1%	14

sample31.0ms

Algorithm

intervals

Results

21.0ms

256×

body

valid

simplify34.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5321	37

prune12.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: 22.9b

Counts

2 → 2

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b	(* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894))
0.1b	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
0.1b	(* x (+ (* x 4.16438922228) 78.6994924154))
22.2b	(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
18×	`add-cube-cbrt` `*-un-lft-identity`
12×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
9×	`times-frac` `associate-r` `associate-l`
6×	`associate-*r/`
5×	`flip3-+` `flip-+`
4×	`add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `associate-/r` `-commutative` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 97

Calls

4 calls:

11.0ms	(* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894))
9.0ms	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
6.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
25.0ms	(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

series53.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894))
4.0ms	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
5.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
39.0ms	(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

simplify49.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5035	2327

prune239.0ms

Filtered

78 candidates to 109 candidates (-39.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	104	5	109
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	105	6	111

Merged error: 0.0b

Counts

111 → 6

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
0.1b	(* x (+ (* x 4.16438922228) 78.6994924154))
0.2b	(/ 1 (/ (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)))
22.2b	(/ (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
64×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `*-un-lft-identity`
21×	`add-exp-log`
18×	`associate-/r*`
15×	`add-cbrt-cube`
11×	`associate-/r/`
9×	`pow1`
8×	`flip3-+` `div-exp` `flip-+`
6×	`associate-r` `associate-l` `div-inv` `associate-/l*`
4×	`cbrt-undiv` `associate-*r/` `add-log-exp`
2×	`distribute-rgt-in` `rec-exp` `frac-2neg` `distribute-lft-in` `1-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`pow-flip` `inv-pow`

Counts

4 → 159

Calls

4 calls:

10.0ms	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
6.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
25.0ms	(/ 1 (/ (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)))
29.0ms	(/ (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))

series83.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
6.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
42.0ms	(/ 1 (/ (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)))
32.0ms	(/ (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))

simplify80.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4974	6443
1	4974	6443

prune368.0ms

Filtered

112 candidates to 171 candidates (-52.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	169	2	171
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	170	7	177

Merged error: 0.0b

Counts

177 → 7

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))
0.1b	(* x (+ (* x 4.16438922228) 78.6994924154))
0.2b	(/ 1 (* (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))))
22.3b	(* (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)))

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-exp-log`
33×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
24×	`add-cube-cbrt`
23×	`times-frac`
22×	`add-cbrt-cube`
20×	`div-exp`
18×	`associate-r`
17×	`prod-exp`
12×	`pow1`
10×	`rec-exp` `1-exp` `associate-/r/`
7×	`flip3-+` `flip-+`
6×	`cbrt-undiv` `associate-l` `associate-/l*`
5×	`cbrt-unprod`
4×	`frac-times` `associate-r/` `associate-l/` `associate-/r*` `add-log-exp` `unswap-sqr`
3×	`pow-flip` `pow-prod-down` `div-inv`
2×	`frac-2neg` `clear-num` `un-div-inv` `*-commutative` `inv-pow`
1×	`distribute-rgt-in` `distribute-lft-in`

Counts

4 → 141

Calls

4 calls:

14.0ms	(/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))
11.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
28.0ms	(/ 1 (* (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))))
30.0ms	(* (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)))

series90.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))
8.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
35.0ms	(/ 1 (* (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))))
32.0ms	(* (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)))

simplify77.0ms

Algorithm

egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5082	4090

prune260.0ms

Filtered

86 candidates to 153 candidates (-77.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	153	0	153
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	153	7	160

Merged error: 0.0b

Counts

160 → 7

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))
0.1b	(* x (+ (* x 4.16438922228) 78.6994924154))
0.1b	(/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
22.4b	(/ (/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)) (/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)))

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

531×	`times-frac`
248×	`add-sqr-sqrt`
246×	`add-cube-cbrt` `*-un-lft-identity`
69×	`associate-/r/`
54×	`add-exp-log`
36×	`div-exp`
35×	`flip3-+` `flip-+` `div-inv`
22×	`add-cbrt-cube`
21×	`associate-/r` `associate-/l`
10×	`cbrt-undiv` `rec-exp` `1-exp`
8×	`pow1`
4×	`add-log-exp`
3×	`frac-2neg` `associate-r` `associate-l` `clear-num`
2×	`pow-flip` `associate-*r/` `inv-pow`
1×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `associate-/l/` `unswap-sqr`

Counts

4 → 375

Calls

4 calls:

14.0ms	(/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))
7.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
13.0ms	(/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
37.0ms	(/ (/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)) (/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)))

series67.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))
6.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
6.0ms	(/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
41.0ms	(/ (/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)) (/ 1 (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)))

simplify164.0ms

Algorithm

egg-herbie

Counts

387 → 387

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4974	21890
1	4974	21890

prune1.0s

Filtered

193 candidates to 387 candidates (-100.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	387	0	387
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	387	7	394

Merged error: 0.0b

Counts

394 → 7

regimes361.0ms

Accuracy

97.6% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 24.1b

bsearch46.0ms

Steps

Iters	Range		Point
8	4.960133880001677e+57	2.418115129120649e+61	1.2804628290216782e+61
8	-4.658088286280362e+50	-9.13797247656498e+46	-7.661710032778317e+49

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	91	63
1	91	63

end0.0ms

sample851.0ms

Algorithm

intervals

Results

663.0ms	8000×	body	80	valid
0.0ms	3×	body	80	invalid

Details

analyze980.0ms

sample31.0ms

simplify34.0ms

prune12.0ms

localize28.0ms

rewrite55.0ms

series53.0ms

simplify49.0ms

prune239.0ms

localize25.0ms

rewrite76.0ms

series83.0ms

simplify80.0ms

prune368.0ms

localize28.0ms

rewrite87.0ms

series90.0ms

simplify77.0ms

prune260.0ms

localize26.0ms

rewrite92.0ms

series67.0ms

simplify164.0ms

prune1.0s

regimes361.0ms

bsearch46.0ms

simplify2.0ms

end0.0ms

sample851.0ms

Profiling