Details

analyze547.0ms (7.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	49.9%	0%	12
99.6%	0.3%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 31 to 27 computations (12.9% saved)

sample30.0ms (0.4%)

Algorithm

1×

intervals

Results

23.0ms

256×

body

128

valid

Compiler

Compiled 62 to 54 computations (12.9% saved)

simplify66.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

576×	`unsub-neg_binary64`
421×	`distribute-rgt-in_binary64`
416×	`div-sub_binary64`
359×	`sub-neg_binary64`
342×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	13	43
1	23	43
2	46	43
3	109	31
4	274	31
5	832	28
6	2281	25
7	4478	25
8	4892	25

prune3.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.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 1 (/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))))))

Compiler

Compiled 78 to 68 computations (12.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
3.2b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
3.2b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

rewrite688.0ms (9.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

577×	`times-frac_binary64`
476×	`*-un-lft-identity_binary64`
316×	`add-sqr-sqrt_binary64`
284×	`cancel-sign-sub-inv_binary64`
260×	`add-cube-cbrt_binary64`

Counts

4 → 463

Calls

4 calls:

54.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
26.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
25.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
9.0ms	(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))

Compiler

Compiled 15537 to 13141 computations (15.4% saved)

series61.0ms (0.8%)

Error

0.0b

Counts

4 → 37

Calls

4 calls:

11.0ms	(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
10.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
9.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
8.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))

Compiler

Compiled 1698 to 1504 computations (11.4% saved)

simplify309.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

499×	`associate-l_binary64`
407×	`associate-*l/_binary64`
400×	`associate-*r/_binary64`
197×	`distribute-rgt-in_binary64`
191×	`distribute-lft-in_binary64`

Counts

500 → 390

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	430	20599
1	1295	20085
2	5283	20085

prune195.0ms (2.7%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	389	1	390
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	390	1	391

Error

Counts

391 → 1

Alt Table

Status	Error	Program
▶	0b	(-.f64 1 (/.f64 1 (+.f64 2 (+.f64 (.f64 2 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))) (.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (.f64 (neg.f64 (/.f64 (.f64 (cbrt.f64 2) (cbrt.f64 2)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (/.f64 (/.f64 (cbrt.f64 2) (cbrt.f64 t)) (+.f64 1 (/.f64 1 t)))))))))

Status

Error

Program

▶

(-.f64 1 (/.f64 1 (+.f64 2 (+.f64 (*.f64 2 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))) (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (*.f64 (neg.f64 (/.f64 (*.f64 (cbrt.f64 2) (cbrt.f64 2)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (/.f64 (/.f64 (cbrt.f64 2) (cbrt.f64 t)) (+.f64 1 (/.f64 1 t)))))))))

Compiler

Compiled 6572 to 5495 computations (16.4% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

1.0b	(cbrt.f64 2)
3.2b	(+.f64 (.f64 2 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))) (.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (.f64 (neg.f64 (/.f64 (.f64 (cbrt.f64 2) (cbrt.f64 2)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (/.f64 (/.f64 (cbrt.f64 2) (cbrt.f64 t)) (+.f64 1 (/.f64 1 t))))))
3.2b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
3.2b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

rewrite593.0ms (8.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

446×	`times-frac_binary64`
361×	`*-un-lft-identity_binary64`
284×	`cancel-sign-sub-inv_binary64`
219×	`add-sqr-sqrt_binary64`
201×	`add-cube-cbrt_binary64`

Counts

4 → 361

Calls

4 calls:

40.0ms	(+.f64 (.f64 2 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))) (.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (.f64 (neg.f64 (/.f64 (.f64 (cbrt.f64 2) (cbrt.f64 2)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (/.f64 (/.f64 (cbrt.f64 2) (cbrt.f64 t)) (+.f64 1 (/.f64 1 t))))))
25.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
25.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
1.0ms	(cbrt.f64 2)

Compiler

Compiled 20667 to 16460 computations (20.4% saved)

series105.0ms (1.4%)

Error

Counts

4 → 30

Calls

4 calls:

46.0ms	(+.f64 (.f64 2 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))) (.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (.f64 (neg.f64 (/.f64 (.f64 (cbrt.f64 2) (cbrt.f64 2)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (/.f64 (/.f64 (cbrt.f64 2) (cbrt.f64 t)) (+.f64 1 (/.f64 1 t))))))
15.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
14.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
0.0ms	(cbrt.f64 2)

Compiler

Compiled 2645 to 2233 computations (15.6% saved)

simplify322.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

413×	`associate-*l/_binary64`
313×	`distribute-rgt-in_binary64`
306×	`distribute-lft-in_binary64`
195×	`*-commutative_binary64`
177×	`distribute-lft-neg-out_binary64`

Counts

391 → 334

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	613	25220
1	1783	21248
2	5220	21248

prune241.0ms (3.3%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	334	0	334
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	334	1	335

Error

Counts

335 → 1

Alt Table

Status	Error	Program
	0b	(-.f64 1 (/.f64 1 (+.f64 2 (+.f64 (.f64 2 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))) (.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (.f64 (neg.f64 (/.f64 (.f64 (cbrt.f64 2) (cbrt.f64 2)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (/.f64 (/.f64 (cbrt.f64 2) (cbrt.f64 t)) (+.f64 1 (/.f64 1 t)))))))))

Status

Error

Program

(-.f64 1 (/.f64 1 (+.f64 2 (+.f64 (*.f64 2 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))) (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (*.f64 (neg.f64 (/.f64 (*.f64 (cbrt.f64 2) (cbrt.f64 2)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (/.f64 (/.f64 (cbrt.f64 2) (cbrt.f64 t)) (+.f64 1 (/.f64 1 t)))))))))

Compiler

Compiled 10471 to 8062 computations (23% saved)

regimes3.0s (41.7%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 108167 to 92736 computations (14.3% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`+-commutative_binary64`
16×	`sub-neg_binary64`
14×	`*-commutative_binary64`
13×	`neg-sub0_binary64`
13×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	85
1	39	85
2	62	85
3	89	85
4	113	85
5	133	85
6	143	85
7	147	85
8	148	85
9	142	85

end1.0ms (0%)

Compiler: Compiled 56 to 46 computations (17.9% saved)

sample1.0s (14%)

Algorithm

1×

intervals

Results

747.0ms

8000×

body

128

valid

Compiler

Compiled 145 to 121 computations (16.6% saved)

Details

analyze547.0ms (7.5%)

sample30.0ms (0.4%)

simplify66.0ms (0.9%)

prune3.0ms (0%)

localize11.0ms (0.1%)

rewrite688.0ms (9.5%)

series61.0ms (0.8%)

simplify309.0ms (4.3%)

prune195.0ms (2.7%)

localize26.0ms (0.4%)

rewrite593.0ms (8.2%)

series105.0ms (1.4%)

simplify322.0ms (4.4%)

prune241.0ms (3.3%)

regimes3.0s (41.7%)

simplify7.0ms (0.1%)

end1.0ms (0%)

sample1.0s (14%)

Profiling