Details

analyze54.0ms (2.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	50%	0%	3
87.5%	12.5%	0%	4
93.7%	6.2%	0%	5
96.8%	3.1%	0%	6
98.4%	1.6%	0%	7
99.2%	0.8%	0%	8
99.6%	0.4%	0%	9
99.8%	0.2%	0%	10
99.9%	0.1%	0%	11
99.9%	0%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample12.0ms (0.5%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

128

valid

Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify36.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

242×	`div-sub_binary64`
160×	`times-frac_binary64`
138×	`associate-/l/_binary64`
114×	`distribute-rgt-in_binary64`
112×	`associate-/r/_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	11	10
2	15	10
3	20	10
4	26	10
5	34	10
6	43	10
7	56	10
8	75	10
9	94	10
10	115	10
11	133	10
12	182	10
13	243	10
14	302	10
15	376	10
16	492	10
17	509	10
18	556	10
19	540	10
20	461	10

prune2.0ms (0.1%)

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

0.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

Compiler

Compiled 16 to 12 computations (25% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite59.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

42×	`*-un-lft-identity_binary64`
28×	`add-sqr-sqrt_binary64`
24×	`times-frac_binary64`
13×	`add-cube-cbrt_binary64`
10×	`difference-of-squares_binary64`

Counts

1 → 50

Calls

1 calls:

8.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

Compiler

Compiled 639 to 483 computations (24.4% saved)

series22.0ms (1%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

12.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

Compiler

Compiled 228 to 198 computations (13.2% saved)

simplify86.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

669×	`div-sub_binary64`
615×	`times-frac_binary64`
381×	`associate-/l*_binary64`
336×	`distribute-rgt-in_binary64`
246×	`distribute-lft-in_binary64`

Counts

62 → 56

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	103	1102
1	239	1038
2	605	1035
3	1503	1035
4	4030	1035
5	5188	1035

prune45.0ms (2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Error

Counts

57 → 4

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 1 (/.f64 (-.f64 1 x) (+.f64 1 x)))
	16.9b	(*.f64 (sqrt.f64 (+.f64 1 x)) (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
	31.6b	(+.f64 1 (.f64 2 (+.f64 x (+.f64 (.f64 x x) (pow.f64 x 3)))))
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

Compiler

Compiled 625 to 465 computations (25.6% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (/.f64 (-.f64 1 x) (+.f64 1 x)))
0.0b	(/.f64 (-.f64 1 x) (+.f64 1 x))

rewrite205.0ms (9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

214×	`*-un-lft-identity_binary64`
210×	`times-frac_binary64`
152×	`add-sqr-sqrt_binary64`
89×	`add-cube-cbrt_binary64`
42×	`difference-of-squares_binary64`

Counts

2 → 195

Calls

2 calls:

15.0ms	(/.f64 1 (/.f64 (-.f64 1 x) (+.f64 1 x)))
8.0ms	(/.f64 (-.f64 1 x) (+.f64 1 x))

Compiler

Compiled 3096 to 2487 computations (19.7% saved)

series37.0ms (1.6%)

Error

Counts

2 → 24

Calls

2 calls:

13.0ms	(/.f64 (-.f64 1 x) (+.f64 1 x))
12.0ms	(/.f64 1 (/.f64 (-.f64 1 x) (+.f64 1 x)))

Compiler

Compiled 486 to 426 computations (12.3% saved)

simplify196.0ms (8.6%)

Algorithm

1×	egg-herbie

Rules

611×	`div-sub_binary64`
463×	`cancel-sign-sub-inv_binary64`
214×	`times-frac_binary64`
207×	`distribute-rgt-in_binary64`
186×	`sub-neg_binary64`

Counts

219 → 177

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	162	4426
1	385	4088
2	1070	4001
3	2691	4001
4	4253	4001
5	5183	4001

prune68.0ms (3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	177	0	177
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	177	4	181

Error

Counts

181 → 4

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 1 (/.f64 (-.f64 1 x) (+.f64 1 x)))
▶	16.9b	(*.f64 (sqrt.f64 (+.f64 1 x)) (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
	31.6b	(+.f64 1 (.f64 2 (+.f64 x (+.f64 (.f64 x x) (pow.f64 x 3)))))
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

Compiler

Compiled 1181 to 878 computations (25.7% saved)

localize6.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (+.f64 1 x))
0.0b	(sqrt.f64 (+.f64 1 x))
0.0b	(*.f64 (sqrt.f64 (+.f64 1 x)) (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
0.1b	(/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x))

rewrite397.0ms (17.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

127×	`*-un-lft-identity_binary64`
113×	`add-sqr-sqrt_binary64`
88×	`times-frac_binary64`
69×	`sqrt-prod_binary64`
50×	`add-cube-cbrt_binary64`

Counts

4 → 182

Calls

4 calls:

24.0ms	(*.f64 (sqrt.f64 (+.f64 1 x)) (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
9.0ms	(/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x))
3.0ms	(sqrt.f64 (+.f64 1 x))
3.0ms	(sqrt.f64 (+.f64 1 x))

Compiler

Compiled 3126 to 2457 computations (21.4% saved)

series55.0ms (2.4%)

Error

Counts

4 → 30

Calls

4 calls:

13.0ms	(*.f64 (sqrt.f64 (+.f64 1 x)) (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
9.0ms	(/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x))
8.0ms	(sqrt.f64 (+.f64 1 x))
8.0ms	(sqrt.f64 (+.f64 1 x))

Compiler

Compiled 821 to 669 computations (18.5% saved)

simplify188.0ms (8.3%)

Algorithm

1×	egg-herbie

Rules

499×	`div-sub_binary64`
443×	`associate-/l*_binary64`
297×	`associate-l_binary64`
272×	`times-frac_binary64`
262×	`associate-r_binary64`

Counts

212 → 145

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	191	3817
1	429	3698
2	1299	3607
3	3411	3607
4	4513	3607
5	5338	3607

prune88.0ms (3.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	145	4	149

Error

Counts

149 → 4

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 1 (/.f64 (-.f64 1 x) (+.f64 1 x)))
✓	16.9b	(*.f64 (sqrt.f64 (+.f64 1 x)) (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
▶	31.6b	(+.f64 1 (.f64 2 (+.f64 x (+.f64 (.f64 x x) (pow.f64 x 3)))))
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

Compiler

Compiled 1661 to 1270 computations (23.5% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (+.f64 (*.f64 x x) (pow.f64 x 3)))
10.6b	(+.f64 (*.f64 x x) (pow.f64 x 3))

rewrite42.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`add-log-exp_binary64`
4×	`*-un-lft-identity_binary64`
4×	`sum-log_binary64`
2×	`+-commutative_binary64`
2×	`distribute-lft-out_binary64`

Counts

2 → 28

Calls

2 calls:

8.0ms	(+.f64 x (+.f64 (*.f64 x x) (pow.f64 x 3)))
6.0ms	(+.f64 (*.f64 x x) (pow.f64 x 3))

Compiler

Compiled 565 to 339 computations (40% saved)

series26.0ms (1.1%)

Error

Counts

2 → 11

Calls

2 calls:

12.0ms	(+.f64 (*.f64 x x) (pow.f64 x 3))
8.0ms	(+.f64 x (+.f64 (*.f64 x x) (pow.f64 x 3)))

Compiler

Compiled 242 to 194 computations (19.8% saved)

simplify75.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

591×	`sub-neg_binary64`
427×	`unswap-sqr_binary64`
291×	`associate-l_binary64`
255×	`associate-r_binary64`
244×	`+-commutative_binary64`

Counts

39 → 15

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	52	552
1	154	516
2	516	507
3	2134	504
4	4202	501
5	5037	501

prune12.0ms (0.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	15	4	19

Error

Counts

19 → 4

Alt Table

Status	Error	Program
	0.0b	(/.f64 1 (/.f64 (-.f64 1 x) (+.f64 1 x)))
	16.9b	(*.f64 (sqrt.f64 (+.f64 1 x)) (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
	31.6b	(+.f64 1 (.f64 2 (+.f64 x (+.f64 (.f64 x x) (pow.f64 x 3)))))
	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

Compiler

Compiled 243 to 167 computations (31.3% saved)

regimes118.0ms (5.2%)

Accuracy

Total 0.0b remaining (81.7%)

Threshold costs 0.0b (81.7%)

Compiler

Compiled 1351 to 1075 computations (20.4% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

8×	`cancel-sign-sub-inv_binary64`
6×	`+-commutative_binary64`
6×	`distribute-neg-in_binary64`
6×	`sub-neg_binary64`
5×	`neg-sub0_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	22	14
2	34	10
3	47	10
4	55	10
5	57	10
6	53	10

end1.0ms (0%)

Compiler: Compiled 8 to 6 computations (25% saved)

sample421.0ms (18.5%)

Algorithm

1×

intervals

Results

163.0ms

8000×

body

128

valid

Compiler

Compiled 64 to 49 computations (23.4% saved)

Iter	Nodes	Cost
0	6	10
1	11	10
2	15	10
3	20	10
4	26	10
5	34	10
6	43	10
7	56	10
8	75	10
9	94	10
10	115	10
11	133	10
12	182	10
13	243	10
14	302	10
15	376	10
16	492	10
17	509	10
18	556	10
19	540	10
20	461	10

Iter	Nodes	Cost
0	6	10
1	11	10
2	15	10
3	20	10
4	26	10
5	34	10
6	43	10
7	56	10
8	75	10
9	94	10
10	115	10
11	133	10
12	182	10
13	243	10
14	302	10
15	376	10
16	492	10
17	509	10
18	556	10
19	540	10
20	461	10

Details

analyze54.0ms (2.4%)

sample12.0ms (0.5%)

simplify36.0ms (1.6%)

prune2.0ms (0.1%)

localize4.0ms (0.2%)

rewrite59.0ms (2.6%)

series22.0ms (1%)

simplify86.0ms (3.8%)

prune45.0ms (2%)

localize5.0ms (0.2%)

rewrite205.0ms (9%)

series37.0ms (1.6%)

simplify196.0ms (8.6%)

prune68.0ms (3%)

localize6.0ms (0.3%)

rewrite397.0ms (17.5%)

series55.0ms (2.4%)

simplify188.0ms (8.3%)

prune88.0ms (3.9%)

localize7.0ms (0.3%)

rewrite42.0ms (1.9%)

series26.0ms (1.1%)

simplify75.0ms (3.3%)

prune12.0ms (0.5%)

regimes118.0ms (5.2%)

simplify4.0ms (0.2%)

end1.0ms (0%)

sample421.0ms (18.5%)

Profiling

Iter	Nodes	Cost
0	6	10
1	11	10
2	15	10
3	20	10
4	26	10
5	34	10
6	43	10
7	56	10
8	75	10
9	94	10
10	115	10
11	133	10
12	182	10
13	243	10
14	302	10
15	376	10
16	492	10
17	509	10
18	556	10
19	540	10
20	461	10