Details

analyze703.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
0%	99.9%	0.1%	6
18.7%	81.2%	0.1%	7
18.7%	81.2%	0.1%	8
29.7%	69.5%	0.9%	9
30.4%	67.9%	1.7%	10
36.3%	61.1%	2.6%	11
36.9%	59.5%	3.6%	12
39.9%	55.9%	4.2%	13
40.2%	54.9%	4.9%	14

sample129.0ms

Algorithm

intervals

Results

64.0ms	20×	body	2560	valid
32.0ms	57×	body	1280	valid
10.0ms	34×	body	640	valid
6.0ms	128×	body	80	valid
2.0ms	1×	body	2560	invalid
1.0ms	11×	body	160	valid
1.0ms	6×	body	320	valid
0.0ms	1×	body	1280	invalid
0.0ms	5×	body	80	invalid

simplify422.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (16.0ms)

Iter	Nodes	Cost
0	298	12
1	298	12

prune20.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: 13.6b

Counts

2 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(*.f64 PI.f64 l)
2.3b	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
29.3b	(tan.f64 (*.f64 PI.f64 l))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`pow1_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64`
3×	`cbrt-unprod_binary64` `prod-exp_binary64` `associate-/l*_binary64` `times-frac_binary64`
2×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-exp_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64` `associate-/r*_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64`

Counts

4 → 66

Calls

4 calls:

4.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
7.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
3.0ms	(tan.f64 (*.f64 PI.f64 l))

series48.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(*.f64 PI.f64 l)
3.0ms	(*.f64 PI.f64 l)
21.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
21.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify58.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5225	541

prune130.0ms

Filtered

53 candidates to 78 candidates (-47.2%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	60	18	78
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	61	19	80

Merged error: 10.9b

Counts

80 → 19

localize9.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(*.f64 PI.f64 l)
0.2b	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
29.3b	(tan.f64 (*.f64 PI.f64 l))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`times-frac_binary64`
8×	`pow1_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/r_binary64` `associate-/l_binary64`
2×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 72

Calls

4 calls:

4.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
5.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
2.0ms	(tan.f64 (*.f64 PI.f64 l))

series32.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(*.f64 PI.f64 l)
3.0ms	(*.f64 PI.f64 l)
17.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
9.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify78.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4715	594
1	4715	594

prune127.0ms

Filtered

59 candidates to 84 candidates (-42.4%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	76	8	84
Fresh	7	11	18
Picked	1	0	1
Done	0	0	0
Total	84	19	103

Merged error: 10.9b

Counts

103 → 19

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.3b	(/.f64 (sin.f64 (.f64 PI.f64 l)) (.f64 (cos.f64 (*.f64 PI.f64 l)) F))
29.2b	(cos.f64 (*.f64 PI.f64 l))
29.4b	(sin.f64 (*.f64 PI.f64 l))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`add-sqr-sqrt_binary64`
8×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
6×	`pow1_binary64`
4×	`add-log-exp_binary64`
3×	`associate-r_binary64` `associate-l_binary64` `associate-/l*_binary64` `times-frac_binary64`
2×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `prod-exp_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `associate-/r_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `-commutative_binary64`

Counts

4 → 53

Calls

4 calls:

4.0ms	(*.f64 PI.f64 l)
7.0ms	(/.f64 (sin.f64 (.f64 PI.f64 l)) (.f64 (cos.f64 (*.f64 PI.f64 l)) F))
2.0ms	(cos.f64 (*.f64 PI.f64 l))
2.0ms	(sin.f64 (*.f64 PI.f64 l))

series28.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(*.f64 PI.f64 l)
20.0ms	(/.f64 (sin.f64 (.f64 PI.f64 l)) (.f64 (cos.f64 (*.f64 PI.f64 l)) F))
2.0ms	(cos.f64 (*.f64 PI.f64 l))
3.0ms	(sin.f64 (*.f64 PI.f64 l))

simplify31.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5122	552

prune111.0ms

Filtered

46 candidates to 65 candidates (-41.3%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	61	4	65
Fresh	4	14	18
Picked	1	0	1
Done	0	0	0
Total	66	18	84

Merged error: 7.3b

Counts

84 → 18

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 l)
0.6b	(cbrt.f64 l)
29.4b	(sin.f64 (*.f64 PI.f64 l))
29.6b	(cos.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 36

Calls

4 calls:

1.0ms	(cbrt.f64 l)
1.0ms	(cbrt.f64 l)
2.0ms	(sin.f64 (*.f64 PI.f64 l))
4.0ms	(cos.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))

series38.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(cbrt.f64 l)
16.0ms	(cbrt.f64 l)
3.0ms	(sin.f64 (*.f64 PI.f64 l))
5.0ms	(cos.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))

simplify36.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	4950	248
1	4950	248

prune53.0ms

Filtered

41 candidates to 48 candidates (-17.1%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	46	2	48
Fresh	1	16	17
Picked	1	0	1
Done	0	0	0
Total	48	18	66

Merged error: 7.3b

Counts

66 → 18

regimes507.0ms

Accuracy

78.4% (1.0b remaining)

Error of 8.6b against oracle of 7.6b and baseline of 12.2b

bsearch2.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	238	83
1	238	83

end0.0ms

sample4.0s

Algorithm

intervals

Results

2.3s	775×	body	2560	valid
953.0ms	1648×	body	1280	valid
259.0ms	981×	body	640	valid
205.0ms	3983×	body	80	valid
67.0ms	388×	body	320	valid
26.0ms	225×	body	160	valid
9.0ms	177×	body	80	invalid
7.0ms	3×	body	2560	invalid
3.0ms	6×	body	1280	invalid
1.0ms	2×	body	5120	exit

Details

analyze703.0ms

sample129.0ms

simplify422.0ms

prune20.0ms

localize11.0ms

rewrite21.0ms

series48.0ms

simplify58.0ms

prune130.0ms

localize9.0ms

rewrite16.0ms

series32.0ms

simplify78.0ms

prune127.0ms

localize13.0ms

rewrite16.0ms

series28.0ms

simplify31.0ms

prune111.0ms

localize20.0ms

rewrite9.0ms

series38.0ms

simplify36.0ms

prune53.0ms

regimes507.0ms

bsearch2.0ms

simplify4.0ms

end0.0ms

sample4.0s

Profiling