Details

analyze20.0ms (0.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
100%	0%	0%	2

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample12.0ms (0.5%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

128

valid

Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify8.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`1-exp_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	9	10
2	8	10

prune5.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

16.6b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	16.6b	(/.f64 x (+.f64 (*.f64 x x) 1))

Compiler

Compiled 16 to 10 computations (37.5% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

16.6b

(/.f64 x (+.f64 (*.f64 x x) 1))

rewrite40.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

16.5b

Rules

9×	`*-un-lft-identity_binary64`
9×	`times-frac_binary64`
9×	`add-sqr-sqrt_binary64`
9×	`add-cube-cbrt_binary64`
3×	`associate-/r*_binary64`

Counts

1 → 29

Calls

1 calls:

5.0ms

(/.f64 x (+.f64 (*.f64 x x) 1))

Compiler

Compiled 461 to 236 computations (48.8% saved)

series22.0ms (1%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

14.0ms

(/.f64 x (+.f64 (*.f64 x x) 1))

Compiler

Compiled 213 to 163 computations (23.5% saved)

simplify86.0ms (4%)

Algorithm

1×	egg-herbie

Rules

354×	`cancel-sign-sub-inv_binary64`
351×	`div-sub_binary64`
331×	`times-frac_binary64`
311×	`distribute-rgt-out_binary64`
257×	`associate-/l*_binary64`

Counts

41 → 33

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	78	723
1	181	673
2	446	673
3	988	673
4	2794	673
5	4483	673
6	4993	673

prune30.0ms (1.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	29	4	33
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	30	4	34

Error

Counts

34 → 4

Alt Table

Status	Error	Program
	30.4b	(+.f64 (-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 5)))
	33.7b	(-.f64 (+.f64 x (pow.f64 x 5)) (+.f64 (pow.f64 x 3) (pow.f64 x 7)))
	16.6b	(/.f64 1 (/.f64 (+.f64 1 (*.f64 x x)) x))
▶	16.6b	(.f64 x (/.f64 1 (+.f64 1 (.f64 x x))))

Compiler

Compiled 534 to 310 computations (41.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.3b	(/.f64 1 (+.f64 1 (*.f64 x x)))
16.3b	(.f64 x (/.f64 1 (+.f64 1 (.f64 x x))))

rewrite75.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`add-sqr-sqrt_binary64`
20×	`times-frac_binary64`
19×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`
15×	`associate-r_binary64`

Counts

2 → 71

Calls

2 calls:

9.0ms	(.f64 x (/.f64 1 (+.f64 1 (.f64 x x))))
4.0ms	(/.f64 1 (+.f64 1 (*.f64 x x)))

Compiler

Compiled 1211 to 756 computations (37.6% saved)

series41.0ms (1.9%)

Error

Counts

2 → 24

Calls

2 calls:

15.0ms	(.f64 x (/.f64 1 (+.f64 1 (.f64 x x))))
14.0ms	(/.f64 1 (+.f64 1 (*.f64 x x)))

Compiler

Compiled 489 to 377 computations (22.9% saved)

simplify99.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

537×	`difference-of-squares_binary64`
438×	`associate-/l*_binary64`
356×	`cancel-sign-sub-inv_binary64`
292×	`sub-neg_binary64`
252×	`associate-/l/_binary64`

Counts

95 → 69

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	112	1448
1	268	1323
2	699	1323
3	1775	1320
4	4063	1320
5	5475	1320

prune41.0ms (1.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	69	4	73

Error

Counts

73 → 4

Alt Table

Status	Error	Program
	30.4b	(+.f64 (-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 5)))
	33.7b	(-.f64 (+.f64 x (pow.f64 x 5)) (+.f64 (pow.f64 x 3) (pow.f64 x 7)))
▶	16.6b	(/.f64 1 (/.f64 (+.f64 1 (*.f64 x x)) x))
✓	16.6b	(.f64 x (/.f64 1 (+.f64 1 (.f64 x x))))

Compiler

Compiled 729 to 452 computations (38% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 1 (/.f64 (+.f64 1 (*.f64 x x)) x))
16.5b	(/.f64 (+.f64 1 (*.f64 x x)) x)

rewrite96.0ms (4.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

84×	`times-frac_binary64`
52×	`*-un-lft-identity_binary64`
52×	`add-sqr-sqrt_binary64`
52×	`add-cube-cbrt_binary64`
16×	`associate-/r*_binary64`

Counts

2 → 105

Calls

2 calls:

6.0ms	(/.f64 1 (/.f64 (+.f64 1 (*.f64 x x)) x))
5.0ms	(/.f64 (+.f64 1 (*.f64 x x)) x)

Compiler

Compiled 2077 to 1251 computations (39.8% saved)

series34.0ms (1.6%)

Error

Counts

2 → 18

Calls

2 calls:

15.0ms	(/.f64 1 (/.f64 (+.f64 1 (*.f64 x x)) x))
10.0ms	(/.f64 (+.f64 1 (*.f64 x x)) x)

Compiler

Compiled 287 to 219 computations (23.7% saved)

simplify173.0ms (8%)

Algorithm

1×	egg-herbie

Rules

445×	`div-sub_binary64`
311×	`times-frac_binary64`
304×	`cancel-sign-sub-inv_binary64`
275×	`distribute-rgt-in_binary64`
254×	`sub-neg_binary64`

Counts

123 → 83

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	120	2458
1	265	2215
2	698	2188
3	1748	2188
4	2911	2188
5	4115	2188
6	4929	2188
7	4931	2188

prune35.0ms (1.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	83	0	83
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	83	4	87

Error

Counts

87 → 4

Alt Table

Status	Error	Program
▶	30.4b	(+.f64 (-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 5)))
	33.7b	(-.f64 (+.f64 x (pow.f64 x 5)) (+.f64 (pow.f64 x 3) (pow.f64 x 7)))
✓	16.6b	(/.f64 1 (/.f64 (+.f64 1 (*.f64 x x)) x))
✓	16.6b	(.f64 x (/.f64 1 (+.f64 1 (.f64 x x))))

Compiler

Compiled 778 to 451 computations (42% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))
0.1b	(/.f64 1 (pow.f64 x 5))
0.3b	(/.f64 1 (pow.f64 x 3))
18.4b	(+.f64 (-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 5)))

rewrite385.0ms (17.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

194×	`times-frac_binary64`
165×	`add-sqr-sqrt_binary64`
157×	`*-un-lft-identity_binary64`
96×	`add-cube-cbrt_binary64`
80×	`cancel-sign-sub-inv_binary64`

Counts

4 → 287

Calls

4 calls:

80.0ms	(+.f64 (-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 5)))
35.0ms	(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))
6.0ms	(/.f64 1 (pow.f64 x 3))
4.0ms	(/.f64 1 (pow.f64 x 5))

