Details

analyze469.0ms (0.6%)

Algorithm

1×

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
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample43.0ms (0.1%)

Algorithm

1×

intervals

Results

11.0ms	31×	body	2048	valid
10.0ms	177×	body	128	valid
5.0ms	24×	body	1024	valid
3.0ms	8×	body	4096	valid
1.0ms	23×	body	128	nan
1.0ms	8×	body	512	valid
1.0ms	18×	body	128	invalid
1.0ms	8×	body	256	valid

Compiler

Compiled 35 to 32 computations (8.6% saved)

simplify413.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (319.0ms)

Iter	Nodes	Cost
0	1834	24
1	1834	24

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

31.5b

Counts

2 → 2

Compiler

Compiled 16 to 13 computations (18.8% saved)

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
1.6b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
1.6b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite42.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_1101`
10×	`add-log-exp_binary64_1140`
9×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
8×	`add-sqr-sqrt_binary64_1123`
7×	`add-cube-cbrt_binary64_1136`
6×	`distribute-lft-out_binary64_1052`
5×	`pow1_binary64_1162` `associate-/l*_binary64_1046` `times-frac_binary64_1107`
3×	`distribute-rgt-neg-in_binary64_1059` `sqrt-prod_binary64_1117`
2×	`sum-log_binary64_1192` `flip--_binary64_1076` `flip3--_binary64_1105` `flip3-+_binary64_1104` `neg-sub0_binary64_1096` `associate-/l/_binary64_1048` `associate-+l-_binary64_1036` `sqrt-div_binary64_1118` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `flip-+_binary64_1075`
1×	`diff-log_binary64_1193` `rem-sqrt-square_binary64_1114` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `frac-2neg_binary64_1112` `sub-neg_binary64_1094` `sqrt-pow1_binary64_1119` `neg-log_binary64_1194` `clear-num_binary64_1100` `div-inv_binary64_1098` `+-commutative_binary64_1031` `cancel-sign-sub-inv_binary64_1067` `associate-/r*_binary64_1045` `pow1/2_binary64_1181` `div-sub_binary64_1106`

Counts

4 → 70

Calls

8 calls:

17.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
9.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
5.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

series606.0ms (0.7%)

Counts

4 → 62

Calls

4 calls:

201.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
160.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
125.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
120.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1865 to 1597 computations (14.4% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4978	2413
1	4978	2413

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
1.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
1.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64_1123`
14×	`*-un-lft-identity_binary64_1101`
9×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
8×	`add-log-exp_binary64_1140` `add-cube-cbrt_binary64_1136`
6×	`difference-of-squares_binary64_1070` `sqrt-prod_binary64_1117` `associate-/l*_binary64_1046` `times-frac_binary64_1107`
5×	`pow1_binary64_1162`
4×	`flip--_binary64_1076` `flip3--_binary64_1105` `cancel-sign-sub-inv_binary64_1067`
3×	`distribute-lft-out--_binary64_1053`
2×	`diff-log_binary64_1193` `sub-neg_binary64_1094` `associate-/l/_binary64_1048` `sqrt-div_binary64_1118` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135`
1×	`rem-sqrt-square_binary64_1114` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `frac-2neg_binary64_1112` `sqrt-pow1_binary64_1119` `clear-num_binary64_1100` `div-inv_binary64_1098` `associate-/r*_binary64_1045` `pow1/2_binary64_1181` `div-sub_binary64_1106`

Counts

4 → 74

Calls

8 calls:

13.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
9.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))

series605.0ms (0.7%)

Counts

4 → 62

Calls

4 calls:

203.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
159.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
124.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
119.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1813 to 1545 computations (14.8% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5520	2580

prune1.3s (1.6%)

Pruning

92 alts after pruning (90 fresh and 2 done)

	Pruned	Kept	Total
New	178	90	268
Fresh	0	0	0
Picked	0	0	0
Done	0	2	2
Total	178	92	270

Error

6.7b

Counts

270 → 92

Compiler

Compiled 5354 to 3462 computations (35.3% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.2b	(.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
1.6b	(+.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
21.1b	(sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))

rewrite38.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`sqrt-pow1_binary64_1119` `sqrt-div_binary64_1118`
22×	`pow1_binary64_1162`
11×	`pow1/2_binary64_1181`
10×	`*-un-lft-identity_binary64_1101`
8×	`add-sqr-sqrt_binary64_1123` `add-log-exp_binary64_1140` `flip--_binary64_1076` `flip3--_binary64_1105`
7×	`sqrt-prod_binary64_1117`
6×	`add-cube-cbrt_binary64_1136`
5×	`pow-prod-up_binary64_1171`
4×	`frac-times_binary64_1111` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
3×	`rem-sqrt-square_binary64_1114` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172`
2×	`distribute-lft-out_binary64_1052` `sum-log_binary64_1192` `associate-r/_binary64_1043` `associate-l/_binary64_1044`
1×	`distribute-rgt-neg-in_binary64_1059` `pow-plus_binary64_1164` `neg-log_binary64_1194` `flip3-+_binary64_1104` `neg-sub0_binary64_1096` `associate-+l-_binary64_1036` `+-commutative_binary64_1031` `flip-+_binary64_1075` `pow2_binary64_1182`

