Details

Time bar (total: 13.6s)

analyze554.0ms (4.1%)

Algorithm
1×search
2×egg-herbie
Rules
760×div-sub_binary64_1106
692×sub-neg_binary64_1094
595×neg-mul-1_binary64_1097
552×associate-/r*_binary64_1045
505×neg-sub0_binary64_1096
447×distribute-neg-frac_binary64_1065
324×distribute-frac-neg_binary64_1064
315×distribute-rgt-neg-in_binary64_1059
302×distribute-lft-neg-out_binary64_1060
238×distribute-rgt-neg-out_binary64_1061
227×remove-double-neg_binary64_1089
226×associate-/r/_binary64_1047
220×associate-/l*_binary64_1046
219×unsub-neg_binary64_1095
209×associate-*l/_binary64_1044
189×distribute-rgt-in_binary64_1051
184×cancel-sign-sub-inv_binary64_1067
144×times-frac_binary64_1107
143×cancel-sign-sub_binary64_1066
119×associate-/l/_binary64_1048
111×distribute-lft-neg-in_binary64_1058
109×distribute-neg-in_binary64_1062
106×distribute-lft-in_binary64_1050
89×associate--r-_binary64_1040
84×associate--r+_binary64_1037
66×sub0-neg_binary64_1088
61×+-lft-identity_binary64_1085
60×*-commutative_binary64_1032
56×--rgt-identity_binary64_1087 +-commutative_binary64_1031
54×/-rgt-identity_binary64_1092
45×associate-*r*_binary64_1041 associate-+l-_binary64_1036
44×associate-*r/_binary64_1043
43×*-lft-identity_binary64_1090
40×associate-+l+_binary64_1034
36×div0_binary64_1082
31×+-rgt-identity_binary64_1086
29×associate--l-_binary64_1039 associate-+r-_binary64_1035
26×associate-*l*_binary64_1042
18×*-rgt-identity_binary64_1091 mul0-rgt_binary64_1084 mul0-lft_binary64_1083
17×associate-+r+_binary64_1033
6×associate--l+_binary64_1038
3×sqr-neg_binary64_1115 swap-sqr_binary64_1068
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 rem-sqrt-square_binary64_1114 rem-square-sqrt_binary64_1113 mul-1-neg_binary64_1093 *-inverses_binary64_1081 +-inverses_binary64_1080 lft-mult-inverse_binary64_1079 rgt-mult-inverse_binary64_1078 remove-double-div_binary64_1077 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 distribute-neg-out_binary64_1063 distribute-rgt1-in_binary64_1057 distribute-lft1-in_binary64_1056 distribute-rgt-out--_binary64_1055 distribute-rgt-out_binary64_1054 distribute-lft-out--_binary64_1053 distribute-lft-out_binary64_1052 count-2_binary64_1049
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034104
18896
216496
331696
447396
577996
6137196
7244896
8362796
9440696
10469796
11488296
12493096
13496396
14493796
033
133
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
0%0%100%2
0%0%100%3
0%0%100%4
0%0%100%5
0%0%100%6
0%0%100%7
0%0%100%8
0%0%100%9
0%0%100%10
0%0%100%11
0%0%100%12
0%0%100%13
0%0%100%14
Compiler

Compiled 30 to 24 computations (20% saved)

sample40.0ms (0.3%)

Algorithm
1×intervals
Results
8.0ms87×body256valid
8.0ms169×body128valid
8.0ms279×pre128true
1.0ms23×body128nan
Compiler

Compiled 47 to 41 computations (12.8% saved)

