Details

analyze742.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
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
74.9%	25%	0.1%	9
74.9%	25%	0.1%	10
74.9%	25%	0.1%	11
74.9%	25%	0.1%	12
74.9%	25%	0.1%	13
74.9%	25%	0.1%	14

sample164.0ms

Algorithm

intervals

Results

103.0ms	105×	body	1024	valid
24.0ms	40×	body	512	valid
16.0ms	89×	body	128	valid
9.0ms	22×	body	256	valid

simplify51.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4924	77
1	4924	77

prune9.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: 0.3b

Counts

2 → 2

localize32.0ms

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b	(-.f64 3 (sqrt.f64 5))
1.6b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
11×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`associate-l_binary64`
8×	`add-log-exp_binary64` `sub-neg_binary64` `add-cube-cbrt_binary64`
7×	`associate-r_binary64`
6×	`associate-*r/_binary64`
5×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `difference-of-squares_binary64` `sqrt-prod_binary64`
4×	`pow-prod-down_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `flip--_binary64`
3×	`distribute-lft-out--_binary64`
2×	`diff-log_binary64` `unswap-sqr_binary64` `*-commutative_binary64`
1×	`times-frac_binary64` `diff-cos_binary64`

Counts

4 → 81

Calls

4 calls:

13.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
11.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
5.0ms	(-.f64 3 (sqrt.f64 5))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

series261.0ms

Counts

4 → 10

Calls

4 calls:

116.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
71.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.0ms	(-.f64 3 (sqrt.f64 5))
74.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

simplify70.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5130	1546

prune211.0ms

Filtered

62 candidates to 91 candidates (-46.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	82	9	91
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	83	10	93

Merged error: 0.1b

Counts

93 → 10

localize34.0ms

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.8b	(.f64 (sqrt.f64 3/2) (.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) (sqrt.f64 3/2)))
1.0b	(-.f64 3 (sqrt.f64 5))
1.6b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`associate-l_binary64`
9×	`add-cube-cbrt_binary64`
8×	`add-log-exp_binary64` `sqrt-prod_binary64`
7×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `prod-exp_binary64`
6×	`associate-*r/_binary64`
5×	`difference-of-squares_binary64`
4×	`sub-neg_binary64` `flip3--_binary64` `flip--_binary64`
3×	`distribute-lft-out--_binary64`
2×	`diff-log_binary64` `unswap-sqr_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `times-frac_binary64` `diff-cos_binary64`

Counts

4 → 83

Calls

4 calls:

13.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
16.0ms	(.f64 (sqrt.f64 3/2) (.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) (sqrt.f64 3/2)))
5.0ms	(-.f64 3 (sqrt.f64 5))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

series319.0ms

Counts

4 → 10

Calls

4 calls:

124.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
119.0ms	(.f64 (sqrt.f64 3/2) (.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) (sqrt.f64 3/2)))
0.0ms	(-.f64 3 (sqrt.f64 5))
76.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

simplify61.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5004	1604

prune201.0ms

Filtered

65 candidates to 93 candidates (-43.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	90	3	93
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	94	9	103

Merged error: 0.1b

Counts

103 → 9

localize42.0ms

Local error

Found 4 expressions with local error:

0.8b	(.f64 (sqrt.f64 3/2) (.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) (sqrt.f64 3/2)))
1.0b	(-.f64 3 (sqrt.f64 5))
1.6b	(-.f64 (cos.f64 x) (cos.f64 y))
3.0b	(log.f64 (exp.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64`
9×	`add-log-exp_binary64`
7×	`add-cube-cbrt_binary64`
6×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64`
5×	`log-prod_binary64`
4×	`sub-neg_binary64` `associate-*r/_binary64` `sqrt-prod_binary64`
3×	`flip3--_binary64` `log-pow_binary64` `difference-of-squares_binary64` `flip--_binary64`
2×	`diff-log_binary64` `exp-sum_binary64` `distribute-lft-out--_binary64` `associate-*l/_binary64`
1×	`associate-r_binary64` `rem-log-exp_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `exp-to-pow_binary64` `diff-cos_binary64` `exp-prod_binary64` `*-commutative_binary64`

Counts

4 → 70

Calls

4 calls:

16.0ms	(.f64 (sqrt.f64 3/2) (.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) (sqrt.f64 3/2)))
5.0ms	(-.f64 3 (sqrt.f64 5))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
3.0ms	(log.f64 (exp.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))))

series451.0ms

Counts

4 → 10

Calls

4 calls:

132.0ms	(.f64 (sqrt.f64 3/2) (.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) (sqrt.f64 3/2)))
0.0ms	(-.f64 3 (sqrt.f64 5))
71.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
248.0ms	(log.f64 (exp.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))))

simplify71.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4904	1288
1	4904	1288

prune177.0ms

Filtered

58 candidates to 80 candidates (-37.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	78	2	80
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	80	9	89

Merged error: 0.1b

Counts

89 → 9

localize40.0ms

Local error

Found 4 expressions with local error:

0.4b	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5))))) (.f64 (sqrt.f64 3/2) (.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) (sqrt.f64 3/2))))
0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.8b	(.f64 (sqrt.f64 3/2) (.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) (sqrt.f64 3/2)))
1.6b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
15×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
14×	`associate-*r/_binary64`
13×	`*-un-lft-identity_binary64`
12×	`associate-l_binary64`
9×	`add-cube-cbrt_binary64`
8×	`add-log-exp_binary64`
7×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `prod-exp_binary64` `sqrt-prod_binary64`
4×	`flip3--_binary64` `flip--_binary64` `associate-*l/_binary64`
3×	`sub-neg_binary64` `difference-of-squares_binary64`
2×	`frac-add_binary64` `unswap-sqr_binary64` `distribute-lft-out--_binary64` `*-commutative_binary64`
1×	`flip3-+_binary64` `diff-log_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `times-frac_binary64` `+-commutative_binary64` `flip-+_binary64` `diff-cos_binary64` `sum-log_binary64`

Counts

4 → 82

Calls

4 calls:

17.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5))))) (.f64 (sqrt.f64 3/2) (.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) (sqrt.f64 3/2))))
14.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
16.0ms	(.f64 (sqrt.f64 3/2) (.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) (sqrt.f64 3/2)))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

series714.0ms

Counts

4 → 12

Calls

4 calls:

388.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5))))) (.f64 (sqrt.f64 3/2) (.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) (sqrt.f64 3/2))))
109.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
141.0ms	(.f64 (sqrt.f64 3/2) (.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) (sqrt.f64 3/2)))
76.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

simplify52.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5898	2100

prune216.0ms

Filtered

67 candidates to 94 candidates (-40.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	92	2	94
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	93	10	103

Merged error: 0.1b

Counts

103 → 10

regimes147.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	128	88
1	128	88

end0.0ms

sample5.3s

Algorithm

intervals

Results

3.5s	3448×	body	1024	valid
887.0ms	1388×	body	512	valid
478.0ms	2543×	body	128	valid
238.0ms	601×	body	256	valid
44.0ms	20×	body	2048	valid

Details

analyze742.0ms

sample164.0ms

simplify51.0ms

prune9.0ms

localize32.0ms

rewrite50.0ms

series261.0ms

simplify70.0ms

prune211.0ms

localize34.0ms

rewrite52.0ms

series319.0ms

simplify61.0ms

prune201.0ms

localize42.0ms

rewrite40.0ms

series451.0ms

simplify71.0ms

prune177.0ms

localize40.0ms

rewrite65.0ms

series714.0ms

simplify52.0ms

prune216.0ms

regimes147.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample5.3s

Profiling