Counts

4 → 77

Calls

8 calls:

12.0ms	(sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
8.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
4.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)))
0.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))

series554.0ms (0.7%)

Counts

4 → 65

Calls

4 calls:

147.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
143.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
132.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
132.0ms	(sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))

Compiler

Compiled 2918 to 2317 computations (20.6% saved)

simplify95.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4877	2514
1	4877	2514

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
1.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.2b	(.f64 (/.f64 1 a) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) 2))
0.2b	(.f64 (/.f64 1 a) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) 2))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
1.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite52.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

57×	`add-sqr-sqrt_binary64_1123`
34×	`times-frac_binary64_1107`
33×	`*-un-lft-identity_binary64_1101`
26×	`add-exp-log_binary64_1139`
23×	`add-cube-cbrt_binary64_1136`
22×	`associate-r_binary64_1041`
16×	`add-cbrt-cube_binary64_1137`
13×	`associate-l_binary64_1042`
8×	`difference-of-squares_binary64_1070` `add-log-exp_binary64_1140` `prod-exp_binary64_1150` `div-exp_binary64_1152`
7×	`pow1_binary64_1162` `sqrt-prod_binary64_1117`
6×	`unswap-sqr_binary64_1069`
4×	`cbrt-unprod_binary64_1134` `distribute-lft-out--_binary64_1053` `cbrt-undiv_binary64_1135` `cancel-sign-sub-inv_binary64_1067`
3×	`flip--_binary64_1076` `flip3--_binary64_1105`
2×	`diff-log_binary64_1193` `1-exp_binary64_1145` `sub-neg_binary64_1094` `div-inv_binary64_1098` `rec-exp_binary64_1151` `sqrt-div_binary64_1118`
1×	`-commutative_binary64_1032` `rem-sqrt-square_binary64_1114` `frac-times_binary64_1111` `sqrt-pow1_binary64_1119` `associate-r/_binary64_1043` `pow-prod-down_binary64_1172` `associate-*l/_binary64_1044` `pow1/2_binary64_1181`

Counts

4 → 109

Calls

8 calls:

23.0ms	(.f64 (/.f64 1 a) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) 2))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.0ms	(.f64 (/.f64 1 a) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) 2))

series615.0ms (0.7%)

Counts

4 → 62

Calls

4 calls:

209.0ms	(.f64 (/.f64 1 a) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) 2))
156.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
127.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
122.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)

Compiler

Compiled 1961 to 1693 computations (13.7% saved)

simplify61.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5060	3573

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

