Details

analyze5.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	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 15 to 11 computations (26.7% saved)

sample127.0ms (1.3%)

Algorithm

1×

intervals

Results

11.0ms	71×	body	1024	valid
9.0ms	138×	body	128	valid
3.0ms	29×	body	512	valid
1.0ms	7×	body	2048	valid
1.0ms	11×	body	256	valid

Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify96.0ms (1%)

Algorithm

1×	egg-herbie

Rules

859×	`fma-neg_binary64`
770×	`fma-def_binary64`
322×	`div-sub_binary64`
178×	`associate-/l*_binary64`
150×	`sub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	16	19
2	22	19
3	34	19
4	57	19
5	91	19
6	178	19
7	277	19
8	643	19
9	788	19
10	1024	19
11	1265	19
12	1242	19
13	1248	19
14	1246	19
15	1248	19
16	1250	19
17	1260	19
18	1260	19
19	1171	19

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

29.8b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	29.8b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

Compiler

Compiled 42 to 30 computations (28.6% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 x 1))
✓	0.0b	(/.f64 x (+.f64 x 1))
✓	2.6b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

series8.0ms (0.1%)

Counts

3 → 36

Calls

3 calls:

3.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
2.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
2.0ms	(/.f64 x (+.f64 x 1))

rewrite220.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Rules

1322×	`*-un-lft-identity_binary64`
1012×	`times-frac_binary64`
869×	`add-sqr-sqrt_binary64`
612×	`prod-diff_binary64`
533×	`add-cube-cbrt_binary64`

Counts

3 → 783

Calls

3 calls:

43.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
6.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
4.0ms	(/.f64 x (+.f64 x 1))

simplify953.0ms (10.1%)

Algorithm

1×	egg-herbie

Rules

654×	`fma-neg_binary64`
367×	`unsub-neg_binary64`
299×	`fma-udef_binary64`
213×	`sub-neg_binary64`
202×	`associate-+r-_binary64`

Counts

819 → 619

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	545	54602
1	1290	31108
2	3043	22839
3	4323	22837
4	4983	22837
5	4991	22837
6	4742	22837

prune848.0ms (9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	614	5	619
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	615	5	620

Error

0.0b

Counts

620 → 5

Alt Table

Status	Error	Program
	43.0b	(+.f64 (fma.f64 (/.f64 x (-.f64 (.f64 x x) (.f64 1 1))) (-.f64 x 1) (neg.f64 (.f64 (/.f64 (cbrt.f64 (+.f64 x 1)) (-.f64 (sqrt.f64 x) 1)) (/.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (sqrt.f64 x) 1))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 (+.f64 x 1)) (-.f64 (sqrt.f64 x) 1))) (/.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (sqrt.f64 x) 1)) (.f64 (/.f64 (cbrt.f64 (+.f64 x 1)) (-.f64 (sqrt.f64 x) 1)) (/.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (sqrt.f64 x) 1)))))
	31.1b	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
	29.8b	(+.f64 (fma.f64 1 (/.f64 x (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (*.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))))
	32.9b	(+.f64 1 (fma.f64 3 (+.f64 x (pow.f64 x 3)) (*.f64 x x)))
▶	29.8b	(+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (-.f64 -1 x) (+.f64 x -1)))

Compiler

Compiled 30732 to 22649 computations (26.3% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(/.f64 x (+.f64 x 1))
✓	0.0b	(/.f64 (-.f64 -1 x) (+.f64 x -1))
✓	2.6b	(+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (-.f64 -1 x) (+.f64 x -1)))

series6.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

3.0ms	(+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (-.f64 -1 x) (+.f64 x -1)))
2.0ms	(/.f64 (-.f64 -1 x) (+.f64 x -1))

rewrite39.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

98×	`*-un-lft-identity_binary64`
53×	`times-frac_binary64`
40×	`add-sqr-sqrt_binary64`
26×	`distribute-lft-out_binary64`
22×	`add-cube-cbrt_binary64`

Counts

2 → 96

Calls

2 calls:

26.0ms	(+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (-.f64 -1 x) (+.f64 x -1)))
6.0ms	(/.f64 (-.f64 -1 x) (+.f64 x -1))

simplify84.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

613×	`div-sub_binary64`
552×	`fma-neg_binary64`
440×	`fma-def_binary64`
261×	`distribute-rgt-in_binary64`
193×	`distribute-lft-in_binary64`

Counts

120 → 130

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	169	1942
1	462	1850
2	1215	1844
3	3853	1844
4	5590	1844

prune186.0ms (2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	198	0	198
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	198	5	203

Error

0.0b

Counts

203 → 5

Alt Table

Status	Error	Program
	43.0b	(+.f64 (fma.f64 (/.f64 x (-.f64 (.f64 x x) (.f64 1 1))) (-.f64 x 1) (neg.f64 (.f64 (/.f64 (cbrt.f64 (+.f64 x 1)) (-.f64 (sqrt.f64 x) 1)) (/.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (sqrt.f64 x) 1))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 (+.f64 x 1)) (-.f64 (sqrt.f64 x) 1))) (/.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (sqrt.f64 x) 1)) (.f64 (/.f64 (cbrt.f64 (+.f64 x 1)) (-.f64 (sqrt.f64 x) 1)) (/.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (sqrt.f64 x) 1)))))
	31.1b	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
▶	29.8b	(+.f64 (fma.f64 1 (/.f64 x (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (*.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))))
	32.9b	(+.f64 1 (fma.f64 3 (+.f64 x (pow.f64 x 3)) (*.f64 x x)))
✓	29.8b	(+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (-.f64 -1 x) (+.f64 x -1)))

Compiler

Compiled 4484 to 3191 computations (28.8% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))
✓	0.0b	(*.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))
✓	2.6b	(fma.f64 1 (/.f64 x (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))))
✓	5.1b	(fma.f64 (neg.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (*.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))))

series141.0ms (1.5%)

Counts

4 → 48

Calls

4 calls:

108.0ms	(fma.f64 (neg.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (*.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))))
12.0ms	(*.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))
11.0ms	(cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))
9.0ms	(fma.f64 1 (/.f64 x (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))))

rewrite84.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

352×	`*-un-lft-identity_binary64`
258×	`cbrt-prod_binary64`
224×	`add-sqr-sqrt_binary64`
222×	`times-frac_binary64`
80×	`add-cube-cbrt_binary64`

Counts

4 → 246

Calls

4 calls:

33.0ms	(*.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))
5.0ms	(cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))
0.0ms	(fma.f64 (neg.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (*.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))))
0.0ms	(fma.f64 1 (/.f64 x (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))))

simplify261.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

450×	`times-frac_binary64`
249×	`associate-/l*_binary64`
238×	`fma-def_binary64`
201×	`associate-r_binary64`
182×	`associate-+r+_binary64`

Counts

294 → 341

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	352	9566
1	774	9126
2	2555	8630
3	4874	8630
4	4881	8630

prune3.1s (33.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	1357	0	1357
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	1357	5	1362

Error

0.0b

Counts

1362 → 5

Alt Table

Status	Error	Program
	43.0b	(+.f64 (fma.f64 (/.f64 x (-.f64 (.f64 x x) (.f64 1 1))) (-.f64 x 1) (neg.f64 (.f64 (/.f64 (cbrt.f64 (+.f64 x 1)) (-.f64 (sqrt.f64 x) 1)) (/.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (sqrt.f64 x) 1))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 (+.f64 x 1)) (-.f64 (sqrt.f64 x) 1))) (/.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (sqrt.f64 x) 1)) (.f64 (/.f64 (cbrt.f64 (+.f64 x 1)) (-.f64 (sqrt.f64 x) 1)) (/.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (sqrt.f64 x) 1)))))
▶	31.1b	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
✓	29.8b	(+.f64 (fma.f64 1 (/.f64 x (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (*.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))))
	32.9b	(+.f64 1 (fma.f64 3 (+.f64 x (pow.f64 x 3)) (*.f64 x x)))
✓	29.8b	(+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (-.f64 -1 x) (+.f64 x -1)))

Compiler

Compiled 132795 to 103523 computations (22% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 1 (pow.f64 x 4))
✓	0.4b	(/.f64 1 (*.f64 x x))
✓	6.8b	(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))
✓	7.8b	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))

series12.0ms (0.1%)

Counts

4 → 36

Calls

4 calls:

4.0ms	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
3.0ms	(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))
3.0ms	(/.f64 1 (pow.f64 x 4))
2.0ms	(/.f64 1 (*.f64 x x))

rewrite160.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

512×	`*-un-lft-identity_binary64`
377×	`add-sqr-sqrt_binary64`
332×	`times-frac_binary64`
278×	`prod-diff_binary64`
232×	`add-cube-cbrt_binary64`

Counts

4 → 467

Calls

4 calls:

49.0ms	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
17.0ms	(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))
5.0ms	(/.f64 1 (*.f64 x x))
3.0ms	(/.f64 1 (pow.f64 x 4))

simplify458.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

821×	`fma-neg_binary64`
199×	`associate-l_binary64`
191×	`associate-r_binary64`
183×	`sub-neg_binary64`
172×	`exp-prod_binary64`

Counts

503 → 470

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	331	19401
1	843	15538
2	2858	13558
3	4318	13558
4	4976	13558
5	4835	13558

prune583.0ms (6.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	468	2	470
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	468	7	475

Error

0.0b

Counts

475 → 7

Alt Table

Status	Error	Program
	46.3b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 -3 x)) (sqrt.f64 (/.f64 -3 x)) (neg.f64 (.f64 (+.f64 (/.f64 1 (.f64 x x)) (/.f64 3 (pow.f64 x 3))) 1))) (/.f64 -1 (pow.f64 x 4)))
	43.0b	(+.f64 (fma.f64 (/.f64 x (-.f64 (.f64 x x) (.f64 1 1))) (-.f64 x 1) (neg.f64 (.f64 (/.f64 (cbrt.f64 (+.f64 x 1)) (-.f64 (sqrt.f64 x) 1)) (/.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (sqrt.f64 x) 1))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 (+.f64 x 1)) (-.f64 (sqrt.f64 x) 1))) (/.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (sqrt.f64 x) 1)) (.f64 (/.f64 (cbrt.f64 (+.f64 x 1)) (-.f64 (sqrt.f64 x) 1)) (/.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (sqrt.f64 x) 1)))))
	31.3b	(+.f64 (fma.f64 -3 (/.f64 1 x) (neg.f64 (.f64 (+.f64 (/.f64 1 (.f64 x x)) (/.f64 3 (pow.f64 x 3))) 1))) (/.f64 -1 (pow.f64 x 4)))
	32.9b	(+.f64 1 (fma.f64 3 (+.f64 x (pow.f64 x 3)) (*.f64 x x)))
✓	31.1b	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
✓	29.8b	(+.f64 (fma.f64 1 (/.f64 x (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (*.f64 (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))))
✓	29.8b	(+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (-.f64 -1 x) (+.f64 x -1)))

Compiler

Compiled 25120 to 18621 computations (25.9% saved)

regimes667.0ms (7.1%)

Accuracy

Total 0.0b remaining (60.9%)

Threshold costs 0.0b (60.9%)

Counts

152 → 3

Compiler

Compiled 15928 to 12316 computations (22.7% saved)

bsearch39.0ms (0.4%)

Steps

Iters	Range		Point
6	348.28308348855126	2450.3728103867898	2044.9951033093892
10	-51013551.51330335	-8.11888777256008e-6	-1951.0124275398869

Compiler

Compiled 2 to 1 computations (50% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

15×	`+-commutative_binary64`
12×	`sub-neg_binary64`
9×	`*-commutative_binary64`
8×	`neg-sub0_binary64`
8×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	153
1	57	153
2	75	153
3	96	153
4	108	153
5	113	153
6	114	153
7	111	153

end2.0ms (0%)

Compiler: Compiled 101 to 78 computations (22.8% saved)

sample1.3s (13.3%)

Algorithm

1×

intervals

Results

381.0ms	2062×	body	1024	valid
191.0ms	4239×	body	128	valid
123.0ms	980×	body	512	valid
43.0ms	215×	body	2048	valid
41.0ms	504×	body	256	valid

Compiler

Compiled 400 to 305 computations (23.8% saved)

Details

analyze5.0ms (0.1%)

sample127.0ms (1.3%)

simplify96.0ms (1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series8.0ms (0.1%)

rewrite220.0ms (2.3%)

simplify953.0ms (10.1%)

prune848.0ms (9%)

localize7.0ms (0.1%)

series6.0ms (0.1%)

rewrite39.0ms (0.4%)

simplify84.0ms (0.9%)

prune186.0ms (2%)

localize16.0ms (0.2%)

series141.0ms (1.5%)

rewrite84.0ms (0.9%)

simplify261.0ms (2.8%)

prune3.1s (33.1%)

localize12.0ms (0.1%)

series12.0ms (0.1%)

rewrite160.0ms (1.7%)

simplify458.0ms (4.9%)

prune583.0ms (6.2%)

regimes667.0ms (7.1%)

bsearch39.0ms (0.4%)

simplify9.0ms (0.1%)

end2.0ms (0%)

sample1.3s (13.3%)

Profiling