Details

analyze604.0ms (5.5%)

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)

sample58.0ms (0.5%)

Algorithm

1×

intervals

Results

40.0ms	247×	body	256	valid
3.0ms	39×	body	128	nan
1.0ms	9×	body	128	valid

Compiler

Compiled 75 to 50 computations (33.3% saved)

simplify235.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (229.0ms)

Iter	Nodes	Cost
0	4834	48
1	4834	48

prune8.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

35.3b

Counts

2 → 2

Compiler

Compiled 99 to 59 computations (40.4% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

7.4b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
9.4b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
29.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite142.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

32.2b

Rules

14×	`add-sqr-sqrt_binary64_6238`
11×	`cbrt-prod_binary64_6247`
10×	`*-un-lft-identity_binary64_6216`
9×	`sqrt-prod_binary64_6232`
8×	`add-cube-cbrt_binary64_6251`
6×	`pow1_binary64_6277` `times-frac_binary64_6222`
4×	`add-log-exp_binary64_6255` `add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252` `sqrt-div_binary64_6233` `difference-of-squares_binary64_6185`
2×	`pow1/2_binary64_6296` `sqrt-pow1_binary64_6234` `flip3--_binary64_6220` `flip--_binary64_6191` `rem-sqrt-square_binary64_6229` `pow1/3_binary64_6298` `cbrt-div_binary64_6248`
1×	`associate-*l/_binary64_6159` `distribute-lft-out--_binary64_6168` `div-inv_binary64_6213`

Counts

4 → 61

Calls

4 calls:

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

Compiler

Compiled 2510 to 735 computations (70.7% saved)

series940.0ms (8.6%)

Error

32.3b

Counts

4 → 32

Calls

4 calls:

398.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
388.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
56.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
49.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3308 to 2400 computations (27.4% saved)

simplify76.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5019	1846

prune163.0ms (1.5%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	78	15	93
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	80	15	95

Error

31.6b

Counts

95 → 15

Compiler

Compiled 3834 to 1389 computations (63.8% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
7.4b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
29.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite133.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

30.9b

Rules

19×	`add-sqr-sqrt_binary64_6238`
13×	`*-un-lft-identity_binary64_6216`
10×	`sqrt-prod_binary64_6232` `cbrt-prod_binary64_6247`
9×	`add-cube-cbrt_binary64_6251`
6×	`pow1_binary64_6277` `add-log-exp_binary64_6255` `difference-of-squares_binary64_6185` `times-frac_binary64_6222`
4×	`add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252` `sqrt-div_binary64_6233`
3×	`flip3--_binary64_6220` `flip--_binary64_6191` `cancel-sign-sub-inv_binary64_6182`
2×	`pow1/2_binary64_6296` `sqrt-pow1_binary64_6234` `rem-sqrt-square_binary64_6229` `distribute-lft-out--_binary64_6168`
1×	`pow1/3_binary64_6298` `cbrt-div_binary64_6248` `div-inv_binary64_6213` `diff-log_binary64_6308` `sub-neg_binary64_6209`

Counts

4 → 68

Calls

4 calls:

9.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2878 to 851 computations (70.4% saved)

series624.0ms (5.7%)

Error

30.9b

Counts

4 → 30

Calls

4 calls:

408.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
63.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
61.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
49.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2936 to 2093 computations (28.7% saved)

simplify76.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4887	1808
1	4887	1808

prune159.0ms (1.4%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	92	6	98
Fresh	2	12	14
Picked	1	0	1
Done	0	0	0
Total	95	18	113

Error

30.9b

Counts

113 → 18

Compiler

Compiled 4216 to 1548 computations (63.3% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
9.4b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
29.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite117.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

30.9b

Rules

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

Counts

4 → 59

Calls

4 calls:

9.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2455 to 721 computations (70.6% saved)

series586.0ms (5.3%)

Error

30.9b

Counts

4 → 30

Calls

4 calls:

375.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
61.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
58.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
51.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2906 to 2069 computations (28.8% saved)

simplify71.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5300	1400

prune151.0ms (1.4%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	84	5	89
Fresh	2	15	17
Picked	1	0	1
Done	0	0	0
Total	87	20	107

Error

30.9b

Counts

107 → 20

Compiler

Compiled 3887 to 1462 computations (62.4% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

29.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite130.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

30.9b

Rules

16×	`sqrt-prod_binary64_6232`
12×	`add-sqr-sqrt_binary64_6238`
8×	`pow1_binary64_6277` `add-cube-cbrt_binary64_6251` `sqrt-div_binary64_6233` `*-un-lft-identity_binary64_6216`
4×	`pow1/2_binary64_6296` `add-log-exp_binary64_6255` `add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252` `sqrt-pow1_binary64_6234` `flip3--_binary64_6220` `flip--_binary64_6191` `difference-of-squares_binary64_6185` `rem-sqrt-square_binary64_6229`

Counts

4 → 64

Calls

4 calls:

5.0ms	(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	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 4228 to 784 computations (81.5% saved)

series311.0ms (2.8%)

Error

30.9b

Counts

4 → 30

Calls

4 calls:

71.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
70.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
68.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
53.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 4744 to 2062 computations (56.5% saved)

simplify85.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4891	1214
1	4891	1214

prune145.0ms (1.3%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	0	19	19
Picked	1	0	1
Done	0	0	0
Total	94	20	114

Error

30.9b

Counts

114 → 20

Compiler

Compiled 5632 to 1194 computations (78.8% saved)

regimes1.8s (16.1%)

Accuracy

Total 0.9b remaining (2.8%)

Threshold costs 0.9b (2.8%)

Compiler

Compiled 27367 to 16175 computations (40.9% saved)

bsearch102.0ms (0.9%)

Steps

Iters	Range		Point
11	9.343281244585035e-158	3.911735057654268e-136	9.47105339365848e-158

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	75	103
1	75	103

end0.0ms (0%)

sample4.2s (38.3%)

Algorithm

1×

intervals

Results

1.3s	7566×	body	256	valid
98.0ms	1254×	body	128	nan
35.0ms	434×	body	128	valid

Compiler

Compiled 3999 to 2359 computations (41% saved)

Details

analyze604.0ms (5.5%)

sample58.0ms (0.5%)

simplify235.0ms (2.1%)

prune8.0ms (0.1%)

localize16.0ms (0.1%)

rewrite142.0ms (1.3%)

series940.0ms (8.6%)

simplify76.0ms (0.7%)

prune163.0ms (1.5%)

localize21.0ms (0.2%)

rewrite133.0ms (1.2%)

series624.0ms (5.7%)

simplify76.0ms (0.7%)

prune159.0ms (1.4%)

localize21.0ms (0.2%)

rewrite117.0ms (1.1%)

series586.0ms (5.3%)

simplify71.0ms (0.6%)

prune151.0ms (1.4%)

localize22.0ms (0.2%)

rewrite130.0ms (1.2%)

series311.0ms (2.8%)

simplify85.0ms (0.8%)

prune145.0ms (1.3%)

regimes1.8s (16.1%)

bsearch102.0ms (0.9%)

simplify5.0ms (0%)

end0.0ms (0%)

sample4.2s (38.3%)

Profiling