4.6b	(log.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
0.8b	(+.f64 (neg.f64 b) (log.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.0b	(/.f64 (+.f64 (neg.f64 b) (log.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.8b	(+.f64 (neg.f64 b) (log.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
4.6b	(log.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64_1101`
10×	`add-sqr-sqrt_binary64_1123`
9×	`add-cube-cbrt_binary64_1136` `log-pow_binary64_1190`
8×	`add-log-exp_binary64_1140` `pow1_binary64_1162`
6×	`exp-prod_binary64_1153` `sqrt-prod_binary64_1117` `log-prod_binary64_1187`
4×	`distribute-lft-out_binary64_1052` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
3×	`associate-+r+_binary64_1033`
2×	`distribute-rgt-neg-in_binary64_1059` `sum-log_binary64_1192` `flip--_binary64_1076` `flip3--_binary64_1105` `sqrt-div_binary64_1118`
1×	`diff-log_binary64_1193` `rem-sqrt-square_binary64_1114` `sub-neg_binary64_1094` `rem-log-exp_binary64_1142` `sqrt-pow1_binary64_1119` `neg-log_binary64_1194` `flip3-+_binary64_1104` `neg-sub0_binary64_1096` `associate-+l-_binary64_1036` `+-commutative_binary64_1031` `flip-+_binary64_1075` `cancel-sign-sub-inv_binary64_1067` `pow1/2_binary64_1181`

Counts

4 → 65

Calls

8 calls:

12.0ms	(+.f64 (neg.f64 b) (log.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
7.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
5.0ms	(log.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.0ms	(/.f64 (+.f64 (neg.f64 b) (log.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))

series660.0ms (0.8%)

Counts

4 → 57

Calls

4 calls:

227.0ms	(+.f64 (neg.f64 b) (log.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
195.0ms	(log.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
152.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
85.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1811 to 1582 computations (12.6% saved)

simplify94.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4887	1825
1	4887	1825

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) 2)))
0.2b	(/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)) 2))
0.1b	(sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
0.1b	(sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b))
1.6b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
1.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
10×	`add-log-exp_binary64_1140`
7×	`sqrt-prod_binary64_1117` `add-cube-cbrt_binary64_1136`
6×	`pow1_binary64_1162`
4×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137` `sqrt-div_binary64_1118`
3×	`flip--_binary64_1076` `flip3--_binary64_1105` `cancel-sign-sub-inv_binary64_1067`
2×	`rem-sqrt-square_binary64_1114` `difference-of-squares_binary64_1070` `distribute-lft-out_binary64_1052` `sum-log_binary64_1192` `sqrt-pow1_binary64_1119` `pow1/2_binary64_1181`
1×	`distribute-rgt-neg-in_binary64_1059` `diff-log_binary64_1193` `sub-neg_binary64_1094` `neg-log_binary64_1194` `distribute-lft-out--_binary64_1053` `flip3-+_binary64_1104` `neg-sub0_binary64_1096` `associate-+l-_binary64_1036` `+-commutative_binary64_1031` `flip-+_binary64_1075`

Counts

4 → 62

Calls

8 calls:

9.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
5.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)))
0.0ms	(sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b))

series532.0ms (0.6%)

Counts

4 → 58

Calls

4 calls:

135.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
134.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
133.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
129.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 3444 to 2648 computations (23.1% saved)

simplify80.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4923	2074
1	4923	2074

prune7.2s (8.8%)

Pruning

245 alts after pruning (238 fresh and 7 done)

	Pruned	Kept	Total
New	382	173	555
Fresh	20	65	85
Picked	0	0	0
Done	0	7	7
Total	402	245	647

Error

6.7b

Counts

647 → 245

Compiler

Compiled 15562 to 10242 computations (34.2% saved)

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
1.6b	(-.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))) b)
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.1b	(/.f64 (-.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) b) (.f64 a 2))
0.1b	(/.f64 (-.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) b) (.f64 a 2))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
1.6b	(-.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))) b)
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_1123`
14×	`*-un-lft-identity_binary64_1101`
9×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
8×	`add-log-exp_binary64_1140` `add-cube-cbrt_binary64_1136`
5×	`pow1_binary64_1162` `associate-/l*_binary64_1046` `times-frac_binary64_1107`
4×	`flip--_binary64_1076` `flip3--_binary64_1105` `cancel-sign-sub-inv_binary64_1067`
3×	`difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053` `sqrt-prod_binary64_1117`
2×	`diff-log_binary64_1193` `sub-neg_binary64_1094` `associate-/l/_binary64_1048` `sqrt-div_binary64_1118` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135`
1×	`rem-sqrt-square_binary64_1114` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `frac-2neg_binary64_1112` `sqrt-pow1_binary64_1119` `clear-num_binary64_1100` `div-inv_binary64_1098` `associate-/r*_binary64_1045` `pow1/2_binary64_1181` `div-sub_binary64_1106`

