Details

analyze440.0ms (3.9%)

Algorithm

1×	search
2×	egg-herbie

Rules

1106×	`div-sub_binary64_1106`
857×	`sub-neg_binary64_1094`
697×	`associate-/r*_binary64_1045`
626×	`distribute-rgt-in_binary64_1051`
464×	`neg-mul-1_binary64_1097`
413×	`neg-sub0_binary64_1096`
403×	`distribute-frac-neg_binary64_1064`
398×	`unsub-neg_binary64_1095`
376×	`times-frac_binary64_1107`
317×	`distribute-rgt-neg-in_binary64_1059`
289×	`distribute-lft-neg-in_binary64_1058`
274×	`*-commutative_binary64_1032`
252×	`associate-/l*_binary64_1046`
251×	`cancel-sign-sub-inv_binary64_1067`
223×	`associate-/r/_binary64_1047`
220×	`associate-*l/_binary64_1044`
199×	`distribute-neg-frac_binary64_1065`
198×	`distribute-lft-neg-out_binary64_1060`
188×	`distribute-rgt-neg-out_binary64_1061`
186×	`+-commutative_binary64_1031`
183×	`associate-/l/_binary64_1048`
179×	`associate-+l-_binary64_1036`
177×	`distribute-neg-in_binary64_1062`
174×	`cancel-sign-sub_binary64_1066`
171×	`associate--l-_binary64_1039`
165×	`associate--r-_binary64_1040`
118×	`associate--r+_binary64_1037`
88×	`associate-+l+_binary64_1034`
82×	`distribute-lft-in_binary64_1050`
80×	`distribute-neg-out_binary64_1063`
79×	`associate--l+_binary64_1038`
72×	`associate-+r-_binary64_1035`
68×	`associate-r_binary64_1041`
61×	`associate-l_binary64_1042`
58×	`associate-+r+_binary64_1033`
48×	`sub0-neg_binary64_1088`
46×	`--rgt-identity_binary64_1087`
44×	`/-rgt-identity_binary64_1092` `remove-double-neg_binary64_1089`
39×	`*-lft-identity_binary64_1090`
36×	`distribute-rgt-out--_binary64_1055`
30×	`mul0-lft_binary64_1083`
26×	`+-rgt-identity_binary64_1086` `div0_binary64_1082` `distribute-lft-out--_binary64_1053`
20×	`+-lft-identity_binary64_1085`
19×	`associate-*r/_binary64_1043`
14×	`distribute-rgt1-in_binary64_1057`
12×	`*-rgt-identity_binary64_1091`
8×	`remove-double-div_binary64_1077` `distribute-lft1-in_binary64_1056` `distribute-rgt-out_binary64_1054`
5×	`mul0-rgt_binary64_1084`
4×	`mul-1-neg_binary64_1093` `*-inverses_binary64_1081`
1×	`1-exp_binary64_1145`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_1364` `erf-erfc_binary64_1363` `erf-odd_binary64_1362` `if-if-and-not_binary64_1361` `if-if-and_binary64_1360` `if-if-or-not_binary64_1359` `if-if-or_binary64_1358` `if-not_binary64_1357` `if-same_binary64_1356` `if-false_binary64_1355` `if-true_binary64_1354` `not-gte_binary64_1353` `not-lte_binary64_1352` `not-gt_binary64_1351` `not-lt_binary64_1350` `gte-same_binary64_1349` `lte-same_binary64_1348` `gt-same_binary64_1347` `lt-same_binary64_1346` `sinh---cosh_binary64_1293` `sinh-+-cosh_binary64_1292` `sinh-cosh_binary64_1291` `tanh-def-c_binary64_1290` `tanh-def-b_binary64_1289` `tanh-def-a_binary64_1288` `cosh-def_binary64_1287` `sinh-def_binary64_1286` `tan-neg_binary64_1233` `cos-neg_binary64_1232` `sin-neg_binary64_1231` `tan-0_binary64_1230` `cos-0_binary64_1229` `sin-0_binary64_1228` `hang-m-tan_binary64_1227` `hang-p-tan_binary64_1226` `hang-m0-tan_binary64_1225` `hang-p0-tan_binary64_1224` `hang-0m-tan_binary64_1223` `hang-0p-tan_binary64_1222` `tan-+PI/2_binary64_1221` `tan-+PI_binary64_1220` `tan-PI_binary64_1219` `tan-PI/3_binary64_1218` `tan-PI/4_binary64_1217` `tan-PI/6_binary64_1216` `cos-+PI/2_binary64_1215` `cos-+PI_binary64_1214` `cos-PI_binary64_1213` `cos-PI/2_binary64_1212` `cos-PI/3_binary64_1211` `cos-PI/4_binary64_1210` `cos-PI/6_binary64_1209` `sin-+PI/2_binary64_1208` `sin-+PI_binary64_1207` `sin-PI_binary64_1206` `sin-PI/2_binary64_1205` `sin-PI/3_binary64_1204` `sin-PI/4_binary64_1203` `sin-PI/6_binary64_1202` `sub-1-sin_binary64_1201` `sub-1-cos_binary64_1200` `-1-add-sin_binary64_1199` `-1-add-cos_binary64_1198` `1-sub-sin_binary64_1197` `1-sub-cos_binary64_1196` `cos-sin-sum_binary64_1195` `log-E_binary64_1191` `log-pow_binary64_1190` `log-rec_binary64_1189` `log-div_binary64_1188` `log-prod_binary64_1187` `pow-base-0_binary64_1185` `unpow1/3_binary64_1168` `unpow3_binary64_1167` `unpow2_binary64_1166` `unpow1/2_binary64_1165` `pow-plus_binary64_1164` `exp-to-pow_binary64_1163` `pow-base-1_binary64_1161` `unpow0_binary64_1160` `unpow1_binary64_1159` `unpow-1_binary64_1158` `exp-lft-cube_binary64_1157` `exp-lft-sqr_binary64_1156` `exp-cbrt_binary64_1155` `exp-sqrt_binary64_1154` `exp-prod_binary64_1153` `div-exp_binary64_1152` `rec-exp_binary64_1151` `prod-exp_binary64_1150` `exp-diff_binary64_1149` `exp-neg_binary64_1148` `exp-sum_binary64_1147` `e-exp-1_binary64_1146` `exp-1-e_binary64_1144` `exp-0_binary64_1143` `rem-log-exp_binary64_1142` `rem-exp-log_binary64_1141` `cube-unmult_binary64_1138` `cube-mult_binary64_1131` `cube-div_binary64_1130` `cube-prod_binary64_1129` `cube-neg_binary64_1128` `rem-3cbrt-rft_binary64_1127` `rem-3cbrt-lft_binary64_1126` `rem-cbrt-cube_binary64_1125` `rem-cube-cbrt_binary64_1124` `sqr-abs_binary64_1116` `sqr-neg_binary64_1115` `rem-sqrt-square_binary64_1114` `rem-square-sqrt_binary64_1113` `+-inverses_binary64_1080` `lft-mult-inverse_binary64_1079` `rgt-mult-inverse_binary64_1078` `pow-sqr_binary64_1074` `sqr-pow_binary64_1073` `difference-of-sqr--1_binary64_1072` `difference-of-sqr-1_binary64_1071` `difference-of-squares_binary64_1070` `unswap-sqr_binary64_1069` `swap-sqr_binary64_1068` `distribute-lft-out_binary64_1052` `count-2_binary64_1049`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	38
1	33	38
2	56	38
3	99	38
4	171	38
5	310	38
6	619	38
7	1191	38
8	2566	38
9	3278	38
10	3409	38
11	3557	38
12	3617	38
13	3621	38
14	3646	38
15	3790	38
16	3881	38
17	3991	38
18	4027	38
19	4045	38
20	4045	38
21	4661	38
22	4747	38
23	4733	38
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
28.1%	28.1%	43.8%	2
56.2%	0%	43.8%	3

Compiler

Compiled 20 to 16 computations (20% saved)

sample34.0ms (0.3%)

Algorithm

1×

intervals

Results

8.0ms	30×	body	1024	valid
7.0ms	192×	body	128	valid
4.0ms	256×	pre	128	true
2.0ms	18×	body	512	valid
1.0ms	12×	body	256	valid
1.0ms	4×	body	2048	valid

Compiler

Compiled 33 to 29 computations (12.1% saved)

simplify249.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1179×	`div-sub_binary64_1106`
672×	`sub-neg_binary64_1094`
434×	`cancel-sign-sub-inv_binary64_1067`
422×	`associate-/l*_binary64_1046`
385×	`distribute-rgt-neg-in_binary64_1059`
383×	`neg-mul-1_binary64_1097`
347×	`distribute-rgt-in_binary64_1051`
342×	`*-commutative_binary64_1032`
339×	`neg-sub0_binary64_1096`
326×	`distribute-lft-neg-in_binary64_1058`
323×	`distribute-frac-neg_binary64_1064`
321×	`unsub-neg_binary64_1095`
282×	`distribute-neg-frac_binary64_1065`
259×	`associate--r+_binary64_1037`
251×	`distribute-lft-in_binary64_1050`
241×	`associate-/r/_binary64_1047`
240×	`distribute-neg-in_binary64_1062`
210×	`distribute-rgt-neg-out_binary64_1061`
191×	`distribute-lft-neg-out_binary64_1060`
164×	`associate--l+_binary64_1038`
147×	`associate--r-_binary64_1040`
146×	`+-commutative_binary64_1031`
141×	`times-frac_binary64_1107`
115×	`associate-/r*_binary64_1045`
110×	`associate--l-_binary64_1039`
109×	`associate-/l/_binary64_1048`
105×	`associate-+l-_binary64_1036`
99×	`distribute-neg-out_binary64_1063`
82×	`associate-*l/_binary64_1044`
73×	`remove-double-neg_binary64_1089`
49×	`associate-*r/_binary64_1043`
45×	`associate-r_binary64_1041` `associate-+r-_binary64_1035`
35×	`sub0-neg_binary64_1088` `cancel-sign-sub_binary64_1066`
34×	`--rgt-identity_binary64_1087`
30×	`/-rgt-identity_binary64_1092`
29×	`associate-l_binary64_1042`
28×	`*-lft-identity_binary64_1090` `associate-+l+_binary64_1034`
22×	`associate-+r+_binary64_1033`
21×	`distribute-rgt-out_binary64_1054`
20×	`*-rgt-identity_binary64_1091`
18×	`remove-double-div_binary64_1077`
17×	`distribute-rgt1-in_binary64_1057`
15×	`distribute-rgt-out--_binary64_1055`
14×	`+-rgt-identity_binary64_1086` `+-lft-identity_binary64_1085`
12×	`div0_binary64_1082`
11×	`distribute-lft-out--_binary64_1053`
10×	`mul0-rgt_binary64_1084`
9×	`mul-1-neg_binary64_1093`
7×	`mul0-lft_binary64_1083`
6×	`distribute-lft-out_binary64_1052`
3×	`*-inverses_binary64_1081` `distribute-lft1-in_binary64_1056`
1×	`1-exp_binary64_1145`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_1364` `erf-erfc_binary64_1363` `erf-odd_binary64_1362` `if-if-and-not_binary64_1361` `if-if-and_binary64_1360` `if-if-or-not_binary64_1359` `if-if-or_binary64_1358` `if-not_binary64_1357` `if-same_binary64_1356` `if-false_binary64_1355` `if-true_binary64_1354` `not-gte_binary64_1353` `not-lte_binary64_1352` `not-gt_binary64_1351` `not-lt_binary64_1350` `gte-same_binary64_1349` `lte-same_binary64_1348` `gt-same_binary64_1347` `lt-same_binary64_1346` `sinh---cosh_binary64_1293` `sinh-+-cosh_binary64_1292` `sinh-cosh_binary64_1291` `tanh-def-c_binary64_1290` `tanh-def-b_binary64_1289` `tanh-def-a_binary64_1288` `cosh-def_binary64_1287` `sinh-def_binary64_1286` `tan-neg_binary64_1233` `cos-neg_binary64_1232` `sin-neg_binary64_1231` `tan-0_binary64_1230` `cos-0_binary64_1229` `sin-0_binary64_1228` `hang-m-tan_binary64_1227` `hang-p-tan_binary64_1226` `hang-m0-tan_binary64_1225` `hang-p0-tan_binary64_1224` `hang-0m-tan_binary64_1223` `hang-0p-tan_binary64_1222` `tan-+PI/2_binary64_1221` `tan-+PI_binary64_1220` `tan-PI_binary64_1219` `tan-PI/3_binary64_1218` `tan-PI/4_binary64_1217` `tan-PI/6_binary64_1216` `cos-+PI/2_binary64_1215` `cos-+PI_binary64_1214` `cos-PI_binary64_1213` `cos-PI/2_binary64_1212` `cos-PI/3_binary64_1211` `cos-PI/4_binary64_1210` `cos-PI/6_binary64_1209` `sin-+PI/2_binary64_1208` `sin-+PI_binary64_1207` `sin-PI_binary64_1206` `sin-PI/2_binary64_1205` `sin-PI/3_binary64_1204` `sin-PI/4_binary64_1203` `sin-PI/6_binary64_1202` `sub-1-sin_binary64_1201` `sub-1-cos_binary64_1200` `-1-add-sin_binary64_1199` `-1-add-cos_binary64_1198` `1-sub-sin_binary64_1197` `1-sub-cos_binary64_1196` `cos-sin-sum_binary64_1195` `log-E_binary64_1191` `log-pow_binary64_1190` `log-rec_binary64_1189` `log-div_binary64_1188` `log-prod_binary64_1187` `pow-base-0_binary64_1185` `unpow1/3_binary64_1168` `unpow3_binary64_1167` `unpow2_binary64_1166` `unpow1/2_binary64_1165` `pow-plus_binary64_1164` `exp-to-pow_binary64_1163` `pow-base-1_binary64_1161` `unpow0_binary64_1160` `unpow1_binary64_1159` `unpow-1_binary64_1158` `exp-lft-cube_binary64_1157` `exp-lft-sqr_binary64_1156` `exp-cbrt_binary64_1155` `exp-sqrt_binary64_1154` `exp-prod_binary64_1153` `div-exp_binary64_1152` `rec-exp_binary64_1151` `prod-exp_binary64_1150` `exp-diff_binary64_1149` `exp-neg_binary64_1148` `exp-sum_binary64_1147` `e-exp-1_binary64_1146` `exp-1-e_binary64_1144` `exp-0_binary64_1143` `rem-log-exp_binary64_1142` `rem-exp-log_binary64_1141` `cube-unmult_binary64_1138` `cube-mult_binary64_1131` `cube-div_binary64_1130` `cube-prod_binary64_1129` `cube-neg_binary64_1128` `rem-3cbrt-rft_binary64_1127` `rem-3cbrt-lft_binary64_1126` `rem-cbrt-cube_binary64_1125` `rem-cube-cbrt_binary64_1124` `sqr-abs_binary64_1116` `sqr-neg_binary64_1115` `rem-sqrt-square_binary64_1114` `rem-square-sqrt_binary64_1113` `+-inverses_binary64_1080` `lft-mult-inverse_binary64_1079` `rgt-mult-inverse_binary64_1078` `pow-sqr_binary64_1074` `sqr-pow_binary64_1073` `difference-of-sqr--1_binary64_1072` `difference-of-sqr-1_binary64_1071` `difference-of-squares_binary64_1070` `unswap-sqr_binary64_1069` `swap-sqr_binary64_1068` `count-2_binary64_1049`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	23	19
2	39	19
3	63	19
4	104	19
5	204	19
6	320	19
7	513	19
8	943	19
9	2087	19
10	2930	19
11	3705	19
12	3906	19
13	4077	19
14	4165	19
15	4198	19
16	4200	19
17	4320	19
18	4594	19
19	4698	19
20	4698	19
21	5018	19