Compiler

Compiled 5603 to 4501 computations (19.7% saved)

series47.0ms (2.2%)

Error

Counts

4 → 19

Calls

4 calls:

13.0ms	(+.f64 (-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 5)))
11.0ms	(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))
9.0ms	(/.f64 1 (pow.f64 x 3))
8.0ms	(/.f64 1 (pow.f64 x 5))

Compiler

Compiled 498 to 403 computations (19.1% saved)

simplify222.0ms (10.3%)

Algorithm

1×	egg-herbie

Rules

475×	`associate-/r*_binary64`
449×	`associate-/l*_binary64`
232×	`distribute-rgt-in_binary64`
216×	`distribute-lft-in_binary64`
211×	`associate-/l/_binary64`

Counts

306 → 255

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	206	4897
1	449	4520
2	1299	4385
3	4501	4385
4	4971	4385
5	4969	4385

prune66.0ms (3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	255	0	255
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	255	4	259

Error

Counts

259 → 4

Alt Table

Status	Error	Program
	30.4b	(+.f64 (-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 5)))
	33.7b	(-.f64 (+.f64 x (pow.f64 x 5)) (+.f64 (pow.f64 x 3) (pow.f64 x 7)))
	16.6b	(/.f64 1 (/.f64 (+.f64 1 (*.f64 x x)) x))
	16.6b	(.f64 x (/.f64 1 (+.f64 1 (.f64 x x))))

Compiler

Compiled 1497 to 1173 computations (21.6% saved)

regimes156.0ms (7.2%)

Accuracy

Total 0.1b remaining (97.4%)

Threshold costs 0.1b (97.4%)

Compiler

Compiled 1694 to 1122 computations (33.8% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	9	10
2	8	10

end1.0ms (0%)

Compiler: Compiled 8 to 6 computations (25% saved)

sample438.0ms (20.3%)

Algorithm

1×

intervals

Results

175.0ms

8000×

body

128

valid

Compiler

Compiled 68 to 50 computations (26.5% saved)

Details

analyze20.0ms (0.9%)

sample12.0ms (0.5%)

simplify8.0ms (0.4%)

prune5.0ms (0.2%)

localize4.0ms (0.2%)

rewrite40.0ms (1.9%)

series22.0ms (1%)

simplify86.0ms (4%)

prune30.0ms (1.4%)

localize5.0ms (0.2%)

rewrite75.0ms (3.5%)

series41.0ms (1.9%)

simplify99.0ms (4.6%)

prune41.0ms (1.9%)

localize5.0ms (0.2%)

rewrite96.0ms (4.4%)

series34.0ms (1.6%)

simplify173.0ms (8%)

prune35.0ms (1.6%)

localize9.0ms (0.4%)

rewrite385.0ms (17.8%)

series47.0ms (2.2%)

simplify222.0ms (10.3%)

prune66.0ms (3%)

regimes156.0ms (7.2%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample438.0ms (20.3%)

Profiling