Counts

4 → 71

Calls

8 calls:

10.0ms	(/.f64 (-.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) b) (.f64 a 2))
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
4.0ms	(-.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))) b)
0.0ms	(/.f64 (-.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) b) (.f64 a 2))

series552.0ms (0.7%)

Counts

4 → 56

Calls

4 calls:

222.0ms	(/.f64 (-.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) b) (.f64 a 2))
154.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
96.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
80.0ms	(-.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))) b)

Compiler

Compiled 1573 to 1381 computations (12.2% saved)

simplify82.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4887	2413
1	4887	2413

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

1.5b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (-.f64 b (.f64 2 (/.f64 (.f64 a c) b)))))) (*.f64 2 a))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.1b	(.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (-.f64 b (.f64 2 (/.f64 (.f64 a c) b))))
0.0b	(.f64 2 (/.f64 (.f64 a c) b))
1.6b	(+.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (-.f64 b (.f64 2 (/.f64 (.f64 a c) b))))))
5.8b	(/.f64 (*.f64 a c) b)
15.3b	(sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (-.f64 b (.f64 2 (/.f64 (.f64 a c) b)))))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite36.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`sqrt-div_binary64_1118`
11×	`*-un-lft-identity_binary64_1101`
9×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
8×	`add-sqr-sqrt_binary64_1123` `add-log-exp_binary64_1140` `pow1_binary64_1162`
7×	`flip--_binary64_1076` `flip3--_binary64_1105` `add-cube-cbrt_binary64_1136`
4×	`frac-times_binary64_1111` `sqrt-prod_binary64_1117`
3×	`sqrt-pow1_binary64_1119` `times-frac_binary64_1107` `associate-/r*_binary64_1045`
2×	`distribute-lft-out_binary64_1052` `sum-log_binary64_1192` `associate-r/_binary64_1043` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `associate-l/_binary64_1044` `pow1/2_binary64_1181`
1×	`distribute-rgt-neg-in_binary64_1059` `rem-sqrt-square_binary64_1114` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `frac-2neg_binary64_1112` `neg-log_binary64_1194` `clear-num_binary64_1100` `flip3-+_binary64_1104` `neg-sub0_binary64_1096` `div-inv_binary64_1098` `associate-/l*_binary64_1046` `associate-+l-_binary64_1036` `+-commutative_binary64_1031` `pow-prod-down_binary64_1172` `flip-+_binary64_1075`

Counts

4 → 70

Calls

8 calls:

12.0ms	(sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (-.f64 b (.f64 2 (/.f64 (.f64 a c) b)))))
6.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (-.f64 b (.f64 2 (/.f64 (.f64 a c) b))))))
5.0ms	(/.f64 (*.f64 a c) b)
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.0ms	(.f64 2 (/.f64 (.f64 a c) b))

series765.0ms (0.9%)

Counts

4 → 47

Calls

4 calls:

272.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (-.f64 b (.f64 2 (/.f64 (.f64 a c) b))))))
271.0ms	(sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (-.f64 b (.f64 2 (/.f64 (.f64 a c) b)))))
118.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
103.0ms	(/.f64 (*.f64 a c) b)

Compiler

Compiled 2585 to 2057 computations (20.4% saved)

