Details

analyze51.0ms (5.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)

sample13.0ms (1.3%)

Algorithm

1×

intervals

Results

6.0ms

256×

body

128

valid

Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify39.0ms (4.1%)

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.2%)

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.4%)

Local error

Found 1 expressions with local error:

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

rewrite52.0ms (5.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

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 (2.2%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

14.0ms

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

Compiler

Compiled 228 to 198 computations (13.2% saved)

simplify85.0ms (8.8%)

Algorithm

1×	egg-herbie

Rules

615×	`times-frac_binary64`
592×	`div-sub_binary64`
381×	`associate-/l*_binary64`
337×	`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	1508	1035
4	3957	1035
5	4959	1035

prune35.0ms (3.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	55	2	57

Error

Counts

57 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
▶	32.7b	(+.f64 1 (.f64 2 (+.f64 x (+.f64 (.f64 x x) (pow.f64 x 3)))))

Compiler

Compiled 577 to 427 computations (26% saved)

localize7.0ms (0.8%)

Local error

Found 1 expressions with local error:

10.6b

(+.f64 (*.f64 x x) (pow.f64 x 3))

rewrite20.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

3×	`add-log-exp_binary64`
2×	`cube-mult_binary64`
1×	`sum-log_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `flip3-+_binary64` `*-un-lft-identity_binary64` `flip-+_binary64` `distribute-rgt1-in_binary64` `unpow3_binary64` `distribute-rgt-out_binary64` `distribute-lft-out_binary64` `+-commutative_binary64`

Counts

1 → 14

Calls

1 calls:

6.0ms

(+.f64 (*.f64 x x) (pow.f64 x 3))

Compiler

Compiled 271 to 165 computations (39.1% saved)

series17.0ms (1.8%)

Error

Counts

1 → 6

Calls

1 calls:

14.0ms

(+.f64 (*.f64 x x) (pow.f64 x 3))

Compiler

Compiled 146 to 115 computations (21.2% saved)

simplify108.0ms (11.3%)

Algorithm

1×	egg-herbie

Rules

493×	`distribute-rgt-out_binary64`
403×	`unswap-sqr_binary64`
331×	`distribute-rgt-neg-in_binary64`
281×	`distribute-lft-out_binary64`
262×	`distribute-rgt-in_binary64`

Counts

20 → 8

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	32	253
1	95	223
2	320	220
3	1255	220
4	4057	217
5	4880	217
6	4992	217
7	4920	217

prune7.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	8	0	8
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	8	2	10

Error

Counts

10 → 2

Alt Table

Status	Error	Program
	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
	32.7b	(+.f64 1 (.f64 2 (+.f64 x (+.f64 (.f64 x x) (pow.f64 x 3)))))

Compiler

Compiled 122 to 85 computations (30.3% saved)

regimes49.0ms (5.1%)

Accuracy

Total 0.0b remaining (78.7%)

Threshold costs 0.0b (78.7%)

Compiler

Compiled 458 to 362 computations (21% saved)

simplify3.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`1-exp_binary64` `neg-mul-1_binary64` `neg-sub0_binary64` `*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	13	14
2	17	14
3	19	14
4	20	14
5	19	14

end1.0ms (0.1%)

Compiler: Compiled 10 to 8 computations (20% saved)

sample444.0ms (46.3%)

Algorithm

1×

intervals

Results

192.0ms

8000×

body

128

valid

Compiler

Compiled 42 to 32 computations (23.8% 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

analyze51.0ms (5.4%)

sample13.0ms (1.3%)

simplify39.0ms (4.1%)

prune2.0ms (0.2%)

localize4.0ms (0.4%)

rewrite52.0ms (5.4%)

series22.0ms (2.2%)

simplify85.0ms (8.8%)

prune35.0ms (3.6%)

localize7.0ms (0.8%)

rewrite20.0ms (2%)

series17.0ms (1.8%)

simplify108.0ms (11.3%)

prune7.0ms (0.7%)

regimes49.0ms (5.1%)

simplify3.0ms (0.3%)

end1.0ms (0.1%)

sample444.0ms (46.3%)

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