Details

analyze492.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
18.7%	81.1%	0.1%	7
21.8%	78%	0.1%	8
21.8%	78%	0.1%	9
49.1%	50.7%	0.1%	10
52.7%	47.2%	0.1%	11
52.7%	47.2%	0.1%	12
71.7%	28.2%	0.1%	13
74.1%	25.8%	0.1%	14

sample26.0ms

Algorithm

intervals

Results

13.0ms

256×

body

valid

simplify102.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	5325	21

prune11.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: 19.5b

Counts

2 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (+ z 6.012459259764103))
0.1b	(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
0.1b	(* y (/ (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304)))
19.3b	(/ (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 110

Calls

4 calls:

6.0ms	(* z (+ z 6.012459259764103))
9.0ms	(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
16.0ms	(* y (/ (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304)))
13.0ms	(/ (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304))

series40.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* z (+ z 6.012459259764103))
6.0ms	(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
24.0ms	(* y (/ (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304)))
6.0ms	(/ (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304))

simplify53.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4993	1944
1	4993	1944

prune233.0ms

Filtered

89 candidates to 122 candidates (-37.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	118	4	122
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	119	5	124

Merged error: 0.0b

Counts

124 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(* y (/ (/ (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525) (sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))) (sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))))
18.5b	(sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))
18.5b	(sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))
18.6b	(/ (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525) (sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304)))

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

280×	`times-frac`
175×	`add-sqr-sqrt`
150×	`associate-r`
149×	`add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
20×	`sqrt-div`
16×	`associate-/r/`
15×	`add-exp-log` `add-cbrt-cube`
11×	`flip3-+` `flip-+`
8×	`pow1` `div-inv`
7×	`unswap-sqr`
6×	`associate-/r*`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`associate-l` `prod-exp` `cbrt-unprod` `associate-/l*`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-/l/`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative`

Counts

4 → 249

Calls

4 calls:

52.0ms	(* y (/ (/ (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525) (sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))) (sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))))
6.0ms	(sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))
6.0ms	(sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))
14.0ms	(/ (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525) (sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304)))

series43.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* y (/ (/ (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525) (sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))) (sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))))
3.0ms	(sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))
9.0ms	(sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))
7.0ms	(/ (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525) (sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304)))

simplify89.0ms

Algorithm

egg-herbie

Counts

261 → 261

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4953	6587
1	4953	6587

prune932.0ms

Filtered

153 candidates to 261 candidates (-70.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	260	1	261
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	260	6	266

Merged error: 0.0b

Counts

266 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
0.1b	(* y (/ 1 (/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525))))
0.4b	(/ 1 (/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525)))
19.3b	(/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

168×	`times-frac`
112×	`add-sqr-sqrt`
98×	`*-un-lft-identity`
96×	`add-cube-cbrt`
53×	`associate-r`
38×	`add-exp-log`
22×	`add-cbrt-cube`
18×	`associate-/r*` `associate-/r/`
15×	`div-exp`
10×	`flip3-+` `flip-+` `div-inv`
9×	`pow1`
8×	`prod-exp`
7×	`cbrt-undiv`
6×	`associate-l` `associate-/l*` `unswap-sqr`
4×	`rec-exp` `1-exp` `cbrt-unprod` `add-log-exp`
3×	`associate-*r/`
2×	`frac-2neg` `pow-prod-down` `clear-num` `*-commutative` `associate-/l/`
1×	`distribute-rgt-in` `pow-flip` `distribute-lft-in` `un-div-inv` `inv-pow`

Counts

4 → 216

Calls

4 calls:

8.0ms	(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
24.0ms	(* y (/ 1 (/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525))))
15.0ms	(/ 1 (/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525)))
14.0ms	(/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525))

series40.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
23.0ms	(* y (/ 1 (/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525))))
5.0ms	(/ 1 (/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525)))
6.0ms	(/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525))

simplify95.0ms

Algorithm

egg-herbie

Counts

228 → 228

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4963	5326
1	4963	5326

prune554.0ms

Filtered

157 candidates to 228 candidates (-45.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	227	1	228
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	230	4	234

Merged error: 0.0b

Counts

234 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (+ z 6.012459259764103))
0.1b	(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
0.3b	(/ y (/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525)))
19.3b	(/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 154

Calls

4 calls:

6.0ms	(* z (+ z 6.012459259764103))
6.0ms	(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
15.0ms	(/ y (/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525)))
13.0ms	(/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525))

series42.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* z (+ z 6.012459259764103))
6.0ms	(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
26.0ms	(/ y (/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525)))
6.0ms	(/ (+ (* z (+ z 6.012459259764103)) 3.350343815022304) (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525))

simplify70.0ms

Algorithm

egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4958	3777
1	4958	3777

prune332.0ms

Filtered

129 candidates to 166 candidates (-28.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	165	1	166
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	166	4	170

Merged error: 0.0b

Counts

170 → 4

regimes216.0ms

Accuracy

99.3% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 16.1b

bsearch34.0ms

Steps

Iters	Range		Point
9	6.583603622261545	14655097.389961822	520855.7930169359
6	-8793089705.564392	-1672705361.9462683	-1900238327.2255037

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	157	55
1	157	55

end0.0ms

sample604.0ms

Algorithm

intervals

Results

424.0ms

8000×

body

valid

Details

analyze492.0ms

sample26.0ms

simplify102.0ms

prune11.0ms

localize13.0ms

rewrite47.0ms

series40.0ms

simplify53.0ms

prune233.0ms

localize16.0ms

rewrite94.0ms

series43.0ms

simplify89.0ms

prune932.0ms

localize15.0ms

rewrite70.0ms

series40.0ms

simplify95.0ms

prune554.0ms

localize13.0ms

rewrite46.0ms

series42.0ms

simplify70.0ms

prune332.0ms

regimes216.0ms

bsearch34.0ms

simplify2.0ms

end0.0ms

sample604.0ms

Profiling