Details

analyze76.0ms (1.1%)

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 21 to 16 computations (23.8% saved)

sample25.0ms (0.4%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
5.0ms	257×	pre	128	true
0.0ms	1×	body	128	invalid

Compiler

Compiled 32 to 27 computations (15.6% saved)

simplify265.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (155.0ms)

Iter	Nodes	Cost
0	4740	16
1	4740	16

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.2b

Counts

2 → 1

Compiler

Compiled 22 to 18 computations (18.2% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 (*.f64 m (-.f64 1 m)) v)
0.2b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) m)

rewrite109.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`add-sqr-sqrt_binary64_441`
9×	`add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `*-un-lft-identity_binary64_419`
7×	`associate-l_binary64_360`
6×	`add-cube-cbrt_binary64_454`
4×	`pow1_binary64_480`
3×	`associate-r_binary64_359` `times-frac_binary64_425` `associate-/r*_binary64_363`
2×	`prod-exp_binary64_468` `add-log-exp_binary64_458` `cbrt-unprod_binary64_452` `flip3--_binary64_423` `associate-l/_binary64_362` `flip--_binary64_394` `difference-of-squares_binary64_388` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `associate-r/_binary64_361` `associate-/l/_binary64_366`
1×	`pow-prod-down_binary64_490` `unswap-sqr_binary64_387` `difference-of-sqr-1_binary64_389` `distribute-lft-out--_binary64_371` `-commutative_binary64_350` `frac-2neg_binary64_430` `clear-num_binary64_418` `div-inv_binary64_416` `associate-/l_binary64_364`

Counts

2 → 47

Calls

2 calls:

12.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) m)
9.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)

Compiler

Compiled 932 to 618 computations (33.7% saved)

series389.0ms (5.6%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

233.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) m)
137.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)

Compiler

Compiled 636 to 474 computations (25.5% saved)

simplify59.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5329	993

prune131.0ms (1.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	64	7	71
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	64	8	72

Error

0.0b

Counts

72 → 8

Compiler

Compiled 1181 to 548 computations (53.6% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 m (/.f64 v (-.f64 1 m)))
0.2b	(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) m)

rewrite218.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

153×	`times-frac_binary64_425`
128×	`add-sqr-sqrt_binary64_441`
110×	`*-un-lft-identity_binary64_419`
69×	`add-cube-cbrt_binary64_454`
30×	`difference-of-squares_binary64_388`
24×	`associate-/r*_binary64_363`
13×	`associate-l_binary64_360` `distribute-lft-out--_binary64_371`
9×	`add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `associate-/r/_binary64_365`
5×	`flip3--_binary64_423` `flip--_binary64_394` `div-inv_binary64_416`
4×	`pow1_binary64_480`
3×	`difference-of-sqr-1_binary64_389` `associate-r_binary64_359` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `associate-/l*_binary64_364`
2×	`add-log-exp_binary64_458` `associate-*l/_binary64_362`
1×	`pow-prod-down_binary64_490` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `unswap-sqr_binary64_387` `*-commutative_binary64_350` `frac-2neg_binary64_430` `clear-num_binary64_418`

Counts

2 → 144

Calls

2 calls:

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

Compiler

Compiled 3304 to 1989 computations (39.8% saved)

series326.0ms (4.7%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

182.0ms	(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) m)
118.0ms	(/.f64 m (/.f64 v (-.f64 1 m)))

Compiler

Compiled 636 to 474 computations (25.5% saved)

simplify104.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

168 → 168

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4970	3296
1	4970	3296

prune177.0ms (2.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	168	0	168
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	168	8	176

Error

0.0b

Counts

176 → 8

Compiler

Compiled 3317 to 1653 computations (50.2% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (-.f64 (.f64 (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v))) 1) m)
0.2b	(/.f64 m (sqrt.f64 v))
0.3b	(/.f64 (-.f64 1 m) (sqrt.f64 v))
0.4b	(*.f64 (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)))

