Details

analyze4.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample24.0ms (0.1%)

Algorithm

1×

intervals

Results

9.0ms	256×	pre	128	true
6.0ms	256×	body	128	valid

Compiler

Compiled 21 to 20 computations (4.8% saved)

simplify161.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	1003	10
1	1003	10

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

62.0b

Counts

2 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

62.0b	(/.f64 (-.f64 x lo) (-.f64 hi lo))
62.0b	(/.f64 (-.f64 x lo) (-.f64 hi lo))

rewrite14.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
25×	`times-frac_binary64_1107`
13×	`add-cube-cbrt_binary64_1136`
12×	`difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053`
5×	`associate-/l_binary64_1046` `associate-/r_binary64_1045`
3×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
2×	`flip--_binary64_1076` `flip3--_binary64_1105` `associate-/l/_binary64_1048` `associate-/r/_binary64_1047`
1×	`add-log-exp_binary64_1140` `frac-2neg_binary64_1112` `pow1_binary64_1162` `clear-num_binary64_1100` `div-inv_binary64_1098` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `div-sub_binary64_1106`

Counts

1 → 52

Calls

2 calls:

10.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))
0.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))

series63.0ms (0.1%)

Counts

1 → 10

Calls

1 calls:

62.0ms

(/.f64 (-.f64 x lo) (-.f64 hi lo))

Compiler

Compiled 201 to 165 computations (17.9% saved)

simplify55.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5114	1055

prune216.0ms (0.5%)

Pruning

29 alts after pruning (28 fresh and 1 done)

	Pruned	Kept	Total
New	34	28	62
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	34	29	63

Error

51.8b

Counts

63 → 29

Compiler

