Details

sample88.0ms

Algorithm

intervals

Results

34.0ms	92×	body	1280	valid
19.0ms	22×	body	2560	valid
13.0ms	61×	body	640	valid
7.0ms	27×	body	320	valid
2.0ms	42×	body	80	valid
1.0ms	12×	body	160	valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	4
1	10	4
2	10	4

prune3.0ms

Filtered

1 candidates to 0 candidates (100.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: 35.9b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.9b	(- (tan (+ x eps)) (tan x))
4.1b	(tan (+ x eps))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

4×	`tan-quot` `add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
2×	`pow1` `add-exp-log` `add-cube-cbrt` `tan-sum` `frac-sub` `add-cbrt-cube`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 25

Calls

2 calls:

6.0ms	(- (tan (+ x eps)) (tan x))
3.0ms	(tan (+ x eps))

series41.0ms

Counts

2 → 6

Calls

2 calls:

26.0ms	(- (tan (+ x eps)) (tan x))
15.0ms	(tan (+ x eps))

simplify73.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 3 (21.0ms)

Iter	Nodes	Cost
0	134	211
1	295	202
2	757	200
3	2482	199
4	5001	199

prune94.0ms

Filtered

31 candidates to 25 candidates (19.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	24	7	31
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	25	7	32

Merged error: 12.9b

Counts

32 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps))))
0.1b	(+ (tan x) (tan eps))
0.2b	(* (tan x) (tan eps))
1.8b	(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

27×	`*-un-lft-identity`
22×	`add-sqr-sqrt`
15×	`add-cube-cbrt`
13×	`times-frac`
9×	`tan-quot`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`pow1`
5×	`distribute-lft-out`
4×	`associate-/l*`
3×	`associate-r` `associate-l` `associate-/r*` `associate-/l/`
2×	`flip3--` `flip3-+` `frac-add` `associate-/r/` `flip--` `flip-+` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `frac-times` `sub-neg` `frac-2neg` `diff-log` `associate-r/` `div-exp` `pow-prod-down` `associate-l/` `prod-exp` `clear-num` `sum-log` `*-commutative` `frac-sub` `cbrt-unprod` `div-inv` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 86

Calls

4 calls:

10.0ms	(/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps))))
4.0ms	(+ (tan x) (tan eps))
5.0ms	(* (tan x) (tan eps))
11.0ms	(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

series188.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps))))
19.0ms	(+ (tan x) (tan eps))
20.0ms	(* (tan x) (tan eps))
94.0ms	(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

simplify42.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	397	1050
1	1432	1005
2	5001	994

prune532.0ms

Filtered

98 candidates to 74 candidates (24.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	86	12	98
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	89	16	105

Merged error: 12.8b

Counts

105 → 16

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (tan x) (tan eps))
0.3b	(pow (* (tan x) (tan eps)) 3)
1.8b	(- (/ (+ (tan x) (tan eps)) (- 1 (cbrt (pow (* (tan x) (tan eps)) 3)))) (tan x))
27.8b	(cbrt (pow (* (tan x) (tan eps)) 3))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`tan-quot`
10×	`*-un-lft-identity`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`cbrt-prod` `add-cube-cbrt`
6×	`cube-div` `add-log-exp`
3×	`frac-times` `pow-unpow` `cbrt-div` `associate-r/` `associate-r` `associate-l` `associate-l/`
2×	`cube-mult` `unpow-prod-down` `pow-pow` `unpow3` `cube-prod` `pow-prod-down` `pow-exp` `prod-exp` `cbrt-unprod` `rem-cube-cbrt` `difference-of-squares` `sqr-pow`
1×	`pow-to-exp` `sub-neg` `flip3--` `times-frac` `pow1/3` `diff-log` `*-commutative` `frac-sub` `flip--` `rem-cbrt-cube` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 82

Calls

4 calls:

5.0ms	(* (tan x) (tan eps))
6.0ms	(pow (* (tan x) (tan eps)) 3)
22.0ms	(- (/ (+ (tan x) (tan eps)) (- 1 (cbrt (pow (* (tan x) (tan eps)) 3)))) (tan x))
4.0ms	(cbrt (pow (* (tan x) (tan eps)) 3))

series170.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* (tan x) (tan eps))
33.0ms	(pow (* (tan x) (tan eps)) 3)
94.0ms	(- (/ (+ (tan x) (tan eps)) (- 1 (cbrt (pow (* (tan x) (tan eps)) 3)))) (tan x))
23.0ms	(cbrt (pow (* (tan x) (tan eps)) 3))

simplify57.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	384	787
1	1733	744
2	5002	743

prune616.0ms

Filtered

94 candidates to 67 candidates (28.7%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	0	15	15
Picked	0	1	1
Done	0	0	0
Total	93	17	110

Merged error: 12.8b

Counts

110 → 17

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps)))
0.2b	(* (tan x) (tan eps))
0.3b	(/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps))))
4.0b	(- (/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps)))) (tan x))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

123×	`times-frac`
104×	`*-un-lft-identity`
83×	`add-sqr-sqrt`
67×	`add-cube-cbrt`
23×	`associate-/r*`
19×	`add-exp-log`
16×	`associate-/r/` `distribute-lft-out`
15×	`tan-quot`
13×	`add-cbrt-cube`
8×	`div-exp`
7×	`pow1` `div-inv`
6×	`associate-/l*` `add-log-exp`
5×	`flip3-+` `frac-add` `flip-+` `difference-of-squares`
4×	`cbrt-undiv`
3×	`associate-r` `associate-l`
2×	`rec-exp` `flip3--` `frac-2neg` `1-exp` `clear-num` `flip--` `associate-/l/` `distribute-lft-out--`
1×	`frac-times` `sub-neg` `pow-flip` `diff-log` `div-sub` `associate-r/` `pow-prod-down` `associate-l/` `prod-exp` `*-commutative` `frac-sub` `cbrt-unprod` `inv-pow` `unswap-sqr`

Counts

4 → 178

Calls

4 calls:

8.0ms	(/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps)))
5.0ms	(* (tan x) (tan eps))
10.0ms	(/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps))))
25.0ms	(- (/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps)))) (tan x))

series229.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps)))
20.0ms	(* (tan x) (tan eps))
54.0ms	(/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps))))
96.0ms	(- (/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps)))) (tan x))

simplify79.0ms

Algorithm

egg-herbie

Counts

190 → 190

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	703	2791
1	3290	2506
2	5001	2503

prune893.0ms

Filtered

190 candidates to 105 candidates (44.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	184	6	190
Fresh	4	11	15
Picked	1	0	1
Done	1	0	1
Total	190	17	207

Merged error: 12.7b

Counts

207 → 17

regimes257.0ms

Accuracy

88.1% (0.9b remaining)

Error of 15.3b against oracle of 14.4b and baseline of 21.6b

bsearch132.0ms

Steps

Iters	Range		Point
8	1.2611993664769552e-51	8.184221022877953e-47	2.1810641200666502e-48
9	-3.5765709940581744e-43	-3.2744036193920184e-48	-3.8779512210660823e-44

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	47
1	53	47
2	53	47

end0.0ms

sample2.7s

Algorithm

intervals

Results

1.3s	3400×	body	1280	valid
520.0ms	596×	body	2560	valid
387.0ms	1817×	body	640	valid
95.0ms	701×	body	320	valid
47.0ms	1136×	body	80	valid
35.0ms	350×	body	160	valid

Details

sample88.0ms

simplify4.0ms

prune3.0ms

localize8.0ms

rewrite10.0ms

series41.0ms

simplify73.0ms

prune94.0ms

localize10.0ms

rewrite32.0ms

series188.0ms

simplify42.0ms

prune532.0ms

localize14.0ms

rewrite38.0ms

series170.0ms

simplify57.0ms

prune616.0ms

localize14.0ms

rewrite54.0ms

series229.0ms

simplify79.0ms

prune893.0ms

regimes257.0ms

bsearch132.0ms

simplify2.0ms

end0.0ms

sample2.7s

Profiling