rewrite362.0ms (5.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

145×	`add-sqr-sqrt_binary64_441`
120×	`times-frac_binary64_425`
113×	`*-un-lft-identity_binary64_419`
74×	`add-cube-cbrt_binary64_454`
66×	`sqrt-prod_binary64_435`
43×	`associate-r_binary64_359`
26×	`difference-of-squares_binary64_388`
25×	`associate-l_binary64_360`
22×	`add-exp-log_binary64_457` `add-cbrt-cube_binary64_455`
13×	`distribute-lft-out--_binary64_371`
12×	`associate-/r*_binary64_363`
10×	`unswap-sqr_binary64_387`
9×	`associate-/l*_binary64_364`
8×	`pow1_binary64_480`
6×	`div-exp_binary64_470` `cbrt-undiv_binary64_453`
5×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452`
4×	`add-log-exp_binary64_458` `div-inv_binary64_416`
3×	`associate-*l/_binary64_362`
2×	`pow-prod-down_binary64_490` `*-commutative_binary64_350` `frac-2neg_binary64_430` `clear-num_binary64_418` `flip3--_binary64_423` `associate-/l/_binary64_366` `flip--_binary64_394`
1×	`frac-times_binary64_429` `associate-*r/_binary64_361` `div-sub_binary64_424`

Counts

4 → 213

Calls

4 calls:

38.0ms	(*.f64 (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)))
17.0ms	(.f64 (-.f64 (.f64 (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v))) 1) m)
13.0ms	(/.f64 (-.f64 1 m) (sqrt.f64 v))
8.0ms	(/.f64 m (sqrt.f64 v))

Compiler

Compiled 5320 to 2505 computations (52.9% saved)

series544.0ms (7.8%)

Error

0.0b

Counts

4 → 38

Calls

4 calls:

227.0ms	(.f64 (-.f64 (.f64 (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v))) 1) m)
105.0ms	(*.f64 (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)))
99.0ms	(/.f64 (-.f64 1 m) (sqrt.f64 v))
81.0ms	(/.f64 m (sqrt.f64 v))

Compiler

Compiled 1437 to 1056 computations (26.5% saved)

simplify123.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

251 → 251

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4976	4162
1	4976	4162

prune329.0ms (4.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	250	1	251
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	251	8	259

Error

0.0b

Counts

259 → 8

Compiler

Compiled 5253 to 2519 computations (52% saved)

localize13.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (.f64 (/.f64 m v) (-.f64 m (.f64 m m))) m)
0.2b	(.f64 (/.f64 m v) (-.f64 m (.f64 m m)))

rewrite78.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

17×	`add-sqr-sqrt_binary64_441`
13×	`associate-l_binary64_360`
12×	`*-un-lft-identity_binary64_419`
11×	`add-cube-cbrt_binary64_454`
10×	`times-frac_binary64_425`
7×	`add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `cancel-sign-sub-inv_binary64_385`
5×	`sub-neg_binary64_412` `associate-r_binary64_359`
4×	`pow1_binary64_480` `add-log-exp_binary64_458` `distribute-rgt-in_binary64_369` `distribute-lft-in_binary64_368` `associate--l+_binary64_356`
3×	`flip3--_binary64_423` `flip--_binary64_394`
2×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452` `frac-times_binary64_429` `unswap-sqr_binary64_387` `associate-*r/_binary64_361`
1×	`pow-prod-down_binary64_490` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `associate-l/_binary64_362` `div-inv_binary64_416` `difference-of-squares_binary64_388` `distribute-rgt-out--_binary64_373` `-commutative_binary64_350` `diff-log_binary64_511`

Counts

2 → 60

Calls

2 calls:

11.0ms	(.f64 (/.f64 m v) (-.f64 m (.f64 m m)))
9.0ms	(-.f64 (.f64 (/.f64 m v) (-.f64 m (.f64 m m))) m)

Compiler

Compiled 1199 to 259 computations (78.4% saved)

series410.0ms (5.9%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

213.0ms	(-.f64 (.f64 (/.f64 m v) (-.f64 m (.f64 m m))) m)
174.0ms	(.f64 (/.f64 m v) (-.f64 m (.f64 m m)))

Compiler

Compiled 628 to 468 computations (25.5% saved)

simplify95.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4910	1274
1	4910	1274

prune70.0ms (1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	82	2	84
Fresh	2	2	4
Picked	0	1	1
Done	1	2	3
Total	85	7	92

Error

Counts

92 → 7

Compiler

Compiled 1250 to 311 computations (75.1% saved)

regimes491.0ms (7.1%)

Accuracy

Total 0.2b remaining (99%)

Threshold costs 0.2b (99%)

Compiler

Compiled 4643 to 3243 computations (30.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	16
1	32	16

end0.0ms (0%)

sample2.5s (36.2%)

Algorithm

1×

intervals

Results

281.0ms	8000×	body	128	valid
205.0ms	8065×	pre	128	true
2.0ms	65×	body	128	invalid

Compiler

Compiled 1527 to 1066 computations (30.2% saved)

Details

analyze76.0ms (1.1%)

sample25.0ms (0.4%)

simplify265.0ms (3.8%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite109.0ms (1.6%)

series389.0ms (5.6%)

simplify59.0ms (0.9%)

prune131.0ms (1.9%)

localize10.0ms (0.1%)

rewrite218.0ms (3.1%)

series326.0ms (4.7%)

simplify104.0ms (1.5%)

prune177.0ms (2.6%)

localize11.0ms (0.2%)

rewrite362.0ms (5.2%)

series544.0ms (7.8%)

simplify123.0ms (1.8%)

prune329.0ms (4.7%)

localize13.0ms (0.2%)

rewrite78.0ms (1.1%)

series410.0ms (5.9%)

simplify95.0ms (1.4%)

prune70.0ms (1%)

regimes491.0ms (7.1%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.5s (36.2%)

Profiling