Details

analyze702.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
9.4%	90.4%	0.2%	8
9.4%	90.4%	0.2%	9
10.9%	88.9%	0.2%	10
25.9%	73.9%	0.2%	11
47.1%	52.7%	0.2%	12
55.3%	44.5%	0.2%	13
59.2%	40.6%	0.2%	14

sample20.0ms

Algorithm

intervals

Results

11.0ms

256×

body

128

valid

simplify79.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5004	19

prune6.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: 3.2b

Counts

2 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))))
5.1b	(/.f64 (.f64 y t) (.f64 2 z))
5.3b	(/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64`
23×	`*-un-lft-identity_binary64`
17×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `times-frac_binary64`
13×	`add-cube-cbrt_binary64`
6×	`associate-/r*_binary64` `difference-of-squares_binary64`
5×	`add-log-exp_binary64` `cbrt-undiv_binary64` `distribute-lft-out--_binary64` `div-exp_binary64`
4×	`cbrt-unprod_binary64` `prod-exp_binary64` `associate-/l*_binary64`
3×	`pow1_binary64`
2×	`flip3--_binary64` `associate-/r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `flip--_binary64`
1×	`sub-neg_binary64` `diff-log_binary64`

Counts

3 → 72

Calls

3 calls:

18.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))))
6.0ms	(/.f64 (.f64 y t) (.f64 2 z))
8.0ms	(/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z))))

series434.0ms

Counts

3 → 9

Calls

3 calls:

147.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))))
42.0ms	(/.f64 (.f64 y t) (.f64 2 z))
244.0ms	(/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z))))

simplify75.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5003	1697

prune74.0ms

Filtered

58 candidates to 81 candidates (-39.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	77	4	81
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	79	4	83

Merged error: 0.7b

Counts

83 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z))))))
0.5b	(/.f64 2 (/.f64 t z))
4.6b	(/.f64 y (/.f64 2 (/.f64 t z)))
5.3b	(/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z)))))

rewrite190.0ms

Algorithm

rewrite-expression-head

Rules

520×	`times-frac_binary64`
305×	`add-sqr-sqrt_binary64`
254×	`*-un-lft-identity_binary64`
244×	`add-cube-cbrt_binary64`
65×	`associate-/r*_binary64`
23×	`div-inv_binary64`
20×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`difference-of-squares_binary64`
10×	`cbrt-undiv_binary64` `div-exp_binary64`
9×	`associate-/l*_binary64`
8×	`associate-/r/_binary64`
6×	`add-log-exp_binary64`
5×	`distribute-lft-out--_binary64`
4×	`pow1_binary64`
3×	`clear-num_binary64` `frac-2neg_binary64`
2×	`flip3--_binary64` `flip--_binary64`
1×	`sub-neg_binary64` `diff-log_binary64`

Counts

4 → 329

Calls

4 calls:

62.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z))))))
7.0ms	(/.f64 2 (/.f64 t z))
15.0ms	(/.f64 y (/.f64 2 (/.f64 t z)))
52.0ms	(/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z)))))

series479.0ms

Counts

4 → 12

Calls

4 calls:

157.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z))))))
25.0ms	(/.f64 2 (/.f64 t z))
44.0ms	(/.f64 y (/.f64 2 (/.f64 t z)))
253.0ms	(/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z)))))

simplify120.0ms

Algorithm

egg-herbie

Counts

341 → 341

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5065	8131

prune339.0ms

Filtered

