Details

analyze60.0ms (0.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	12.5%	87.5%	0
0%	12.5%	87.5%	1
0%	12.5%	87.5%	2
3.1%	9.3%	87.5%	3
3.1%	6.2%	90.7%	4
4.7%	4.7%	90.7%	5
4.7%	3.5%	91.8%	6
5.6%	2.5%	91.8%	7
5.9%	1.8%	92.3%	8
6.4%	1.3%	92.3%	9
6.6%	0.9%	92.5%	10
6.8%	0.6%	92.5%	11
6.9%	0.5%	92.6%	12
7%	0.3%	92.6%	13
7.1%	0.2%	92.7%	14

Compiler

Compiled 26 to 19 computations (26.9% saved)

sample139.0ms (1.5%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
5.0ms	258×	pre	128	true
0.0ms	2×	body	128	invalid

Compiler

Compiled 43 to 32 computations (25.6% saved)

simplify121.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1247×	`unsub-neg_binary64`
616×	`neg-sub0_binary64`
571×	`neg-mul-1_binary64`
560×	`fma-neg_binary64`
452×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	20	19
2	46	17
3	116	17
4	358	17
5	1331	17
6	3463	17
7	3625	17
8	4293	17
9	4678	17
10	4650	17
11	4895	17
12	4905	17

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.1b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
	0.2b	(*.f64 (-.f64 1 m) (fma.f64 m (/.f64 (-.f64 1 m) v) -1))

Compiler

Compiled 85 to 61 computations (28.2% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 m (-.f64 1 m))
✓	0.0b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
✓	0.0b	(/.f64 (*.f64 m (-.f64 1 m)) v)

series26.0ms (0.3%)

Counts

3 → 56

Calls

3 calls:

14.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
10.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)
2.0ms	(*.f64 m (-.f64 1 m))

rewrite78.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

51×	`add-sqr-sqrt_binary64`
46×	`*-un-lft-identity_binary64`
37×	`add-cube-cbrt_binary64`
36×	`prod-diff_binary64`
26×	`distribute-lft-in_binary64`

Counts

3 → 137

Calls

3 calls:

56.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
6.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)
6.0ms	(*.f64 m (-.f64 1 m))

simplify119.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

806×	`distribute-rgt-in_binary64`
733×	`distribute-lft-in_binary64`
365×	`fma-neg_binary64`
242×	`associate-l_binary64`
194×	`associate-r_binary64`

Counts

193 → 219

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	219	3683
1	464	3476
2	1999	3134
3	4909	3134
4	5060	3134

prune231.0ms (2.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	214	5	219
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	216	5	221

Error

0.0b

Counts

221 → 5

Alt Table

Status	Error	Program
	0.7b	(.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 m (-.f64 1 m)) v)) (cbrt.f64 (/.f64 (.f64 m (-.f64 1 m)) v))) (cbrt.f64 (/.f64 (.f64 m (-.f64 1 m)) v))) 1) (-.f64 1 m))
	3.6b	(/.f64 (.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 m m) (*.f64 1 m))))
	0.1b	(*.f64 (-.f64 (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) 1) (-.f64 1 m))
▶	0.1b	(+.f64 (.f64 1 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1)) (.f64 (neg.f64 m) (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1)))
	28.1b	(/.f64 (*.f64 (-.f64 m (pow.f64 m 2)) (-.f64 1 m)) v)

Compiler

Compiled 5473 to 3322 computations (39.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(*.f64 m (-.f64 1 m))
✓	0.0b	(+.f64 (.f64 1 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1)) (.f64 (neg.f64 m) (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1)))
	0.0b	(/.f64 (*.f64 m (-.f64 1 m)) v)
✓	0.2b	(.f64 (neg.f64 m) (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1))

series35.0ms (0.4%)

Counts

2 → 48

Calls

2 calls:

17.0ms	(+.f64 (.f64 1 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1)) (.f64 (neg.f64 m) (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1)))
17.0ms	(.f64 (neg.f64 m) (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1))

rewrite77.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

126×	`prod-diff_binary64`
96×	`add-sqr-sqrt_binary64`
93×	`*-un-lft-identity_binary64`
90×	`add-cube-cbrt_binary64`
75×	`distribute-lft-in_binary64`

Counts

2 → 204

Calls

2 calls:

33.0ms	(+.f64 (.f64 1 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1)) (.f64 (neg.f64 m) (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1)))
12.0ms	(.f64 (neg.f64 m) (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1))

simplify171.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

809×	`distribute-rgt-in_binary64`
703×	`fma-neg_binary64`
202×	`distribute-lft-neg-out_binary64`
190×	`distribute-rgt-neg-out_binary64`
165×	`associate-r_binary64`

Counts

252 → 338

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	199	7327
1	542	5242
2	1789	5116
3	4738	5077
4	5195	5077

