Date:	Thursday, October 29th, 2020
Commit:	9c593e8b on fixes
Hostname:	warfa with Racket 7.8
Seed:	2020303
Parameters:	256 points for 4 iterations
Flags:	`setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback` default

Details

sample2.3min (44.5%)

Algorithm

56×

intervals

Results

48.7s	36660×	body	2048	valid
37.7s	66436×	body	1024	valid
10.8s	34725×	body	512	valid
6.5s	74384×	body	128	valid
3.2s	16822×	body	256	valid
2.5s	1521×	body	1024	nan
1.8s	2140×	body	4096	valid
1.3s	43035×	pre	128	true
1.0s	2941×	body	128	overflowed
741.0ms	755×	body	512	nan
408.0ms	613×	body	1024	overflowed
376.0ms	379×	body	2048	overflowed
371.0ms	3749×	body	128	nan
325.0ms	176×	body	1024	invalid
225.0ms	226×	body	512	invalid
198.0ms	1683×	body	128	invalid
187.0ms	367×	body	256	nan
129.0ms	298×	body	512	overflowed
77.0ms	147×	body	256	invalid
45.0ms	163×	body	256	overflowed
15.0ms	6×	body	2048	nan
6.0ms	5×	body	2048	invalid
5.0ms	1×	body	8192	valid

Compiler

Compiled 6010 to 4584 computations (23.7% saved)

series1.4min (27.2%)

Calls

336 calls:

12.8s	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (+.f64 (.f64 b eps) (log.f64 (pow.f64 (exp.f64 (.f64 b b)) (.f64 (.f64 eps eps) (+.f64 (.f64 (.f64 b 1/6) eps) 1/2)))))))
1.8s	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (*.f64 (tan.f64 x) (sin.f64 eps)) (cos.f64 eps)))) (tan.f64 x))
1.7s	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
1.3s	(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))
1.2s	(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))

prune26.3s (8.6%)

Compiler: Compiled 272004 to 159723 computations (41.3% saved)

simplify25.8s (8.4%)

Algorithm

160×	egg-herbie

analyze20.1s (6.6%)

Algorithm

28×

Search

True	Other	False	Iter
0%	90.9%	9.1%	0
14.3%	76.7%	9.1%	1
21.4%	67.8%	10.9%	2
33.2%	51.7%	15.1%	3
37.6%	44.1%	18.2%	4
43.8%	36.2%	19.9%	5
46.6%	32.5%	20.9%	6
48.1%	29.6%	22.3%	7
49.9%	27.4%	22.7%	8
51.1%	25.4%	23.5%	9
51.5%	24.3%	24.2%	10
52.4%	22.9%	24.7%	11
53.2%	21.5%	25.2%	12
53.5%	20.9%	25.6%	13
53.9%	20.1%	26%	14

Compiler

Compiled 332 to 278 computations (16.3% saved)

rewrite7.2s (2.3%)

Algorithm

104×	rewrite-expression-head

Rules

