Details

analyze146.0ms (8.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	25%	75%	0
25%	0%	75%	1

Compiler

Compiled 14 to 7 computations (50% saved)

sample21.0ms (1.2%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
4.0ms	256×	pre	128	true

Compiler

Compiled 25 to 12 computations (52% saved)

simplify137.0ms (7.6%)

Algorithm

1×	egg-herbie

Rules

1333×	`sqr-pow_binary64`
715×	`pow-sqr_binary64`
539×	`cube-prod_binary64`
485×	`fabs-mul_binary64`
362×	`unswap-sqr_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	14	10
2	26	10
3	38	10
4	51	10
5	75	10
6	148	10
7	371	10
8	636	10
9	642	10
10	772	10
11	926	10
12	1093	10
13	1322	10
14	1623	10
15	1971	10
16	2446	10
17	3064	10
18	3260	10
19	3434	10
20	3548	10
21	3595	10
22	3647	10
23	4525	10
24	4827	10

prune2.0ms (0.1%)

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	(+.f64 (*.f64 x x) (pow.f64 x 3))

Compiler

Compiled 24 to 15 computations (37.5% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite15.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

3×	`add-log-exp_binary64`
2×	`cube-mult_binary64`
1×	`+-commutative_binary64`
1×	`distribute-lft-out_binary64`
1×	`distribute-rgt-out_binary64`

Counts

1 → 14

Calls

1 calls:

4.0ms

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

Compiler

Compiled 193 to 100 computations (48.2% saved)

series11.0ms (0.6%)

Error

0.0b

Counts

1 → 6

Calls

1 calls:

9.0ms

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

Compiler

Compiled 74 to 55 computations (25.7% saved)

simplify95.0ms (5.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	4919	217

prune7.0ms (0.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	6	2	8
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	6	3	9

Error

Counts

9 → 3

Alt Table

Status	Error	Program
▶	44.3b	(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))
	51.8b	(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 x 6) (pow.f64 x 5))))
✓	0.0b	(+.f64 (*.f64 x x) (pow.f64 x 3))

Compiler

Compiled 144 to 96 computations (33.3% saved)

localize10.0ms (0.5%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (pow.f64 x 4) (pow.f64 x 6))
0.0b	(-.f64 (*.f64 x x) (pow.f64 x 3))
43.7b	(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))

rewrite166.0ms (9.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

209×	`add-sqr-sqrt_binary64`
159×	`difference-of-squares_binary64`
117×	`times-frac_binary64`
87×	`unpow-prod-down_binary64`
83×	`sqr-pow_binary64`

Counts

3 → 213

Calls

3 calls:

16.0ms	(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))
6.0ms	(-.f64 (pow.f64 x 4) (pow.f64 x 6))
5.0ms	(-.f64 (*.f64 x x) (pow.f64 x 3))

Compiler

Compiled 5108 to 3392 computations (33.6% saved)

series36.0ms (2%)

Error

Counts

3 → 18

Calls

3 calls:

13.0ms	(-.f64 (pow.f64 x 4) (pow.f64 x 6))
12.0ms	(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))
8.0ms	(-.f64 (*.f64 x x) (pow.f64 x 3))

Compiler

Compiled 424 to 305 computations (28.1% saved)

simplify247.0ms (13.7%)

Algorithm

1×	egg-herbie

Rules

644×	`exp-prod_binary64`
484×	`log-prod_binary64`
385×	`div-sub_binary64`
347×	`cancel-sign-sub-inv_binary64`
273×	`associate-/l*_binary64`

Counts

231 → 178

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	335	6961
1	731	6130
2	2102	6113
3	3874	5875
4	4719	5875
5	4908	5875

prune30.0ms (1.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	177	1	178
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	178	3	181

Error

Counts

181 → 3

Alt Table

Status	Error	Program
✓	44.3b	(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))
✓	0.0b	(+.f64 (*.f64 x x) (pow.f64 x 3))
▶	0.4b	(/.f64 (+.f64 (pow.f64 (sqrt.f64 x) 4) (pow.f64 (sqrt.f64 x) 6)) 1)

Compiler

Compiled 968 to 627 computations (35.2% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (pow.f64 (sqrt.f64 x) 4) (pow.f64 (sqrt.f64 x) 6))
0.4b	(pow.f64 (sqrt.f64 x) 4)
0.4b	(pow.f64 (sqrt.f64 x) 6)

rewrite51.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`unpow-prod-down_binary64`
11×	`*-un-lft-identity_binary64`
9×	`add-sqr-sqrt_binary64`
9×	`add-cube-cbrt_binary64`
7×	`pow1_binary64`

Counts

3 → 58

Calls

3 calls:

11.0ms	(+.f64 (pow.f64 (sqrt.f64 x) 4) (pow.f64 (sqrt.f64 x) 6))
2.0ms	(pow.f64 (sqrt.f64 x) 6)
2.0ms	(pow.f64 (sqrt.f64 x) 4)

Compiler

Compiled 919 to 618 computations (32.8% saved)

series20.0ms (1.1%)

Error

Counts

3 → 11

Calls

3 calls:

7.0ms	(+.f64 (pow.f64 (sqrt.f64 x) 4) (pow.f64 (sqrt.f64 x) 6))
5.0ms	(pow.f64 (sqrt.f64 x) 6)
5.0ms	(pow.f64 (sqrt.f64 x) 4)

Compiler

Compiled 308 to 260 computations (15.6% saved)

simplify139.0ms (7.7%)

Algorithm

1×	egg-herbie

Rules

615×	`difference-of-squares_binary64`
532×	`log-prod_binary64`
503×	`associate-l_binary64`
488×	`associate-r_binary64`
478×	`exp-prod_binary64`

Counts

69 → 52

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	95	737
1	204	511
2	452	487
3	2536	471
4	3528	469
5	4647	469
6	4997	469
7	4945	469

prune18.0ms (1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	52	3	55

Error

Counts

55 → 3

Alt Table

Status	Error	Program
	44.3b	(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))
	0.0b	(+.f64 (*.f64 x x) (pow.f64 x 3))
	0.4b	(/.f64 (+.f64 (pow.f64 (sqrt.f64 x) 4) (pow.f64 (sqrt.f64 x) 6)) 1)

Compiler

Compiled 371 to 242 computations (34.8% saved)

regimes45.0ms (2.5%)

Accuracy

Total 0.0b remaining (67.6%)

Threshold costs 0.0b (67.6%)

Compiler

Compiled 740 to 484 computations (34.6% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	7	10
2	7	10

end0.0ms (0%)

Compiler: Compiled 8 to 5 computations (37.5% saved)

sample597.0ms (33%)

Algorithm

1×

intervals

Results

194.0ms	8000×	body	128	valid
118.0ms	8000×	pre	128	true

Compiler

Compiled 59 to 38 computations (35.6% saved)

Details

analyze146.0ms (8.1%)

sample21.0ms (1.2%)

simplify137.0ms (7.6%)

prune2.0ms (0.1%)

localize4.0ms (0.2%)

rewrite15.0ms (0.8%)

series11.0ms (0.6%)

simplify95.0ms (5.3%)

prune7.0ms (0.4%)

localize10.0ms (0.5%)

rewrite166.0ms (9.2%)

series36.0ms (2%)

simplify247.0ms (13.7%)

prune30.0ms (1.7%)

localize6.0ms (0.3%)

rewrite51.0ms (2.8%)

series20.0ms (1.1%)

simplify139.0ms (7.7%)

prune18.0ms (1%)

regimes45.0ms (2.5%)

simplify3.0ms (0.2%)

end0.0ms (0%)

sample597.0ms (33%)

Profiling