Details

analyze543.0ms (18.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

805×	`unsub-neg_binary64_1095`
626×	`distribute-rgt-out--_binary64_1055`
462×	`distribute-neg-in_binary64_1062`
449×	`distribute-rgt-out_binary64_1054`
439×	`sub-neg_binary64_1094`
290×	`distribute-rgt-neg-in_binary64_1059`
278×	`distribute-lft-neg-out_binary64_1060`
270×	`+-commutative_binary64_1031`
256×	`neg-sub0_binary64_1096`
214×	`cancel-sign-sub-inv_binary64_1067`
207×	`neg-mul-1_binary64_1097`
206×	`associate-+l+_binary64_1034`
197×	`distribute-lft-out_binary64_1052`
166×	`distribute-neg-out_binary64_1063`
154×	`distribute-lft-neg-in_binary64_1058`
150×	`distribute-rgt1-in_binary64_1057` `*-commutative_binary64_1032`
136×	`associate-+r+_binary64_1033`
134×	`associate--l+_binary64_1038` `associate-+l-_binary64_1036`
127×	`distribute-rgt-neg-out_binary64_1061`
118×	`associate--r+_binary64_1037`
107×	`remove-double-neg_binary64_1089`
102×	`distribute-rgt-in_binary64_1051`
83×	`associate-+r-_binary64_1035`
79×	`associate-l_binary64_1042`
69×	`distribute-lft-out--_binary64_1053`
67×	`distribute-lft-in_binary64_1050`
60×	`distribute-lft1-in_binary64_1056`
52×	`associate--l-_binary64_1039`
44×	`associate--r-_binary64_1040`
42×	`associate-r_binary64_1041`
31×	`*-rgt-identity_binary64_1091`
26×	`sub0-neg_binary64_1088`
23×	`*-lft-identity_binary64_1090`
13×	`mul-1-neg_binary64_1093`
10×	`+-rgt-identity_binary64_1086`
9×	`log-prod_binary64_1187`
6×	`mul0-rgt_binary64_1084` `swap-sqr_binary64_1068`
5×	`mul0-lft_binary64_1083`
4×	`+-lft-identity_binary64_1085` `cancel-sign-sub_binary64_1066`
3×	`sqr-neg_binary64_1115` `--rgt-identity_binary64_1087`
1×	`1-exp_binary64_1145` `+-inverses_binary64_1080` `difference-of-sqr-1_binary64_1071`
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` `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` `times-frac_binary64_1107` `div-sub_binary64_1106` `/-rgt-identity_binary64_1092` `div0_binary64_1082` `-inverses_binary64_1081` `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-squares_binary64_1070` `unswap-sqr_binary64_1069` `distribute-neg-frac_binary64_1065` `distribute-frac-neg_binary64_1064` `count-2_binary64_1049` `associate-/l/_binary64_1048` `associate-/r/_binary64_1047` `associate-/l_binary64_1046` `associate-/r_binary64_1045` `associate-l/_binary64_1044` `associate-*r/_binary64_1043`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	17	14
2	21	14
3	36	14
4	57	14
5	94	14
6	185	14
7	360	14
8	1261	14
9	1616	14
10	2338	14
11	2722	14
12	2923	14
13	3093	14
14	3194	14
15	3511	14
16	3955	14
17	4851	14
18	4922	14
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
25%	50%	25%	4
25%	37.5%	37.5%	5
25%	31.2%	43.8%	6
25%	28.1%	46.9%	7
25%	26.5%	48.5%	8
25%	25.8%	49.2%	9
25%	25.4%	49.6%	10
25%	25.2%	49.8%	11
25%	25.1%	49.9%	12
25%	25%	50%	13
25%	25%	50%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample60.0ms (2%)

Algorithm

1×

intervals

Results

22.0ms	143×	body	2048	nan
10.0ms	256×	body	128	valid
7.0ms	61×	body	1024	nan
3.0ms	29×	body	512	nan
1.0ms	20×	body	256	nan
0.0ms	16×	body	128	nan

Compiler

Compiled 19 to 16 computations (15.8% saved)

simplify149.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

805×	`unsub-neg_binary64_1095`
626×	`distribute-rgt-out--_binary64_1055`
462×	`distribute-neg-in_binary64_1062`
449×	`distribute-rgt-out_binary64_1054`
439×	`sub-neg_binary64_1094`
290×	`distribute-rgt-neg-in_binary64_1059`
278×	`distribute-lft-neg-out_binary64_1060`
270×	`+-commutative_binary64_1031`
256×	`neg-sub0_binary64_1096`
214×	`cancel-sign-sub-inv_binary64_1067`
207×	`neg-mul-1_binary64_1097`
206×	`associate-+l+_binary64_1034`
197×	`distribute-lft-out_binary64_1052`
166×	`distribute-neg-out_binary64_1063`
154×	`distribute-lft-neg-in_binary64_1058`
150×	`distribute-rgt1-in_binary64_1057` `*-commutative_binary64_1032`
136×	`associate-+r+_binary64_1033`
134×	`associate--l+_binary64_1038` `associate-+l-_binary64_1036`
127×	`distribute-rgt-neg-out_binary64_1061`
118×	`associate--r+_binary64_1037`
107×	`remove-double-neg_binary64_1089`
102×	`distribute-rgt-in_binary64_1051`
83×	`associate-+r-_binary64_1035`
79×	`associate-l_binary64_1042`
69×	`distribute-lft-out--_binary64_1053`
67×	`distribute-lft-in_binary64_1050`
60×	`distribute-lft1-in_binary64_1056`
52×	`associate--l-_binary64_1039`
44×	`associate--r-_binary64_1040`
42×	`associate-r_binary64_1041`
31×	`*-rgt-identity_binary64_1091`
26×	`sub0-neg_binary64_1088`
23×	`*-lft-identity_binary64_1090`
13×	`mul-1-neg_binary64_1093`
10×	`+-rgt-identity_binary64_1086`
9×	`log-prod_binary64_1187`
6×	`mul0-rgt_binary64_1084` `swap-sqr_binary64_1068`
5×	`mul0-lft_binary64_1083`
4×	`+-lft-identity_binary64_1085` `cancel-sign-sub_binary64_1066`
3×	`sqr-neg_binary64_1115` `--rgt-identity_binary64_1087`
1×	`1-exp_binary64_1145` `+-inverses_binary64_1080` `difference-of-sqr-1_binary64_1071`
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` `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` `times-frac_binary64_1107` `div-sub_binary64_1106` `/-rgt-identity_binary64_1092` `div0_binary64_1082` `-inverses_binary64_1081` `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-squares_binary64_1070` `unswap-sqr_binary64_1069` `distribute-neg-frac_binary64_1065` `distribute-frac-neg_binary64_1064` `count-2_binary64_1049` `associate-/l/_binary64_1048` `associate-/r/_binary64_1047` `associate-/l_binary64_1046` `associate-/r_binary64_1045` `associate-l/_binary64_1044` `associate-*r/_binary64_1043`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	17	14
2	21	14
3	36	14
4	57	14
5	94	14
6	185	14
7	360	14
8	1261	14
9	1616	14
10	2338	14
11	2722	14
12	2923	14
13	3093	14
14	3194	14
15	3511	14
16	3955	14
17	4851	14
18	4922	14

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

36.1b

Counts

1 → 1

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
33.7b	(sqrt.f64 (-.f64 (*.f64 x x) 1))

rewrite43.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`sqrt-prod_binary64_1117` `*-un-lft-identity_binary64_1101`
5×	`add-sqr-sqrt_binary64_1123`
4×	`add-log-exp_binary64_1140`
3×	`pow1_binary64_1162` `add-cube-cbrt_binary64_1136`
2×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137` `sqrt-div_binary64_1118` `difference-of-squares_binary64_1070`
1×	`pow1/2_binary64_1181` `sqrt-pow1_binary64_1119` `flip3--_binary64_1105` `flip--_binary64_1076` `difference-of-sqr-1_binary64_1071` `rem-sqrt-square_binary64_1114` `sum-log_binary64_1192` `flip3-+_binary64_1104` `flip-+_binary64_1075` `distribute-lft-out_binary64_1052` `+-commutative_binary64_1031`

Counts

2 → 30

Calls

2 calls:

7.0ms	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
5.0ms	(sqrt.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 512 to 315 computations (38.5% saved)

series94.0ms (3.2%)

Error

Counts

2 → 12

Calls

2 calls:

51.0ms	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
32.0ms	(sqrt.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 311 to 264 computations (15.1% saved)

simplify83.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

427×	`neg-mul-1_binary64_1097`
390×	`neg-sub0_binary64_1096`
354×	`sub-neg_binary64_1094`
278×	`associate-l_binary64_1042`
271×	`distribute-rgt-in_binary64_1051`
253×	`times-frac_binary64_1107`
225×	`associate-+l+_binary64_1034`
205×	`distribute-lft-in_binary64_1050`
200×	`unsub-neg_binary64_1095`
199×	`associate-r_binary64_1041`
180×	`associate-+r+_binary64_1033`
164×	`unswap-sqr_binary64_1069`
150×	`distribute-neg-frac_binary64_1065`
135×	`associate-+l-_binary64_1036`
123×	`associate-/r*_binary64_1045`
119×	`distribute-neg-in_binary64_1062`
118×	`distribute-lft-neg-out_binary64_1060`
109×	`distribute-rgt-neg-out_binary64_1061`
105×	`cancel-sign-sub-inv_binary64_1067`
84×	`+-commutative_binary64_1031`
79×	`div-sub_binary64_1106`
76×	`associate--l+_binary64_1038`
70×	`associate--r+_binary64_1037`
68×	`*-commutative_binary64_1032`
65×	`sub0-neg_binary64_1088`
64×	`associate-+r-_binary64_1035`
61×	`cancel-sign-sub_binary64_1066`
51×	`distribute-neg-out_binary64_1063`
43×	`distribute-rgt-out_binary64_1054`
38×	`sqr-pow_binary64_1073`
36×	`associate-*r/_binary64_1043`
35×	`associate-*l/_binary64_1044`
32×	`cube-prod_binary64_1129`
30×	`+-rgt-identity_binary64_1086`
27×	`-rgt-identity_binary64_1091` `-lft-identity_binary64_1090`
22×	`distribute-rgt-neg-in_binary64_1059` `associate-/l*_binary64_1046`
21×	`pow-plus_binary64_1164` `associate--l-_binary64_1039`
20×	`exp-prod_binary64_1153`
17×	`cube-unmult_binary64_1138`
16×	`distribute-lft-neg-in_binary64_1058`
14×	`sqr-neg_binary64_1115` `associate-/l/_binary64_1048`
13×	`distribute-rgt-out--_binary64_1055`
12×	`exp-sum_binary64_1147` `associate--r-_binary64_1040`
11×	`unpow3_binary64_1167` `distribute-rgt1-in_binary64_1057`
10×	`log-prod_binary64_1187` `remove-double-neg_binary64_1089`
9×	`cube-neg_binary64_1128`
8×	`exp-diff_binary64_1149` `difference-of-sqr-1_binary64_1071`
7×	`mul-1-neg_binary64_1093`
5×	`rem-sqrt-square_binary64_1114` `mul0-lft_binary64_1083` `difference-of-sqr--1_binary64_1072`
4×	`cube-mult_binary64_1131` `--rgt-identity_binary64_1087` `mul0-rgt_binary64_1084`
3×	`pow-sqr_binary64_1074` `difference-of-squares_binary64_1070` `distribute-frac-neg_binary64_1064` `distribute-lft1-in_binary64_1056`
2×	`unpow2_binary64_1166` `unpow1/2_binary64_1165` `exp-neg_binary64_1148` `+-inverses_binary64_1080` `remove-double-div_binary64_1077` `swap-sqr_binary64_1068`
1×	`unpow1_binary64_1159` `prod-exp_binary64_1150` `1-exp_binary64_1145` `exp-1-e_binary64_1144` `cube-div_binary64_1130` `rem-square-sqrt_binary64_1113` `div0_binary64_1082` `distribute-lft-out--_binary64_1053` `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` `log-pow_binary64_1190` `log-rec_binary64_1189` `log-div_binary64_1188` `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` `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` `/-rgt-identity_binary64_1092` `+-lft-identity_binary64_1085` `*-inverses_binary64_1081` `lft-mult-inverse_binary64_1079` `rgt-mult-inverse_binary64_1078` `count-2_binary64_1049` `associate-/r/_binary64_1047`

Counts

42 → 31

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	82	580
1	187	546
2	428	543
3	1117	540
4	2999	540
5	4398	540
6	5081	540

prune33.0ms (1.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	30	2	32

Error

Counts

32 → 2

Compiler

Compiled 453 to 297 computations (34.4% saved)

localize6.0ms (0.2%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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 1-exp_binary64_1145 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 times-frac_binary64_1107 div-sub_binary64_1106 neg-mul-1_binary64_1097 neg-sub0_binary64_1096 unsub-neg_binary64_1095 sub-neg_binary64_1094 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 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 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 cancel-sign-sub-inv_binary64_1067 cancel-sign-sub_binary64_1066 distribute-neg-frac_binary64_1065 distribute-frac-neg_binary64_1064 distribute-neg-out_binary64_1063 distribute-neg-in_binary64_1062 distribute-rgt-neg-out_binary64_1061 distribute-lft-neg-out_binary64_1060 distribute-rgt-neg-in_binary64_1059 distribute-lft-neg-in_binary64_1058 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 distribute-rgt-in_binary64_1051 distribute-lft-in_binary64_1050 count-2_binary64_1049 associate-/l/_binary64_1048 associate-/r/_binary64_1047 associate-/l*_binary64_1046 associate-/r*_binary64_1045 associate-*l/_binary64_1044 associate-*r/_binary64_1043 associate-*l*_binary64_1042 associate-*r*_binary64_1041 associate--r-_binary64_1040 associate--l-_binary64_1039 associate--l+_binary64_1038 associate--r+_binary64_1037 associate-+l-_binary64_1036 associate-+r-_binary64_1035 associate-+l+_binary64_1034 associate-+r+_binary64_1033 *-commutative_binary64_1032 +-commutative_binary64_1031

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune0.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	1	1
Total	2	2

Error

Counts

2 → 2

Compiler

Compiled 0 to 0 computations (0% saved)

regimes40.0ms (1.4%)

Accuracy

Total 0.0b remaining (2.4%)

Threshold costs 0.0b (2.4%)

Compiler

Compiled 162 to 130 computations (19.8% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64_1031`
2×	`neg-mul-1_binary64_1097` `neg-sub0_binary64_1096` `sub-neg_binary64_1094` `-rgt-identity_binary64_1091` `-commutative_binary64_1032`
1×	`1-exp_binary64_1145` `unsub-neg_binary64_1095` `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` `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` `sqr-neg_binary64_1115` `mul-1-neg_binary64_1093` `/-rgt-identity_binary64_1092` `*-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-neg-frac_binary64_1065` `distribute-frac-neg_binary64_1064` `distribute-neg-out_binary64_1063` `distribute-neg-in_binary64_1062` `distribute-lft-neg-out_binary64_1060` `distribute-rgt-neg-in_binary64_1059` `distribute-lft-neg-in_binary64_1058`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	17	19
2	21	19
3	23	19
4	26	19
5	25	19
6	23	19

end0.0ms (0%)

sample1.9s (63.4%)

Algorithm

1×

intervals

Results

642.0ms	4014×	body	2048	nan
326.0ms	8000×	body	128	valid
245.0ms	1980×	body	1024	nan
86.0ms	928×	body	512	nan
30.0ms	500×	body	256	nan
15.0ms	478×	body	128	nan
1.0ms	8×	body	4096	nan

Compiler

Compiled 64 to 53 computations (17.2% saved)

Details

analyze543.0ms (18.5%)

sample60.0ms (2%)

simplify149.0ms (5.1%)

prune2.0ms (0.1%)

localize9.0ms (0.3%)

rewrite43.0ms (1.5%)

series94.0ms (3.2%)

simplify83.0ms (2.8%)

prune33.0ms (1.1%)

localize6.0ms (0.2%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.3%)

prune0.0ms (0%)

regimes40.0ms (1.4%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.9s (63.4%)

Profiling