Details

analyze263.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

sample64.0ms

Algorithm

intervals

Results

22.0ms	49×	body	1280	valid
12.0ms	43×	body	640	valid
9.0ms	134×	body	80	valid
4.0ms	19×	body	320	valid
1.0ms	11×	body	160	valid

simplify21.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (11.0ms)

Iter	Nodes	Cost
0	159	14
1	159	14

prune7.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

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_2485`
7×	`add-cube-cbrt_binary64_2471` `pow1_binary64_2446` `add-exp-log_binary64_2464` `add-cbrt-cube_binary64_2472` `*-un-lft-identity_binary64_2500`
6×	`associate-l_binary64_2560` `associate-r_binary64_2559`
5×	`add-log-exp_binary64_2465`
2×	`pow-prod-down_binary64_2427` `prod-exp_binary64_2451` `unswap-sqr_binary64_2528` `*-commutative_binary64_2568` `cbrt-unprod_binary64_2469`
1×	`diff-log_binary64_2416` `sub-neg_binary64_2504` `flip--_binary64_2526` `flip3--_binary64_2499`

Counts

3 → 47

Calls

3 calls:

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

series126.0ms

Counts

3 → 9

Calls

3 calls:

63.0ms	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
32.0ms	(*.f64 z (sin.f64 y))
31.0ms	(*.f64 x (cos.f64 y))

simplify74.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5189	627

prune227.0ms

Filtered

39 candidates to 56 candidates (-43.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	48	8	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	8	57

Merged error: 0.0b

Counts

57 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.5b	(cbrt.f64 x)
0.5b	(cbrt.f64 x)
0.5b	(cbrt.f64 x)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_2467`
23×	`add-sqr-sqrt_binary64_2485`
15×	`add-cube-cbrt_binary64_2471` `*-un-lft-identity_binary64_2500`
11×	`pow1_binary64_2446`
9×	`pow1/3_binary64_2438`
6×	`associate-l_binary64_2560` `add-exp-log_binary64_2464` `swap-sqr_binary64_2527` `associate-r_binary64_2559`
4×	`add-log-exp_binary64_2465` `add-cbrt-cube_binary64_2472` `unswap-sqr_binary64_2528`
2×	`pow-prod-up_binary64_2426` `pow-prod-down_binary64_2427` `pow-sqr_binary64_2533`
1×	`pow-plus_binary64_2441` `pow2_binary64_2437` `prod-exp_binary64_2451` `*-commutative_binary64_2568` `cbrt-unprod_binary64_2469`

Counts

4 → 73

Calls

4 calls:

5.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

series354.0ms

Counts

4 → 12

Calls

4 calls:

99.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
86.0ms	(cbrt.f64 x)
82.0ms	(cbrt.f64 x)
86.0ms	(cbrt.f64 x)

simplify75.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5309	608

prune330.0ms

Filtered

65 candidates to 85 candidates (-30.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	84	9	93

Merged error: 0.0b

Counts

93 → 9

localize27.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 x)
0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-prod_binary64_2467`
11×	`add-cube-cbrt_binary64_2471` `add-sqr-sqrt_binary64_2485` `*-un-lft-identity_binary64_2500`
4×	`pow1_binary64_2446` `pow1/3_binary64_2438` `add-log-exp_binary64_2465` `add-exp-log_binary64_2464` `add-cbrt-cube_binary64_2472`

Counts

4 → 53

Calls

4 calls:

1.0ms	(cbrt.f64 x)
2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))

series429.0ms

Counts

4 → 12

Calls

4 calls:

87.0ms	(cbrt.f64 x)
113.0ms	(cbrt.f64 (cbrt.f64 x))
113.0ms	(cbrt.f64 (cbrt.f64 x))
115.0ms	(cbrt.f64 (cbrt.f64 x))

simplify50.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	6002	565

prune318.0ms

Filtered

60 candidates to 65 candidates (-8.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	65	0	65
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	65	9	74

Merged error: 0.0b

Counts

74 → 9

localize28.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))
0.9b	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod_binary64_2467`
14×	`add-cube-cbrt_binary64_2471` `add-sqr-sqrt_binary64_2485` `*-un-lft-identity_binary64_2500`
9×	`unpow-prod-down_binary64_2435`
5×	`pow1_binary64_2446` `add-exp-log_binary64_2464`
4×	`pow1/3_binary64_2438` `add-log-exp_binary64_2465` `add-cbrt-cube_binary64_2472`
3×	`pow-unpow_binary64_2433`
2×	`pow-pow_binary64_2428`
1×	`pow-exp_binary64_2424` `pow-to-exp_binary64_2425` `sqr-pow_binary64_2532`

Counts

4 → 66

Calls

4 calls:

2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))
1.0ms	(cbrt.f64 (cbrt.f64 x))
4.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)

series509.0ms

Counts

4 → 12

Calls

4 calls:

113.0ms	(cbrt.f64 (cbrt.f64 x))
114.0ms	(cbrt.f64 (cbrt.f64 x))
115.0ms	(cbrt.f64 (cbrt.f64 x))
166.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)

simplify83.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4878	792
1	4878	792

prune305.0ms

Filtered

64 candidates to 78 candidates (-21.9%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	77	10	87

Merged error: 0.0b

Counts

87 → 10

regimes374.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	26
1	41	26

end0.0ms

sample2.0s

Algorithm

intervals

Results

690.0ms	1505×	body	1280	valid
355.0ms	1220×	body	640	valid
305.0ms	4339×	body	80	valid
259.0ms	313×	body	160	valid
128.0ms	623×	body	320	valid

Details

analyze263.0ms

sample64.0ms

simplify21.0ms

prune7.0ms

localize18.0ms

rewrite14.0ms

series126.0ms

simplify74.0ms

prune227.0ms

localize20.0ms

rewrite10.0ms

series354.0ms

simplify75.0ms

prune330.0ms

localize27.0ms

rewrite7.0ms

series429.0ms

simplify50.0ms

prune318.0ms

localize28.0ms

rewrite46.0ms

series509.0ms

simplify83.0ms

prune305.0ms

regimes374.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample2.0s

Profiling