820×	`times-frac_binary64`
758×	`add-sqr-sqrt_binary64`
701×	`*-un-lft-identity_binary64`
638×	`*-un-lft-identity_binary64_1425` `add-sqr-sqrt_binary64_772`
624×	`add-sqr-sqrt_binary64_1446`
551×	`times-frac_binary64_1431`
526×	`times-frac_binary64_757`
518×	`*-un-lft-identity_binary64_1088`
501×	`*-un-lft-identity_binary64_751`
455×	`add-sqr-sqrt_binary64_1109`
402×	`add-cube-cbrt_binary64`
401×	`add-sqr-sqrt_binary64_435`
396×	`*-un-lft-identity_binary64_2099`
363×	`add-cube-cbrt_binary64_1457`
342×	`*-un-lft-identity_binary64_77`
335×	`sqrt-prod_binary64_2114`
317×	`add-cube-cbrt_binary64_783`
304×	`sqrt-prod_binary64_1440`
302×	`add-sqr-sqrt_binary64_98`
301×	`*-un-lft-identity_binary64_414`
279×	`*-un-lft-identity_binary64_1762`
272×	`add-sqr-sqrt_binary64_1783`
267×	`times-frac_binary64_83`
251×	`times-frac_binary64_1768` `times-frac_binary64_420`
250×	`times-frac_binary64_1094`
240×	`log-prod_binary64_1171`
223×	`add-cube-cbrt_binary64_109`
207×	`add-cube-cbrt_binary64_1120`
195×	`times-frac_binary64_2105`
194×	`add-exp-log_binary64_1460`
188×	`add-sqr-sqrt_binary64_2120`
186×	`add-exp-log_binary64_112`
185×	`difference-of-squares_binary64`
184×	`difference-of-squares_binary64_720`
181×	`add-cube-cbrt_binary64_446`
150×	`add-cube-cbrt_binary64_1794`
149×	`associate-/l*_binary64` `add-cbrt-cube_binary64_1458`
144×	`add-cbrt-cube_binary64_110`
142×	`distribute-lft-out_binary64_2052`
140×	`add-exp-log_binary64` `add-exp-log_binary64_1123`
133×	`distribute-lft-out_binary64_1378`
125×	`difference-of-squares_binary64_383`
124×	`add-cube-cbrt_binary64_2131`
119×	`difference-of-squares_binary64_1057`
116×	`associate-r_binary64_1367`
115×	`add-cbrt-cube_binary64`
114×	`cbrt-div_binary64_1454`
108×	`pow1_binary64_1483`
105×	`pow1_binary64_809`
102×	`add-log-exp_binary64_1124` `distribute-lft-out--_binary64`
100×	`log-prod_binary64_834`
97×	`add-log-exp_binary64` `add-log-exp_binary64_1461`
96×	`add-exp-log_binary64_786`
92×	`add-cbrt-cube_binary64_1121`
91×	`add-cbrt-cube_binary64_784` `pow1_binary64_1146`
89×	`pow1_binary64_135`
88×	`associate-l_binary64_1368`
83×	`associate-/r*_binary64_697`
81×	`difference-of-squares_binary64_1731`
79×	`associate-/l*_binary64_1372` `add-exp-log_binary64_449`
76×	`add-cbrt-cube_binary64_447`
75×	`cbrt-prod_binary64_442`
73×	`difference-of-sqr-1_binary64_721`
72×	`add-log-exp_binary64_450` `add-log-exp_binary64_787` `flip3--_binary64_1429` `flip--_binary64_1400`
70×	`unpow-prod-down_binary64_490`
68×	`distribute-lft-out_binary64_1041`
67×	`unpow-prod-down_binary64` `sqrt-prod_binary64`
65×	`pow1_binary64`
63×	`cube-prod_binary64`
62×	`distribute-lft-out--_binary64_1042` `log-pow_binary64_837` `frac-add_binary64_1433`
60×	`frac-times_binary64_1435`
58×	`associate-l_binary64_20` `add-log-exp_binary64_113`
57×	`add-exp-log_binary64_1797`
54×	`unpow-prod-down_binary64_827` `cube-prod_binary64_776`
53×	`add-cbrt-cube_binary64_1795`
52×	`add-sqr-sqrt_binary64_2457` `sqr-pow_binary64_723`
50×	`pow1_binary64_472` `add-log-exp_binary64_1798`
49×	`associate-r_binary64_1030` `distribute-lft-out--_binary64_368` `associate-/r_binary64` `associate-/l_binary64_24` `unswap-sqr_binary64_1393` `associate-l_binary64_1031` `associate-*l/_binary64_1370`
48×	`difference-of-squares_binary64_1394` `associate-/l*_binary64_698` `cbrt-prod_binary64_1116`
47×	`associate-/r*_binary64_1371`
46×	`flip3-+_binary64_1428` `distribute-lft-out_binary64` `associate-r_binary64_19` `prod-exp_binary64_123` `flip-+_binary64_1399` `pow1_binary64_2157`
45×	`div-exp_binary64_125`
44×	`log-prod_binary64_160` `flip3--_binary64` `flip--_binary64` `pow1_binary64_1820` `div-exp_binary64`
43×	`associate-r/_binary64_1706` `sqr-pow_binary64` `associate-/r_binary64_360` `swap-sqr_binary64_2066`
42×	`prod-exp_binary64_1471` `associate-/r/_binary64_1373` `sqr-pow_binary64_386`
41×	`distribute-lft-out--_binary64_705` `distribute-rgt-neg-in_binary64` `div-exp_binary64_1473` `distribute-lft-out_binary64_30`
40×	`div-inv_binary64`
39×	`flip3--_binary64_1766` `flip--_binary64_1737`
38×	`associate-/r/_binary64` `*-un-lft-identity_binary64_2436`
37×	`associate-r_binary64_2041`
36×	`distribute-lft-neg-in_binary64` `sqrt-prod_binary64_429` `associate-*r/_binary64_1369`
35×	`cbrt-undiv_binary64_108` `frac-add_binary64_1770` `associate-/r*_binary64_1708`
34×	`pow1_binary64_2494`
33×	`add-exp-log_binary64_2134`
32×	`tan-quot_binary64_1581` `add-cube-cbrt_binary64_2468`
31×	`distribute-lft-out--_binary64_1379` `cbrt-prod_binary64_105` `sqrt-prod_binary64_766`
30×	`exp-diff_binary64_1470` `cbrt-unprod_binary64_107` `cbrt-undiv_binary64` `associate-l_binary64_2042` `cbrt-prod_binary64_779` `prod-exp_binary64_1134`
29×	`distribute-lft-out--_binary64_1716` `sqrt-pow1_binary64_2116`
28×	`cbrt-unprod_binary64_1455` `flip3--_binary64_1092` `neg-sub0_binary64_1420` `flip3--_binary64_755` `exp-neg_binary64_1469` `flip--_binary64_726` `associate-r_binary64_693` `sqrt-div_binary64_1441` `flip--_binary64_1063`
27×	`associate-/r*_binary64_23` `associate-/r/_binary64_1036` `div-inv_binary64_1422` `div-inv_binary64_74`
26×	`neg-mul-1_binary64` `associate-/l*_binary64_361`
25×	`log-prod_binary64_497` `add-cbrt-cube_binary64_2132` `associate-/l*_binary64_1709`
24×	`flip3--_binary64_418` `unpow-prod-down_binary64_1164` `log-div_binary64_835` `sqrt-prod_binary64_2451` `flip--_binary64_389` `cbrt-undiv_binary64_1456`
23×	`exp-prod_binary64_800` `distribute-lft-in_binary64_702` `associate-r_binary64` `pow-prod-down_binary64_1493` `distribute-lft-out_binary64_1715` `distribute-rgt-in_binary64_703`
22×	`unswap-sqr_binary64_1056` `flip-+_binary64_1736` `flip3-+_binary64_1765` `log-pow_binary64_500`
21×	`pow1/3_binary64_1167` `diff-log_binary64` `associate-/r*_binary64_2045`
20×	`associate-l_binary64_694` `distribute-lft-out--_binary64_31` `frac-times_binary64_1772`
19×	`difference-of-sqr-1_binary64_1732` `sub-neg_binary64` `associate-/l/_binary64_1711` `add-exp-log_binary64_2471` `div-inv_binary64_1085` `add-cbrt-cube_binary64_2469` `sub-neg_binary64_407` `flip-+_binary64_1062` `unswap-sqr_binary64_2067` `difference-of-squares_binary64_46` `flip3-+_binary64_1091` `*-commutative_binary64_1358`
18×	`cbrt-unprod_binary64_1118` `difference-of-sqr-1_binary64_1058` `div-inv_binary64_1759` `associate-+l+_binary64_686` `sub-neg_binary64_1081` `associate-/r/_binary64_2047` `sqrt-div_binary64`
17×	`add-log-exp_binary64_2135` `flip-+_binary64_51` `sum-cubes_binary64_1426` `flip3-+_binary64_80` `associate-r_binary64_1704` `associate-l_binary64_1705`
16×	`unswap-sqr_binary64_45` `prod-exp_binary64` `unpow-prod-down_binary64_1501` `div-inv_binary64_748` `diff-log_binary64_1177` `pow1/3_binary64_493` `rem-log-exp_binary64_1126` `cbrt-undiv_binary64_445` `div-exp_binary64_462`
15×	`div-exp_binary64_1136` `cbrt-prod_binary64_1453` `associate-/r/_binary64_699` `exp-prod_binary64_463` `flip3-+_binary64_2102` `distribute-lft-out_binary64_367` `flip-+_binary64_2073` `div-exp_binary64_799`
14×	`cbrt-undiv_binary64_782` `diff-log_binary64_503` `associate-r_binary64_2378` `log-pow_binary64_163` `add-log-exp_binary64_2472` `div-inv_binary64_411`
13×	`associate-/l/_binary64` `associate-/r/_binary64_362` `clear-num_binary64` `inv-pow_binary64_2181` `flip-+_binary64_725` `pow-flip_binary64_2170` `prod-exp_binary64_797` `cbrt-unprod_binary64_781` `frac-2neg_binary64` `log-div_binary64_161` `cbrt-prod_binary64_2127` `flip3-+_binary64_754` `associate-*r/_binary64_21`
12×	`pow1/2_binary64_1502` `associate-/l/_binary64_1374` `cbrt-prod_binary64_2464` `sqrt-pow1_binary64_1442` `associate-/l_binary64_2046` `associate-/r/_binary64_25` `sum-log_binary64_1513` `pow-prod-down_binary64_145` `associate-l*_binary64_2379`
11×	`flip3-+_binary64` `pow1/2_binary64_2176` `frac-times_binary64_87` `frac-2neg_binary64_1436` `sqrt-div_binary64_2115` `diff-log_binary64_840` `div-inv_binary64_2096` `sub-neg_binary64_744` `pow1/3_binary64_156` `frac-sub_binary64_1434` `clear-num_binary64_1424` `flip-+_binary64`
10×	`rem-log-exp_binary64_115` `associate-/r/_binary64_1710` `swap-sqr_binary64_1055` `cbrt-div_binary64_443` `pow-prod-down_binary64_1156` `sqr-pow_binary64_1060` `frac-2neg_binary64_88` `pow-prod-down_binary64_819` `associate-l_binary64` `-commutative_binary64_1021` `cbrt-unprod_binary64` `associate-+r+_binary64_685` `clear-num_binary64_76` `pow1/2_binary64_2513` `associate-/l_binary64_1035` `sqrt-pow1_binary64_2453` `associate-*l/_binary64_1707`
9×	`log-prod_binary64_1845` `pow-prod-down_binary64_1830` `sub-neg_binary64_1418` `distribute-rgt-in_binary64_1377` `pow1/2_binary64` `unpow3_binary64_1825` `clear-num_binary64_750` `sum-log_binary64_1850` `unpow-prod-down_binary64_1838` `div-exp_binary64_1810` `cube-prod_binary64_1787` `associate-*l/_binary64_22` `cbrt-unprod_binary64_1792` `sqrt-pow1_binary64` `exp-prod_binary64_1811` `div-sub_binary64` `frac-2neg_binary64_762` `distribute-lft-in_binary64_1376` `diff-log_binary64_1514` `sub-neg_binary64_1755` `pow-prod-up_binary64_2166` `rem-sqrt-square_binary64` `sqr-pow_binary64_1734` `log-pow_binary64_1174` `swap-sqr_binary64_44` `+-commutative_binary64_1357` `1-exp_binary64_1466` `distribute-rgt-out--_binary64_1718` `prod-exp_binary64_1808` `rec-exp_binary64_1472`
8×	`pow-flip_binary64_1496` `sqrt-div_binary64_430` `distribute-lft-out_binary64_704` `rem-log-exp_binary64_789` `log-pow_binary64_1848` `-commutative_binary64_10` `div-sub_binary64_756` `associate--l+_binary64_690` `associate-/r_binary64_1034` `frac-times_binary64_1098` `swap-sqr_binary64_2403` `div-exp_binary64_2147` `sqr-pow_binary64_1397` `cube-prod_binary64_1113` `log-div_binary64_1172` `associate-/l/_binary64_26` `sqrt-div_binary64_767` `associate-*r/_binary64_1032`
7×	`tan-quot_binary64_233` `cbrt-undiv_binary64_1793` `pow-exp_binary64_1153` `unswap-sqr_binary64` `pow-to-exp_binary64_1154` `sum-log_binary64_1176`
6×	`clear-num_binary64_413` `rec-exp_binary64_124` `flip--_binary64_52` `unswap-sqr_binary64_719` `cube-prod_binary64_2461` `unpow-prod-down_binary64_2512` `1-exp_binary64_118` `prod-exp_binary64_460` `*-commutative_binary64_684` `unswap-sqr_binary64_2404` `distribute-rgt-in_binary64_1714` `pow-prod-down_binary64_2167` `cbrt-div_binary64_2128` `log-prod_binary64_1508` `cbrt-undiv_binary64_1119` `associate--r+_binary64_689` `distribute-lft-in_binary64_1713` `cbrt-div_binary64_780` `frac-2neg_binary64_425` `flip3--_binary64_81` `associate--r+_binary64_15` `cbrt-unprod_binary64_444`
5×	`difference-cubes_binary64` `diff-log_binary64_1851` `flip3-+_binary64_417` `pow-prod-up_binary64_2503` `clear-num_binary64_1761` `exp-diff_binary64_459` `diff-log_binary64_166` `pow-prod-down_binary64_2504` `sub-neg_binary64_70` `rem-sqrt-square_binary64_2112` `+-commutative_binary64_1020` `frac-2neg_binary64_1773` `sum-log_binary64_839` `*-commutative_binary64_1695` `flip-+_binary64_388` `exp-sum_binary64_120` `exp-sum_binary64_457` `pow-sqr_binary64_2072` `associate-+r+_binary64_1359`
4×	`pow-prod-down_binary64` `cbrt-undiv_binary64_2130` `difference-of-squares_binary64_2068` `log-div_binary64_498` `associate-l/_binary64_1033` `associate-/l/_binary64_700` `pow-to-exp_binary64_1491` `rec-exp_binary64` `exp-prod_binary64_126` `neg-sub0_binary64` `1-exp_binary64` `sqrt-pow1_binary64_431` `pow-unpow_binary64_1162` `associate--l+_binary64_16` `associate-/l/_binary64_1037` `sum-log_binary64_165` `rec-exp_binary64_2146` `pow-pow_binary64_820` `sum-log_binary64` `frac-2neg_binary64_2110` `pow-exp_binary64_1490` `+-commutative_binary64_1694` `rem-sqrt-square_binary64_1438` `associate-r/_binary64_2380` `pow-pow_binary64_1157` `exp-prod_binary64_1474` `inv-pow_binary64_1507` `clear-num_binary64_2098` `pow-sqr_binary64_1061` `pow-prod-up_binary64_1155` `rem-log-exp_binary64_452` `cbrt-div_binary64_1117` `div-sub_binary64_82` `log-div_binary64_1509` `pow1/2_binary64_491` `associate-*l/_binary64_696` `sqrt-pow1_binary64_768` `associate-+r+_binary64_1696` `distribute-frac-neg_binary64` `rem-sqrt-square_binary64_764` `1-exp_binary64_2140` `pow1/2_binary64_828` `rem-sqrt-square_binary64_427`
3×	`prod-exp_binary64_2482` `frac-2neg_binary64_1099` `associate--l-_binary64_17` `pow-prod-up_binary64_144` `clear-num_binary64_1087` `exp-sum_binary64_1468` `-commutative_binary64_2369` `distribute-rgt-in_binary64_1040` `unswap-sqr_binary64_1730` `pow-unpow_binary64_2510` `sqr-sin-a_binary64_222` `sqrt-unprod_binary64_1444` `associate-/l/_binary64_363` `pow-unpow_binary64` `+-commutative_binary64_683` `pow-sqr_binary64_50` `associate-r/_binary64_2043` `pow1/3_binary64_1504` `sin-mult_binary64_229` `+-commutative_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64_2053` `distribute-lft-in_binary64_1039` `cbrt-unprod_binary64_2466` `pow-sqr_binary64_2409` `*-commutative_binary64` `associate-+l+_binary64_1697` `pow-unpow_binary64_825`
2×	`pow2_binary64_155` `frac-times_binary64_761` `+-commutative_binary64_9` `pow-plus_binary64_1148` `flip-+_binary64_2410` `flip3-+_binary64_2439` `pow-to-exp_binary64` `sin-cos-mult_binary64_1915` `cos-sum_binary64_208` `log-pow_binary64_1511` `cube-mult_binary64_1115` `tan-sum_binary64_1557` `rem-sqrt-square_binary64_2449` `distribute-rgt-in_binary64_2388` `sin-sum_binary64_1892` `pow-plus_binary64_137` `pow2_binary64_1166` `-commutative_binary64_2032` `pow1/3_binary64_2178` `exp-prod_binary64_1137` `pow-flip_binary64_1833` `pow-exp_binary64` `associate-+r-_binary64_687` `exp-diff_binary64_796` `sqrt-prod_binary64_1103` `frac-sub_binary64_1771` `cube-mult_binary64_2463` `pow1/3_binary64_830` `unpow3_binary64_1151` `prod-exp_binary64_2145` `distribute-lft-out_binary64_2389` `sqr-pow_binary64_2408` `distribute-rgt-out_binary64_706` `inv-pow_binary64_1844` `unpow3_binary64_2499` `1-exp_binary64_1803` `rec-exp_binary64_1809` `cbrt-unprod_binary64_2129` `un-div-inv_binary64_75` `distribute-lft-in_binary64_2387` `frac-times_binary64` `exp-to-pow_binary64_1147` `associate-l/_binary64` `unpow-prod-up_binary64_1163`
1×	`cube-mult_binary64_778` `pow-to-exp_binary64_2502` `distribute-lft-out--_binary64_2390` `frac-add_binary64_1096` `diff-atan_binary64_2590` `pow-to-exp_binary64_817` `exp-to-pow_binary64_810` `sub-neg_binary64_2092` `pow1/3_binary64_2515` `1-exp_binary64_792` `1-exp_binary64_1129` `rem-square-sqrt_binary64_2111` `associate--r+_binary64` `associate--l-_binary64` `rem-cube-cbrt_binary64_2458` `tan-quot_binary64_1244` `rec-exp_binary64_798` `pow2_binary64_2514` `difference-of-sqr-1_binary64_1395` `rem-cbrt-cube_binary64_2459` `rem-exp-log_binary64_1799` `associate-r/_binary64` `distribute-rgt-in_binary64_29` `frac-sub_binary64` `associate-l/_binary64_2044` `inv-pow_binary64_833` `rem-cube-cbrt_binary64_773` `unpow3_binary64` `frac-sub_binary64_1097` `rem-exp-log_binary64_1125` `sum-log_binary64_2187` `cube-mult_binary64` `diff-log_binary64_2188` `pow2_binary64_2177` `div-sub_binary64_1093` `pow-plus_binary64_2159` `inv-pow_binary64_1170` `+-commutative_binary64_2031` `flip--_binary64_2074` `inv-pow_binary64_159` `pow-exp_binary64_2501` `flip3--_binary64_2103` `associate-+l+_binary64_1360` `sqrt-unprod_binary64_2118` `distribute-lft-in_binary64_28` `pow-pow_binary64_2505` `rem-cube-cbrt_binary64` `neg-log_binary64` `frac-times_binary64_2109` `frac-sub_binary64_86` `unpow3_binary64_814` `associate-+l-_binary64_1699` `diff-log_binary64_2525` `pow-exp_binary64_816` `pow-plus_binary64_2496` `sqrt-unprod_binary64_2455` `associate--l+_binary64_1701` `pow-flip_binary64_1159` `rem-exp-log_binary64_114` `rem-exp-log_binary64_1462` `rem-square-sqrt_binary64_2448` `rem-log-exp_binary64_1463` `pow-pow_binary64` `sub-div_binary64` `flip--_binary64_2411` `associate-+l-_binary64_1362` `associate-+r+_binary64_11` `div-sub_binary64_1430` `un-div-inv_binary64` `sum-log_binary64_502` `diff-cos_binary64_225` `+-commutative_binary64_346` `rem-log-exp_binary64_1800` `rec-exp_binary64_1135` `distribute-lft1-in_binary64_708` `difference-of-squares_binary64_2405` `pow-flip_binary64_822` `sub-neg_binary64_2429` `associate-*r/_binary64_695` `associate-+r+_binary64_1022` `flip3--_binary64_2440` `pow-flip_binary64_148` `diff-sin_binary64_1909`

