Details

analyze689.0ms (6.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4937	96
1	4937	96
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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	68.6%	6.4%	7
31.2%	62.4%	6.4%	8
36.7%	54.6%	8.7%	9
38.2%	48.4%	13.4%	10
42.7%	42.3%	15%	11
47.8%	34.1%	18.1%	12
49.1%	30.3%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample40.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms	175×	body	128	valid
7.0ms	28×	body	2048	valid
6.0ms	30×	body	1024	valid
3.0ms	11×	body	4096	valid
1.0ms	9×	body	512	valid
1.0ms	22×	body	128	nan
1.0ms	16×	body	128	invalid
0.0ms	3×	body	256	valid

Compiler

Compiled 35 to 32 computations (8.6% saved)

simplify284.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (279.0ms)

Iter	Nodes	Cost
0	1802	24
1	1802	24

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

33.9b

Counts

2 → 1

Compiler

Compiled 32 to 26 computations (18.8% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 3 a) c)
0.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
1.2b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
24.3b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite114.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

33.7b

Rules

12×	`add-sqr-sqrt_binary64_2487`
10×	`pow1_binary64_2526`
9×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `*-un-lft-identity_binary64_2465`
8×	`add-log-exp_binary64_2504`
7×	`add-cube-cbrt_binary64_2500`
4×	`sqrt-prod_binary64_2481` `cancel-sign-sub-inv_binary64_2431`
3×	`flip3--_binary64_2469` `flip--_binary64_2440` `pow-prod-down_binary64_2536` `prod-exp_binary64_2514` `cbrt-unprod_binary64_2498` `associate-r_binary64_2405`
2×	`sqrt-div_binary64_2482` `diff-log_binary64_2557` `sub-neg_binary64_2458` `difference-of-squares_binary64_2434`
1×	`pow1/2_binary64_2545` `sqrt-pow1_binary64_2483` `rem-sqrt-square_binary64_2478` `distribute-lft-out--_binary64_2417` `associate-l_binary64_2406` `*-commutative_binary64_2396`

Counts

4 → 62

Calls

4 calls:

8.0ms	(.f64 (.f64 3 a) c)
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 1583 to 924 computations (41.6% saved)

series569.0ms (5.7%)

Error

11.7b

Counts

4 → 64

Calls

4 calls:

171.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
153.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
126.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
51.0ms	(.f64 (.f64 3 a) c)

Compiler

Compiled 2978 to 2242 computations (24.7% saved)

simplify62.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5099	2214

prune139.0ms (1.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	117	9	126
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	117	10	127

Error

11.5b

Counts

127 → 10

Compiler

Compiled 2737 to 1501 computations (45.2% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 c)
0.6b	(cbrt.f64 c)
1.2b	(-.f64 (.f64 b b) (.f64 (.f64 (.f64 3 a) (*.f64 (cbrt.f64 c) (cbrt.f64 c))) (cbrt.f64 c)))
24.3b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (.f64 3 a) (*.f64 (cbrt.f64 c) (cbrt.f64 c))) (cbrt.f64 c))))

rewrite78.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

11.5b

Rules

8×	`add-sqr-sqrt_binary64_2487`
7×	`add-cube-cbrt_binary64_2500` `*-un-lft-identity_binary64_2465`
6×	`add-log-exp_binary64_2504` `cbrt-prod_binary64_2496`
5×	`pow1_binary64_2526`
4×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
3×	`sqrt-prod_binary64_2481`
2×	`flip3--_binary64_2469` `sqrt-div_binary64_2482` `flip--_binary64_2440` `pow1/3_binary64_2547`
1×	`pow1/2_binary64_2545` `sqrt-pow1_binary64_2483` `rem-sqrt-square_binary64_2478` `diff-log_binary64_2557` `sub-neg_binary64_2458` `cancel-sign-sub-inv_binary64_2431`

Counts

4 → 49

Calls

4 calls:

5.0ms	(-.f64 (.f64 b b) (.f64 (.f64 (.f64 3 a) (*.f64 (cbrt.f64 c) (cbrt.f64 c))) (cbrt.f64 c)))
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (.f64 3 a) (*.f64 (cbrt.f64 c) (cbrt.f64 c))) (cbrt.f64 c))))
1.0ms	(cbrt.f64 c)
1.0ms	(cbrt.f64 c)

Compiler

Compiled 1673 to 739 computations (55.8% saved)

series529.0ms (5.3%)

Error

11.5b

Counts

4 → 44

Calls

4 calls:

201.0ms	(-.f64 (.f64 b b) (.f64 (.f64 (.f64 3 a) (*.f64 (cbrt.f64 c) (cbrt.f64 c))) (cbrt.f64 c)))
145.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (.f64 3 a) (*.f64 (cbrt.f64 c) (cbrt.f64 c))) (cbrt.f64 c))))
73.0ms	(cbrt.f64 c)
70.0ms	(cbrt.f64 c)

Compiler

Compiled 2083 to 1566 computations (24.8% saved)

simplify54.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5151	1242

prune94.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	93	10	103

Error

11.5b

