Details

analyze364.0ms (7.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample86.0ms (1.7%)

Algorithm

1×

intervals

Results

54.0ms	132×	body	1024	valid
12.0ms	57×	body	512	valid
8.0ms	15×	body	2048	valid
4.0ms	33×	body	256	valid
1.0ms	19×	body	128	valid

Compiler

Compiled 20 to 16 computations (20% saved)

simplify346.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

2648×	`associate--r-_binary64`
1079×	`distribute-rgt-in_binary64`
753×	`distribute-lft-in_binary64`
705×	`unsub-neg_binary64`
642×	`distribute-neg-in_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	18	12
2	26	12
3	38	12
4	64	12
5	82	12
6	123	12
7	219	12
8	360	12
9	441	12
10	505	12
11	673	12
12	1029	12
13	1080	12
14	1073	12
15	1086	12
16	1084	12
17	1084	12
18	2524	12
19	1534	12
20	1612	12
21	1620	12
22	1628	12
23	1628	12
24	1828	12
25	2320	12
26	2368	12
27	2342	12
28	2408	12
29	2452	12
30	2452	12
31	2540	12
32	2548	12
33	3248	12
34	3360	12
35	3320	12
36	3392	12
37	3416	12
38	3416	12
39	3440	12
40	6078	12

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

58.5b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	58.5b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
6.3b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

rewrite119.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

58.1b

Rules

78×	`*-un-lft-identity_binary64`
52×	`add-sqr-sqrt_binary64`
48×	`times-frac_binary64`
30×	`log-prod_binary64`
25×	`add-cube-cbrt_binary64`

Counts

2 → 92

Calls

2 calls:

6.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
5.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 1251 to 969 computations (22.5% saved)

series19.0ms (0.4%)

Error

0.0b

Counts

2 → 14

Calls

2 calls:

7.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
5.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Compiler

Compiled 279 to 238 computations (14.7% saved)

simplify108.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

497×	`cancel-sign-sub-inv_binary64`
468×	`div-sub_binary64`
441×	`distribute-rgt-in_binary64`
339×	`distribute-lft-in_binary64`
230×	`sub-neg_binary64`

Counts

106 → 94

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	149	2054
1	349	1960
2	848	1915
3	2130	1911
4	4274	1911
5	5264	1911

prune36.0ms (0.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	90	4	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	4	95

Error

0.0b

Counts

95 → 4

Alt Table

Status	Error	Program
▶	0.3b	(-.f64 (-.f64 (.f64 -2 eps) (+.f64 (.f64 2/3 (pow.f64 eps 3)) (.f64 2/5 (pow.f64 eps 5)))) (.f64 2/7 (pow.f64 eps 7)))
	58.5b	(log.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)) 3)))
	58.5b	(+.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1))) (log.f64 (+.f64 1 (-.f64 (*.f64 eps eps) eps))))
	58.5b	(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1))))

Compiler

Compiled 1159 to 899 computations (22.4% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (-.f64 (.f64 -2 eps) (+.f64 (.f64 2/3 (pow.f64 eps 3)) (.f64 2/5 (pow.f64 eps 5)))) (.f64 2/7 (pow.f64 eps 7)))
0.1b	(*.f64 2/7 (pow.f64 eps 7))
0.1b	(*.f64 2/5 (pow.f64 eps 5))
0.1b	(*.f64 2/3 (pow.f64 eps 3))

rewrite114.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

32×	`add-sqr-sqrt_binary64`
26×	`associate-r_binary64`
19×	`add-exp-log_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`

Counts

4 → 100

Calls

4 calls:

8.0ms	(-.f64 (-.f64 (.f64 -2 eps) (+.f64 (.f64 2/3 (pow.f64 eps 3)) (.f64 2/5 (pow.f64 eps 5)))) (.f64 2/7 (pow.f64 eps 7)))
7.0ms	(*.f64 2/3 (pow.f64 eps 3))
4.0ms	(*.f64 2/5 (pow.f64 eps 5))
4.0ms	(*.f64 2/7 (pow.f64 eps 7))

Compiler

Compiled 2650 to 2165 computations (18.3% saved)

series33.0ms (0.7%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

10.0ms	(*.f64 2/5 (pow.f64 eps 5))
7.0ms	(*.f64 2/7 (pow.f64 eps 7))
7.0ms	(-.f64 (-.f64 (.f64 -2 eps) (+.f64 (.f64 2/3 (pow.f64 eps 3)) (.f64 2/5 (pow.f64 eps 5)))) (.f64 2/7 (pow.f64 eps 7)))
6.0ms	(*.f64 2/3 (pow.f64 eps 3))

Compiler

Compiled 567 to 464 computations (18.2% saved)

simplify129.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

592×	`unswap-sqr_binary64`
391×	`log-prod_binary64`
377×	`*-commutative_binary64`
288×	`unsub-neg_binary64`
202×	`exp-prod_binary64`

Counts

115 → 71

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	204	1814
1	424	1685
2	1107	1625
3	2779	1625
4	4720	1625
5	4910	1625
6	4978	1625

prune43.0ms (0.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	70	1	71
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	71	4	75

Error

0.0b

Counts

75 → 4

Alt Table

Status	Error	Program
	58.5b	(log.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)) 3)))
▶	0.3b	(-.f64 (.f64 -2 eps) (+.f64 (.f64 2/7 (pow.f64 eps 7)) (+.f64 (.f64 2/3 (pow.f64 eps 3)) (.f64 2/5 (pow.f64 eps 5)))))
	58.5b	(+.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1))) (log.f64 (+.f64 1 (-.f64 (*.f64 eps eps) eps))))
	58.5b	(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1))))

Compiler

Compiled 1272 to 1030 computations (19% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 2/3 (pow.f64 eps 3)) (.f64 2/5 (pow.f64 eps 5)))
0.1b	(*.f64 2/7 (pow.f64 eps 7))
0.1b	(*.f64 2/5 (pow.f64 eps 5))
0.1b	(*.f64 2/3 (pow.f64 eps 3))

rewrite94.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`add-sqr-sqrt_binary64`
26×	`associate-r_binary64`
19×	`add-exp-log_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`

Counts

4 → 92

Calls

4 calls:

5.0ms	(*.f64 2/3 (pow.f64 eps 3))
4.0ms	(+.f64 (.f64 2/3 (pow.f64 eps 3)) (.f64 2/5 (pow.f64 eps 5)))
4.0ms	(*.f64 2/5 (pow.f64 eps 5))
4.0ms	(*.f64 2/7 (pow.f64 eps 7))

Compiler

Compiled 2324 to 1897 computations (18.4% saved)

series39.0ms (0.8%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

12.0ms	(+.f64 (.f64 2/3 (pow.f64 eps 3)) (.f64 2/5 (pow.f64 eps 5)))
9.0ms	(*.f64 2/3 (pow.f64 eps 3))
7.0ms	(*.f64 2/7 (pow.f64 eps 7))
7.0ms	(*.f64 2/5 (pow.f64 eps 5))

Compiler

Compiled 649 to 530 computations (18.3% saved)

simplify100.0ms (2%)

Algorithm

1×	egg-herbie

Rules

379×	`*-commutative_binary64`
352×	`cancel-sign-sub-inv_binary64`
289×	`sqr-pow_binary64`
236×	`log-prod_binary64`
228×	`exp-prod_binary64`

Counts

107 → 57

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	164	1280
1	345	1204
2	905	1180
3	1697	1180
4	3620	1143
5	4800	1140
6	4918	1140

prune32.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	57	4	61

Error

0.0b

Counts

61 → 4

Alt Table

Status	Error	Program
▶	58.5b	(log.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)) 3)))
✓	0.3b	(-.f64 (.f64 -2 eps) (+.f64 (.f64 2/7 (pow.f64 eps 7)) (+.f64 (.f64 2/3 (pow.f64 eps 3)) (.f64 2/5 (pow.f64 eps 5)))))
	58.5b	(+.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1))) (log.f64 (+.f64 1 (-.f64 (*.f64 eps eps) eps))))
	58.5b	(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1))))

Compiler

Compiled 970 to 787 computations (18.9% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 1 eps) (+.f64 eps 1))
0.0b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)) 3))
0.0b	(pow.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)) 3)
6.3b	(log.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)) 3)))

rewrite145.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

259×	`*-un-lft-identity_binary64`
173×	`add-sqr-sqrt_binary64`
168×	`times-frac_binary64`
132×	`cbrt-prod_binary64`
90×	`cube-prod_binary64`

Counts

4 → 287

Calls

4 calls:

13.0ms	(log.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)) 3)))
9.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)) 3))
8.0ms	(pow.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)) 3)
6.0ms	(/.f64 (-.f64 1 eps) (+.f64 eps 1))

Compiler

Compiled 3474 to 2846 computations (18.1% saved)

series35.0ms (0.7%)

Error

0.0b

Counts

4 → 30

Calls

4 calls:

9.0ms	(pow.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)) 3)
6.0ms	(/.f64 (-.f64 1 eps) (+.f64 eps 1))
6.0ms	(log.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)) 3)))
5.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)) 3))

Compiler

Compiled 639 to 560 computations (12.4% saved)

simplify230.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

357×	`distribute-rgt-in_binary64`
351×	`unswap-sqr_binary64`
313×	`distribute-lft-in_binary64`
307×	`log-prod_binary64`
178×	`log-div_binary64`

Counts

317 → 259

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	270	6828
1	634	6370
2	1883	6306
3	4434	6306
4	4996	6306

prune49.0ms (1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	259	0	259
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	259	4	263

Error

0.0b

Counts

263 → 4

Alt Table

Status	Error	Program
	58.5b	(log.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)) 3)))
	0.3b	(-.f64 (.f64 -2 eps) (+.f64 (.f64 2/7 (pow.f64 eps 7)) (+.f64 (.f64 2/3 (pow.f64 eps 3)) (.f64 2/5 (pow.f64 eps 5)))))
	58.5b	(+.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1))) (log.f64 (+.f64 1 (-.f64 (*.f64 eps eps) eps))))
	58.5b	(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1))))

Compiler

Compiled 1652 to 1306 computations (20.9% saved)

regimes145.0ms (2.9%)

Accuracy

Total 0.1b remaining (95.6%)

Threshold costs 0.1b (95.6%)

Compiler

Compiled 3232 to 2596 computations (19.7% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative_binary64`
11×	`+-commutative_binary64`
9×	`sub-neg_binary64`
8×	`neg-sub0_binary64`
8×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	31
1	27	31
2	36	31
3	55	31
4	82	31
5	94	31
6	101	31
7	103	31
8	100	31

end1.0ms (0%)

Compiler: Compiled 22 to 18 computations (18.2% saved)

sample2.7s (54%)

Algorithm

1×

intervals

Results

1.6s	3963×	body	1024	valid
448.0ms	2059×	body	512	valid
218.0ms	400×	body	2048	valid
122.0ms	972×	body	256	valid
36.0ms	606×	body	128	valid

Compiler

Compiled 103 to 83 computations (19.4% saved)

Details

analyze364.0ms (7.2%)

sample86.0ms (1.7%)

simplify346.0ms (6.9%)

prune1.0ms (0%)

localize5.0ms (0.1%)

rewrite119.0ms (2.4%)

series19.0ms (0.4%)

simplify108.0ms (2.1%)

prune36.0ms (0.7%)

localize12.0ms (0.2%)

rewrite114.0ms (2.3%)

series33.0ms (0.7%)

simplify129.0ms (2.6%)

prune43.0ms (0.8%)

localize14.0ms (0.3%)

rewrite94.0ms (1.9%)

series39.0ms (0.8%)

simplify100.0ms (2%)

prune32.0ms (0.6%)

localize7.0ms (0.1%)

rewrite145.0ms (2.9%)

series35.0ms (0.7%)

simplify230.0ms (4.6%)

prune49.0ms (1%)

regimes145.0ms (2.9%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample2.7s (54%)

Profiling