Details

analyze345.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
25%	74.9%	0.1%	5
25%	68.7%	6.3%	6
43.7%	46.8%	9.5%	7
43.7%	42.1%	14.1%	8
46.8%	36.7%	16.5%	9
46.8%	34%	19.2%	10
48.4%	31%	20.6%	11
48.4%	29.6%	22%	12
49.2%	28%	22.8%	13
49.2%	27.3%	23.5%	14

sample73.0ms

Algorithm

intervals

Results

18.0ms	52×	body	1280	valid
16.0ms	54×	body	1280	invalid
7.0ms	142×	body	80	valid
6.0ms	30×	body	640	valid
6.0ms	32×	body	640	invalid
3.0ms	23×	body	320	valid
3.0ms	22×	body	320	invalid
1.0ms	10×	body	160	invalid
1.0ms	16×	body	80	invalid
1.0ms	9×	body	160	valid

simplify149.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (140.0ms)

Iter	Nodes	Cost
0	4951	11
1	4951	11

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

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
0.1b	(/.f64 (sin.f64 y) y)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 61

Calls

2 calls:

13.0ms	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
5.0ms	(/.f64 (sin.f64 y) y)

series118.0ms

Counts

2 → 6

Calls

2 calls:

81.0ms	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
32.0ms	(/.f64 (sin.f64 y) y)

simplify97.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4979	917
1	4979	917

prune50.0ms

Filtered

53 candidates to 67 candidates (-26.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	61	6	67
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	61	7	68

Merged error: 0.0b

Counts

68 → 7

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
0.1b	(/.f64 y (sin.f64 y))
0.3b	(/.f64 1 (/.f64 y (sin.f64 y)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

156×	`times-frac_binary64`
103×	`add-sqr-sqrt_binary64`
91×	`*-un-lft-identity_binary64`
89×	`add-cube-cbrt_binary64`
44×	`associate-r_binary64`
35×	`add-exp-log_binary64`
19×	`add-cbrt-cube_binary64`
16×	`associate-/r*_binary64`
15×	`div-exp_binary64`
10×	`div-inv_binary64`
7×	`cbrt-undiv_binary64` `prod-exp_binary64`
6×	`pow1_binary64` `associate-/l*_binary64`
5×	`unswap-sqr_binary64`
4×	`1-exp_binary64` `rec-exp_binary64`
3×	`add-log-exp_binary64` `cbrt-unprod_binary64` `associate-l_binary64`
2×	`associate-/r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `cosh-def_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `inv-pow_binary64` `un-div-inv_binary64` `pow-flip_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

3 → 178

Calls

3 calls:

19.0ms	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
3.0ms	(/.f64 y (sin.f64 y))
6.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))

series135.0ms

Counts

3 → 9

Calls

3 calls:

78.0ms	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
34.0ms	(/.f64 y (sin.f64 y))
23.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))

simplify104.0ms

Algorithm

egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4952	2855
1	4952	2855

prune104.0ms

Filtered

125 candidates to 187 candidates (-49.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	186	1	187
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	186	8	194

Merged error: 0b

Counts

194 → 8

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (cosh.f64 x) (/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y))))
0.1b	(/.f64 1 (sin.f64 y))
0.2b	(/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y)))

rewrite96.0ms

Algorithm

rewrite-expression-head

Rules

854×	`times-frac_binary64`
426×	`add-sqr-sqrt_binary64`
397×	`*-un-lft-identity_binary64`
391×	`add-cube-cbrt_binary64`
174×	`associate-r_binary64`
105×	`add-exp-log_binary64`
66×	`div-exp_binary64`
57×	`div-inv_binary64`
35×	`add-cbrt-cube_binary64`
17×	`1-exp_binary64` `cbrt-undiv_binary64` `prod-exp_binary64` `rec-exp_binary64`
16×	`associate-/r_binary64` `associate-/l_binary64`
10×	`unswap-sqr_binary64`
6×	`pow1_binary64`
5×	`cbrt-unprod_binary64`
3×	`add-log-exp_binary64` `associate-l_binary64`
2×	`associate-/r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `cosh-def_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `associate-r/_binary64` `inv-pow_binary64` `pow-flip_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

3 → 479

Calls

3 calls:

46.0ms	(*.f64 (cosh.f64 x) (/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y))))
4.0ms	(/.f64 1 (sin.f64 y))
11.0ms	(/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y)))

series125.0ms

Counts

3 → 9

Calls

3 calls:

84.0ms	(*.f64 (cosh.f64 x) (/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y))))
19.0ms	(/.f64 1 (sin.f64 y))
23.0ms	(/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y)))

simplify181.0ms

Algorithm

egg-herbie

Counts

488 → 488

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4939	9670
1	4939	9670

prune318.0ms

Filtered

257 candidates to 488 candidates (-89.9%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	488	0	488
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	488	8	496

Merged error: 0b

Counts

496 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b	(.f64 (cbrt.f64 (.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x))) (cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x))))
0.3b	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x)))
0.3b	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x)))
0.3b	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

33×	`cbrt-div_binary64`
22×	`cosh-def_binary64`
20×	`frac-times_binary64`
14×	`associate-r/_binary64` `associate-l/_binary64`
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 → 82

Calls

4 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x))) (cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x))))
4.0ms	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x)))
6.0ms	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x)))
4.0ms	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x)))

series1.2s

Counts

4 → 12

Calls

4 calls:

349.0ms	(.f64 (cbrt.f64 (.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x))) (cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x))))
319.0ms	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x)))
250.0ms	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x)))
232.0ms	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) (cosh.f64 x)))

simplify68.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5165	1973

prune74.0ms

Filtered

74 candidates to 94 candidates (-27.0%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	94	8	102

Merged error: 0b

Counts

102 → 8

regimes74.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	8	11

end0.0ms

sample2.3s

Algorithm

intervals

Results

554.0ms	1557×	body	1280	valid
435.0ms	1427×	body	1280	invalid
262.0ms	1230×	body	640	valid
247.0ms	1210×	body	640	invalid
213.0ms	4269×	body	80	valid
95.0ms	668×	body	320	valid
93.0ms	657×	body	320	invalid
39.0ms	299×	body	160	invalid
29.0ms	519×	body	80	invalid
28.0ms	276×	body	160	valid

Details

analyze345.0ms

sample73.0ms

simplify149.0ms

prune1.0ms

localize7.0ms

rewrite22.0ms

series118.0ms

simplify97.0ms

prune50.0ms

localize8.0ms

rewrite37.0ms

series135.0ms

simplify104.0ms

prune104.0ms

localize9.0ms

rewrite96.0ms

series125.0ms

simplify181.0ms

prune318.0ms

localize11.0ms

rewrite23.0ms

series1.2s

simplify68.0ms

prune74.0ms

regimes74.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample2.3s

Profiling