Compiled 1069 to 398 computations (62.8% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 x lo) hi)
0.0b	(/.f64 (-.f64 x lo) hi)

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
15×	`times-frac_binary64_1107`
11×	`add-cube-cbrt_binary64_1136`
5×	`associate-/l*_binary64_1046`
4×	`difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053`
3×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137` `associate-/r*_binary64_1045`
2×	`associate-/l/_binary64_1048`
1×	`add-log-exp_binary64_1140` `frac-2neg_binary64_1112` `pow1_binary64_1162` `clear-num_binary64_1100` `flip--_binary64_1076` `flip3--_binary64_1105` `div-inv_binary64_1098` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `div-sub_binary64_1106`

Counts

1 → 38

Calls

2 calls:

9.0ms	(/.f64 (-.f64 x lo) hi)
0.0ms	(/.f64 (-.f64 x lo) hi)

series82.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

82.0ms

(/.f64 (-.f64 x lo) hi)

Compiler

Compiled 121 to 118 computations (2.5% saved)

simplify90.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	5044	599

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

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

62.0b	(/.f64 (-.f64 (.f64 x x) (.f64 lo lo)) (*.f64 (-.f64 hi lo) (+.f64 x lo)))
14.3b	(-.f64 (.f64 x x) (.f64 lo lo))
14.3b	(-.f64 (.f64 x x) (.f64 lo lo))
62.0b	(/.f64 (-.f64 (.f64 x x) (.f64 lo lo)) (*.f64 (-.f64 hi lo) (+.f64 x lo)))

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`associate-/r/_binary64_1047`
7×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
5×	`flip--_binary64_1076` `flip3--_binary64_1105`
4×	`add-sqr-sqrt_binary64_1123` `-un-lft-identity_binary64_1101` `frac-times_binary64_1111` `add-log-exp_binary64_1140` `add-cube-cbrt_binary64_1136` `associate-/l_binary64_1046` `times-frac_binary64_1107`
3×	`difference-of-squares_binary64_1070` `flip3-+_binary64_1104` `flip-+_binary64_1075`
2×	`pow1_binary64_1162` `associate-/l/_binary64_1048` `associate-r/_binary64_1043` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `associate-l/_binary64_1044`
1×	`diff-log_binary64_1193` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `frac-2neg_binary64_1112` `sub-neg_binary64_1094` `clear-num_binary64_1100` `div-inv_binary64_1098` `cancel-sign-sub-inv_binary64_1067` `associate-/r*_binary64_1045` `div-sub_binary64_1106`

Counts

2 → 47

Calls

4 calls:

13.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 lo lo)) (*.f64 (-.f64 hi lo) (+.f64 x lo)))
4.0ms	(-.f64 (.f64 x x) (.f64 lo lo))
0.0ms	(-.f64 (.f64 x x) (.f64 lo lo))
0.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 lo lo)) (*.f64 (-.f64 hi lo) (+.f64 x lo)))

series155.0ms (0.4%)

Counts

2 → 17

Calls

2 calls:

125.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 lo lo)) (*.f64 (-.f64 hi lo) (+.f64 x lo)))
30.0ms	(-.f64 (.f64 x x) (.f64 lo lo))

Compiler

Compiled 614 to 446 computations (27.4% saved)

simplify38.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5649	1055

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

62.0b	(/.f64 (-.f64 x lo) (-.f64 hi lo))
0.5b	(*.f64 (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))
0.1b	(sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))
0.1b	(sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))
0.1b	(sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))
0.5b	(*.f64 (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))
62.0b	(/.f64 (-.f64 x lo) (-.f64 hi lo))
62.0b	(/.f64 (-.f64 x lo) (-.f64 hi lo))

rewrite120.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

343×	`*-un-lft-identity_binary64_1101`
296×	`add-sqr-sqrt_binary64_1123`
232×	`times-frac_binary64_1107`
217×	`sqrt-prod_binary64_1117`
110×	`distribute-lft-out--_binary64_1053`
95×	`add-cube-cbrt_binary64_1136`
82×	`difference-of-squares_binary64_1070`
60×	`swap-sqr_binary64_1068`
34×	`associate-r_binary64_1041` `associate-l_binary64_1042`
20×	`pow1_binary64_1162`
14×	`associate-/r/_binary64_1047`
10×	`add-exp-log_binary64_1139` `associate-/l_binary64_1046` `add-cbrt-cube_binary64_1137` `associate-/r_binary64_1045`
9×	`sqrt-pow1_binary64_1119` `flip--_binary64_1076` `flip3--_binary64_1105` `unswap-sqr_binary64_1069` `pow1/2_binary64_1181`
7×	`div-inv_binary64_1098`
6×	`rem-sqrt-square_binary64_1114`
5×	`pow-prod-up_binary64_1171` `sqrt-div_binary64_1118`
4×	`add-log-exp_binary64_1140` `associate-/l/_binary64_1048`
3×	`pow-sqr_binary64_1074` `pow-prod-down_binary64_1172`
2×	`frac-2neg_binary64_1112` `clear-num_binary64_1100` `div-exp_binary64_1152` `sqr-abs_binary64_1116` `cbrt-undiv_binary64_1135` `div-sub_binary64_1106`
1×	`pow-plus_binary64_1164` `-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `frac-times_binary64_1111` `prod-exp_binary64_1150` `rem-square-sqrt_binary64_1113` `associate-r/_binary64_1043` `associate-*l/_binary64_1044` `sqrt-unprod_binary64_1121` `pow2_binary64_1182`

Counts

4 → 314

Calls

8 calls:

45.0ms	(*.f64 (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))
11.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))
9.0ms	(sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))
9.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))
0.0ms	(sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))

series321.0ms (0.8%)

Counts

4 → 39

Calls

4 calls:

101.0ms	(*.f64 (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))
90.0ms	(sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))
66.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))
63.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))

Compiler

Compiled 1664 to 1192 computations (28.4% saved)

simplify114.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

353 → 353

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5670	6786

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

prune6.0s (14.3%)

Pruning

105 alts after pruning (102 fresh and 3 done)

	Pruned	Kept	Total