prune3.0ms (0%)

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

16.9b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
2.9b	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)

rewrite121.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

16.1b

Rules

58×	`*-un-lft-identity_binary64_1101`
26×	`add-sqr-sqrt_binary64_1123`
25×	`times-frac_binary64_1107`
19×	`distribute-lft-out_binary64_1052`
14×	`add-cube-cbrt_binary64_1136`
6×	`difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053`
5×	`associate-/l_binary64_1046` `associate-/r_binary64_1045`
4×	`add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
2×	`pow1_binary64_1162` `flip3-+_binary64_1104` `flip-+_binary64_1075` `div-sub_binary64_1106` `associate-/l/_binary64_1048` `associate-/r/_binary64_1047`
1×	`sum-log_binary64_1192` `associate-+l-_binary64_1036` `+-commutative_binary64_1031` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `div-inv_binary64_1098` `flip3--_binary64_1105` `flip--_binary64_1076`

Counts

2 → 65

Calls

2 calls:

19.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
11.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 1500 to 803 computations (46.5% saved)

series659.0ms (5.9%)

Error

0.0b

Counts

2 → 42

Calls

2 calls:

348.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
228.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 3450 to 2785 computations (19.3% saved)

simplify120.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

471×	`distribute-rgt-in_binary64_1051`
464×	`times-frac_binary64_1107`
402×	`distribute-lft-in_binary64_1050`
337×	`cancel-sign-sub-inv_binary64_1067`
302×	`sub-neg_binary64_1094`
135×	`+-commutative_binary64_1031`
113×	`associate--l+_binary64_1038`
112×	`distribute-neg-in_binary64_1062`
111×	`div-sub_binary64_1106`
107×	`associate--r+_binary64_1037`
103×	`associate-+l+_binary64_1034`
90×	`associate-/r*_binary64_1045`
87×	`associate-+r+_binary64_1033`
81×	`associate-/l*_binary64_1046`
63×	`*-commutative_binary64_1032`
53×	`neg-sub0_binary64_1096` `distribute-neg-frac_binary64_1065`
52×	`neg-mul-1_binary64_1097`
45×	`unswap-sqr_binary64_1069`
41×	`unsub-neg_binary64_1095`
38×	`sqr-pow_binary64_1073` `distribute-rgt-neg-in_binary64_1059`
32×	`associate-*r/_binary64_1043`
30×	`distribute-lft-neg-in_binary64_1058`
29×	`associate-*l/_binary64_1044`
24×	`cube-prod_binary64_1129` `associate-r_binary64_1041`
20×	`associate-/l/_binary64_1048`
19×	`associate-l_binary64_1042`
18×	`distribute-rgt-out_binary64_1054`
12×	`distribute-rgt1-in_binary64_1057` `associate-/r/_binary64_1047`
11×	`unpow3_binary64_1167` `*-rgt-identity_binary64_1091` `distribute-lft-neg-out_binary64_1060` `distribute-rgt-out--_binary64_1055`
9×	`log-prod_binary64_1187` `cube-div_binary64_1130`
8×	`exp-sum_binary64_1147` `cube-unmult_binary64_1138` `/-rgt-identity_binary64_1092`
6×	`log-div_binary64_1188` `pow-plus_binary64_1164`
5×	`unpow2_binary64_1166` `unpow1/2_binary64_1165` `exp-prod_binary64_1153` `exp-diff_binary64_1149` `cube-mult_binary64_1131` `distribute-lft-out_binary64_1052`
4×	`unpow1_binary64_1159` `rem-sqrt-square_binary64_1114` `swap-sqr_binary64_1068` `distribute-rgt-neg-out_binary64_1061`
3×	`*-lft-identity_binary64_1090` `associate--r-_binary64_1040` `associate-+l-_binary64_1036`
2×	`mul-1-neg_binary64_1093` `distribute-lft1-in_binary64_1056` `associate-+r-_binary64_1035`
1×	`prod-exp_binary64_1150` `1-exp_binary64_1145` `exp-1-e_binary64_1144` `cube-neg_binary64_1128` `sqr-neg_binary64_1115` `remove-double-neg_binary64_1089` `pow-sqr_binary64_1074` `difference-of-sqr-1_binary64_1071` `difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053` `associate--l-_binary64_1039`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_1364` `erf-erfc_binary64_1363` `erf-odd_binary64_1362` `if-if-and-not_binary64_1361` `if-if-and_binary64_1360` `if-if-or-not_binary64_1359` `if-if-or_binary64_1358` `if-not_binary64_1357` `if-same_binary64_1356` `if-false_binary64_1355` `if-true_binary64_1354` `not-gte_binary64_1353` `not-lte_binary64_1352` `not-gt_binary64_1351` `not-lt_binary64_1350` `gte-same_binary64_1349` `lte-same_binary64_1348` `gt-same_binary64_1347` `lt-same_binary64_1346` `sinh---cosh_binary64_1293` `sinh-+-cosh_binary64_1292` `sinh-cosh_binary64_1291` `tanh-def-c_binary64_1290` `tanh-def-b_binary64_1289` `tanh-def-a_binary64_1288` `cosh-def_binary64_1287` `sinh-def_binary64_1286` `tan-neg_binary64_1233` `cos-neg_binary64_1232` `sin-neg_binary64_1231` `tan-0_binary64_1230` `cos-0_binary64_1229` `sin-0_binary64_1228` `hang-m-tan_binary64_1227` `hang-p-tan_binary64_1226` `hang-m0-tan_binary64_1225` `hang-p0-tan_binary64_1224` `hang-0m-tan_binary64_1223` `hang-0p-tan_binary64_1222` `tan-+PI/2_binary64_1221` `tan-+PI_binary64_1220` `tan-PI_binary64_1219` `tan-PI/3_binary64_1218` `tan-PI/4_binary64_1217` `tan-PI/6_binary64_1216` `cos-+PI/2_binary64_1215` `cos-+PI_binary64_1214` `cos-PI_binary64_1213` `cos-PI/2_binary64_1212` `cos-PI/3_binary64_1211` `cos-PI/4_binary64_1210` `cos-PI/6_binary64_1209` `sin-+PI/2_binary64_1208` `sin-+PI_binary64_1207` `sin-PI_binary64_1206` `sin-PI/2_binary64_1205` `sin-PI/3_binary64_1204` `sin-PI/4_binary64_1203` `sin-PI/6_binary64_1202` `sub-1-sin_binary64_1201` `sub-1-cos_binary64_1200` `-1-add-sin_binary64_1199` `-1-add-cos_binary64_1198` `1-sub-sin_binary64_1197` `1-sub-cos_binary64_1196` `cos-sin-sum_binary64_1195` `log-E_binary64_1191` `log-pow_binary64_1190` `log-rec_binary64_1189` `pow-base-0_binary64_1185` `unpow1/3_binary64_1168` `exp-to-pow_binary64_1163` `pow-base-1_binary64_1161` `unpow0_binary64_1160` `unpow-1_binary64_1158` `exp-lft-cube_binary64_1157` `exp-lft-sqr_binary64_1156` `exp-cbrt_binary64_1155` `exp-sqrt_binary64_1154` `div-exp_binary64_1152` `rec-exp_binary64_1151` `exp-neg_binary64_1148` `e-exp-1_binary64_1146` `exp-0_binary64_1143` `rem-log-exp_binary64_1142` `rem-exp-log_binary64_1141` `rem-3cbrt-rft_binary64_1127` `rem-3cbrt-lft_binary64_1126` `rem-cbrt-cube_binary64_1125` `rem-cube-cbrt_binary64_1124` `sqr-abs_binary64_1116` `rem-square-sqrt_binary64_1113` `sub0-neg_binary64_1088` `--rgt-identity_binary64_1087` `+-rgt-identity_binary64_1086` `+-lft-identity_binary64_1085` `mul0-rgt_binary64_1084` `mul0-lft_binary64_1083` `div0_binary64_1082` `*-inverses_binary64_1081` `+-inverses_binary64_1080` `lft-mult-inverse_binary64_1079` `rgt-mult-inverse_binary64_1078` `remove-double-div_binary64_1077` `difference-of-sqr--1_binary64_1072` `cancel-sign-sub_binary64_1066` `distribute-frac-neg_binary64_1064` `distribute-neg-out_binary64_1063` `count-2_binary64_1049`