simplify332.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
904×div-sub_binary64_1106
743×associate-/l*_binary64_1046
567×times-frac_binary64_1107
521×associate-/l/_binary64_1048
427×associate-/r/_binary64_1047
390×sub-neg_binary64_1094
318×distribute-rgt-in_binary64_1051
273×cancel-sign-sub-inv_binary64_1067
256×distribute-neg-frac_binary64_1065
247×distribute-lft-in_binary64_1050
214×distribute-rgt-neg-in_binary64_1059
199×unsub-neg_binary64_1095
187×associate-/r*_binary64_1045
179×distribute-lft-neg-in_binary64_1058
116×neg-mul-1_binary64_1097
113×associate-*l/_binary64_1044
98×*-commutative_binary64_1032
82×distribute-lft-neg-out_binary64_1060
74×neg-sub0_binary64_1096 distribute-frac-neg_binary64_1064
67×distribute-rgt-neg-out_binary64_1061
58×associate-*r*_binary64_1041
55×+-commutative_binary64_1031
54×associate--r+_binary64_1037
49×div0_binary64_1082 associate-*l*_binary64_1042
48×mul0-rgt_binary64_1084
45×associate-*r/_binary64_1043
44×mul0-lft_binary64_1083
42×remove-double-div_binary64_1077
38×associate--r-_binary64_1040
30×+-lft-identity_binary64_1085
26×distribute-neg-in_binary64_1062 associate--l-_binary64_1039
23×cancel-sign-sub_binary64_1066
22×/-rgt-identity_binary64_1092 remove-double-neg_binary64_1089
19×sub0-neg_binary64_1088
17×*-lft-identity_binary64_1090
14×associate-+l-_binary64_1036 associate-+r-_binary64_1035 associate-+l+_binary64_1034
10×*-rgt-identity_binary64_1091 distribute-rgt-out--_binary64_1055 distribute-rgt-out_binary64_1054 associate--l+_binary64_1038
8×distribute-neg-out_binary64_1063
7×--rgt-identity_binary64_1087 associate-+r+_binary64_1033
6×mul-1-neg_binary64_1093
5×+-rgt-identity_binary64_1086
4×distribute-lft-out_binary64_1052
2×distribute-lft-out--_binary64_1053
1×1-exp_binary64_1145 swap-sqr_binary64_1068
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_1081 +-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 distribute-rgt1-in_binary64_1057 distribute-lft1-in_binary64_1056 count-2_binary64_1049
Counts
1 → 1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01326
12924
26224
312524
417524
528424
645624
775924
8118624
9163524
10191324
11186824
12191624
13198524
14202924
15159724
16158924
17158124
18158524
19158724
20158724
21180124
22190124
23183524
24184324
25186524
26187724
27188324
28188324
29192724
30198324
31193524
32193524
33174624

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
43.2b
Counts
2 → 1
Compiler

Compiled 32 to 26 computations (18.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
0.3b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
0.3b
(*.f64 (*.f64 3 a) c)
37.1b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)

rewrite161.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
40.5b
Rules
20×add-sqr-sqrt_binary64_1123
14×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 *-un-lft-identity_binary64_1101
9×pow1_binary64_1162
8×add-log-exp_binary64_1140 add-cube-cbrt_binary64_1136
6×difference-of-squares_binary64_1070 times-frac_binary64_1107 associate-/l*_binary64_1046
4×cancel-sign-sub-inv_binary64_1067 prod-exp_binary64_1150 cbrt-unprod_binary64_1134
3×flip3--_binary64_1105 flip--_binary64_1076 sqrt-prod_binary64_1117 distribute-lft-out--_binary64_1053 pow-prod-down_binary64_1172 associate-*r*_binary64_1041
2×diff-log_binary64_1193 sub-neg_binary64_1094 div-exp_binary64_1152 cbrt-undiv_binary64_1135 associate-/l/_binary64_1048
1×associate-*l*_binary64_1042 *-commutative_binary64_1032 frac-2neg_binary64_1112 div-sub_binary64_1106 clear-num_binary64_1100 div-inv_binary64_1098 associate-/r*_binary64_1045
Counts
4 → 77
Calls

4 calls:

13.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
9.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
5.0ms
(*.f64 (*.f64 3 a) c)
4.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
Compiler

Compiled 2072 to 1208 computations (41.7% saved)

series894.0ms (6.6%)

Error
0.6b
Counts
4 → 60
Calls

4 calls:

303.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
228.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
221.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
72.0ms
(*.f64 (*.f64 3 a) c)
Compiler

Compiled 2840 to 2199 computations (22.6% saved)