simplify73.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4998	2747
1	4998	2747

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (.f64 a (.f64 c -4))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)) 2)))
0.2b	(/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)) 2))
0.1b	(sqrt.f64 (-.f64 (sqrt.f64 (.f64 a (.f64 c -4))) b))
0.1b	(sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
1.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
12.5b	(sqrt.f64 (.f64 a (.f64 c -4)))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_1123` `pow1_binary64_1162`
8×	`*-un-lft-identity_binary64_1101` `add-log-exp_binary64_1140`
6×	`add-cube-cbrt_binary64_1136`
5×	`sqrt-prod_binary64_1117`
4×	`add-exp-log_binary64_1139` `sqrt-pow1_binary64_1119` `add-cbrt-cube_binary64_1137` `cancel-sign-sub-inv_binary64_1067`
3×	`flip--_binary64_1076` `flip3--_binary64_1105` `pow-prod-down_binary64_1172`
2×	`diff-log_binary64_1193` `difference-of-squares_binary64_1070` `sub-neg_binary64_1094` `sqrt-div_binary64_1118` `pow1/2_binary64_1181`
1×	`rem-sqrt-square_binary64_1114` `distribute-lft-out--_binary64_1053`

Counts

4 → 56

Calls

8 calls:

8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
6.0ms	(sqrt.f64 (.f64 a (.f64 c -4)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.0ms	(sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b))

series447.0ms (0.5%)

Counts

4 → 52

Calls

4 calls:

161.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
130.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
113.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
43.0ms	(sqrt.f64 (.f64 a (.f64 c -4)))

Compiler

Compiled 2501 to 2005 computations (19.8% saved)

simplify89.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4904	1552
1	4904	1552

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
0.0b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 a (/.f64 (sqrt.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)))) 2)))
0.0b	(/.f64 a (/.f64 (sqrt.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)))) 2))
0.0b	(sqrt.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b))))
1.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
3.5b	(log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite40.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_1123`
14×	`*-un-lft-identity_binary64_1101`
10×	`add-cube-cbrt_binary64_1136`
8×	`sqrt-prod_binary64_1117`
7×	`pow1_binary64_1162` `log-prod_binary64_1187` `log-pow_binary64_1190`
6×	`add-log-exp_binary64_1140` `exp-prod_binary64_1153` `cancel-sign-sub-inv_binary64_1067`
4×	`exp-sum_binary64_1147` `difference-of-squares_binary64_1070` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137` `sqrt-div_binary64_1118`
3×	`flip--_binary64_1076` `flip3--_binary64_1105`
2×	`rem-sqrt-square_binary64_1114` `sub-neg_binary64_1094` `sqrt-pow1_binary64_1119` `distribute-lft-out--_binary64_1053` `pow1/2_binary64_1181`
1×	`diff-log_binary64_1193` `rem-log-exp_binary64_1142` `exp-diff_binary64_1149` `log-div_binary64_1188`

Counts

4 → 70

Calls

8 calls:

9.0ms	(log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)))
9.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
7.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
6.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.0ms	(sqrt.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b))))

series595.0ms (0.7%)

Counts

4 → 52

Calls

4 calls:

276.0ms	(log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)))
128.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
101.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
90.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 3289 to 2568 computations (21.9% saved)

simplify87.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4916	2070
1	4916	2070

prune11.1s (13.5%)

Pruning

379 alts after pruning (367 fresh and 12 done)

	Pruned	Kept	Total
New	325	149	474
Fresh	15	218	233
Picked	0	0	0
Done	0	12	12
Total	340	379	719

Error

6.7b

Counts

719 → 379

Compiler

Compiled 20624 to 13820 computations (33% saved)

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
1.6b	(+.f64 (neg.f64 b) (+.f64 (log.f64 1) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.1b	(/.f64 (+.f64 (neg.f64 b) (+.f64 (log.f64 1) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
0.1b	(/.f64 (+.f64 (neg.f64 b) (+.f64 (log.f64 1) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
1.6b	(+.f64 (neg.f64 b) (+.f64 (log.f64 1) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite45.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

49×	`*-un-lft-identity_binary64_1101`
30×	`distribute-lft-out_binary64_1052`
14×	`add-log-exp_binary64_1140`
11×	`pow1_binary64_1162`
9×	`distribute-rgt-neg-in_binary64_1059` `add-exp-log_binary64_1139` `associate-/l*_binary64_1046` `times-frac_binary64_1107` `add-cbrt-cube_binary64_1137`
8×	`add-sqr-sqrt_binary64_1123`
7×	`add-cube-cbrt_binary64_1136`
6×	`sum-log_binary64_1192` `log-pow_binary64_1190`
3×	`sqrt-prod_binary64_1117`
2×	`neg-log_binary64_1194` `flip--_binary64_1076` `flip3--_binary64_1105` `flip3-+_binary64_1104` `neg-sub0_binary64_1096` `associate-/l/_binary64_1048` `associate-+l-_binary64_1036` `sqrt-div_binary64_1118` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `flip-+_binary64_1075`
1×	`diff-log_binary64_1193` `rem-sqrt-square_binary64_1114` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `frac-2neg_binary64_1112` `sub-neg_binary64_1094` `sqrt-pow1_binary64_1119` `clear-num_binary64_1100` `associate-+r+_binary64_1033` `div-inv_binary64_1098` `+-commutative_binary64_1031` `cancel-sign-sub-inv_binary64_1067` `associate-/r*_binary64_1045` `pow1/2_binary64_1181` `div-sub_binary64_1106`

Counts

4 → 85

Calls

8 calls:

16.0ms	(/.f64 (+.f64 (neg.f64 b) (+.f64 (log.f64 1) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
11.0ms	(+.f64 (neg.f64 b) (+.f64 (log.f64 1) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.0ms	(/.f64 (+.f64 (neg.f64 b) (+.f64 (log.f64 1) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))

series596.0ms (0.7%)

Counts

4 → 62

Calls

4 calls:

204.0ms	(/.f64 (+.f64 (neg.f64 b) (+.f64 (log.f64 1) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
146.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
126.0ms	(+.f64 (neg.f64 b) (+.f64 (log.f64 1) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
120.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 2021 to 1753 computations (13.3% saved)

simplify76.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5647	3056

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (/.f64 b a) -1/2)
0.0b	(*.f64 (/.f64 b a) -1/2)

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_1123`
13×	`associate-l_binary64_1042`
10×	`times-frac_binary64_1107`
9×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
6×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
3×	`pow1_binary64_1162` `associate-r_binary64_1041`
2×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `unswap-sqr_binary64_1069`
1×	`-commutative_binary64_1032` `add-log-exp_binary64_1140` `div-inv_binary64_1098` `pow-prod-down_binary64_1172` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `associate-l/_binary64_1044`

Counts

1 → 32

Calls

2 calls:

6.0ms	(*.f64 (/.f64 b a) -1/2)
0.0ms	(*.f64 (/.f64 b a) -1/2)

series56.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

56.0ms

(*.f64 (/.f64 b a) -1/2)

Compiler

Compiled 60 to 72 computations (-20% saved)

simplify115.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	4899	357
1	4899	357

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

1.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.3b	(pow.f64 (/.f64 (.f64 1/2 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) a) 3)
0.1b	(/.f64 (.f64 1/2 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) a)
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
1.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
22.8b	(cbrt.f64 (pow.f64 (/.f64 (.f64 1/2 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) a) 3))

rewrite32.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`cbrt-prod_binary64_1132`
16×	`add-sqr-sqrt_binary64_1123`
13×	`*-un-lft-identity_binary64_1101`
11×	`add-cube-cbrt_binary64_1136`
8×	`add-log-exp_binary64_1140`
7×	`cube-prod_binary64_1129` `unpow-prod-down_binary64_1180`
6×	`times-frac_binary64_1107`
5×	`pow1_binary64_1162`
4×	`add-exp-log_binary64_1139` `sqrt-prod_binary64_1117` `add-cbrt-cube_binary64_1137` `cancel-sign-sub-inv_binary64_1067`
3×	`flip--_binary64_1076` `flip3--_binary64_1105`
2×	`diff-log_binary64_1193` `difference-of-squares_binary64_1070` `sub-neg_binary64_1094` `div-inv_binary64_1098` `sqrt-div_binary64_1118`
1×	`cube-mult_binary64_1131` `rem-sqrt-square_binary64_1114` `pow1/3_binary64_1183` `sqrt-pow1_binary64_1119` `distribute-lft-out--_binary64_1053` `cube-div_binary64_1130` `unpow3_binary64_1167` `sqr-pow_binary64_1073` `cbrt-div_binary64_1133` `pow1/2_binary64_1181` `rem-cbrt-cube_binary64_1125`

Counts

4 → 74

Calls

8 calls:

8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
7.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
4.0ms	(cbrt.f64 (pow.f64 (/.f64 (.f64 1/2 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) a) 3))
0.0ms	(/.f64 (.f64 1/2 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) a)

series621.0ms (0.8%)

Counts

4 → 62

Calls

4 calls:

211.0ms	(cbrt.f64 (pow.f64 (/.f64 (.f64 1/2 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) a) 3))
158.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
128.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
124.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)