prune935.0ms (10.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	571	3	574
Fresh	2	2	4
Picked	1	0	1
Done	0	0	0
Total	574	5	579

Error

Counts

579 → 5

Alt Table

Status	Error	Program
	0.7b	(.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 m (-.f64 1 m)) v)) (cbrt.f64 (/.f64 (.f64 m (-.f64 1 m)) v))) (cbrt.f64 (/.f64 (.f64 m (-.f64 1 m)) v))) 1) (-.f64 1 m))
▶	0.0b	(+.f64 (.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (.f64 (neg.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
	0.1b	(+.f64 (.f64 1 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1)) (-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) m) (/.f64 (pow.f64 m 2) v)))
	3.6b	(/.f64 (.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 m m) (*.f64 1 m))))
	26.7b	(/.f64 (.f64 (-.f64 1 m) (.f64 (+.f64 -1 (pow.f64 (.f64 (/.f64 m v) (-.f64 1 m)) 3)) (+.f64 1 (.f64 (.f64 (/.f64 m v) (-.f64 1 m)) (+.f64 1 (.f64 (/.f64 m v) (-.f64 1 m))))))) (.f64 (+.f64 1 (.f64 (.f64 (/.f64 m v) (-.f64 1 m)) (+.f64 1 (.f64 (/.f64 m v) (-.f64 1 m))))) (+.f64 1 (.f64 (.f64 (/.f64 m v) (-.f64 1 m)) (+.f64 1 (*.f64 (/.f64 m v) (-.f64 1 m)))))))

Compiler