New	375	92	467
Fresh	13	10	23
Picked	0	0	0
Done	3	3	6
Total	391	105	496

Error

51.8b

Counts

496 → 105

Compiler

Compiled 8346 to 2186 computations (73.8% saved)

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

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 lo x) lo)
0.0b	(/.f64 (-.f64 lo x) lo)

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
15×	`times-frac_binary64_1107`
11×	`add-cube-cbrt_binary64_1136`
5×	`associate-/l*_binary64_1046`
4×	`difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053`
3×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137` `associate-/r*_binary64_1045`
2×	`associate-/l/_binary64_1048`
1×	`add-log-exp_binary64_1140` `frac-2neg_binary64_1112` `pow1_binary64_1162` `clear-num_binary64_1100` `flip--_binary64_1076` `flip3--_binary64_1105` `div-inv_binary64_1098` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `div-sub_binary64_1106`

Counts

1 → 38

Calls

2 calls:

6.0ms	(/.f64 (-.f64 lo x) lo)
0.0ms	(/.f64 (-.f64 lo x) lo)

series47.0ms (0.1%)

Counts

1 → 9

Calls

1 calls:

47.0ms

(/.f64 (-.f64 lo x) lo)

Compiler

Compiled 63 to 84 computations (-33.3% saved)

simplify82.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4986	564
1	4986	564

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

62.0b	(/.f64 (-.f64 x lo) (-.f64 hi lo))
0.5b	(pow.f64 (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) 2)
0.1b	(sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))
0.1b	(sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))
0.5b	(pow.f64 (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) 2)
62.0b	(/.f64 (-.f64 x lo) (-.f64 hi lo))

rewrite48.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

106×	`add-sqr-sqrt_binary64_1123`
103×	`*-un-lft-identity_binary64_1101`
76×	`times-frac_binary64_1107`
62×	`sqrt-prod_binary64_1117`
39×	`add-cube-cbrt_binary64_1136`
34×	`unpow-prod-down_binary64_1180`
32×	`difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053`
6×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `associate-/r/_binary64_1047`
5×	`associate-/l_binary64_1046` `add-cbrt-cube_binary64_1137` `associate-/r_binary64_1045`
4×	`flip--_binary64_1076` `flip3--_binary64_1105`
3×	`add-log-exp_binary64_1140` `pow-pow_binary64_1173` `pow-unpow_binary64_1178` `div-inv_binary64_1098`
2×	`rem-sqrt-square_binary64_1114` `sqrt-pow1_binary64_1119` `associate-/l/_binary64_1048` `pow1/2_binary64_1181`
1×	`pow-exp_binary64_1169` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `sqrt-pow2_binary64_1120` `sqrt-div_binary64_1118` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `sqr-pow_binary64_1073` `pow-to-exp_binary64_1170` `unpow2_binary64_1166` `div-sub_binary64_1106`

Counts

3 → 147

Calls

6 calls:

15.0ms	(pow.f64 (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) 2)
9.0ms	(sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))
9.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))
0.0ms	(sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))
0.0ms	(pow.f64 (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) 2)

series363.0ms (0.9%)

Counts

3 → 32

Calls

3 calls:

155.0ms	(pow.f64 (sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))) 2)
150.0ms	(sqrt.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo)))
58.0ms	(/.f64 (-.f64 x lo) (-.f64 hi lo))

Compiler

Compiled 1433 to 1149 computations (19.8% saved)

simplify78.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5249	3228

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

14.3b	(-.f64 (.f64 x x) (.f64 lo lo))
14.3b	(-.f64 (.f64 x x) (.f64 lo lo))
0.3b	(/.f64 (cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo))) (+.f64 x lo))
0.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo))) (cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo)))) (-.f64 hi lo)) (/.f64 (cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo))) (+.f64 x lo)))
60.4b	(cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo)))
60.4b	(cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo)))
60.4b	(cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo)))
61.4b	(/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo))) (cbrt.f64 (-.f64 (.f64 x x) (*.f64 lo lo)))) (-.f64 hi lo))

rewrite40.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-div_binary64_1133`
13×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
12×	`cbrt-prod_binary64_1132`
10×	`flip--_binary64_1076` `flip3--_binary64_1105`
9×	`add-exp-log_binary64_1139` `add-cube-cbrt_binary64_1136`
8×	`associate-/l/_binary64_1048`
7×	`add-cbrt-cube_binary64_1137`
5×	`difference-of-squares_binary64_1070` `times-frac_binary64_1107` `associate-/r*_binary64_1045`
4×	`frac-times_binary64_1111` `add-log-exp_binary64_1140` `pow1_binary64_1162`
3×	`pow1/3_binary64_1183`
2×	`distribute-lft-out--_binary64_1053` `associate-r/_binary64_1043` `associate-/r/_binary64_1047` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `associate-l/_binary64_1044`
1×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `div-inv_binary64_1098` `associate-/l*_binary64_1046`