Counts

107 → 94

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	246	3270
1	694	3169
2	2271	3031
3	4853	3031
4	5026	3031

prune138.0ms (1.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	90	4	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	4	95

Error

0.0b

Counts

95 → 4

Compiler

Compiled 2600 to 1574 computations (39.5% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (+.f64 -1 (/.f64 alpha (+.f64 alpha (+.f64 2 beta)))))
0.0b	(/.f64 alpha (+.f64 alpha (+.f64 2 beta)))
0.0b	(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
2.9b	(+.f64 -1 (/.f64 alpha (+.f64 alpha (+.f64 2 beta))))

rewrite237.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

74×	`*-un-lft-identity_binary64_1101`
31×	`times-frac_binary64_1107`
30×	`add-sqr-sqrt_binary64_1123`
27×	`distribute-lft-out_binary64_1052`
25×	`add-cube-cbrt_binary64_1136`
11×	`add-log-exp_binary64_1140`
10×	`associate-/r*_binary64_1045`
8×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
6×	`associate-/l*_binary64_1046`
4×	`pow1_binary64_1162` `flip3-+_binary64_1104` `flip-+_binary64_1075` `associate-/r/_binary64_1047` `cancel-sign-sub-inv_binary64_1067`
2×	`sum-log_binary64_1192` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `div-inv_binary64_1098` `diff-log_binary64_1193` `frac-sub_binary64_1110` `difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053`
1×	`+-commutative_binary64_1031` `flip3--_binary64_1105` `sub-neg_binary64_1094` `flip--_binary64_1076` `associate--r+_binary64_1037`

Counts

4 → 109

Calls

4 calls:

27.0ms	(-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (+.f64 -1 (/.f64 alpha (+.f64 alpha (+.f64 2 beta)))))
12.0ms	(+.f64 -1 (/.f64 alpha (+.f64 alpha (+.f64 2 beta))))
8.0ms	(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
7.0ms	(/.f64 alpha (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 3215 to 2058 computations (36% saved)

series904.0ms (8.1%)

Error

0.0b

Counts

4 → 71

Calls

4 calls:

328.0ms	(-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (+.f64 -1 (/.f64 alpha (+.f64 alpha (+.f64 2 beta)))))
170.0ms	(+.f64 -1 (/.f64 alpha (+.f64 alpha (+.f64 2 beta))))
144.0ms	(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
142.0ms	(/.f64 alpha (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 5750 to 4444 computations (22.7% saved)

simplify125.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

931×	`times-frac_binary64_1107`
371×	`sub-neg_binary64_1094`
196×	`+-commutative_binary64_1031`
180×	`distribute-rgt-in_binary64_1051`
162×	`distribute-lft-in_binary64_1050`
138×	`associate-+l+_binary64_1034`
136×	`associate-+r+_binary64_1033`
135×	`associate--l+_binary64_1038`
125×	`associate--r+_binary64_1037`
119×	`associate-/r*_binary64_1045`
114×	`associate-/l*_binary64_1046`
102×	`*-commutative_binary64_1032`
98×	`neg-sub0_binary64_1096`
97×	`neg-mul-1_binary64_1097`
94×	`unsub-neg_binary64_1095`
72×	`associate-*r/_binary64_1043`
70×	`associate-*l/_binary64_1044`
59×	`distribute-neg-in_binary64_1062`
51×	`cancel-sign-sub-inv_binary64_1067`
43×	`associate-/l/_binary64_1048`
34×	`associate-/r/_binary64_1047`
33×	`associate-r_binary64_1041`
27×	`sqr-pow_binary64_1073` `associate-l_binary64_1042`
16×	`exp-prod_binary64_1153`
15×	`cube-prod_binary64_1129` `distribute-neg-frac_binary64_1065` `distribute-rgt-neg-in_binary64_1059`
13×	`log-prod_binary64_1187`
9×	`unpow3_binary64_1167` `distribute-lft-neg-in_binary64_1058`
8×	`exp-sum_binary64_1147` `cube-mult_binary64_1131` `cube-div_binary64_1130` `div-sub_binary64_1106`
7×	`distribute-lft-neg-out_binary64_1060`
6×	`log-div_binary64_1188` `exp-diff_binary64_1149` `/-rgt-identity_binary64_1092` `distribute-rgt-out_binary64_1054`
5×	`unpow2_binary64_1166` `cube-unmult_binary64_1138` `associate-+l-_binary64_1036`
4×	`unpow1/2_binary64_1165` `unpow1_binary64_1159` `mul-1-neg_binary64_1093` `associate-+r-_binary64_1035`
3×	`div-exp_binary64_1152` `rem-sqrt-square_binary64_1114` `*-lft-identity_binary64_1090` `difference-of-squares_binary64_1070` `distribute-rgt1-in_binary64_1057`
2×	`log-pow_binary64_1190` `*-rgt-identity_binary64_1091` `distribute-lft-out_binary64_1052`
1×	`prod-exp_binary64_1150` `1-exp_binary64_1145` `cube-neg_binary64_1128` `rem-3cbrt-lft_binary64_1126` `sqr-neg_binary64_1115` `rem-square-sqrt_binary64_1113` `remove-double-neg_binary64_1089` `pow-sqr_binary64_1074` `difference-of-sqr--1_binary64_1072` `distribute-rgt-neg-out_binary64_1061` `distribute-rgt-out--_binary64_1055`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_1364` `erf-erfc_binary64_1363` `erf-odd_binary64_1362` `if-if-and-not_binary64_1361` `if-if-and_binary64_1360` `if-if-or-not_binary64_1359` `if-if-or_binary64_1358` `if-not_binary64_1357` `if-same_binary64_1356` `if-false_binary64_1355` `if-true_binary64_1354` `not-gte_binary64_1353` `not-lte_binary64_1352` `not-gt_binary64_1351` `not-lt_binary64_1350` `gte-same_binary64_1349` `lte-same_binary64_1348` `gt-same_binary64_1347` `lt-same_binary64_1346` `sinh---cosh_binary64_1293` `sinh-+-cosh_binary64_1292` `sinh-cosh_binary64_1291` `tanh-def-c_binary64_1290` `tanh-def-b_binary64_1289` `tanh-def-a_binary64_1288` `cosh-def_binary64_1287` `sinh-def_binary64_1286` `tan-neg_binary64_1233` `cos-neg_binary64_1232` `sin-neg_binary64_1231` `tan-0_binary64_1230` `cos-0_binary64_1229` `sin-0_binary64_1228` `hang-m-tan_binary64_1227` `hang-p-tan_binary64_1226` `hang-m0-tan_binary64_1225` `hang-p0-tan_binary64_1224` `hang-0m-tan_binary64_1223` `hang-0p-tan_binary64_1222` `tan-+PI/2_binary64_1221` `tan-+PI_binary64_1220` `tan-PI_binary64_1219` `tan-PI/3_binary64_1218` `tan-PI/4_binary64_1217` `tan-PI/6_binary64_1216` `cos-+PI/2_binary64_1215` `cos-+PI_binary64_1214` `cos-PI_binary64_1213` `cos-PI/2_binary64_1212` `cos-PI/3_binary64_1211` `cos-PI/4_binary64_1210` `cos-PI/6_binary64_1209` `sin-+PI/2_binary64_1208` `sin-+PI_binary64_1207` `sin-PI_binary64_1206` `sin-PI/2_binary64_1205` `sin-PI/3_binary64_1204` `sin-PI/4_binary64_1203` `sin-PI/6_binary64_1202` `sub-1-sin_binary64_1201` `sub-1-cos_binary64_1200` `-1-add-sin_binary64_1199` `-1-add-cos_binary64_1198` `1-sub-sin_binary64_1197` `1-sub-cos_binary64_1196` `cos-sin-sum_binary64_1195` `log-E_binary64_1191` `log-rec_binary64_1189` `pow-base-0_binary64_1185` `unpow1/3_binary64_1168` `pow-plus_binary64_1164` `exp-to-pow_binary64_1163` `pow-base-1_binary64_1161` `unpow0_binary64_1160` `unpow-1_binary64_1158` `exp-lft-cube_binary64_1157` `exp-lft-sqr_binary64_1156` `exp-cbrt_binary64_1155` `exp-sqrt_binary64_1154` `rec-exp_binary64_1151` `exp-neg_binary64_1148` `e-exp-1_binary64_1146` `exp-1-e_binary64_1144` `exp-0_binary64_1143` `rem-log-exp_binary64_1142` `rem-exp-log_binary64_1141` `rem-3cbrt-rft_binary64_1127` `rem-cbrt-cube_binary64_1125` `rem-cube-cbrt_binary64_1124` `sqr-abs_binary64_1116` `sub0-neg_binary64_1088` `--rgt-identity_binary64_1087` `+-rgt-identity_binary64_1086` `+-lft-identity_binary64_1085` `mul0-rgt_binary64_1084` `mul0-lft_binary64_1083` `div0_binary64_1082` `*-inverses_binary64_1081` `+-inverses_binary64_1080` `lft-mult-inverse_binary64_1079` `rgt-mult-inverse_binary64_1078` `remove-double-div_binary64_1077` `difference-of-sqr-1_binary64_1071` `unswap-sqr_binary64_1069` `swap-sqr_binary64_1068` `cancel-sign-sub_binary64_1066` `distribute-frac-neg_binary64_1064` `distribute-neg-out_binary64_1063` `distribute-lft1-in_binary64_1056` `distribute-lft-out--_binary64_1053` `count-2_binary64_1049` `associate--r-_binary64_1040` `associate--l-_binary64_1039`

Counts

180 → 130

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	359	4638
1	975	4540
2	3414	4500
3	4993	4500

prune213.0ms (1.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	128	2	130
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	129	5	134

Error

0.0b

Counts

134 → 5

Compiler

Compiled 4171 to 2594 computations (37.8% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 alpha (+.f64 alpha (+.f64 2 beta)))
0.0b	(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
0.0b	(*.f64 (/.f64 alpha (+.f64 alpha (+.f64 2 beta))) (/.f64 alpha (+.f64 alpha (+.f64 2 beta))))
2.9b	(-.f64 1 (*.f64 (/.f64 alpha (+.f64 alpha (+.f64 2 beta))) (/.f64 alpha (+.f64 alpha (+.f64 2 beta)))))

rewrite591.0ms (5.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

245×	`*-un-lft-identity_binary64_1101`
130×	`times-frac_binary64_1107`
96×	`distribute-lft-out_binary64_1052`
85×	`add-sqr-sqrt_binary64_1123`
72×	`add-cube-cbrt_binary64_1136`
39×	`swap-sqr_binary64_1068`
21×	`associate-l_binary64_1042` `associate-r_binary64_1041`
20×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
12×	`associate-/r/_binary64_1047`
11×	`pow1_binary64_1162`
10×	`associate-/r*_binary64_1045`
6×	`add-log-exp_binary64_1140` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `div-inv_binary64_1098` `flip3-+_binary64_1104` `flip-+_binary64_1075` `associate-/l*_binary64_1046`
4×	`prod-exp_binary64_1150` `cbrt-unprod_binary64_1134` `unswap-sqr_binary64_1069`
2×	`difference-of-squares_binary64_1070` `frac-2neg_binary64_1112` `clear-num_binary64_1100`
1×	`diff-log_binary64_1193` `flip3--_binary64_1105` `sub-neg_binary64_1094` `flip--_binary64_1076` `cancel-sign-sub-inv_binary64_1067` `pow2_binary64_1182` `pow-prod-down_binary64_1172` `pow-prod-up_binary64_1171` `pow-plus_binary64_1164` `frac-times_binary64_1111` `pow-sqr_binary64_1074` `associate-l/_binary64_1044` `associate-r/_binary64_1043` `*-commutative_binary64_1032`

Counts

4 → 197

Calls

4 calls:

28.0ms	(*.f64 (/.f64 alpha (+.f64 alpha (+.f64 2 beta))) (/.f64 alpha (+.f64 alpha (+.f64 2 beta))))
8.0ms	(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
7.0ms	(/.f64 alpha (+.f64 alpha (+.f64 2 beta)))
4.0ms	(-.f64 1 (*.f64 (/.f64 alpha (+.f64 alpha (+.f64 2 beta))) (/.f64 alpha (+.f64 alpha (+.f64 2 beta)))))

Compiler

Compiled 9532 to 6119 computations (35.8% saved)

series1.1s (9.9%)

Error

0.0b

Counts

4 → 62

Calls

4 calls:

330.0ms	(*.f64 (/.f64 alpha (+.f64 alpha (+.f64 2 beta))) (/.f64 alpha (+.f64 alpha (+.f64 2 beta))))
295.0ms	(-.f64 1 (*.f64 (/.f64 alpha (+.f64 alpha (+.f64 2 beta))) (/.f64 alpha (+.f64 alpha (+.f64 2 beta)))))
160.0ms	(/.f64 alpha (+.f64 alpha (+.f64 2 beta)))
158.0ms	(/.f64 beta (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 8032 to 6066 computations (24.5% saved)

simplify180.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

307×	`sub-neg_binary64_1094`
262×	`associate-/l*_binary64_1046`
229×	`associate-*r/_binary64_1043`
226×	`associate-*l/_binary64_1044`
193×	`times-frac_binary64_1107`
177×	`associate-/r*_binary64_1045` `+-commutative_binary64_1031`
166×	`associate-r_binary64_1041`
152×	`unswap-sqr_binary64_1069`
147×	`*-commutative_binary64_1032`
144×	`associate-l_binary64_1042`
135×	`associate-+r+_binary64_1033`
120×	`associate-+l+_binary64_1034`
115×	`distribute-rgt-in_binary64_1051`
105×	`associate--l+_binary64_1038`
100×	`distribute-lft-in_binary64_1050` `associate--r+_binary64_1037`
90×	`neg-sub0_binary64_1096`
89×	`neg-mul-1_binary64_1097`
69×	`associate-/l/_binary64_1048`
68×	`unsub-neg_binary64_1095`
58×	`cancel-sign-sub-inv_binary64_1067`
51×	`sqr-pow_binary64_1073`
48×	`distribute-neg-in_binary64_1062`
45×	`*-rgt-identity_binary64_1091`
39×	`associate-/r/_binary64_1047`
31×	`*-lft-identity_binary64_1090`
26×	`log-prod_binary64_1187` `cube-prod_binary64_1129`
24×	`exp-prod_binary64_1153`
20×	`div-sub_binary64_1106`
19×	`distribute-rgt-neg-in_binary64_1059`
18×	`log-div_binary64_1188`
17×	`cube-div_binary64_1130`
13×	`distribute-neg-frac_binary64_1065` `distribute-lft-neg-in_binary64_1058`
12×	`cube-unmult_binary64_1138`
11×	`/-rgt-identity_binary64_1092`
8×	`difference-of-squares_binary64_1070`
7×	`unpow3_binary64_1167` `pow-sqr_binary64_1074` `distribute-rgt-out_binary64_1054`
6×	`cube-mult_binary64_1131`
5×	`unpow2_binary64_1166` `pow-plus_binary64_1164` `distribute-lft-neg-out_binary64_1060` `associate-+l-_binary64_1036`
4×	`unpow1/2_binary64_1165` `unpow1_binary64_1159` `rem-sqrt-square_binary64_1114`
3×	`log-pow_binary64_1190` `exp-sum_binary64_1147` `swap-sqr_binary64_1068` `distribute-rgt1-in_binary64_1057` `associate-+r-_binary64_1035`
2×	`rem-3cbrt-rft_binary64_1127` `rem-3cbrt-lft_binary64_1126` `rem-square-sqrt_binary64_1113` `count-2_binary64_1049`
1×	`div-exp_binary64_1152` `exp-diff_binary64_1149` `1-exp_binary64_1145` `exp-1-e_binary64_1144` `sub0-neg_binary64_1088` `div0_binary64_1082` `distribute-rgt-out--_binary64_1055` `distribute-lft-out_binary64_1052` `associate--r-_binary64_1040`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_1364` `erf-erfc_binary64_1363` `erf-odd_binary64_1362` `if-if-and-not_binary64_1361` `if-if-and_binary64_1360` `if-if-or-not_binary64_1359` `if-if-or_binary64_1358` `if-not_binary64_1357` `if-same_binary64_1356` `if-false_binary64_1355` `if-true_binary64_1354` `not-gte_binary64_1353` `not-lte_binary64_1352` `not-gt_binary64_1351` `not-lt_binary64_1350` `gte-same_binary64_1349` `lte-same_binary64_1348` `gt-same_binary64_1347` `lt-same_binary64_1346` `sinh---cosh_binary64_1293` `sinh-+-cosh_binary64_1292` `sinh-cosh_binary64_1291` `tanh-def-c_binary64_1290` `tanh-def-b_binary64_1289` `tanh-def-a_binary64_1288` `cosh-def_binary64_1287` `sinh-def_binary64_1286` `tan-neg_binary64_1233` `cos-neg_binary64_1232` `sin-neg_binary64_1231` `tan-0_binary64_1230` `cos-0_binary64_1229` `sin-0_binary64_1228` `hang-m-tan_binary64_1227` `hang-p-tan_binary64_1226` `hang-m0-tan_binary64_1225` `hang-p0-tan_binary64_1224` `hang-0m-tan_binary64_1223` `hang-0p-tan_binary64_1222` `tan-+PI/2_binary64_1221` `tan-+PI_binary64_1220` `tan-PI_binary64_1219` `tan-PI/3_binary64_1218` `tan-PI/4_binary64_1217` `tan-PI/6_binary64_1216` `cos-+PI/2_binary64_1215` `cos-+PI_binary64_1214` `cos-PI_binary64_1213` `cos-PI/2_binary64_1212` `cos-PI/3_binary64_1211` `cos-PI/4_binary64_1210` `cos-PI/6_binary64_1209` `sin-+PI/2_binary64_1208` `sin-+PI_binary64_1207` `sin-PI_binary64_1206` `sin-PI/2_binary64_1205` `sin-PI/3_binary64_1204` `sin-PI/4_binary64_1203` `sin-PI/6_binary64_1202` `sub-1-sin_binary64_1201` `sub-1-cos_binary64_1200` `-1-add-sin_binary64_1199` `-1-add-cos_binary64_1198` `1-sub-sin_binary64_1197` `1-sub-cos_binary64_1196` `cos-sin-sum_binary64_1195` `log-E_binary64_1191` `log-rec_binary64_1189` `pow-base-0_binary64_1185` `unpow1/3_binary64_1168` `exp-to-pow_binary64_1163` `pow-base-1_binary64_1161` `unpow0_binary64_1160` `unpow-1_binary64_1158` `exp-lft-cube_binary64_1157` `exp-lft-sqr_binary64_1156` `exp-cbrt_binary64_1155` `exp-sqrt_binary64_1154` `rec-exp_binary64_1151` `prod-exp_binary64_1150` `exp-neg_binary64_1148` `e-exp-1_binary64_1146` `exp-0_binary64_1143` `rem-log-exp_binary64_1142` `rem-exp-log_binary64_1141` `cube-neg_binary64_1128` `rem-cbrt-cube_binary64_1125` `rem-cube-cbrt_binary64_1124` `sqr-abs_binary64_1116` `sqr-neg_binary64_1115` `mul-1-neg_binary64_1093` `remove-double-neg_binary64_1089` `--rgt-identity_binary64_1087` `+-rgt-identity_binary64_1086` `+-lft-identity_binary64_1085` `mul0-rgt_binary64_1084` `mul0-lft_binary64_1083` `*-inverses_binary64_1081` `+-inverses_binary64_1080` `lft-mult-inverse_binary64_1079` `rgt-mult-inverse_binary64_1078` `remove-double-div_binary64_1077` `difference-of-sqr--1_binary64_1072` `difference-of-sqr-1_binary64_1071` `cancel-sign-sub_binary64_1066` `distribute-frac-neg_binary64_1064` `distribute-neg-out_binary64_1063` `distribute-rgt-neg-out_binary64_1061` `distribute-lft1-in_binary64_1056` `distribute-lft-out--_binary64_1053` `associate--l-_binary64_1039`

Counts

259 → 205

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	411	7296
1	1174	6657
2	4308	6183
3	5005	6183

prune569.0ms (5.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	203	2	205
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	205	5	210

Error

0.0b

Counts

210 → 5

Compiler

Compiled 9520 to 6181 computations (35.1% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))
0.1b	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)
2.9b	(+.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)) 1)
10.9b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))

rewrite492.0ms (4.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

246×	`*-un-lft-identity_binary64_1101`
125×	`times-frac_binary64_1107`
114×	`add-sqr-sqrt_binary64_1123`
79×	`distribute-lft-out_binary64_1052`
68×	`cbrt-prod_binary64_1132`
62×	`add-cube-cbrt_binary64_1136` `unpow-prod-down_binary64_1180` `cube-prod_binary64_1129`
26×	`difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053`
10×	`associate-/r/_binary64_1047`
9×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
6×	`add-log-exp_binary64_1140` `flip3-+_binary64_1104` `flip-+_binary64_1075`
5×	`pow1_binary64_1162` `div-inv_binary64_1098` `associate-/l_binary64_1046` `associate-/r_binary64_1045`
3×	`pow-unpow_binary64_1178`
2×	`cube-div_binary64_1130` `unpow3_binary64_1167` `cube-mult_binary64_1131` `sqr-pow_binary64_1073` `div-exp_binary64_1152` `pow-exp_binary64_1169` `rem-cube-cbrt_binary64_1124` `cbrt-undiv_binary64_1135` `associate-/l/_binary64_1048`
1×	`pow1/3_binary64_1183` `cbrt-div_binary64_1133` `rem-cbrt-cube_binary64_1125` `sum-log_binary64_1192` `+-commutative_binary64_1031` `pow-pow_binary64_1173` `pow-to-exp_binary64_1170` `frac-2neg_binary64_1112` `div-sub_binary64_1106` `clear-num_binary64_1100` `flip3--_binary64_1105` `flip--_binary64_1076`

Counts

4 → 224

Calls

4 calls:

35.0ms	(+.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)) 1)
17.0ms	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)
15.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))
11.0ms	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 6392 to 4200 computations (34.3% saved)

series1.3s (12%)

Error

0.0b

Counts

4 → 81

Calls

4 calls:

362.0ms	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)
352.0ms	(+.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)) 1)
232.0ms	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))
232.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))

Compiler

Compiled 6932 to 5723 computations (17.4% saved)

simplify172.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

225×	`times-frac_binary64_1107`
217×	`associate-/l*_binary64_1046`
198×	`associate-/r*_binary64_1045`
197×	`associate--r+_binary64_1037`
187×	`associate-+r+_binary64_1033`
180×	`associate--l+_binary64_1038`
176×	`associate-+l+_binary64_1034`
142×	`associate-*r/_binary64_1043`
139×	`sub-neg_binary64_1094`
136×	`associate-*l/_binary64_1044`
107×	`distribute-rgt-in_binary64_1051` `associate-r_binary64_1041`
97×	`sqr-pow_binary64_1073`
95×	`distribute-lft-in_binary64_1050`
93×	`+-commutative_binary64_1031`
75×	`cancel-sign-sub-inv_binary64_1067`
74×	`associate-l_binary64_1042`
70×	`*-commutative_binary64_1032`
46×	`distribute-neg-in_binary64_1062`
45×	`unpow3_binary64_1167` `cube-mult_binary64_1131`
33×	`cube-div_binary64_1130`
32×	`rem-cbrt-cube_binary64_1125`
29×	`associate-/l/_binary64_1048`
24×	`neg-sub0_binary64_1096`
22×	`associate-/r/_binary64_1047`
21×	`neg-mul-1_binary64_1097`
18×	`div-sub_binary64_1106`
17×	`unswap-sqr_binary64_1069`
11×	`distribute-rgt-neg-in_binary64_1059`
10×	`log-prod_binary64_1187` `exp-prod_binary64_1153`
9×	`cube-prod_binary64_1129` `distribute-rgt-out_binary64_1054`
7×	`distribute-lft-neg-in_binary64_1058`
6×	`log-div_binary64_1188` `/-rgt-identity_binary64_1092` `distribute-lft-out_binary64_1052`
5×	`unpow2_binary64_1166` `unpow1_binary64_1159` `pow-sqr_binary64_1074`
4×	`mul-1-neg_binary64_1093` `*-rgt-identity_binary64_1091` `swap-sqr_binary64_1068` `associate-+l-_binary64_1036`
3×	`log-pow_binary64_1190` `rem-cube-cbrt_binary64_1124` `rem-sqrt-square_binary64_1114` `difference-of-sqr--1_binary64_1072` `distribute-neg-frac_binary64_1065` `distribute-rgt1-in_binary64_1057` `associate--r-_binary64_1040` `associate-+r-_binary64_1035`
2×	`pow-plus_binary64_1164` `cube-unmult_binary64_1138` `rem-square-sqrt_binary64_1113` `*-lft-identity_binary64_1090` `distribute-lft-neg-out_binary64_1060`
1×	`unpow1/2_binary64_1165` `prod-exp_binary64_1150` `exp-diff_binary64_1149` `1-exp_binary64_1145` `exp-1-e_binary64_1144` `rem-3cbrt-lft_binary64_1126` `unsub-neg_binary64_1095` `difference-of-sqr-1_binary64_1071` `difference-of-squares_binary64_1070` `distribute-rgt-out--_binary64_1055` `distribute-lft-out--_binary64_1053` `associate--l-_binary64_1039`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_1364` `erf-erfc_binary64_1363` `erf-odd_binary64_1362` `if-if-and-not_binary64_1361` `if-if-and_binary64_1360` `if-if-or-not_binary64_1359` `if-if-or_binary64_1358` `if-not_binary64_1357` `if-same_binary64_1356` `if-false_binary64_1355` `if-true_binary64_1354` `not-gte_binary64_1353` `not-lte_binary64_1352` `not-gt_binary64_1351` `not-lt_binary64_1350` `gte-same_binary64_1349` `lte-same_binary64_1348` `gt-same_binary64_1347` `lt-same_binary64_1346` `sinh---cosh_binary64_1293` `sinh-+-cosh_binary64_1292` `sinh-cosh_binary64_1291` `tanh-def-c_binary64_1290` `tanh-def-b_binary64_1289` `tanh-def-a_binary64_1288` `cosh-def_binary64_1287` `sinh-def_binary64_1286` `tan-neg_binary64_1233` `cos-neg_binary64_1232` `sin-neg_binary64_1231` `tan-0_binary64_1230` `cos-0_binary64_1229` `sin-0_binary64_1228` `hang-m-tan_binary64_1227` `hang-p-tan_binary64_1226` `hang-m0-tan_binary64_1225` `hang-p0-tan_binary64_1224` `hang-0m-tan_binary64_1223` `hang-0p-tan_binary64_1222` `tan-+PI/2_binary64_1221` `tan-+PI_binary64_1220` `tan-PI_binary64_1219` `tan-PI/3_binary64_1218` `tan-PI/4_binary64_1217` `tan-PI/6_binary64_1216` `cos-+PI/2_binary64_1215` `cos-+PI_binary64_1214` `cos-PI_binary64_1213` `cos-PI/2_binary64_1212` `cos-PI/3_binary64_1211` `cos-PI/4_binary64_1210` `cos-PI/6_binary64_1209` `sin-+PI/2_binary64_1208` `sin-+PI_binary64_1207` `sin-PI_binary64_1206` `sin-PI/2_binary64_1205` `sin-PI/3_binary64_1204` `sin-PI/4_binary64_1203` `sin-PI/6_binary64_1202` `sub-1-sin_binary64_1201` `sub-1-cos_binary64_1200` `-1-add-sin_binary64_1199` `-1-add-cos_binary64_1198` `1-sub-sin_binary64_1197` `1-sub-cos_binary64_1196` `cos-sin-sum_binary64_1195` `log-E_binary64_1191` `log-rec_binary64_1189` `pow-base-0_binary64_1185` `unpow1/3_binary64_1168` `exp-to-pow_binary64_1163` `pow-base-1_binary64_1161` `unpow0_binary64_1160` `unpow-1_binary64_1158` `exp-lft-cube_binary64_1157` `exp-lft-sqr_binary64_1156` `exp-cbrt_binary64_1155` `exp-sqrt_binary64_1154` `div-exp_binary64_1152` `rec-exp_binary64_1151` `exp-neg_binary64_1148` `exp-sum_binary64_1147` `e-exp-1_binary64_1146` `exp-0_binary64_1143` `rem-log-exp_binary64_1142` `rem-exp-log_binary64_1141` `cube-neg_binary64_1128` `rem-3cbrt-rft_binary64_1127` `sqr-abs_binary64_1116` `sqr-neg_binary64_1115` `remove-double-neg_binary64_1089` `sub0-neg_binary64_1088` `--rgt-identity_binary64_1087` `+-rgt-identity_binary64_1086` `+-lft-identity_binary64_1085` `mul0-rgt_binary64_1084` `mul0-lft_binary64_1083` `div0_binary64_1082` `*-inverses_binary64_1081` `+-inverses_binary64_1080` `lft-mult-inverse_binary64_1079` `rgt-mult-inverse_binary64_1078` `remove-double-div_binary64_1077` `cancel-sign-sub_binary64_1066` `distribute-frac-neg_binary64_1064` `distribute-neg-out_binary64_1063` `distribute-rgt-neg-out_binary64_1061` `distribute-lft1-in_binary64_1056` `count-2_binary64_1049`

Counts

305 → 238

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	452	9307
1	1348	8809
2	5010	8809

prune368.0ms (3.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	238	0	238
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	238	5	243

Error

0.0b

Counts

243 → 5

Compiler

Compiled 6520 to 4073 computations (37.5% saved)

regimes753.0ms (6.7%)

Accuracy

Total 0.1b remaining (67.7%)

Threshold costs 0.1b (67.7%)

Compiler

Compiled 9243 to 6980 computations (24.5% saved)

bsearch4.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

simplify18.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

40×	`unsub-neg_binary64_1095`
38×	`neg-mul-1_binary64_1097` `neg-sub0_binary64_1096`
26×	`+-commutative_binary64_1031`
24×	`sub-neg_binary64_1094`
23×	`distribute-rgt-neg-in_binary64_1059`
21×	`cancel-sign-sub-inv_binary64_1067`
19×	`distribute-neg-out_binary64_1063`
18×	`distribute-neg-in_binary64_1062`
16×	`distribute-lft-neg-in_binary64_1058` `*-commutative_binary64_1032`
8×	`+-rgt-identity_binary64_1086` `distribute-rgt-neg-out_binary64_1061` `distribute-lft-neg-out_binary64_1060`
7×	`+-lft-identity_binary64_1085`
6×	`remove-double-neg_binary64_1089` `distribute-neg-frac_binary64_1065`
1×	`1-exp_binary64_1145` `sqr-neg_binary64_1115` `*-rgt-identity_binary64_1091` `--rgt-identity_binary64_1087`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `if-if-and-not_binary64_1361` `if-if-and_binary64_1360` `if-if-or-not_binary64_1359` `if-if-or_binary64_1358` `if-not_binary64_1357` `if-same_binary64_1356` `if-false_binary64_1355` `if-true_binary64_1354` `tan-0_binary64_1230` `cos-0_binary64_1229` `sin-0_binary64_1228` `unpow1_binary64_1159` `e-exp-1_binary64_1146` `exp-1-e_binary64_1144` `exp-0_binary64_1143` `sqr-abs_binary64_1116` `mul-1-neg_binary64_1093` `/-rgt-identity_binary64_1092` `*-lft-identity_binary64_1090` `sub0-neg_binary64_1088` `cancel-sign-sub_binary64_1066` `distribute-frac-neg_binary64_1064`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	170
1	70	170
2	99	170
3	121	170
4	140	170
5	162	170
6	189	170
7	201	170
8	250	170
9	256	170
10	258	170
11	263	170
12	268	170
13	271	170
14	272	170
15	253	170

end0.0ms (0%)

sample2.3s (20.4%)

Algorithm

1×

intervals

Results

198.0ms	5970×	body	128	valid
137.0ms	1027×	body	1024	valid
132.0ms	8000×	pre	128	true
53.0ms	583×	body	512	valid
28.0ms	321×	body	256	valid
15.0ms	99×	body	2048	valid

Compiler

Compiled 1885 to 1407 computations (25.4% saved)

Iter	Nodes	Cost
0	44	170
1	70	170
2	99	170
3	121	170
4	140	170
5	162	170
6	189	170
7	201	170
8	250	170
9	256	170
10	258	170
11	263	170
12	268	170
13	271	170
14	272	170
15	253	170

Iter	Nodes	Cost
0	44	170
1	70	170
2	99	170
3	121	170
4	140	170
5	162	170
6	189	170
7	201	170
8	250	170
9	256	170
10	258	170
11	263	170
12	268	170
13	271	170
14	272	170
15	253	170

Details

analyze440.0ms (3.9%)

sample34.0ms (0.3%)

simplify249.0ms (2.2%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite121.0ms (1.1%)

series659.0ms (5.9%)

simplify120.0ms (1.1%)

prune138.0ms (1.2%)

localize14.0ms (0.1%)

rewrite237.0ms (2.1%)

series904.0ms (8.1%)

simplify125.0ms (1.1%)

prune213.0ms (1.9%)

localize16.0ms (0.1%)

rewrite591.0ms (5.3%)

series1.1s (9.9%)

simplify180.0ms (1.6%)

prune569.0ms (5.1%)

localize13.0ms (0.1%)

rewrite492.0ms (4.4%)

series1.3s (12%)

simplify172.0ms (1.5%)

prune368.0ms (3.3%)

regimes753.0ms (6.7%)

bsearch4.0ms (0%)

simplify18.0ms (0.2%)

end0.0ms (0%)

sample2.3s (20.4%)

Profiling

Iter	Nodes	Cost
0	44	170
1	70	170
2	99	170
3	121	170
4	140	170
5	162	170
6	189	170
7	201	170
8	250	170
9	256	170
10	258	170
11	263	170
12	268	170
13	271	170
14	272	170
15	253	170