simplify98.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
701×associate-/l*_binary64_1046
244×distribute-rgt-in_binary64_1051
224×distribute-rgt-neg-in_binary64_1059
216×distribute-lft-in_binary64_1050
205×distribute-lft-neg-in_binary64_1058
181×cancel-sign-sub-inv_binary64_1067
170×associate-*l*_binary64_1042
166×associate-*r*_binary64_1041
162×associate-/r/_binary64_1047
152×associate-/l/_binary64_1048
112×*-commutative_binary64_1032
99×unswap-sqr_binary64_1069
79×sub-neg_binary64_1094
77×distribute-neg-frac_binary64_1065
76×times-frac_binary64_1107
75×associate-/r*_binary64_1045
73×neg-mul-1_binary64_1097 neg-sub0_binary64_1096
63×distribute-neg-in_binary64_1062
59×div-sub_binary64_1106
54×sqr-pow_binary64_1073
52×exp-prod_binary64_1153
45×+-commutative_binary64_1031
34×associate-*l/_binary64_1044
32×associate-*r/_binary64_1043
29×distribute-rgt-out_binary64_1054
25×cube-prod_binary64_1129 unsub-neg_binary64_1095 distribute-lft-neg-out_binary64_1060
24×associate-+r+_binary64_1033
22×associate-+l+_binary64_1034
21×log-prod_binary64_1187
18×swap-sqr_binary64_1068 associate--r+_binary64_1037
17×distribute-lft-out_binary64_1052
13×*-rgt-identity_binary64_1091 *-lft-identity_binary64_1090
12×distribute-rgt-neg-out_binary64_1061
10×unpow3_binary64_1167
9×cube-mult_binary64_1131
8×/-rgt-identity_binary64_1092 difference-of-squares_binary64_1070
7×exp-sum_binary64_1147 associate-+r-_binary64_1035
6×log-div_binary64_1188 exp-diff_binary64_1149 +-rgt-identity_binary64_1086
5×cube-unmult_binary64_1138
4×pow-plus_binary64_1164 pow-sqr_binary64_1074
3×unpow2_binary64_1166 unpow1/2_binary64_1165 unpow1_binary64_1159 exp-lft-cube_binary64_1157 exp-cbrt_binary64_1155 cube-div_binary64_1130 rem-sqrt-square_binary64_1114 mul-1-neg_binary64_1093 associate-+l-_binary64_1036
2×log-pow_binary64_1190 div-exp_binary64_1152 rem-square-sqrt_binary64_1113 distribute-neg-out_binary64_1063 distribute-lft-out--_binary64_1053
1×1-exp_binary64_1145 exp-1-e_binary64_1144 rem-3cbrt-lft_binary64_1126 remove-double-neg_binary64_1089 *-inverses_binary64_1081 count-2_binary64_1049 associate--r-_binary64_1040 associate--l-_binary64_1039 associate--l+_binary64_1038
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-sqr_binary64_1156 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-3cbrt-rft_binary64_1127 rem-cbrt-cube_binary64_1125 rem-cube-cbrt_binary64_1124 sqr-abs_binary64_1116 sqr-neg_binary64_1115 sub0-neg_binary64_1088 --rgt-identity_binary64_1087 +-lft-identity_binary64_1085 mul0-rgt_binary64_1084 mul0-lft_binary64_1083 div0_binary64_1082 +-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-rgt1-in_binary64_1057 distribute-lft1-in_binary64_1056 distribute-rgt-out--_binary64_1055
Counts
137 → 107
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02203206
15752948
220752923
352682923

prune148.0ms (1.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New989107
Fresh000
Picked011
Done000
Total9810108
Error
0.4b
Counts
108 → 10
Compiler

Compiled 2785 to 1565 computations (43.8% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (*.f64 a a) (pow.f64 c 3))
0.3b
(*.f64 3/8 (/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3)))
0.3b
(/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3))
0.4b
(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))

rewrite655.0ms (4.8%)

Algorithm
1×rewrite-expression-head
Error
0.4b
Rules
135×add-exp-log_binary64_1139
64×prod-exp_binary64_1150
48×div-exp_binary64_1152
37×add-cbrt-cube_binary64_1137
36×pow-to-exp_binary64_1170 pow-exp_binary64_1169
31×times-frac_binary64_1107
28×associate-*r*_binary64_1041
27×add-sqr-sqrt_binary64_1123
22×add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101
19×unpow-prod-down_binary64_1180 associate-/r*_binary64_1045
14×cbrt-unprod_binary64_1134
13×cube-prod_binary64_1129
8×cbrt-undiv_binary64_1135
7×sqr-pow_binary64_1073
6×pow1_binary64_1162
5×unswap-sqr_binary64_1069
4×add-log-exp_binary64_1140 unpow3_binary64_1167 cube-mult_binary64_1131 associate-*l*_binary64_1042
3×div-inv_binary64_1098
2×frac-2neg_binary64_1112 clear-num_binary64_1100 associate-/l*_binary64_1046 *-commutative_binary64_1032
1×pow-prod-down_binary64_1172 associate-*r/_binary64_1043
Counts
4 → 181
Calls

4 calls:

17.0ms
(*.f64 3/8 (/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3)))
10.0ms
(/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3))
9.0ms
(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
9.0ms
(*.f64 (*.f64 a a) (pow.f64 c 3))
Compiler

Compiled 9356 to 5831 computations (37.7% saved)

series1.4s (10.4%)

Error
0.4b
Counts
4 → 33
Calls

4 calls:

497.0ms
(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
364.0ms
(*.f64 3/8 (/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3)))
310.0ms
(/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3))
158.0ms
(*.f64 (*.f64 a a) (pow.f64 c 3))
Compiler

Compiled 4455 to 3355 computations (24.7% saved)

simplify154.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
523×unswap-sqr_binary64_1069
287×times-frac_binary64_1107
282×associate-*l*_binary64_1042
253×associate-*r*_binary64_1041
247×log-div_binary64_1188
246×associate-/l*_binary64_1046
186×associate-/r*_binary64_1045
165×log-prod_binary64_1187
106×*-commutative_binary64_1032
101×distribute-rgt-neg-in_binary64_1059
97×cube-prod_binary64_1129
95×distribute-lft-neg-in_binary64_1058
85×associate-*l/_binary64_1044
78×swap-sqr_binary64_1068
77×associate-*r/_binary64_1043
72×sqr-pow_binary64_1073 cancel-sign-sub-inv_binary64_1067
62×associate-/l/_binary64_1048
52×exp-prod_binary64_1153
40×log-pow_binary64_1190 cube-div_binary64_1130 sub-neg_binary64_1094
38×*-rgt-identity_binary64_1091
33×associate-/r/_binary64_1047
24×+-commutative_binary64_1031
22×cube-unmult_binary64_1138
20×neg-mul-1_binary64_1097 neg-sub0_binary64_1096
19×distribute-rgt-in_binary64_1051
17×pow-plus_binary64_1164 distribute-neg-frac_binary64_1065
16×pow-sqr_binary64_1074 associate--l+_binary64_1038
12×*-lft-identity_binary64_1090
11×rem-sqrt-square_binary64_1114
10×unpow3_binary64_1167
9×cube-mult_binary64_1131
8×log-rec_binary64_1189 associate-+l+_binary64_1034
7×distribute-neg-in_binary64_1062
6×distribute-lft-neg-out_binary64_1060 associate-+r-_binary64_1035 associate-+r+_binary64_1033
4×/-rgt-identity_binary64_1092
3×unsub-neg_binary64_1095 distribute-rgt-neg-out_binary64_1061
2×unpow2_binary64_1166 unpow1/2_binary64_1165 unpow1_binary64_1159 rem-cbrt-cube_binary64_1125 rem-cube-cbrt_binary64_1124 rem-square-sqrt_binary64_1113 div-sub_binary64_1106 count-2_binary64_1049
1×1-exp_binary64_1145 exp-1-e_binary64_1144 distribute-rgt-out_binary64_1054 associate-+l-_binary64_1036
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 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 prod-exp_binary64_1150 exp-diff_binary64_1149 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 rem-3cbrt-lft_binary64_1126 sqr-abs_binary64_1116 sqr-neg_binary64_1115 mul-1-neg_binary64_1093 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 difference-of-sqr--1_binary64_1072 difference-of-sqr-1_binary64_1071 difference-of-squares_binary64_1070 cancel-sign-sub_binary64_1066 distribute-frac-neg_binary64_1064 distribute-neg-out_binary64_1063 distribute-rgt1-in_binary64_1057 distribute-lft1-in_binary64_1056 distribute-rgt-out--_binary64_1055 distribute-lft-out--_binary64_1053 distribute-lft-out_binary64_1052 distribute-lft-in_binary64_1050 associate--r-_binary64_1040 associate--l-_binary64_1039 associate--r+_binary64_1037
Counts
214 → 162
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02643682
15643261
228283246
348163246
450423246

prune500.0ms (3.7%)

Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1611162
Fresh088
Picked011
Done011
Total16111172
Error
0.4b
Counts
172 → 11
Compiler

Compiled 8011 to 5044 computations (37% saved)

