Details

analyze415.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
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
42.1%	57.7%	0.1%	9
56.9%	42.9%	0.1%	10
59.5%	40.4%	0.1%	11
68.1%	31.8%	0.1%	12
75.1%	24.4%	0.5%	13
75.7%	23.3%	1%	14

sample43.0ms

Algorithm

intervals

Results

13.0ms	33×	body	1280	valid
8.0ms	159×	body	80	valid
8.0ms	38×	body	640	valid
3.0ms	18×	body	320	valid
1.0ms	18×	body	80	invalid
1.0ms	8×	body	160	valid
0.0ms	2×	body	320	invalid
0.0ms	1×	body	640	invalid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	67	8
1	67	8

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

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.1b	(*.f64 x (/.f64 (sin.f64 y) y))
0.1b	(/.f64 (sin.f64 y) y)
3.0b	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64`
22×	`times-frac_binary64`
21×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
19×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
13×	`associate-r_binary64`
6×	`associate-/r*_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
5×	`pow1_binary64`
4×	`cbrt-unprod_binary64` `prod-exp_binary64` `associate-/l*_binary64`
3×	`add-log-exp_binary64` `associate-l_binary64` `div-inv_binary64`
2×	`associate-*r/_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `*-commutative_binary64`

Counts

3 → 83

Calls

3 calls:

7.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
4.0ms	(/.f64 (sin.f64 y) y)
7.0ms	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

series29.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
4.0ms	(/.f64 (sin.f64 y) y)
15.0ms	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

simplify60.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4952	739
1	4952	739

prune65.0ms

Filtered

66 candidates to 92 candidates (-39.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	83	9	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	9	93

Merged error: 0.0b

Counts

93 → 9

localize8.0ms

Local error

Found 3 expressions with local error:

0.1b	(*.f64 x (/.f64 (sin.f64 y) y))
0.1b	(/.f64 (sin.f64 y) y)
3.4b	(.f64 (.f64 x (/.f64 (sin.f64 y) y)) (/.f64 1 z))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log_binary64`
31×	`add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
28×	`times-frac_binary64`
26×	`-un-lft-identity_binary64` `associate-r*_binary64` `add-cube-cbrt_binary64`
22×	`prod-exp_binary64`
12×	`cbrt-unprod_binary64` `div-exp_binary64`
10×	`pow1_binary64`
7×	`cbrt-undiv_binary64`
4×	`pow-prod-down_binary64` `associate-r/_binary64` `associate-l*_binary64`
3×	`associate-/r_binary64` `add-log-exp_binary64` `1-exp_binary64` `rec-exp_binary64` `associate-/l_binary64` `div-inv_binary64`
2×	`unswap-sqr_binary64` `*-commutative_binary64`
1×	`clear-num_binary64` `frac-2neg_binary64` `un-div-inv_binary64` `frac-times_binary64` `associate-*l/_binary64`

Counts

3 → 105

Calls

3 calls:

7.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
4.0ms	(/.f64 (sin.f64 y) y)
11.0ms	(.f64 (.f64 x (/.f64 (sin.f64 y) y)) (/.f64 1 z))

series31.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
4.0ms	(/.f64 (sin.f64 y) y)
15.0ms	(.f64 (.f64 x (/.f64 (sin.f64 y) y)) (/.f64 1 z))

simplify50.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4979	943
1	4979	943

prune57.0ms

Filtered

70 candidates to 114 candidates (-62.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	113	10	123

Merged error: 0.0b

Counts

123 → 10

localize8.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 x (/.f64 (sin.f64 y) y))
0.1b	(/.f64 (sin.f64 y) y)
0.5b	(/.f64 1 (/.f64 z (*.f64 x (/.f64 (sin.f64 y) y))))
3.0b	(/.f64 z (*.f64 x (/.f64 (sin.f64 y) y)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

58×	`times-frac_binary64`
54×	`add-exp-log_binary64`
44×	`add-sqr-sqrt_binary64`
39×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
34×	`add-cbrt-cube_binary64`
26×	`div-exp_binary64`
14×	`cbrt-undiv_binary64`
13×	`associate-r_binary64`
12×	`associate-/r*_binary64`
10×	`prod-exp_binary64`
9×	`associate-/l*_binary64`
8×	`div-inv_binary64`
7×	`pow1_binary64`
6×	`cbrt-unprod_binary64` `associate-*r/_binary64` `associate-/r/_binary64`
4×	`add-log-exp_binary64` `1-exp_binary64` `rec-exp_binary64`
3×	`associate-l_binary64` `clear-num_binary64` `frac-2neg_binary64`
2×	`unswap-sqr_binary64`
1×	`pow-prod-down_binary64` `inv-pow_binary64` `pow-flip_binary64` `*-commutative_binary64`

Counts

4 → 147

Calls

4 calls:

7.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
4.0ms	(/.f64 (sin.f64 y) y)
9.0ms	(/.f64 1 (/.f64 z (*.f64 x (/.f64 (sin.f64 y) y))))
6.0ms	(/.f64 z (*.f64 x (/.f64 (sin.f64 y) y)))

series53.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
4.0ms	(/.f64 (sin.f64 y) y)
17.0ms	(/.f64 1 (/.f64 z (*.f64 x (/.f64 (sin.f64 y) y))))
21.0ms	(/.f64 z (*.f64 x (/.f64 (sin.f64 y) y)))

simplify63.0ms

Algorithm

egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4910	1494
1	4910	1494

prune65.0ms

Filtered

100 candidates to 159 candidates (-59.0%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	156	3	159
Fresh	4	4	8
Picked	0	1	1
Done	0	1	1
Total	160	9	169

Merged error: 0b

Counts

169 → 9

localize8.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (/.f64 y (sin.f64 y)) x)
0.1b	(/.f64 y (sin.f64 y))
0.5b	(/.f64 1 (*.f64 z (/.f64 (/.f64 y (sin.f64 y)) x)))
3.3b	(*.f64 z (/.f64 (/.f64 y (sin.f64 y)) x))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

156×	`times-frac_binary64`
101×	`add-sqr-sqrt_binary64`
92×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
54×	`add-exp-log_binary64`
43×	`associate-r_binary64`
34×	`add-cbrt-cube_binary64`
24×	`div-exp_binary64`
19×	`associate-/l*_binary64`
14×	`cbrt-undiv_binary64`
12×	`prod-exp_binary64`
11×	`div-inv_binary64`
9×	`pow1_binary64`
7×	`associate-/r*_binary64`
6×	`cbrt-unprod_binary64`
4×	`add-log-exp_binary64` `1-exp_binary64` `rec-exp_binary64`
3×	`associate-l_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64`
2×	`pow-prod-down_binary64` `associate-*r/_binary64` `pow-flip_binary64`
1×	`associate-/l/_binary64` `associate-/r/_binary64` `inv-pow_binary64` `*-commutative_binary64`

Counts

4 → 199

Calls

4 calls:

7.0ms	(/.f64 (/.f64 y (sin.f64 y)) x)
4.0ms	(/.f64 y (sin.f64 y))
11.0ms	(/.f64 1 (*.f64 z (/.f64 (/.f64 y (sin.f64 y)) x)))
17.0ms	(*.f64 z (/.f64 (/.f64 y (sin.f64 y)) x))

series49.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(/.f64 (/.f64 y (sin.f64 y)) x)
6.0ms	(/.f64 y (sin.f64 y))
18.0ms	(/.f64 1 (*.f64 z (/.f64 (/.f64 y (sin.f64 y)) x)))
17.0ms	(*.f64 z (/.f64 (/.f64 y (sin.f64 y)) x))

simplify63.0ms

Algorithm

egg-herbie

Counts

211 → 211

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5042	2182

prune75.0ms

Filtered

154 candidates to 211 candidates (-37.0%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	210	1	211
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	211	9	220

Merged error: 0b

Counts

220 → 9

regimes311.0ms

Accuracy

80.4% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 2.7b

bsearch47.0ms

Steps

Iters	Range		Point
8	1.5742532036506792e-28	1.2570116507986569e-25	1.0187343895406232e-25
9	-1.047088861324925e-39	-1.0714040342159489e-48	-1.0256658177533403e-39

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	27
1	24	27

end0.0ms

sample1.2s

Algorithm

intervals

Results

310.0ms	984×	body	1280	valid
274.0ms	5295×	body	80	valid
196.0ms	959×	body	640	valid
77.0ms	503×	body	320	valid
34.0ms	515×	body	80	invalid
27.0ms	259×	body	160	valid
9.0ms	43×	body	640	invalid
6.0ms	39×	body	320	invalid
4.0ms	11×	body	1280	invalid
3.0ms	30×	body	160	invalid

Details

analyze415.0ms

sample43.0ms

simplify7.0ms

prune2.0ms

localize7.0ms

rewrite21.0ms

series29.0ms

simplify60.0ms

prune65.0ms

localize8.0ms

rewrite26.0ms

series31.0ms

simplify50.0ms

prune57.0ms

localize8.0ms

rewrite31.0ms

series53.0ms

simplify63.0ms

prune65.0ms

localize8.0ms

rewrite47.0ms

series49.0ms

simplify63.0ms

prune75.0ms

regimes311.0ms

bsearch47.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling