Details

analyze348.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
12.5%	87.4%	0.1%	6
34.3%	65.5%	0.1%	7
46.8%	53%	0.1%	8
48%	51.9%	0.1%	9
63%	36.9%	0.1%	10
71.7%	28.2%	0.1%	11
72%	27.8%	0.1%	12
80.5%	19.4%	0.1%	13
85.4%	14.5%	0.1%	14

sample49.0ms

Algorithm

intervals

Results

19.0ms	35×	body	1280	valid
10.0ms	173×	body	80	valid
9.0ms	34×	body	640	valid
2.0ms	10×	body	320	valid
0.0ms	4×	body	160	valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	19	9
1	19	9

prune3.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: 0.0b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (+.f64 x (sin.f64 y)) (*.f64 z (cos.f64 y)))
0.1b	(*.f64 z (cos.f64 y))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-log-exp_binary64`
6×	`add-sqr-sqrt_binary64`
4×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`associate-r_binary64` `associate-l_binary64` `sum-log_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `cbrt-unprod_binary64` `associate-+l+_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `+-commutative_binary64` `flip-+_binary64` `*-commutative_binary64`

Counts

2 → 31

Calls

2 calls:

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

series22.0ms

Counts

2 → 6

Calls

2 calls:

14.0ms	(+.f64 (+.f64 x (sin.f64 y)) (*.f64 z (cos.f64 y)))
9.0ms	(*.f64 z (cos.f64 y))

simplify61.0ms

Algorithm

egg-herbie

Counts

37 → 37

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4958	304
1	4958	304

prune42.0ms

Filtered

26 candidates to 37 candidates (-42.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	34	3	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	4	38

Merged error: 0.0b

Counts

38 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 z (cos.f64 y))) (cbrt.f64 (*.f64 z (cos.f64 y))))
0.6b	(cbrt.f64 (*.f64 z (cos.f64 y)))
0.6b	(cbrt.f64 (*.f64 z (cos.f64 y)))
0.6b	(cbrt.f64 (*.f64 z (cos.f64 y)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`pow1/3_binary64`
8×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
7×	`cbrt-prod_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `swap-sqr_binary64` `associate-r_binary64` `add-cbrt-cube_binary64` `associate-l_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 58

Calls

4 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 z (cos.f64 y))) (cbrt.f64 (*.f64 z (cos.f64 y))))
3.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
3.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
3.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))

series116.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(.f64 (cbrt.f64 (.f64 z (cos.f64 y))) (cbrt.f64 (*.f64 z (cos.f64 y))))
25.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
25.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
28.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))

simplify47.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5057	440

prune65.0ms

Filtered

52 candidates to 70 candidates (-34.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	68	2	70
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	68	6	74

Merged error: 0.0b

Counts

74 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (*.f64 z (cos.f64 y)))
0.6b	(cbrt.f64 (*.f64 z (cos.f64 y)))
0.6b	(cbrt.f64 (*.f64 z (cos.f64 y)))
0.6b	(cbrt.f64 (*.f64 z (cos.f64 y)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `pow1/3_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64` `cbrt-prod_binary64`

Counts

4 → 36

Calls

4 calls:

3.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
3.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
3.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
3.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))

series104.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
25.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
25.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
28.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))

simplify54.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4970	308
1	4970	308

prune52.0ms

Filtered

40 candidates to 48 candidates (-20.0%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	48	0	48
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	48	6	54

Merged error: 0.0b

Counts

54 → 6

localize10.0ms

Local error

Found 2 expressions with local error:

0.1b	(*.f64 (cos.f64 y) (sqrt.f64 z))
0.2b	(.f64 (sqrt.f64 z) (.f64 (cos.f64 y) (sqrt.f64 z)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64`
9×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l_binary64`
7×	`-un-lft-identity_binary64` `associate-r*_binary64` `add-cube-cbrt_binary64` `sqrt-prod_binary64`
4×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
2×	`add-log-exp_binary64` `unswap-sqr_binary64` `*-commutative_binary64`

Counts

2 → 43

Calls

2 calls:

5.0ms	(*.f64 (cos.f64 y) (sqrt.f64 z))
7.0ms	(.f64 (sqrt.f64 z) (.f64 (cos.f64 y) (sqrt.f64 z)))

series23.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(*.f64 (cos.f64 y) (sqrt.f64 z))
10.0ms	(.f64 (sqrt.f64 z) (.f64 (cos.f64 y) (sqrt.f64 z)))

simplify38.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5005	351

prune36.0ms

Filtered

35 candidates to 49 candidates (-40.0%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	48	7	55

Merged error: 0b

Counts

55 → 7

regimes217.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	9
1	11	9

end0.0ms

sample1.3s

Algorithm

intervals

Results

456.0ms	984×	body	1280	valid
332.0ms	5547×	body	80	valid
248.0ms	860×	body	640	valid
75.0ms	401×	body	320	valid
32.0ms	208×	body	160	valid

Details

analyze348.0ms

sample49.0ms

simplify5.0ms

prune3.0ms

localize8.0ms

rewrite12.0ms

series22.0ms

simplify61.0ms

prune42.0ms

localize13.0ms

rewrite15.0ms

series116.0ms

simplify47.0ms

prune65.0ms

localize17.0ms

rewrite11.0ms

series104.0ms

simplify54.0ms

prune52.0ms

localize10.0ms

rewrite14.0ms

series23.0ms

simplify38.0ms

prune36.0ms

regimes217.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.3s

Profiling