Details

analyze939.0ms (9.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4877	216
1	4877	216
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%	87.4%	0.1%	6
20.3%	73.3%	6.4%	7
27.3%	66.3%	6.4%	8
38.2%	53%	8.7%	9
46%	40.6%	13.4%	10
49.9%	35.1%	15%	11
54.9%	26.9%	18.1%	12
57.4%	22%	20.6%	13
59.7%	18%	22.4%	14

Symmetry

Compiler

Compiled 39 to 27 computations (30.8% saved)

sample41.0ms (0.4%)

Algorithm

1×

intervals

Results

23.0ms	256×	body	128	valid
2.0ms	21×	body	128	nan
1.0ms	8×	body	128	invalid

Compiler

Compiled 77 to 56 computations (27.3% saved)

simplify457.0ms (4.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (451.0ms)

Iter	Nodes	Cost
0	2977	54
1	2977	54

prune8.0ms (0.1%)

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

21.1b

Counts

2 → 1

Compiler

Compiled 74 to 51 computations (31.1% saved)

localize29.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.7b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
1.7b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite172.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

21.0b

Rules

16×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`add-log-exp_binary64`
10×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`
6×	`pow1_binary64` `cancel-sign-sub-inv_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`flip3--_binary64` `flip--_binary64`
2×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `neg-log_binary64` `sum-log_binary64` `distribute-lft-out_binary64` `distribute-rgt-neg-in_binary64` `neg-sub0_binary64` `diff-log_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`
1×	`flip3-+_binary64` `flip-+_binary64` `associate-+l-_binary64` `+-commutative_binary64` `sub-neg_binary64` `associate--l-_binary64`

Counts

4 → 68

Calls

4 calls:

9.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
9.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
6.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 3387 to 1915 computations (43.5% saved)

series716.0ms (6.9%)

Error

6.7b

Counts

4 → 65

Calls

4 calls:

177.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
158.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
156.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
124.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 6641 to 4512 computations (32.1% saved)

simplify106.0ms (1%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4949	2504
1	4949	2504

prune253.0ms (2.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	125	8	133
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	126	8	134

Error

6.6b

Counts

134 → 8

Compiler

Compiled 5749 to 3150 computations (45.2% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a))
0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.7b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite248.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

6.6b

Rules

65×	`*-un-lft-identity_binary64`
38×	`add-sqr-sqrt_binary64`
37×	`distribute-rgt-neg-in_binary64`
34×	`times-frac_binary64` `associate-/l*_binary64`
33×	`add-cube-cbrt_binary64`
28×	`distribute-rgt-out_binary64` `distribute-lft-neg-in_binary64`
24×	`distribute-lft-out_binary64`
12×	`neg-mul-1_binary64`
10×	`add-log-exp_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`sqrt-prod_binary64` `cancel-sign-sub-inv_binary64`
5×	`pow1_binary64`
4×	`distribute-rgt1-in_binary64` `distribute-lft1-in_binary64`
3×	`flip3--_binary64` `flip--_binary64` `diff-log_binary64` `neg-sub0_binary64` `div-sub_binary64`
2×	`sqrt-div_binary64` `sub-neg_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `count-2_binary64` `associate-/l/_binary64`
1×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `neg-log_binary64` `associate--l-_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `frac-2neg_binary64` `unsub-neg_binary64` `associate-+l-_binary64` `associate-+r-_binary64` `clear-num_binary64` `div-inv_binary64` `distribute-neg-out_binary64` `distribute-frac-neg_binary64` `flip3-+_binary64` `flip-+_binary64` `associate-/r*_binary64`

Counts

4 → 139

Calls

4 calls:

15.0ms	(/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a))
12.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 5191 to 2707 computations (47.9% saved)

series562.0ms (5.4%)

Error

6.6b

Counts

4 → 54

Calls

4 calls:

172.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
150.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
116.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
62.0ms	(/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a))

Compiler

Compiled 4136 to 2749 computations (33.5% saved)

simplify113.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4907	2502
1	4907	2502

prune267.0ms (2.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	187	6	193
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	190	11	201

Error

6.6b

Counts

201 → 11

Compiler

Compiled 6339 to 3285 computations (48.2% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

10.3b	(cbrt.f64 (/.f64 (neg.f64 b) a))
10.3b	(cbrt.f64 (/.f64 (neg.f64 b) a))
10.3b	(cbrt.f64 (/.f64 (neg.f64 b) a))
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite250.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

6.6b

Rules

102×	`cbrt-prod_binary64`
90×	`times-frac_binary64`
66×	`add-sqr-sqrt_binary64`
65×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
27×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
9×	`neg-mul-1_binary64`
5×	`pow1_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`sqrt-prod_binary64` `pow1/3_binary64` `cbrt-div_binary64` `div-inv_binary64`
2×	`sqrt-div_binary64`
1×	`pow1/2_binary64` `sqrt-pow1_binary64` `flip3--_binary64` `flip--_binary64` `rem-sqrt-square_binary64`

Counts

4 → 144

Calls

4 calls:

4.0ms	(cbrt.f64 (/.f64 (neg.f64 b) a))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
4.0ms	(cbrt.f64 (/.f64 (neg.f64 b) a))
4.0ms	(cbrt.f64 (/.f64 (neg.f64 b) a))

Compiler

Compiled 6731 to 2435 computations (63.8% saved)

series851.0ms (8.2%)

Error

6.6b

Counts

4 → 33

Calls

4 calls:

237.0ms	(cbrt.f64 (/.f64 (neg.f64 b) a))
224.0ms	(cbrt.f64 (/.f64 (neg.f64 b) a))
218.0ms	(cbrt.f64 (/.f64 (neg.f64 b) a))
124.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 3977 to 2290 computations (42.4% saved)

simplify187.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 0 (150.0ms)

Iter	Nodes	Cost
0	4899	2966
1	4899	2966

prune288.0ms (2.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	174	3	177
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	175	13	188

Error

6.6b

Counts

188 → 13

Compiler

Compiled 8232 to 3003 computations (63.5% saved)

localize30.0ms (0.3%)

Local error

Found 4 expressions with local error:

9.7b	(-.f64 (neg.f64 b) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite162.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

6.6b

Rules

11×	`add-sqr-sqrt_binary64`
9×	`sqrt-prod_binary64`
8×	`add-log-exp_binary64`
7×	`pow1_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
6×	`sqrt-div_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `flip3--_binary64` `flip--_binary64`
3×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64`
2×	`diff-log_binary64`
1×	`neg-log_binary64` `sub-neg_binary64` `difference-of-squares_binary64` `cancel-sign-sub-inv_binary64` `neg-sub0_binary64` `associate--l-_binary64`

Counts

4 → 60

Calls

4 calls:

6.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
5.0ms	(-.f64 (neg.f64 b) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 3873 to 2071 computations (46.5% saved)

series669.0ms (6.5%)

Error

6.6b

Counts

4 → 60

Calls

4 calls:

176.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
166.0ms	(-.f64 (neg.f64 b) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
114.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
111.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 7647 to 4930 computations (35.5% saved)

simplify69.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4997	2062
1	4997	2062

prune246.0ms (2.4%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	120	13	133

Error

6.6b

Counts

133 → 13

Compiler

Compiled 6067 to 3251 computations (46.4% saved)

regimes850.0ms (8.2%)

Accuracy

Total 1.1b remaining (15.8%)

Threshold costs 0b (0%)

Compiler

Compiled 9378 to 6330 computations (32.5% saved)

bsearch8.0ms (0.1%)

Compiler: Compiled 38 to 26 computations (31.6% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	153	462
1	153	462

Removed

()

end0.0ms (0%)

sample2.8s (26.8%)

Algorithm

1×

intervals

Results

712.0ms	8000×	body	128	valid
57.0ms	671×	body	128	nan
32.0ms	382×	body	128	invalid

Compiler

Compiled 2668 to 1777 computations (33.4% saved)

Details

analyze939.0ms (9.1%)

sample41.0ms (0.4%)

simplify457.0ms (4.4%)

prune8.0ms (0.1%)

localize29.0ms (0.3%)

rewrite172.0ms (1.7%)

series716.0ms (6.9%)

simplify106.0ms (1%)

prune253.0ms (2.4%)

localize21.0ms (0.2%)

rewrite248.0ms (2.4%)

series562.0ms (5.4%)

simplify113.0ms (1.1%)

prune267.0ms (2.6%)

localize23.0ms (0.2%)

rewrite250.0ms (2.4%)

series851.0ms (8.2%)

simplify187.0ms (1.8%)

prune288.0ms (2.8%)

localize30.0ms (0.3%)

rewrite162.0ms (1.6%)

series669.0ms (6.5%)

simplify69.0ms (0.7%)

prune246.0ms (2.4%)

regimes850.0ms (8.2%)

bsearch8.0ms (0.1%)

simplify7.0ms (0.1%)

end0.0ms (0%)

sample2.8s (26.8%)

Profiling