Details

analyze27.0ms (2.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample14.0ms (1.3%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify8.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	15	16
2	16	16
3	14	16

prune3.0ms (0.2%)

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 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))

Compiler

Compiled 36 to 27 computations (25% saved)

localize6.0ms (0.6%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (-.f64 x 1))
0.0b	(/.f64 x (+.f64 x 1))

rewrite88.0ms (8.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

43×	`*-un-lft-identity_binary64`
39×	`add-sqr-sqrt_binary64`
33×	`times-frac_binary64`
23×	`add-cube-cbrt_binary64`
11×	`associate-/r*_binary64`

Counts

2 → 82

Calls

2 calls:

7.0ms	(/.f64 1 (-.f64 x 1))
5.0ms	(/.f64 x (+.f64 x 1))

Compiler

Compiled 1254 to 937 computations (25.3% saved)

series34.0ms (3.2%)

Error

Counts

2 → 18

Calls

2 calls:

12.0ms	(/.f64 x (+.f64 x 1))
9.0ms	(/.f64 1 (-.f64 x 1))

Compiler

Compiled 490 to 377 computations (23.1% saved)

simplify100.0ms (9.3%)

Algorithm

1×	egg-herbie

Rules

441×	`associate-/l*_binary64`
378×	`div-sub_binary64`
329×	`associate-l_binary64`
308×	`cancel-sign-sub-inv_binary64`
272×	`associate-r_binary64`

Counts

100 → 70

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	115	1197
1	230	1133
2	520	1123
3	1259	1121
4	4181	1121
5	4938	1121

prune31.0ms (2.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	69	2	71

Error

Counts

71 → 2

Alt Table

Status	Error	Program
▶	34.7b	(+.f64 (-.f64 -1 x) (/.f64 x (+.f64 x 1)))
✓	0.0b	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))

Compiler

Compiled 618 to 438 computations (29.1% saved)

localize5.0ms (0.5%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (-.f64 -1 x) (/.f64 x (+.f64 x 1)))
0.0b	(/.f64 x (+.f64 x 1))

rewrite59.0ms (5.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`*-un-lft-identity_binary64`
12×	`times-frac_binary64`
12×	`add-sqr-sqrt_binary64`
12×	`add-cube-cbrt_binary64`
7×	`add-log-exp_binary64`

Counts

2 → 54

Calls

2 calls:

14.0ms	(+.f64 (-.f64 -1 x) (/.f64 x (+.f64 x 1)))
5.0ms	(/.f64 x (+.f64 x 1))

Compiler

Compiled 830 to 569 computations (31.4% saved)

series16.0ms (1.5%)

Error

Counts

2 → 8

Calls

2 calls:

7.0ms	(/.f64 x (+.f64 x 1))
5.0ms	(+.f64 (-.f64 -1 x) (/.f64 x (+.f64 x 1)))

Compiler

Compiled 135 to 105 computations (22.2% saved)

simplify118.0ms (11.1%)

Algorithm

1×	egg-herbie

Rules

318×	`unsub-neg_binary64`
274×	`div-sub_binary64`
234×	`distribute-rgt-neg-out_binary64`
225×	`distribute-rgt-in_binary64`
220×	`associate-l_binary64`

Counts

62 → 33

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	111	880
1	276	840
2	673	840
3	2833	837
4	4550	837
5	4976	837
6	4947	837

prune16.0ms (1.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

35 → 2

Alt Table

Status	Error	Program
	34.7b	(+.f64 (-.f64 -1 x) (/.f64 x (+.f64 x 1)))
	0.0b	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))

Compiler

Compiled 368 to 247 computations (32.9% saved)

regimes39.0ms (3.7%)

Accuracy

Total 0.0b remaining (7.5%)

Threshold costs 0.0b (7.5%)

Compiler

Compiled 334 to 253 computations (24.3% saved)

simplify5.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	25
1	19	25
2	20	25
3	17	25

end1.0ms (0.1%)

Compiler: Compiled 18 to 13 computations (27.8% saved)

sample500.0ms (46.7%)

Algorithm

1×

intervals

Results

254.0ms

8000×

body

128

valid

Compiler

Compiled 54 to 40 computations (25.9% saved)

Details

analyze27.0ms (2.6%)

sample14.0ms (1.3%)

simplify8.0ms (0.8%)

prune3.0ms (0.2%)

localize6.0ms (0.6%)

rewrite88.0ms (8.2%)

series34.0ms (3.2%)

simplify100.0ms (9.3%)

prune31.0ms (2.9%)

localize5.0ms (0.5%)

rewrite59.0ms (5.5%)

series16.0ms (1.5%)

simplify118.0ms (11.1%)

prune16.0ms (1.5%)

regimes39.0ms (3.7%)

simplify5.0ms (0.4%)

end1.0ms (0.1%)

sample500.0ms (46.7%)

Profiling