Compiler

Compiled 2081 to 1813 computations (12.9% saved)

simplify92.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4926	2704
1	4926	2704

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.9b	(+.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.3b	(pow.f64 (.f64 (.f64 4 a) c) 3)
0.1b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 (.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) b) (*.f64 a 2))
0.0b	(.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c))))
4.3b	(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 (.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) b)
6.6b	(+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
21.1b	(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 (.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))))
43.5b	(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 (.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))

rewrite93.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

93×	`add-sqr-sqrt_binary64_1123`
62×	`times-frac_binary64_1107`
50×	`*-un-lft-identity_binary64_1101`
45×	`difference-of-squares_binary64_1070`
38×	`sqrt-prod_binary64_1117`
35×	`sqr-pow_binary64_1073`
34×	`add-cube-cbrt_binary64_1136`
14×	`unpow-prod-down_binary64_1180`
10×	`associate-/l*_binary64_1046`
8×	`add-log-exp_binary64_1140` `distribute-lft-out--_binary64_1053`
6×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
5×	`pow1_binary64_1162`
4×	`distribute-lft-in_binary64_1050` `associate-+r+_binary64_1033` `associate-/r/_binary64_1047` `distribute-rgt-in_binary64_1051`
3×	`flip3-+_binary64_1104` `flip-+_binary64_1075` `cancel-sign-sub-inv_binary64_1067` `associate-/r*_binary64_1045`
2×	`rem-sqrt-square_binary64_1114` `flip--_binary64_1076` `flip3--_binary64_1105` `associate-/l/_binary64_1048` `div-inv_binary64_1098`
1×	`diff-log_binary64_1193` `frac-2neg_binary64_1112` `sum-log_binary64_1192` `sub-neg_binary64_1094` `sqrt-pow1_binary64_1119` `clear-num_binary64_1100` `+-commutative_binary64_1031` `sqrt-div_binary64_1118` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `pow1/2_binary64_1181` `div-sub_binary64_1106`

