Details

analyze254.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
37.4%	62.4%	0.1%	6
49.9%	49.9%	0.1%	7
62.4%	37.4%	0.1%	8
62.4%	37.4%	0.1%	9
71.8%	28.1%	0.1%	10
79.6%	20.3%	0.1%	11
79.6%	20.3%	0.1%	12
85%	14.8%	0.1%	13
89.3%	10.5%	0.1%	14

sample55.0ms

Algorithm

intervals

Results

19.0ms	43×	body	1280	valid
13.0ms	46×	body	640	valid
9.0ms	135×	body	80	valid
4.0ms	23×	body	320	valid
1.0ms	9×	body	160	valid

simplify20.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (11.0ms)

Iter	Nodes	Cost
0	160	14
1	160	14

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: 0.1b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64`
6×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
2×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

2 → 36

Calls

2 calls:

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

series66.0ms

Counts

2 → 6

Calls

2 calls:

32.0ms	(*.f64 x (cos.f64 y))
34.0ms	(*.f64 z (sin.f64 y))

simplify71.0ms

Algorithm

egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4987	341
1	4987	341

prune39.0ms

Filtered

28 candidates to 42 candidates (-50.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	32	10	42
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	10	43

Merged error: 0.0b

Counts

43 → 10

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
0.6b	(cbrt.f64 (sin.f64 y))
0.6b	(cbrt.f64 (sin.f64 y))
0.6b	(cbrt.f64 (sin.f64 y))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 73

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
2.0ms	(cbrt.f64 (sin.f64 y))
1.0ms	(cbrt.f64 (sin.f64 y))
1.0ms	(cbrt.f64 (sin.f64 y))

series338.0ms

Counts

4 → 12

Calls

4 calls:

99.0ms	(*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
77.0ms	(cbrt.f64 (sin.f64 y))
78.0ms	(cbrt.f64 (sin.f64 y))
83.0ms	(cbrt.f64 (sin.f64 y))

simplify79.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5047	797

prune69.0ms

Filtered

55 candidates to 85 candidates (-54.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	82	3	85
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	84	11	95

Merged error: 0.0b

Counts

95 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 73

Calls

4 calls:

6.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

series360.0ms

Counts

4 → 12

Calls

4 calls:

99.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
90.0ms	(cbrt.f64 z)
84.0ms	(cbrt.f64 z)
86.0ms	(cbrt.f64 z)

simplify102.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4937	588
1	4937	588

prune68.0ms

Filtered

65 candidates to 85 candidates (-30.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	84	12	96

Merged error: 0.0b

Counts

96 → 12

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 z (sin.f64 y))) (cbrt.f64 (*.f64 z (sin.f64 y))))
6.8b	(cbrt.f64 (*.f64 z (sin.f64 y)))
6.8b	(cbrt.f64 (*.f64 z (sin.f64 y)))
6.8b	(cbrt.f64 (*.f64 z (sin.f64 y)))

rewrite16.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 (sin.f64 y))) (cbrt.f64 (*.f64 z (sin.f64 y))))
3.0ms	(cbrt.f64 (*.f64 z (sin.f64 y)))
3.0ms	(cbrt.f64 (*.f64 z (sin.f64 y)))
3.0ms	(cbrt.f64 (*.f64 z (sin.f64 y)))

series481.0ms

Counts

4 → 12

Calls

4 calls:

149.0ms	(.f64 (cbrt.f64 (.f64 z (sin.f64 y))) (cbrt.f64 (*.f64 z (sin.f64 y))))
107.0ms	(cbrt.f64 (*.f64 z (sin.f64 y)))
114.0ms	(cbrt.f64 (*.f64 z (sin.f64 y)))
111.0ms	(cbrt.f64 (*.f64 z (sin.f64 y)))

simplify87.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4911	706
1	4911	706

prune46.0ms

Filtered

52 candidates to 70 candidates (-34.6%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	70	12	82

Merged error: 0.0b

Counts

82 → 12

regimes74.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	59	26
1	59	26

end0.0ms

sample1.7s

Algorithm

intervals

Results

692.0ms	1522×	body	1280	valid
368.0ms	1262×	body	640	valid
281.0ms	4244×	body	80	valid
126.0ms	665×	body	320	valid
46.0ms	307×	body	160	valid

Details

analyze254.0ms

sample55.0ms

simplify20.0ms

prune2.0ms

localize9.0ms

rewrite9.0ms

series66.0ms

simplify71.0ms

prune39.0ms

localize13.0ms

rewrite14.0ms

series338.0ms

simplify79.0ms

prune69.0ms

localize13.0ms

rewrite11.0ms

series360.0ms

simplify102.0ms

prune68.0ms

localize16.0ms

rewrite16.0ms

series481.0ms

simplify87.0ms

prune46.0ms

regimes74.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample1.7s

Profiling