Details

analyze90.0ms (7.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
50%	12.5%	37.5%	5
50%	6.2%	43.8%	6
50%	3.1%	46.9%	7
50%	1.6%	48.5%	8
50%	0.8%	49.2%	9
50%	0.4%	49.6%	10
50.2%	0.2%	49.6%	11
50.2%	0.1%	49.7%	12
50.2%	0%	49.8%	13
50.2%	0%	49.8%	14

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample14.0ms (1.2%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify73.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

675×	`div-sub_binary64`
417×	`times-frac_binary64`
411×	`associate-/l*_binary64`
366×	`associate-/r*_binary64`
345×	`associate-l_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	19	9
2	45	9
3	86	9
4	180	9
5	392	9
6	1228	9
7	3373	9
8	4328	9
9	4683	9
10	4908	9

prune144.0ms (12.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	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	(exp.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (*.f64 x x) 1)
0.0b	(exp.f64 (-.f64 (*.f64 x x) 1))

rewrite37.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`add-log-exp_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-sqr-sqrt_binary64`
6×	`cancel-sign-sub-inv_binary64`
6×	`exp-prod_binary64`

Counts

2 → 37

Calls

2 calls:

6.0ms	(exp.f64 (-.f64 (*.f64 x x) 1))
4.0ms	(-.f64 (*.f64 x x) 1)

Compiler

Compiled 403 to 249 computations (38.2% saved)

series28.0ms (2.4%)

Error

Counts

2 → 12

Calls

2 calls:

11.0ms	(-.f64 (*.f64 x x) 1)
10.0ms	(exp.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 210 to 184 computations (12.4% saved)

simplify86.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

601×	`distribute-rgt-in_binary64`
562×	`distribute-lft-in_binary64`
356×	`exp-sum_binary64`
342×	`*-commutative_binary64`
248×	`associate-+l+_binary64`

Counts

49 → 39

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	64	497
1	125	459
2	329	449
3	1180	444
4	3652	444
5	4930	444
6	4934	444

prune23.0ms (1.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	2	40

Error

Counts

40 → 2

Alt Table

Status	Error	Program
✓	0.0b	(exp.f64 (-.f64 (*.f64 x x) 1))
▶	0.0b	(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 297 to 186 computations (37.4% saved)

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (*.f64 x x) 1)
0.0b	(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))

rewrite40.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

8×	`*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`pow-unpow_binary64`
6×	`cancel-sign-sub-inv_binary64`
6×	`add-cube-cbrt_binary64`

Counts

2 → 43

Calls

2 calls:

5.0ms	(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))
4.0ms	(-.f64 (*.f64 x x) 1)

Compiler

Compiled 536 to 299 computations (44.2% saved)

series28.0ms (2.4%)

Error

Counts

2 → 12

Calls

2 calls:

13.0ms	(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))
8.0ms	(-.f64 (*.f64 x x) 1)

Compiler

Compiled 230 to 201 computations (12.6% saved)

simplify51.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

749×	`distribute-rgt-in_binary64`
559×	`unswap-sqr_binary64`
332×	`times-frac_binary64`
251×	`associate-l_binary64`
248×	`associate-r_binary64`

Counts

55 → 49

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	81	649
1	172	587
2	455	575
3	1665	565
4	5148	565

prune24.0ms (2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

51 → 2

Alt Table

Status	Error	Program
	0.0b	(exp.f64 (-.f64 (*.f64 x x) 1))
	0.0b	(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 360 to 210 computations (41.7% saved)

regimes56.0ms (4.8%)

Accuracy

Total 0.0b remaining (24.9%)

Threshold costs 0.0b (24.9%)

Compiler

Compiled 419 to 326 computations (22.2% saved)

simplify3.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

9×	`distribute-rgt-neg-in_binary64`
9×	`cancel-sign-sub-inv_binary64`
7×	`distribute-neg-in_binary64`
5×	`distribute-lft-neg-in_binary64`
5×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	17	11
2	27	9
3	42	9
4	53	9
5	58	9
6	54	9

end1.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

sample473.0ms (40.1%)

Algorithm

1×

intervals

Results

231.0ms	8000×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 32 to 24 computations (25% saved)

Details

analyze90.0ms (7.6%)

sample14.0ms (1.2%)

simplify73.0ms (6.2%)

prune144.0ms (12.2%)

localize5.0ms (0.4%)

rewrite37.0ms (3.1%)

series28.0ms (2.4%)

simplify86.0ms (7.3%)

prune23.0ms (1.9%)

localize5.0ms (0.4%)

rewrite40.0ms (3.4%)

series28.0ms (2.4%)

simplify51.0ms (4.3%)

prune24.0ms (2%)

regimes56.0ms (4.8%)

simplify3.0ms (0.3%)

end1.0ms (0%)

sample473.0ms (40.1%)

Profiling