284 candidates to 341 candidates (-20.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	338	3	341
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	340	5	345

Merged error: 0.5b

Counts

345 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (/.f64 y (-.f64 z (/.f64 y (*.f64 2 (/.f64 z t))))))
4.6b	(/.f64 y (*.f64 2 (/.f64 z t)))
5.3b	(/.f64 y (-.f64 z (/.f64 y (*.f64 2 (/.f64 z t)))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64`
19×	`times-frac_binary64`
15×	`add-cube-cbrt_binary64`
14×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`associate-/r_binary64` `difference-of-squares_binary64` `associate-/l_binary64`
5×	`add-log-exp_binary64` `cbrt-undiv_binary64` `distribute-lft-out--_binary64` `div-exp_binary64`
3×	`pow1_binary64` `associate-/r/_binary64`
2×	`flip3--_binary64` `cbrt-unprod_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `div-inv_binary64` `flip--_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `associate-*r/_binary64`

Counts

3 → 75

Calls

3 calls:

14.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 y (*.f64 2 (/.f64 z t))))))
7.0ms	(/.f64 y (*.f64 2 (/.f64 z t)))
9.0ms	(/.f64 y (-.f64 z (/.f64 y (*.f64 2 (/.f64 z t)))))

series480.0ms

Counts

3 → 9

Calls

3 calls:

159.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 y (*.f64 2 (/.f64 z t))))))
52.0ms	(/.f64 y (*.f64 2 (/.f64 z t)))
269.0ms	(/.f64 y (-.f64 z (/.f64 y (*.f64 2 (/.f64 z t)))))

simplify58.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5099	1728

prune65.0ms

Filtered

59 candidates to 84 candidates (-42.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	85	4	89

Merged error: 0b

Counts

89 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 z y) (/.f64 1/2 (/.f64 z t)))
0.0b	(-.f64 x (/.f64 1 (-.f64 (/.f64 z y) (/.f64 1/2 (/.f64 z t)))))
0.4b	(/.f64 1/2 (/.f64 z t))
0.7b	(/.f64 1 (-.f64 (/.f64 z y) (/.f64 1/2 (/.f64 z t))))

rewrite164.0ms

Algorithm

rewrite-expression-head

Rules

174×	`add-sqr-sqrt_binary64`
165×	`times-frac_binary64`
96×	`*-un-lft-identity_binary64`
62×	`add-cube-cbrt_binary64`
33×	`difference-of-squares_binary64`
24×	`associate-/r*_binary64`
12×	`add-exp-log_binary64` `distribute-lft-out--_binary64`
11×	`add-cbrt-cube_binary64`
8×	`add-log-exp_binary64`
7×	`div-inv_binary64`
6×	`associate-/l*_binary64`
5×	`pow1_binary64`
4×	`cbrt-undiv_binary64` `associate-/r/_binary64` `div-exp_binary64`
3×	`flip3--_binary64` `flip--_binary64`
2×	`sub-neg_binary64` `diff-log_binary64` `clear-num_binary64` `frac-2neg_binary64` `frac-sub_binary64`
1×	`inv-pow_binary64` `rec-exp_binary64` `pow-flip_binary64`

Counts

4 → 171

Calls

4 calls:

41.0ms	(-.f64 (/.f64 z y) (/.f64 1/2 (/.f64 z t)))
56.0ms	(-.f64 x (/.f64 1 (-.f64 (/.f64 z y) (/.f64 1/2 (/.f64 z t)))))
7.0ms	(/.f64 1/2 (/.f64 z t))
39.0ms	(/.f64 1 (-.f64 (/.f64 z y) (/.f64 1/2 (/.f64 z t))))

series214.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(-.f64 (/.f64 z y) (/.f64 1/2 (/.f64 z t)))
79.0ms	(-.f64 x (/.f64 1 (-.f64 (/.f64 z y) (/.f64 1/2 (/.f64 z t)))))
26.0ms	(/.f64 1/2 (/.f64 z t))
57.0ms	(/.f64 1 (-.f64 (/.f64 z y) (/.f64 1/2 (/.f64 z t))))

simplify94.0ms

Algorithm

egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4921	4165
1	4921	4165

prune140.0ms

Filtered

130 candidates to 183 candidates (-40.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	183	0	183
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	183	4	187

Merged error: 0b

Counts

187 → 4

regimes50.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	55	19
1	55	19

end0.0ms

sample566.0ms

Algorithm

intervals

Results

362.0ms

8000×

body

128

valid

Details

analyze702.0ms

sample20.0ms

simplify79.0ms

prune6.0ms

localize10.0ms

rewrite40.0ms

series434.0ms

simplify75.0ms

prune74.0ms

localize9.0ms

rewrite190.0ms

series479.0ms

simplify120.0ms

prune339.0ms

localize9.0ms

rewrite37.0ms

series480.0ms

simplify58.0ms

prune65.0ms

localize10.0ms

rewrite164.0ms

series214.0ms

simplify94.0ms

prune140.0ms

regimes50.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample566.0ms

Profiling