Details

analyze171.0ms (1.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	117	22
1	117	22
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample125.0ms (1.1%)

Algorithm

1×

intervals

Results

54.0ms	113×	body	1024	valid
38.0ms	43×	body	2048	valid
12.0ms	37×	body	512	valid
5.0ms	23×	body	256	valid
4.0ms	40×	body	128	valid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify19.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	72	11
1	72	11

prune4.0ms (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

Error

37.9b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

1.9b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
5.5b	(sin.f64 (+.f64 x eps))

rewrite22.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
4×	`add-log-exp_binary64_2163`
3×	`cancel-sign-sub-inv_binary64_2090` `add-cube-cbrt_binary64_2159`
2×	`pow1_binary64_2185` `sin-sum_binary64_2257` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
1×	`flip--_binary64_2099` `difference-of-squares_binary64_2093` `flip3--_binary64_2128` `distribute-lft-out--_binary64_2076` `diff-sin_binary64_2274` `diff-log_binary64_2216` `associate--l+_binary64_2061` `sub-neg_binary64_2117`

Counts

2 → 26

Calls

2 calls:

12.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
7.0ms	(sin.f64 (+.f64 x eps))

series209.0ms (1.8%)

Counts

2 → 24

Calls

2 calls:

132.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
76.0ms	(sin.f64 (+.f64 x eps))

Compiler

Compiled 368 to 288 computations (21.7% saved)

simplify121.0ms (1%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	5023	755

prune79.0ms (0.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	46	4	50
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	47	4	51

Error

0.3b

Counts

51 → 4

Compiler

Compiled 680 to 235 computations (65.4% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x))
0.2b	(*.f64 (sin.f64 x) (cos.f64 eps))
0.2b	(*.f64 (cos.f64 x) (sin.f64 eps))
3.8b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))

rewrite54.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_2146`
11×	`add-log-exp_binary64_2163`
10×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
8×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
6×	`cancel-sign-sub-inv_binary64_2090` `associate-l_binary64_2065` `associate-r_binary64_2064`
4×	`associate-+r+_binary64_2056`
3×	`sin-cos-mult_binary64_2280`
2×	`flip--_binary64_2099` `pow-prod-down_binary64_2195` `flip3--_binary64_2128` `unswap-sqr_binary64_2092` `sum-log_binary64_2215` `*-commutative_binary64_2055` `diff-log_binary64_2216` `prod-exp_binary64_2173` `sub-neg_binary64_2117` `frac-add_binary64_2132` `cbrt-unprod_binary64_2157`
1×	`associate-+r-_binary64_2058` `+-commutative_binary64_2054` `flip3-+_binary64_2127` `flip-+_binary64_2098`

Counts

4 → 70

Calls

4 calls:

18.0ms	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
9.0ms	(*.f64 (cos.f64 x) (sin.f64 eps))
9.0ms	(-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x))
9.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))

series875.0ms (7.5%)

Counts

4 → 47

Calls

4 calls:

314.0ms	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
199.0ms	(-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x))
183.0ms	(*.f64 (cos.f64 x) (sin.f64 eps))
179.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))

Compiler

Compiled 1126 to 807 computations (28.3% saved)

simplify127.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4974	2100
1	4974	2100

prune199.0ms (1.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	105	12	117
Fresh	2	1	3
Picked	1	0	1
Done	0	0	0
Total	108	13	121

Error

0.1b

Counts

121 → 13

Compiler

Compiled 2555 to 746 computations (70.8% saved)

localize30.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))
1.5b	(+.f64 (cos.f64 eps) -1)
1.5b	(+.f64 (cos.f64 eps) -1)
1.5b	(+.f64 (cos.f64 eps) -1)

rewrite40.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64_2124`
10×	`add-log-exp_binary64_2163`
8×	`add-sqr-sqrt_binary64_2146`
5×	`add-cube-cbrt_binary64_2159`
4×	`pow1_binary64_2185` `flip3-+_binary64_2127` `flip-+_binary64_2098` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
3×	`sum-log_binary64_2215` `distribute-lft-out_binary64_2075` `+-commutative_binary64_2054` `cbrt-prod_binary64_2155` `difference-of-sqr--1_binary64_2095`
2×	`cbrt-div_binary64_2156`
1×	`pow1/3_binary64_2206`

Counts

4 → 52

Calls

4 calls:

7.0ms	(+.f64 (cos.f64 eps) -1)
7.0ms	(+.f64 (cos.f64 eps) -1)
7.0ms	(+.f64 (cos.f64 eps) -1)
7.0ms	(cbrt.f64 (+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))

series1.2s (10%)

Counts

4 → 26

Calls

4 calls:

1.0s	(cbrt.f64 (+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))
53.0ms	(+.f64 (cos.f64 eps) -1)
50.0ms	(+.f64 (cos.f64 eps) -1)
49.0ms	(+.f64 (cos.f64 eps) -1)

Compiler

Compiled 2349 to 1414 computations (39.8% saved)

simplify117.0ms (1%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5974	1685

prune308.0ms (2.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	73	5	78
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	77	14	91

Error

0.1b

Counts

91 → 14

Compiler

Compiled 4563 to 2039 computations (55.3% saved)

localize46.0ms (0.4%)

Local error

Found 4 expressions with local error:

1.5b	(+.f64 (cos.f64 eps) -1)
1.5b	(+.f64 (cos.f64 eps) -1)
1.5b	(+.f64 (cos.f64 eps) -1)
1.5b	(+.f64 (cos.f64 eps) -1)

rewrite47.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-log-exp_binary64_2163` `*-un-lft-identity_binary64_2124`
8×	`add-sqr-sqrt_binary64_2146`
4×	`sum-log_binary64_2215` `distribute-lft-out_binary64_2075` `pow1_binary64_2185` `add-cube-cbrt_binary64_2159` `+-commutative_binary64_2054` `flip3-+_binary64_2127` `difference-of-sqr--1_binary64_2095` `flip-+_binary64_2098` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`

Counts

4 → 52

Calls

4 calls:

8.0ms	(+.f64 (cos.f64 eps) -1)
8.0ms	(+.f64 (cos.f64 eps) -1)
8.0ms	(+.f64 (cos.f64 eps) -1)
8.0ms	(+.f64 (cos.f64 eps) -1)

series240.0ms (2.1%)

Counts

4 → 20

Calls

4 calls:

63.0ms	(+.f64 (cos.f64 eps) -1)
62.0ms	(+.f64 (cos.f64 eps) -1)
59.0ms	(+.f64 (cos.f64 eps) -1)
56.0ms	(+.f64 (cos.f64 eps) -1)

Compiler

Compiled 1984 to 1208 computations (39.1% saved)

simplify115.0ms (1%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4921	784
1	4921	784

prune291.0ms (2.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	0	13	13
Picked	1	0	1
Done	0	0	0
Total	72	14	86

Error

0.1b

Counts

86 → 14

Compiler

Compiled 4432 to 2107 computations (52.5% saved)

regimes581.0ms (5%)

Accuracy

Total 0.3b remaining (72.2%)

Threshold costs 0.3b (72.2%)

Compiler

Compiled 3874 to 2393 computations (38.2% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	21
1	16	21

end0.0ms (0%)

sample6.6s (56.7%)

Algorithm

1×

intervals

Results

2.2s	3568×	body	1024	valid
1.2s	1251×	body	2048	valid
467.0ms	1290×	body	512	valid
158.0ms	1293×	body	128	valid
153.0ms	598×	body	256	valid

Compiler

Compiled 1309 to 814 computations (37.8% saved)

Details

analyze171.0ms (1.5%)

sample125.0ms (1.1%)

simplify19.0ms (0.2%)

prune4.0ms (0%)

localize12.0ms (0.1%)

rewrite22.0ms (0.2%)

series209.0ms (1.8%)

simplify121.0ms (1%)

prune79.0ms (0.7%)

localize25.0ms (0.2%)

rewrite54.0ms (0.5%)

series875.0ms (7.5%)

simplify127.0ms (1.1%)

prune199.0ms (1.7%)

localize30.0ms (0.3%)

rewrite40.0ms (0.3%)

series1.2s (10%)

simplify117.0ms (1%)

prune308.0ms (2.7%)

localize46.0ms (0.4%)

rewrite47.0ms (0.4%)

series240.0ms (2.1%)

simplify115.0ms (1%)

prune291.0ms (2.5%)

regimes581.0ms (5%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample6.6s (56.7%)

Profiling