localize35.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b
(*.f64 (pow.f64 a 4) (pow.f64 c 4))
0.4b
(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
0.5b
(*.f64 (*.f64 a c) (*.f64 a c))
0.7b
(pow.f64 (*.f64 a c) 3)

rewrite849.0ms (6.2%)

Algorithm
1×rewrite-expression-head
Error
0.4b
Rules
56×times-frac_binary64_1107
51×add-exp-log_binary64_1139
48×unpow-prod-down_binary64_1180
47×add-sqr-sqrt_binary64_1123
46×pow1_binary64_1162
35×add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101
26×sqr-pow_binary64_1073
23×add-cbrt-cube_binary64_1137
21×prod-exp_binary64_1150
19×pow-prod-down_binary64_1172
18×pow-exp_binary64_1169
14×pow-to-exp_binary64_1170
12×div-exp_binary64_1152
10×cbrt-unprod_binary64_1134
9×unpow3_binary64_1167 cube-mult_binary64_1131 cube-prod_binary64_1129 unswap-sqr_binary64_1069
8×associate-*l*_binary64_1042 associate-*r*_binary64_1041 associate-/l*_binary64_1046
7×associate-/r*_binary64_1045
4×add-log-exp_binary64_1140 pow-prod-up_binary64_1171 pow-sqr_binary64_1074
3×pow-unpow_binary64_1178
2×pow-pow_binary64_1173 rem-cube-cbrt_binary64_1124 pow-plus_binary64_1164 *-commutative_binary64_1032
1×pow2_binary64_1182 swap-sqr_binary64_1068 cbrt-undiv_binary64_1135 frac-2neg_binary64_1112 clear-num_binary64_1100 div-inv_binary64_1098
Counts
4 → 192
Calls

4 calls:

8.0ms
(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
8.0ms
(*.f64 (pow.f64 a 4) (pow.f64 c 4))
7.0ms
(*.f64 (*.f64 a c) (*.f64 a c))
4.0ms
(pow.f64 (*.f64 a c) 3)
Compiler

Compiled 11302 to 6748 computations (40.3% saved)

series1.0s (7.6%)

Error
0.4b
Counts
4 → 27
Calls

4 calls:

514.0ms
(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
169.0ms
(*.f64 (pow.f64 a 4) (pow.f64 c 4))
144.0ms
(pow.f64 (*.f64 a c) 3)
125.0ms
(*.f64 (*.f64 a c) (*.f64 a c))
Compiler

Compiled 4221 to 2973 computations (29.6% saved)

simplify153.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
743×associate-/r/_binary64_1047
501×log-prod_binary64_1187
466×unswap-sqr_binary64_1069
271×associate-/l*_binary64_1046
206×associate-*l*_binary64_1042
196×associate-*r*_binary64_1041
195×times-frac_binary64_1107
158×log-div_binary64_1188
126×exp-prod_binary64_1153
105×associate-/r*_binary64_1045
92×swap-sqr_binary64_1068
87×cube-prod_binary64_1129 sqr-pow_binary64_1073
86×associate-/l/_binary64_1048
74×distribute-rgt-neg-in_binary64_1059
73×distribute-lft-neg-in_binary64_1058
61×*-commutative_binary64_1032
40×cube-div_binary64_1130
39×cancel-sign-sub-inv_binary64_1067
33×log-pow_binary64_1190
32×associate-*l/_binary64_1044
30×distribute-neg-frac_binary64_1065
19×associate-*r/_binary64_1043
18×*-rgt-identity_binary64_1091
16×cube-unmult_binary64_1138 sub-neg_binary64_1094 pow-sqr_binary64_1074
14×log-rec_binary64_1189 rem-sqrt-square_binary64_1114 neg-mul-1_binary64_1097 neg-sub0_binary64_1096
12×*-lft-identity_binary64_1090
11×distribute-rgt-in_binary64_1051
9×distribute-lft-in_binary64_1050
8×/-rgt-identity_binary64_1092 +-commutative_binary64_1031
7×pow-plus_binary64_1164 unpow1_binary64_1159 count-2_binary64_1049
6×unpow2_binary64_1166
5×unpow3_binary64_1167 associate-+l+_binary64_1034 associate-+r+_binary64_1033
4×cube-mult_binary64_1131
3×unpow1/2_binary64_1165
2×rem-square-sqrt_binary64_1113
1×1-exp_binary64_1145 exp-1-e_binary64_1144 rem-cbrt-cube_binary64_1125 distribute-neg-in_binary64_1062 distribute-lft-neg-out_binary64_1060 distribute-rgt-out_binary64_1054 distribute-lft-out_binary64_1052
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 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 prod-exp_binary64_1150 exp-diff_binary64_1149 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 rem-3cbrt-lft_binary64_1126 rem-cube-cbrt_binary64_1124 sqr-abs_binary64_1116 sqr-neg_binary64_1115 div-sub_binary64_1106 unsub-neg_binary64_1095 mul-1-neg_binary64_1093 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 difference-of-sqr--1_binary64_1072 difference-of-sqr-1_binary64_1071 difference-of-squares_binary64_1070 cancel-sign-sub_binary64_1066 distribute-frac-neg_binary64_1064 distribute-neg-out_binary64_1063 distribute-rgt-neg-out_binary64_1061 distribute-rgt1-in_binary64_1057 distribute-lft1-in_binary64_1056 distribute-rgt-out--_binary64_1055 distribute-lft-out--_binary64_1053 associate--r-_binary64_1040 associate--l-_binary64_1039 associate--l+_binary64_1038 associate--r+_binary64_1037 associate-+l-_binary64_1036 associate-+r-_binary64_1035
Counts
219 → 163
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02433357
14293090
222863066
347743066
454273066

prune563.0ms (4.1%)

Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New1630163
Fresh088
Picked011
Done022
Total16311174
Error
0.4b
Counts
174 → 11
Compiler

Compiled 9073 to 5446 computations (40% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b
(/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
0.3b
(*.f64 (*.f64 a a) (pow.f64 c 3))
0.3b
(*.f64 3/8 (/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3)))
0.3b
(/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3))

rewrite428.0ms (3.1%)

Algorithm
1×rewrite-expression-head
Error
0.4b
Rules
132×add-exp-log_binary64_1139
64×prod-exp_binary64_1150
41×add-cbrt-cube_binary64_1137
39×div-exp_binary64_1152
31×times-frac_binary64_1107
28×associate-*r*_binary64_1041
27×add-sqr-sqrt_binary64_1123
22×add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101
21×pow-to-exp_binary64_1170 pow-exp_binary64_1169
19×unpow-prod-down_binary64_1180 associate-/r*_binary64_1045
16×cbrt-unprod_binary64_1134
13×cube-prod_binary64_1129
9×cbrt-undiv_binary64_1135
7×sqr-pow_binary64_1073
6×pow1_binary64_1162
5×unswap-sqr_binary64_1069
4×add-log-exp_binary64_1140 unpow3_binary64_1167 cube-mult_binary64_1131 associate-*l*_binary64_1042
3×div-inv_binary64_1098
2×frac-2neg_binary64_1112 clear-num_binary64_1100 associate-/l*_binary64_1046 *-commutative_binary64_1032
1×pow-prod-down_binary64_1172 associate-*r/_binary64_1043
Counts
4 → 173
Calls

4 calls:

16.0ms
(*.f64 3/8 (/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3)))
11.0ms
(/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
10.0ms
(/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3))
9.0ms
(*.f64 (*.f64 a a) (pow.f64 c 3))
Compiler

Compiled 6572 to 3673 computations (44.1% saved)

series1.2s (9.1%)

Error
0.4b
Counts
4 → 33
Calls

4 calls:

404.0ms
(/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
350.0ms
(*.f64 3/8 (/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3)))
293.0ms
(/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3))
145.0ms
(*.f64 (*.f64 a a) (pow.f64 c 3))
Compiler

Compiled 3069 to 2302 computations (25% saved)

simplify150.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
427×log-prod_binary64_1187
348×unswap-sqr_binary64_1069
306×times-frac_binary64_1107
265×associate-/l*_binary64_1046
259×log-div_binary64_1188
219×associate-*l*_binary64_1042
211×associate-*r*_binary64_1041
189×associate-/r*_binary64_1045
99×*-commutative_binary64_1032
93×distribute-rgt-neg-in_binary64_1059 associate-*l/_binary64_1044
87×distribute-lft-neg-in_binary64_1058
85×associate-*r/_binary64_1043
81×associate-/l/_binary64_1048
77×cube-prod_binary64_1129
66×sqr-pow_binary64_1073 swap-sqr_binary64_1068
64×cancel-sign-sub-inv_binary64_1067
53×exp-prod_binary64_1153
51×associate-+l+_binary64_1034
48×associate--l+_binary64_1038
47×+-commutative_binary64_1031
45×cube-div_binary64_1130 associate-/r/_binary64_1047
41×sub-neg_binary64_1094
36×*-rgt-identity_binary64_1091
34×associate-+r+_binary64_1033
33×log-pow_binary64_1190
31×associate-+l-_binary64_1036
27×associate-+r-_binary64_1035
26×associate--r+_binary64_1037
22×associate--l-_binary64_1039
19×neg-mul-1_binary64_1097 neg-sub0_binary64_1096 distribute-rgt-in_binary64_1051
18×cube-unmult_binary64_1138 /-rgt-identity_binary64_1092 distribute-neg-frac_binary64_1065
17×distribute-lft-in_binary64_1050
14×*-lft-identity_binary64_1090 pow-sqr_binary64_1074
13×pow-plus_binary64_1164
12×log-rec_binary64_1189
11×rem-sqrt-square_binary64_1114
9×unpow3_binary64_1167
8×cube-mult_binary64_1131
7×distribute-neg-in_binary64_1062
6×distribute-lft-neg-out_binary64_1060 count-2_binary64_1049
4×unsub-neg_binary64_1095
3×div-sub_binary64_1106
2×unpow2_binary64_1166 unpow1/2_binary64_1165 unpow1_binary64_1159 rem-cbrt-cube_binary64_1125 rem-cube-cbrt_binary64_1124 rem-square-sqrt_binary64_1113
1×1-exp_binary64_1145 exp-1-e_binary64_1144 distribute-rgt-neg-out_binary64_1061
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 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 prod-exp_binary64_1150 exp-diff_binary64_1149 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 rem-3cbrt-lft_binary64_1126 sqr-abs_binary64_1116 sqr-neg_binary64_1115 mul-1-neg_binary64_1093 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 difference-of-sqr--1_binary64_1072 difference-of-sqr-1_binary64_1071 difference-of-squares_binary64_1070 cancel-sign-sub_binary64_1066 distribute-frac-neg_binary64_1064 distribute-neg-out_binary64_1063 distribute-rgt1-in_binary64_1057 distribute-lft1-in_binary64_1056 distribute-rgt-out--_binary64_1055 distribute-rgt-out_binary64_1054 distribute-lft-out--_binary64_1053 distribute-lft-out_binary64_1052 associate--r-_binary64_1040
Counts
206 → 163
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02463581
15373118
227183112
346413112
451883112

prune307.0ms (2.3%)

Pruning

11 alts after pruning (7 fresh and 4 done)

PrunedKeptTotal
New1630163
Fresh077
Picked011
Done033
Total16311174
Error
0.4b
Counts
174 → 11
Compiler

Compiled 5476 to 3052 computations (44.3% saved)

regimes901.0ms (6.6%)

Accuracy

Total 2.5b remaining (87.2%)

Threshold costs 0b (0%)

Compiler

Compiled 11718 to 8509 computations (27.4% saved)

bsearch0.0ms (0%)

simplify9.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
32×*-commutative_binary64_1032
28×+-commutative_binary64_1031
25×neg-mul-1_binary64_1097 neg-sub0_binary64_1096 sub-neg_binary64_1094
14×distribute-rgt-neg-in_binary64_1059 distribute-lft-neg-in_binary64_1058
6×unsub-neg_binary64_1095 distribute-neg-in_binary64_1062
4×distribute-neg-frac_binary64_1065
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 1-exp_binary64_1145 exp-1-e_binary64_1144 exp-0_binary64_1143 sqr-abs_binary64_1116 sqr-neg_binary64_1115 mul-1-neg_binary64_1093 /-rgt-identity_binary64_1092 *-rgt-identity_binary64_1091 *-lft-identity_binary64_1090 remove-double-neg_binary64_1089 sub0-neg_binary64_1088 --rgt-identity_binary64_1087 +-rgt-identity_binary64_1086 +-lft-identity_binary64_1085 cancel-sign-sub-inv_binary64_1067 cancel-sign-sub_binary64_1066 distribute-frac-neg_binary64_1064 distribute-neg-out_binary64_1063 distribute-rgt-neg-out_binary64_1061 distribute-lft-neg-out_binary64_1060
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03669
15369
27169
39969
414169
517369
620869
722769
823769
924169
1024169

end0.0ms (0%)

sample2.9s (21.5%)

Algorithm
1×intervals
Results
286.0ms2925×body256valid
269.0ms8896×pre128true
264.0ms5075×body128valid
44.0ms896×body128nan
Compiler

Compiled 2246 to 1641 computations (26.9% saved)

Profiling

Loading profile data...