Counts

103 → 10

Compiler

Compiled 2193 to 1144 computations (47.8% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.2b	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
1.2b	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
24.3b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
24.3b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite106.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

11.5b

Rules

8×	`add-log-exp_binary64_2504` `add-sqr-sqrt_binary64_2487`
6×	`pow1_binary64_2526` `add-cube-cbrt_binary64_2500` `sqrt-prod_binary64_2481` `*-un-lft-identity_binary64_2465`
4×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `flip3--_binary64_2469` `sqrt-div_binary64_2482` `flip--_binary64_2440`
2×	`pow1/2_binary64_2545` `sqrt-pow1_binary64_2483` `rem-sqrt-square_binary64_2478` `diff-log_binary64_2557` `sub-neg_binary64_2458` `cancel-sign-sub-inv_binary64_2431`

Counts

4 → 54

Calls

4 calls:

5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
4.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
4.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

Compiler

Compiled 2260 to 1171 computations (48.2% saved)

series705.0ms (7%)

Error

11.5b

Counts

4 → 72

Calls

4 calls:

165.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
155.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
152.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
148.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

Compiler

Compiled 5738 to 3875 computations (32.5% saved)

simplify75.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4965	1912
1	4965	1912

prune187.0ms (1.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	125	1	126
Fresh	0	7	7
Picked	1	0	1
Done	0	2	2
Total	126	10	136

Error

11.5b

Counts

136 → 10

Compiler

Compiled 4394 to 2336 computations (46.8% saved)

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

24.3b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
24.3b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
24.3b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
24.3b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite365.0ms (3.6%)

Algorithm

1×	rewrite-expression-head

Error

11.5b

Rules

12×	`add-sqr-sqrt_binary64_2487` `sqrt-prod_binary64_2481`
8×	`pow1_binary64_2526` `add-cube-cbrt_binary64_2500` `sqrt-div_binary64_2482` `*-un-lft-identity_binary64_2465`
4×	`pow1/2_binary64_2545` `add-log-exp_binary64_2504` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `sqrt-pow1_binary64_2483` `flip3--_binary64_2469` `flip--_binary64_2440` `rem-sqrt-square_binary64_2478`

Counts

4 → 60

Calls

4 calls:

4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

Compiler

Compiled 4040 to 2106 computations (47.9% saved)

series821.0ms (8.2%)

Error

11.5b

Counts

4 → 72

Calls

4 calls:

170.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
168.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
168.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
164.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

Compiler

Compiled 10748 to 6535 computations (39.2% saved)

simplify70.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5188	2192

prune334.0ms (3.3%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	132	10	142

Error

11.5b

Counts

142 → 10

Compiler

Compiled 7792 to 4123 computations (47.1% saved)

regimes1.8s (17.7%)

Accuracy

Total 0.7b remaining (6%)

Threshold costs 0.7b (6%)

Compiler

Compiled 9493 to 7074 computations (25.5% saved)

bsearch94.0ms (0.9%)

Steps

Iters	Range	Point
7	6.951474425829858e+131	1.973885619181377e+133	4.6234338566915484e+132
5	6.771787853932487e-199	2.2625390835016048e-198	1.401312127821107e-198
9	-6.7222042274598234e+156	-5.941961398064382e+150	-6.390547163029555e+153

Iters

Range

Point

6.951474425829858e+131

1.973885619181377e+133

4.6234338566915484e+132

6.771787853932487e-199

2.2625390835016048e-198

1.401312127821107e-198

-6.7222042274598234e+156

-5.941961398064382e+150

-6.390547163029555e+153

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	120	101
1	120	101

end0.0ms (0%)

sample2.8s (27.5%)

Algorithm

1×

intervals

Results

286.0ms	5169×	body	128	valid
269.0ms	1115×	body	2048	valid
146.0ms	733×	body	1024	valid
127.0ms	418×	body	4096	valid
53.0ms	378×	body	512	valid
33.0ms	625×	body	128	nan
18.0ms	358×	body	128	invalid
18.0ms	187×	body	256	valid

Compiler

Compiled 1825 to 1357 computations (25.6% saved)

Details

analyze689.0ms (6.9%)

sample40.0ms (0.4%)

simplify284.0ms (2.8%)

prune4.0ms (0%)

localize9.0ms (0.1%)

rewrite114.0ms (1.1%)

series569.0ms (5.7%)

simplify62.0ms (0.6%)

prune139.0ms (1.4%)

localize16.0ms (0.2%)

rewrite78.0ms (0.8%)

series529.0ms (5.3%)

simplify54.0ms (0.5%)

prune94.0ms (0.9%)

localize14.0ms (0.1%)

rewrite106.0ms (1.1%)

series705.0ms (7%)

simplify75.0ms (0.7%)

prune187.0ms (1.9%)

localize25.0ms (0.3%)

rewrite365.0ms (3.6%)

series821.0ms (8.2%)

simplify70.0ms (0.7%)

prune334.0ms (3.3%)

regimes1.8s (17.7%)

bsearch94.0ms (0.9%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.8s (27.5%)

Profiling