Details

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

sample152.0ms

Algorithm

intervals

Results

86.0ms	27×	body	2560	valid
31.0ms	55×	body	1280	valid
9.0ms	34×	body	640	valid
7.0ms	119×	body	80	valid
6.0ms	14×	body	320	valid
1.0ms	7×	body	160	valid
0.0ms	7×	body	80	invalid

simplify448.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	671	14
1	671	14

prune4.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: 16.0b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 PI.f64 l)
0.7b	(/.f64 1.0 (*.f64 F F))
3.5b	(.f64 (/.f64 1.0 (.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))
31.6b	(tan.f64 (*.f64 PI.f64 l))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 77

Calls

4 calls:

4.0ms	(*.f64 PI.f64 l)
5.0ms	(/.f64 1.0 (*.f64 F F))
10.0ms	(.f64 (/.f64 1.0 (.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))
3.0ms	(tan.f64 (*.f64 PI.f64 l))

series57.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(*.f64 PI.f64 l)
4.0ms	(/.f64 1.0 (*.f64 F F))
28.0ms	(.f64 (/.f64 1.0 (.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))
22.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify60.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5076	722

prune136.0ms

Filtered

63 candidates to 89 candidates (-41.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	76	13	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	77	13	90

Merged error: 12.3b

Counts

90 → 13

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
0.4b	(.f64 (tan.f64 (.f64 PI.f64 l)) (/.f64 1.0 F))
31.6b	(tan.f64 (*.f64 PI.f64 l))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
19×	`associate-r_binary64`
16×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`pow1_binary64` `times-frac_binary64`
9×	`associate-l_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64`
3×	`pow-prod-down_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`cbrt-undiv_binary64` `associate-r/_binary64` `div-inv_binary64` `div-exp_binary64` `frac-times_binary64` `associate-l/_binary64`

Counts

4 → 78

Calls

4 calls:

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

series40.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 1.0 F))
13.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify50.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4946	657
1	4946	657

prune143.0ms

Filtered

63 candidates to 90 candidates (-42.9%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	82	8	90
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	86	17	103

Merged error: 12.2b

Counts

103 → 17

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 l)
0.6b	(cbrt.f64 l)
0.6b	(cbrt.f64 l)
31.7b	(tan.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 41

Calls

4 calls:

1.0ms	(cbrt.f64 l)
1.0ms	(cbrt.f64 l)
1.0ms	(cbrt.f64 l)
4.0ms	(tan.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))

series72.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(cbrt.f64 l)
18.0ms	(cbrt.f64 l)
20.0ms	(cbrt.f64 l)
14.0ms	(tan.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))

simplify32.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5315	250

prune108.0ms

Filtered

45 candidates to 53 candidates (-17.8%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	51	2	53
Fresh	0	16	16
Picked	0	1	1
Done	0	0	0
Total	51	19	70

Merged error: 12.2b

Counts

70 → 19

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (cbrt.f64 l))
0.6b	(cbrt.f64 (cbrt.f64 l))
0.6b	(cbrt.f64 (cbrt.f64 l))
31.4b	(tan.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l))) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l))) (cbrt.f64 (cbrt.f64 l)))))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 50

Calls

4 calls:

2.0ms	(cbrt.f64 (cbrt.f64 l))
2.0ms	(cbrt.f64 (cbrt.f64 l))
2.0ms	(cbrt.f64 (cbrt.f64 l))
6.0ms	(tan.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l))) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l))) (cbrt.f64 (cbrt.f64 l)))))

series94.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt.f64 (cbrt.f64 l))
26.0ms	(cbrt.f64 (cbrt.f64 l))
28.0ms	(cbrt.f64 (cbrt.f64 l))
15.0ms	(tan.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l))) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l))) (cbrt.f64 (cbrt.f64 l)))))

simplify62.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4855	373
1	4855	373

prune70.0ms

Filtered

54 candidates to 62 candidates (-14.8%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	59	3	62
Fresh	2	15	17
Picked	0	1	1
Done	1	0	1
Total	62	19	81

Merged error: 12.2b

Counts

81 → 19

regimes591.0ms

Accuracy

0% (0.6b remaining)

Error of 12.6b against oracle of 12.0b and baseline of 12.6b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	105	32
1	105	32

end0.0ms

sample4.1s

Algorithm

intervals

Results

2.4s	797×	body	2560	valid
960.0ms	1653×	body	1280	valid
259.0ms	994×	body	640	valid
197.0ms	3937×	body	80	valid
68.0ms	388×	body	320	valid
27.0ms	231×	body	160	valid
10.0ms	194×	body	80	invalid
3.0ms	7×	body	5120	exit
2.0ms	1×	body	2560	invalid
2.0ms	4×	body	1280	invalid

Details

analyze696.0ms

sample152.0ms

simplify448.0ms

prune4.0ms

localize21.0ms

rewrite26.0ms

series57.0ms

simplify60.0ms

prune136.0ms

localize11.0ms

rewrite20.0ms

series40.0ms

simplify50.0ms

prune143.0ms

localize16.0ms

rewrite9.0ms

series72.0ms

simplify32.0ms

prune108.0ms

localize21.0ms

rewrite13.0ms

series94.0ms

simplify62.0ms

prune70.0ms

regimes591.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample4.1s

Profiling