Calls

336 calls:

90.0ms	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
87.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
84.0ms	(.f64 (/.f64 1 (sqrt.f64 (+.f64 (.f64 x x) (.f64 (.f64 (pow.f64 x 3) (+.f64 (.f64 x 1/6) 1/2)) (+.f64 (.f64 x (+.f64 (.f64 x 1/6) 1/2)) -1))))) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 x (.f64 x (+.f64 (.f64 x 1/6) 1/2))) 3)) (sqrt.f64 (+.f64 (.f64 x x) (.f64 (.f64 (pow.f64 x 3) (+.f64 (.f64 x 1/6) 1/2)) (+.f64 (.f64 x (+.f64 (.f64 x 1/6) 1/2)) -1))))))
76.0ms	(-.f64 (/.f64 (cbrt.f64 (+.f64 1 (pow.f64 x 3))) (cbrt.f64 (+.f64 (*.f64 x x) (-.f64 1 x)))) (cbrt.f64 x))
71.0ms	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))

Details

sample2.3min (44.5%)

series1.4min (27.2%)

prune26.3s (8.6%)

simplify25.8s (8.4%)

analyze20.1s (6.6%)

rewrite7.2s (2.3%)

regimes3.8s (1.3%)

localize2.2s (0.7%)

bsearch1.1s (0.4%)

end1.0ms (0%)

Profiling