Compiled 21189 to 14103 computations (33.4% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (.f64 (neg.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
	0.0b	(/.f64 (*.f64 m (-.f64 1 m)) v)
✓	0.1b	(/.f64 m (/.f64 v (-.f64 1 m)))
	0.2b	(.f64 (neg.f64 m) (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1))

series28.0ms (0.3%)

Counts

2 → 48

Calls

2 calls:

19.0ms	(+.f64 (.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (.f64 (neg.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
10.0ms	(/.f64 m (/.f64 v (-.f64 1 m)))

rewrite303.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Rules

918×	`times-frac_binary64`
779×	`*-un-lft-identity_binary64`
779×	`add-sqr-sqrt_binary64`
581×	`add-cube-cbrt_binary64`
504×	`prod-diff_binary64`

Counts

2 → 655

Calls

2 calls:

64.0ms	(+.f64 (.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (.f64 (neg.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
7.0ms	(/.f64 m (/.f64 v (-.f64 1 m)))

simplify531.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

560×	`fma-neg_binary64`
226×	`distribute-lft-neg-out_binary64`
210×	`distribute-rgt-neg-out_binary64`
173×	`associate-*l/_binary64`
170×	`associate-/r/_binary64`

Counts

703 → 1122

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	350	17037
1	833	12779
2	3027	12734
3	4663	11794
4	4998	11794
5	4968	11794

prune1.9s (21.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	1286	2	1288
Fresh	2	2	4
Picked	1	0	1
Done	0	0	0
Total	1289	4	1293

Error

Counts

1293 → 4

Alt Table

Status	Error	Program
	0.7b	(.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 m (-.f64 1 m)) v)) (cbrt.f64 (/.f64 (.f64 m (-.f64 1 m)) v))) (cbrt.f64 (/.f64 (.f64 m (-.f64 1 m)) v))) 1) (-.f64 1 m))
	3.6b	(/.f64 (.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 m m) (*.f64 1 m))))
▶	0.1b	(+.f64 (.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (+.f64 (-.f64 m (/.f64 (.f64 m m) v)) (/.f64 (pow.f64 m 3) v)))
	0.3b	(+.f64 (.f64 1 (-.f64 (.f64 (+.f64 m (sqrt.f64 m)) (/.f64 (sqrt.f64 m) (/.f64 v (-.f64 1 (sqrt.f64 m))))) 1)) (.f64 (neg.f64 m) (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1)))

Compiler

Compiled 57097 to 37123 computations (35% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (+.f64 (-.f64 m (/.f64 (.f64 m m) v)) (/.f64 (pow.f64 m 3) v)))
	0.1b	(/.f64 m (/.f64 v (-.f64 1 m)))
✓	9.5b	(/.f64 (pow.f64 m 3) v)
✓	13.2b	(/.f64 (*.f64 m m) v)

series46.0ms (0.5%)

Counts

3 → 48

Calls

3 calls:

17.0ms	(+.f64 (.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (+.f64 (-.f64 m (/.f64 (.f64 m m) v)) (/.f64 (pow.f64 m 3) v)))
15.0ms	(/.f64 (*.f64 m m) v)
13.0ms	(/.f64 (pow.f64 m 3) v)

rewrite273.0ms (3%)

Algorithm

1×	rewrite-expression-head

Rules

795×	`times-frac_binary64`
684×	`*-un-lft-identity_binary64`
678×	`add-sqr-sqrt_binary64`
516×	`add-cube-cbrt_binary64`
470×	`associate-+l+_binary64`

Counts

3 → 589

Calls

3 calls:

73.0ms	(+.f64 (.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (+.f64 (-.f64 m (/.f64 (.f64 m m) v)) (/.f64 (pow.f64 m 3) v)))
5.0ms	(/.f64 (pow.f64 m 3) v)
3.0ms	(/.f64 (*.f64 m m) v)

simplify447.0ms (5%)

Algorithm

1×	egg-herbie

Rules

523×	`fma-neg_binary64`
383×	`unswap-sqr_binary64`
236×	`associate-r_binary64`
222×	`associate-l_binary64`
215×	`distribute-rgt-in_binary64`

Counts

637 → 986

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	255	14359
1	682	12688
2	3243	12688
3	4634	12631
4	4782	12631
5	4956	12631

prune1.7s (18.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	1157	1	1158
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	1158	4	1162

Error

Counts

1162 → 4

Alt Table

Status	Error	Program
	0.1b	(+.f64 (.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (+.f64 (-.f64 m (/.f64 (.f64 m m) v)) (/.f64 m (/.f64 v (*.f64 m m)))))
	3.6b	(/.f64 (.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 m m) (*.f64 1 m))))
✓	0.1b	(+.f64 (.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (+.f64 (-.f64 m (/.f64 (.f64 m m) v)) (/.f64 (pow.f64 m 3) v)))
	0.3b	(+.f64 (.f64 1 (-.f64 (.f64 (+.f64 m (sqrt.f64 m)) (/.f64 (sqrt.f64 m) (/.f64 v (-.f64 1 (sqrt.f64 m))))) 1)) (.f64 (neg.f64 m) (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1)))

Compiler

Compiled 54244 to 32580 computations (39.9% saved)

regimes786.0ms (8.8%)

Accuracy

Total 0.1b remaining (73.8%)

Threshold costs 0.1b (73.8%)

Counts

253 → 1

Compiler

Compiled 18358 to 12953 computations (29.4% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

28×	`distribute-rgt-neg-in_binary64`
25×	`cancel-sign-sub-inv_binary64`
21×	`distribute-lft-neg-in_binary64`
19×	`distribute-neg-in_binary64`
18×	`neg-sub0_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	33
1	30	31
2	41	31
3	51	31
4	59	31
5	69	31
6	77	31
7	89	31
8	104	31
9	129	31
10	152	31
11	163	31
12	165	31
13	161	31

end1.0ms (0%)

Compiler: Compiled 23 to 16 computations (30.4% saved)

sample901.0ms (10%)

Algorithm

1×

intervals

Results

369.0ms	8000×	body	128	valid
173.0ms	8064×	pre	128	true
3.0ms	64×	body	128	invalid

Compiler

Compiled 171 to 118 computations (31% saved)

Iter	Nodes	Cost
0	15	33
1	30	31
2	41	31
3	51	31
4	59	31
5	69	31
6	77	31
7	89	31
8	104	31
9	129	31
10	152	31
11	163	31
12	165	31
13	161	31

Iter	Nodes	Cost
0	15	33
1	30	31
2	41	31
3	51	31
4	59	31
5	69	31
6	77	31
7	89	31
8	104	31
9	129	31
10	152	31
11	163	31
12	165	31
13	161	31

Details

analyze60.0ms (0.7%)

sample139.0ms (1.5%)

simplify121.0ms (1.3%)

prune3.0ms (0%)

localize6.0ms (0.1%)

series26.0ms (0.3%)

rewrite78.0ms (0.9%)

simplify119.0ms (1.3%)

prune231.0ms (2.6%)

localize9.0ms (0.1%)

series35.0ms (0.4%)

rewrite77.0ms (0.9%)

simplify171.0ms (1.9%)

prune935.0ms (10.4%)

localize13.0ms (0.1%)

series28.0ms (0.3%)

rewrite303.0ms (3.4%)

simplify531.0ms (5.9%)

prune1.9s (21.5%)

localize14.0ms (0.2%)

series46.0ms (0.5%)

rewrite273.0ms (3%)

simplify447.0ms (5%)

prune1.7s (18.9%)

regimes786.0ms (8.8%)

simplify8.0ms (0.1%)

end1.0ms (0%)

sample901.0ms (10%)

Profiling

Iter	Nodes	Cost
0	15	33
1	30	31
2	41	31
3	51	31
4	59	31
5	69	31
6	77	31
7	89	31
8	104	31
9	129	31
10	152	31
11	163	31
12	165	31
13	161	31