Details

analyze592.0ms (6.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5013	192
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
12.5%	68.6%	18.9%	6
18.7%	62.4%	18.9%	7
18.7%	59.3%	22%	8
28.1%	39%	32.9%	9
32.8%	34.3%	32.9%	10
32.8%	32%	35.3%	11
38.2%	20.7%	41.1%	12
41%	17.9%	41.1%	13
41%	16.6%	42.5%	14

Compiler

Compiled 38 to 24 computations (36.8% saved)

sample55.0ms (0.6%)

Algorithm

1×

intervals

Results

40.0ms	242×	body	256	valid
3.0ms	38×	body	128	nan
1.0ms	14×	body	128	valid

Compiler

Compiled 75 to 50 computations (33.3% saved)

simplify232.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (226.0ms)

Iter	Nodes	Cost
0	4834	48
1	4834	48

prune6.0ms (0.1%)

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

34.4b

Counts

2 → 2

Compiler

Compiled 99 to 59 computations (40.4% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

7.0b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
7.8b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite48.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`cbrt-div_binary64_6248`
8×	`sqrt-prod_binary64_6232` `add-sqr-sqrt_binary64_6238`
6×	`*-un-lft-identity_binary64_6216` `add-cube-cbrt_binary64_6251` `pow1_binary64_6277`
4×	`flip3--_binary64_6220` `sqrt-div_binary64_6233` `associate-*r/_binary64_6158` `frac-times_binary64_6226` `flip--_binary64_6191` `add-cbrt-cube_binary64_6252` `add-log-exp_binary64_6255` `add-exp-log_binary64_6254`
2×	`rem-sqrt-square_binary64_6229` `difference-of-squares_binary64_6185` `pow1/3_binary64_6298` `associate-*l/_binary64_6159` `flip-+_binary64_6190` `cbrt-prod_binary64_6247` `sqrt-pow1_binary64_6234` `pow1/2_binary64_6296` `flip3-+_binary64_6219`

Counts

4 → 60

Calls

4 calls:

17.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
14.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series616.0ms (7.1%)

Counts

4 → 12

Calls

4 calls:

285.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
275.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

simplify67.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5478	1529

prune185.0ms (2.1%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	54	18	72
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	55	19	74

Error

29.7b

Counts

74 → 19

Compiler

Compiled 3862 to 1648 computations (57.3% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.6b	(-.f64 (.f64 g g) (.f64 h h))
7.0b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite34.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`sqrt-prod_binary64_6232` `add-sqr-sqrt_binary64_6238`
6×	`*-un-lft-identity_binary64_6216` `add-cube-cbrt_binary64_6251` `add-log-exp_binary64_6255` `pow1_binary64_6277`
5×	`cbrt-div_binary64_6248`
4×	`sqrt-div_binary64_6233` `add-cbrt-cube_binary64_6252` `add-exp-log_binary64_6254`
3×	`difference-of-squares_binary64_6185` `flip3--_binary64_6220` `flip--_binary64_6191`
2×	`rem-sqrt-square_binary64_6229` `flip-+_binary64_6190` `sqrt-pow1_binary64_6234` `associate-*r/_binary64_6158` `frac-times_binary64_6226` `pow1/2_binary64_6296` `flip3-+_binary64_6219`
1×	`cancel-sign-sub-inv_binary64_6182` `pow1/3_binary64_6298` `associate-*l/_binary64_6159` `cbrt-prod_binary64_6247` `diff-log_binary64_6308` `sub-neg_binary64_6209`

Counts

4 → 59

Calls

4 calls:

14.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series363.0ms (4.2%)

Counts

4 → 12

Calls

4 calls:

287.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
29.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
27.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
21.0ms	(-.f64 (.f64 g g) (.f64 h h))

simplify65.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5150	1255

prune157.0ms (1.8%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	66	5	71
Fresh	2	16	18
Picked	1	0	1
Done	0	0	0
Total	69	21	90

Error

29.5b

Counts

90 → 21

Compiler

Compiled 3812 to 1587 computations (58.4% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.6b	(-.f64 (.f64 g g) (.f64 h h))
7.0b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite34.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`sqrt-prod_binary64_6232` `add-sqr-sqrt_binary64_6238`
6×	`*-un-lft-identity_binary64_6216` `add-cube-cbrt_binary64_6251` `add-log-exp_binary64_6255` `pow1_binary64_6277`
5×	`cbrt-div_binary64_6248`
4×	`sqrt-div_binary64_6233` `add-cbrt-cube_binary64_6252` `add-exp-log_binary64_6254`
3×	`difference-of-squares_binary64_6185` `flip3--_binary64_6220` `flip--_binary64_6191`
2×	`rem-sqrt-square_binary64_6229` `flip-+_binary64_6190` `sqrt-pow1_binary64_6234` `associate-*r/_binary64_6158` `frac-times_binary64_6226` `pow1/2_binary64_6296` `flip3-+_binary64_6219`
1×	`cancel-sign-sub-inv_binary64_6182` `pow1/3_binary64_6298` `associate-*l/_binary64_6159` `cbrt-prod_binary64_6247` `diff-log_binary64_6308` `sub-neg_binary64_6209`

Counts

4 → 59

Calls

4 calls:

14.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))

series357.0ms (4.1%)

Counts

4 → 12

Calls

4 calls:

277.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
31.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
27.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
21.0ms	(-.f64 (.f64 g g) (.f64 h h))

simplify62.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5150	1255

prune145.0ms (1.7%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	69	2	71
Fresh	2	18	20
Picked	1	0	1
Done	0	0	0
Total	72	20	92

Error

29.5b

Counts

92 → 20

Compiler

Compiled 3775 to 1563 computations (58.6% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.6b	(-.f64 (.f64 g g) (.f64 h h))
7.8b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite33.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`sqrt-prod_binary64_6232` `add-sqr-sqrt_binary64_6238`
6×	`*-un-lft-identity_binary64_6216` `add-cube-cbrt_binary64_6251` `add-log-exp_binary64_6255` `pow1_binary64_6277`
5×	`cbrt-div_binary64_6248` `flip3--_binary64_6220` `flip--_binary64_6191`
4×	`sqrt-div_binary64_6233` `add-cbrt-cube_binary64_6252` `add-exp-log_binary64_6254`
3×	`difference-of-squares_binary64_6185`
2×	`rem-sqrt-square_binary64_6229` `sqrt-pow1_binary64_6234` `associate-*r/_binary64_6158` `frac-times_binary64_6226` `pow1/2_binary64_6296`
1×	`cancel-sign-sub-inv_binary64_6182` `pow1/3_binary64_6298` `associate-*l/_binary64_6159` `cbrt-prod_binary64_6247` `diff-log_binary64_6308` `sub-neg_binary64_6209`

Counts

4 → 59

Calls

4 calls:

14.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))

series350.0ms (4%)

Counts

4 → 12

Calls

4 calls:

272.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
31.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
26.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
21.0ms	(-.f64 (.f64 g g) (.f64 h h))

simplify61.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5537	1242

prune107.0ms (1.2%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	64	7	71
Fresh	5	14	19
Picked	1	0	1
Done	0	0	0
Total	70	21	91

Error

29.5b

Counts

91 → 21

Compiler

Compiled 2796 to 1037 computations (62.9% saved)

regimes1.4s (16.1%)

Accuracy

Total 1.9b remaining (5.9%)

Threshold costs 0b (0%)

Compiler

Compiled 24107 to 14363 computations (40.4% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	63	54
1	63	54

end0.0ms (0%)

sample3.6s (41.8%)

Algorithm

1×

intervals

Results

1.2s	7559×	body	256	valid
94.0ms	1163×	body	128	nan
36.0ms	441×	body	128	valid

Compiler

Compiled 3409 to 2029 computations (40.5% saved)

Details

analyze592.0ms (6.9%)

sample55.0ms (0.6%)

simplify232.0ms (2.7%)

prune6.0ms (0.1%)

localize17.0ms (0.2%)

rewrite48.0ms (0.6%)

series616.0ms (7.1%)

simplify67.0ms (0.8%)

prune185.0ms (2.1%)

localize19.0ms (0.2%)

rewrite34.0ms (0.4%)

series363.0ms (4.2%)

simplify65.0ms (0.8%)

prune157.0ms (1.8%)

localize19.0ms (0.2%)

rewrite34.0ms (0.4%)

series357.0ms (4.1%)

simplify62.0ms (0.7%)

prune145.0ms (1.7%)

localize18.0ms (0.2%)

rewrite33.0ms (0.4%)

series350.0ms (4%)

simplify61.0ms (0.7%)

prune107.0ms (1.2%)

regimes1.4s (16.1%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample3.6s (41.8%)

Profiling