Counts

4 → 77

Calls

8 calls:

16.0ms	(/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo))) (cbrt.f64 (-.f64 (.f64 x x) (*.f64 lo lo)))) (-.f64 hi lo))
5.0ms	(cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo)))
5.0ms	(cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo)))
4.0ms	(cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo)))
0.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo))) (cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo)))) (-.f64 hi lo)) (/.f64 (cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo))) (+.f64 x lo)))

series445.0ms (1.1%)

Counts

4 → 27

Calls

4 calls:

187.0ms	(/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo))) (cbrt.f64 (-.f64 (.f64 x x) (*.f64 lo lo)))) (-.f64 hi lo))
88.0ms	(cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo)))
88.0ms	(cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo)))
83.0ms	(cbrt.f64 (-.f64 (.f64 x x) (.f64 lo lo)))

Compiler

Compiled 2087 to 1409 computations (32.5% saved)

simplify98.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4961	1974
1	4961	1974

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b	(cbrt.f64 (-.f64 x lo))
0.4b	(cbrt.f64 (-.f64 x lo))
0.4b	(/.f64 (.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 (-.f64 x lo))) (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))
0.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 (-.f64 x lo))) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (/.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 hi)))
0.4b	(cbrt.f64 hi)
0.4b	(cbrt.f64 hi)
0.6b	(*.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 (-.f64 x lo)))
0.6b	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))