Counts

4 → 141

Calls

8 calls:

27.0ms	(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 (.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) b)
20.0ms	(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 (.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
15.0ms	(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 (.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))))
6.0ms	(+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
0.0ms	(.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c))))

series1.7s (2%)

Counts

4 → 66

Calls

4 calls:

913.0ms	(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 (.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
312.0ms	(+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
230.0ms	(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 (.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))))
219.0ms	(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 (.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) b)

Compiler

Compiled 2325 to 1950 computations (16.1% saved)

simplify120.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

207 → 207

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5269	10879

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b	(cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
0.5b	(.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
0.3b	(.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
0.1b	(/.f64 (+.f64 (neg.f64 b) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
12.6b	(+.f64 (neg.f64 b) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64_1123`
9×	`sqrt-prod_binary64_1117`
8×	`add-log-exp_binary64_1140`
7×	`*-un-lft-identity_binary64_1101` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136`
6×	`sqrt-div_binary64_1118`
4×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
3×	`rem-sqrt-square_binary64_1114` `sqrt-pow1_binary64_1119` `flip--_binary64_1076` `flip3--_binary64_1105` `pow1/2_binary64_1181`
2×	`sum-log_binary64_1192`
1×	`neg-log_binary64_1194` `flip3-+_binary64_1104` `neg-sub0_binary64_1096` `associate-+l-_binary64_1036` `+-commutative_binary64_1031` `flip-+_binary64_1075`

Counts

4 → 58

Calls

8 calls:

5.0ms	(+.f64 (neg.f64 b) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
4.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)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.0ms	(/.f64 (+.f64 (neg.f64 b) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))

series555.0ms (0.7%)

Counts

4 → 61

Calls

4 calls:

146.0ms	(+.f64 (neg.f64 b) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
138.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
136.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
135.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 3997 to 2967 computations (25.8% saved)

simplify90.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5058	1928

prune22.6s (27.5%)

Pruning

582 alts after pruning (566 fresh and 16 done)

	Pruned	Kept	Total
New	426	221	647
Fresh	17	345	362
Picked	0	0	0
Done	1	16	17
Total	444	582	1026

Error

6.7b

Counts

1026 → 582

Compiler

Compiled 13787 to 8520 computations (38.2% saved)

simplify629.0ms (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5018	47455

regimes21.0s (25.5%)

Compiler: Compiled 72033 to 52848 computations (26.6% saved)

bsearch135.0ms (0.2%)

Steps

Iters

Range

Point

1.033968233958403e+50

5.07779267100886e+50

3.5210644500600335e+50

3.7180085082463723e-159

1.6102224039687874e-143

3.002773495656876e-150

-1.0050583719491845e+110

-1.844395747704498e+108

-1.3447584199663284e+109

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes772.0ms (0.9%)

Compiler: Compiled 2382 to 2115 computations (11.2% saved)

bsearch68.0ms (0.1%)

Steps

Iters	Range		Point
9	2.504989408308564e-11	0.006541542968490302	2.624161150164621e-11
7	-1.0050583719491845e+110	-1.844395747704498e+108	-8.035059411985508e+108

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes530.0ms (0.6%)

Compiler: Compiled 1200 to 1155 computations (3.8% saved)

bsearch68.0ms (0.1%)

Steps

Iters	Range		Point
9	2.504989408308564e-11	0.006541542968490302	2.783056805972697e-11
8	-1.6697993050475805e-69	-9.159989409978773e-74	-5.275499183256394e-73

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes479.0ms (0.6%)

Compiler: Compiled 1032 to 1014 computations (1.7% saved)

bsearch70.0ms (0.1%)

Steps

Iters	Range		Point
9	2.504989408308564e-11	0.006541542968490302	3.450208845312404e-11
8	-1.6697993050475805e-69	-9.159989409978773e-74	-6.767664192189726e-73

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes516.0ms (0.6%)

Compiler: Compiled 846 to 840 computations (0.7% saved)

bsearch65.0ms (0.1%)

Steps

Iters	Range		Point
9	2.504989408308564e-11	0.006541542968490302	2.5447133222605828e-11
7	-3.333849182667395e-106	-1.7235904481006175e-107	-2.0851517047750132e-106

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes270.0ms (0.3%)

Compiler: Compiled 666 to 663 computations (0.5% saved)

bsearch40.0ms (0%)

Steps

Iters	Range		Point
10	3.0666223463752466e-192	2.7973734015459044e-182	3.094968887251983e-192

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes198.0ms (0.2%)

Compiler: Compiled 615 to 612 computations (0.5% saved)

bsearch38.0ms (0%)

Steps

Iters	Range		Point
10	3.0666223463752466e-192	2.7973734015459044e-182	3.094968887251983e-192

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes45.0ms (0.1%)

Compiler: Compiled 27 to 69 computations (-155.6% saved)

bsearch33.0ms (0%)

Steps

Iters	Range		Point
9	-2.5467644485925733e-307	5.007794394484291e-303	5.0110558632484e-310

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes27.0ms (0%)

Compiler: Compiled 15 to 54 computations (-260% saved)

bsearch12.0ms (0%)

Compiler: Compiled 219 to 165 computations (24.7% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	150	326
1	150	326

end0.0ms (0%)

sample2.6s (3.1%)

Algorithm

1×

intervals

Results

297.0ms	1109×	body	2048	valid
293.0ms	5205×	body	128	valid
171.0ms	802×	body	1024	valid
126.0ms	387×	body	4096	valid
58.0ms	350×	body	512	valid
34.0ms	646×	body	128	nan
22.0ms	390×	body	128	invalid
19.0ms	147×	body	256	valid

Compiler

Compiled 24507 to 17986 computations (26.6% saved)