rewrite34.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`cbrt-prod_binary64_1132`
46×	`add-sqr-sqrt_binary64_1123`
36×	`*-un-lft-identity_binary64_1101`
22×	`add-cube-cbrt_binary64_1136`
18×	`pow1_binary64_1162`
16×	`swap-sqr_binary64_1068`
14×	`pow1/3_binary64_1183` `associate-r_binary64_1041` `associate-l_binary64_1042`
12×	`cbrt-div_binary64_1133`
8×	`add-exp-log_binary64_1139` `unswap-sqr_binary64_1069`
6×	`distribute-lft-out--_binary64_1053` `flip--_binary64_1076` `flip3--_binary64_1105`
4×	`difference-of-squares_binary64_1070` `frac-times_binary64_1111` `pow-prod-up_binary64_1171` `add-log-exp_binary64_1140` `pow-sqr_binary64_1074` `add-cbrt-cube_binary64_1137` `pow-prod-down_binary64_1172`
2×	`pow-plus_binary64_1164` `-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `associate-r/_binary64_1043` `associate-*l/_binary64_1044` `pow2_binary64_1182`

Counts

4 → 118

Calls

8 calls:

13.0ms	(*.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 (-.f64 x lo)))
7.0ms	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
1.0ms	(cbrt.f64 hi)
1.0ms	(cbrt.f64 hi)
0.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 (-.f64 x lo))) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (/.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 hi)))

series306.0ms (0.7%)

Counts

4 → 15

Calls

4 calls:

94.0ms	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
73.0ms	(cbrt.f64 hi)
72.0ms	(cbrt.f64 hi)
67.0ms	(*.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 (-.f64 x lo)))

Compiler

Compiled 759 to 501 computations (34% saved)

simplify74.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5025	1428

prune11.2s (26.9%)

Pruning

220 alts after pruning (212 fresh and 8 done)

	Pruned	Kept	Total
New	337	126	463
Fresh	11	86	97
Picked	0	0	0
Done	0	8	8
Total	348	220	568

Error

51.6b

Counts

568 → 220

Compiler

Compiled 13003 to 4497 computations (65.4% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b	(/.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 hi))
0.4b	(cbrt.f64 (-.f64 x lo))
0.4b	(/.f64 (pow.f64 (-.f64 x lo) 2/3) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi)))
0.3b	(.f64 (/.f64 (pow.f64 (-.f64 x lo) 2/3) (.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (/.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 hi)))
0.4b	(cbrt.f64 hi)
0.4b	(cbrt.f64 hi)
0.6b	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
7.3b	(pow.f64 (-.f64 x lo) 2/3)

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64_1123`
22×	`cbrt-prod_binary64_1132`
18×	`*-un-lft-identity_binary64_1101`
16×	`add-cube-cbrt_binary64_1136`
12×	`pow1_binary64_1162`
8×	`pow1/3_binary64_1183`
7×	`add-exp-log_binary64_1139`
6×	`swap-sqr_binary64_1068` `associate-r_binary64_1041` `associate-l_binary64_1042`
5×	`unpow-prod-down_binary64_1180`
4×	`add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137` `unswap-sqr_binary64_1069`
3×	`pow-unpow_binary64_1178`
2×	`pow-prod-up_binary64_1171` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172`
1×	`pow-plus_binary64_1164` `*-commutative_binary64_1032` `pow-exp_binary64_1169` `cbrt-unprod_binary64_1134` `difference-of-squares_binary64_1070` `prod-exp_binary64_1150` `pow-pow_binary64_1173` `distribute-lft-out--_binary64_1053` `sqr-pow_binary64_1073` `pow2_binary64_1182` `pow-to-exp_binary64_1170`

Counts

4 → 81

Calls

8 calls:

6.0ms	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
5.0ms	(pow.f64 (-.f64 x lo) 2/3)
1.0ms	(cbrt.f64 hi)
1.0ms	(cbrt.f64 hi)
0.0ms	(.f64 (/.f64 (pow.f64 (-.f64 x lo) 2/3) (.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (/.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 hi)))

series273.0ms (0.7%)

Counts

4 → 15

Calls

4 calls:

84.0ms	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
70.0ms	(cbrt.f64 hi)
68.0ms	(cbrt.f64 hi)
51.0ms	(pow.f64 (-.f64 x lo) 2/3)

Compiler

Compiled 706 to 536 computations (24.1% saved)

simplify69.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5294	684

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 lo x) (neg.f64 hi))
0.0b	(/.f64 (-.f64 lo x) (neg.f64 hi))

rewrite14.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
50×	`times-frac_binary64_1107`
30×	`add-cube-cbrt_binary64_1136`
18×	`distribute-rgt-neg-in_binary64_1059` `distribute-lft-neg-in_binary64_1058`
11×	`difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053`
10×	`associate-/r*_binary64_1045`
6×	`neg-mul-1_binary64_1097`
5×	`associate-/l*_binary64_1046`
3×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
2×	`associate-/l/_binary64_1048`
1×	`add-log-exp_binary64_1140` `frac-2neg_binary64_1112` `pow1_binary64_1162` `clear-num_binary64_1100` `flip--_binary64_1076` `flip3--_binary64_1105` `div-inv_binary64_1098` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `div-sub_binary64_1106`

Counts

1 → 80

Calls

2 calls:

8.0ms	(/.f64 (-.f64 lo x) (neg.f64 hi))
0.0ms	(/.f64 (-.f64 lo x) (neg.f64 hi))

series92.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

92.0ms

(/.f64 (-.f64 lo x) (neg.f64 hi))

Compiler

Compiled 125 to 122 computations (2.4% saved)

simplify62.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4909	1480
1	4909	1480

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b	(cbrt.f64 hi)
0.4b	(cbrt.f64 hi)
0.4b	(/.f64 (/.f64 (-.f64 x lo) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (cbrt.f64 hi))
0.3b	(/.f64 (-.f64 x lo) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi)))
0.4b	(cbrt.f64 hi)
0.4b	(cbrt.f64 hi)
0.4b	(cbrt.f64 hi)
0.6b	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))

rewrite14.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_1132`
23×	`add-sqr-sqrt_binary64_1123`
15×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
11×	`pow1_binary64_1162`
9×	`pow1/3_binary64_1183`
6×	`add-exp-log_binary64_1139` `swap-sqr_binary64_1068` `associate-r_binary64_1041` `associate-l_binary64_1042`
4×	`add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137` `unswap-sqr_binary64_1069`
2×	`pow-prod-up_binary64_1171` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172`
1×	`pow-plus_binary64_1164` `*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow2_binary64_1182`

Counts

4 → 73

Calls

8 calls:

6.0ms	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
1.0ms	(cbrt.f64 hi)
1.0ms	(cbrt.f64 hi)
1.0ms	(cbrt.f64 hi)
0.0ms	(/.f64 (-.f64 x lo) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi)))

series287.0ms (0.7%)

Counts

4 → 12

Calls

4 calls:

87.0ms	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
73.0ms	(cbrt.f64 hi)
65.0ms	(cbrt.f64 hi)
62.0ms	(cbrt.f64 hi)

Compiler

Compiled 346 to 286 computations (17.3% saved)

simplify72.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b	(cbrt.f64 (-.f64 x lo))
0.4b	(cbrt.f64 (-.f64 x lo))
0.4b	(/.f64 (.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 (-.f64 x lo))) (.f64 1 (pow.f64 hi 2/3)))
0.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 (-.f64 x lo))) (*.f64 1 (pow.f64 hi 2/3))) (/.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 hi)))
0.4b	(/.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 hi))
0.4b	(cbrt.f64 hi)
0.6b	(*.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 (-.f64 x lo)))
7.3b	(pow.f64 hi 2/3)

rewrite41.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

93×	`cbrt-prod_binary64_1132`
77×	`add-sqr-sqrt_binary64_1123`
75×	`*-un-lft-identity_binary64_1101`
48×	`times-frac_binary64_1107`
47×	`add-cube-cbrt_binary64_1136`
14×	`cbrt-div_binary64_1133`
13×	`distribute-lft-out--_binary64_1053`
12×	`pow1_binary64_1162`
11×	`difference-of-squares_binary64_1070`
10×	`swap-sqr_binary64_1068`
9×	`add-exp-log_binary64_1139`
8×	`associate-/l_binary64_1046` `associate-r_binary64_1041` `associate-l*_binary64_1042`
7×	`pow1/3_binary64_1183` `flip--_binary64_1076` `flip3--_binary64_1105`
6×	`associate-/r*_binary64_1045`
4×	`frac-times_binary64_1111` `add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137` `unswap-sqr_binary64_1069`
3×	`unpow-prod-down_binary64_1180` `pow-unpow_binary64_1178`
2×	`pow-prod-up_binary64_1171` `associate-/l/_binary64_1048` `associate-r/_binary64_1043` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172` `associate-l/_binary64_1044`
1×	`pow-plus_binary64_1164` `*-commutative_binary64_1032` `pow-exp_binary64_1169` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-pow_binary64_1173` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `div-inv_binary64_1098` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `sqr-pow_binary64_1073` `pow2_binary64_1182` `pow-to-exp_binary64_1170`

Counts

4 → 160

Calls

8 calls:

12.0ms	(*.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 (-.f64 x lo)))
8.0ms	(/.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 hi))
2.0ms	(pow.f64 hi 2/3)
1.0ms	(cbrt.f64 hi)
0.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 (-.f64 x lo))) (*.f64 1 (pow.f64 hi 2/3))) (/.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 hi)))

series412.0ms (1%)

Counts

4 → 22

Calls

4 calls:

213.0ms	(/.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 hi))
69.0ms	(cbrt.f64 hi)
67.0ms	(*.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 (-.f64 x lo)))
61.0ms	(pow.f64 hi 2/3)

Compiler

Compiled 1291 to 991 computations (23.2% saved)

simplify75.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5011	2971

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b	(cbrt.f64 hi)
0.4b	(/.f64 (cbrt.f64 (-.f64 x lo)) (cbrt.f64 hi))
0.4b	(cbrt.f64 (-.f64 x lo))
0.4b	(cbrt.f64 (-.f64 x lo))
0.4b	(cbrt.f64 hi)
0.4b	(cbrt.f64 hi)
0.6b	(pow.f64 (cbrt.f64 (-.f64 x lo)) 2)
0.6b	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64_1123` `cbrt-prod_binary64_1132`
19×	`*-un-lft-identity_binary64_1101`
17×	`add-cube-cbrt_binary64_1136`
12×	`pow1_binary64_1162`
9×	`pow1/3_binary64_1183`
8×	`unpow-prod-down_binary64_1180`
7×	`add-exp-log_binary64_1139`
6×	`swap-sqr_binary64_1068` `associate-r_binary64_1041` `associate-l_binary64_1042`
4×	`add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137` `unswap-sqr_binary64_1069`
3×	`pow-unpow_binary64_1178`
2×	`pow-prod-up_binary64_1171` `pow-pow_binary64_1173` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172`
1×	`pow-plus_binary64_1164` `*-commutative_binary64_1032` `pow-exp_binary64_1169` `cbrt-unprod_binary64_1134` `difference-of-squares_binary64_1070` `prod-exp_binary64_1150` `distribute-lft-out--_binary64_1053` `sqr-pow_binary64_1073` `pow2_binary64_1182` `pow-to-exp_binary64_1170` `unpow2_binary64_1166`

Counts

4 → 86

Calls

8 calls:

7.0ms	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
5.0ms	(pow.f64 (cbrt.f64 (-.f64 x lo)) 2)
1.0ms	(cbrt.f64 hi)
1.0ms	(cbrt.f64 hi)
0.0ms	(cbrt.f64 (-.f64 x lo))

series307.0ms (0.7%)

Counts

4 → 15

Calls

4 calls:

89.0ms	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
73.0ms	(cbrt.f64 hi)
73.0ms	(pow.f64 (cbrt.f64 (-.f64 x lo)) 2)
71.0ms	(cbrt.f64 hi)

Compiler

Compiled 788 to 601 computations (23.7% saved)

simplify74.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5103	803

prune13.4s (32.2%)

Pruning

327 alts after pruning (316 fresh and 11 done)

	Pruned	Kept	Total
New	407	149	556
Fresh	40	167	207
Picked	0	0	0
Done	2	11	13
Total	449	327	776

Error

51.6b

Counts

776 → 327

Compiler

Compiled 8195 to 2508 computations (69.4% saved)

simplify669.0ms (1.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	5059	28712

regimes4.5s (10.9%)

Compiler: Compiled 58344 to 33636 computations (42.3% saved)

bsearch0.0ms (0%)

regimes26.0ms (0.1%)

Compiler: Compiled 24 to 66 computations (-175% saved)

bsearch1.0ms (0%)

Compiler: Compiled 5 to 9 computations (-80% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	7
1	13	7

end0.0ms (0%)

sample757.0ms (1.8%)

Algorithm

1×

intervals

Results

179.0ms	8000×	body	128	valid
148.0ms	8000×	pre	128	true

Compiler

Compiled 14409 to 8318 computations (42.3% saved)