Date:	Tuesday, December 8th, 2020
Commit:	b337b401 on master
Hostname:	warfa with Racket 7.9
Seed:	2020343
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

sample1.4min (52.6%)

Algorithm

56×

intervals

Results

25.0s	36971×	body	2048	valid
18.4s	66143×	body	1024	valid
5.5s	34532×	body	512	valid
3.3s	74393×	body	128	valid
1.7s	16894×	body	256	valid
1.2s	1507×	body	1024	nan
901.0ms	2235×	body	4096	valid
770.0ms	43029×	pre	128	true
554.0ms	3098×	body	128	overflowed
358.0ms	788×	body	512	nan
217.0ms	623×	body	1024	overflowed
203.0ms	379×	body	2048	overflowed
202.0ms	3902×	body	128	nan
172.0ms	190×	body	1024	invalid
123.0ms	248×	body	512	invalid
112.0ms	1796×	body	128	invalid
82.0ms	350×	body	256	nan
71.0ms	299×	body	512	overflowed
51.0ms	171×	body	256	invalid
26.0ms	158×	body	256	overflowed
7.0ms	5×	body	2048	nan
1.0ms	1×	body	2048	invalid

Compiler

Compiled 20860 to 15562 computations (25.4% saved)

series23.6s (15.2%)

Calls

339 calls:

4.1s	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (.f64 b (+.f64 -1 (exp.f64 (.f64 eps a)))) (+.f64 eps (.f64 b (.f64 (.f64 eps eps) (+.f64 (.f64 (.f64 b 1/6) eps) 1/2))))))
730.0ms	(/.f64 (neg.f64 (.f64 a c)) (+.f64 b_2 (exp.f64 (log.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))))
544.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (*.f64 (tan.f64 eps) (sin.f64 x)) (cos.f64 x)))) (tan.f64 x))
536.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
530.0ms	(-.f64 (/.f64 1 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (+.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))

prune14.6s (9.4%)

Compiler: Compiled 266390 to 151589 computations (43.1% saved)

simplify12.7s (8.2%)

Algorithm

161×	egg-herbie

analyze10.7s (6.9%)

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)

regimes6.4s (4.1%)

Compiler: Compiled 56253 to 41089 computations (27% saved)

rewrite4.0s (2.6%)

Algorithm

105×	rewrite-expression-head

Rules

2995×	`times-frac_binary64_84`
2026×	`*-un-lft-identity_binary64_78`
1988×	`add-sqr-sqrt_binary64_100`
1281×	`add-cube-cbrt_binary64_113`
1188×	`sqrt-prod_binary64_94`
821×	`*-un-lft-identity_binary64`
772×	`times-frac_binary64`
749×	`add-sqr-sqrt_binary64`
654×	`*-un-lft-identity_binary64_1783`
440×	`times-frac_binary64_2130` `difference-of-squares_binary64_47`
434×	`add-cube-cbrt_binary64`
432×	`*-un-lft-identity_binary64_2124`
395×	`add-sqr-sqrt_binary64_782`
392×	`*-un-lft-identity_binary64_1442`
389×	`add-sqr-sqrt_binary64_1805`
376×	`add-sqr-sqrt_binary64_2146`
363×	`times-frac_binary64_1789` `sqrt-prod_binary64_1799`
351×	`add-sqr-sqrt_binary64_1123`
349×	`add-sqr-sqrt_binary64_1464`
348×	`*-un-lft-identity_binary64_760`
312×	`times-frac_binary64_1448`
277×	`add-cube-cbrt_binary64_1477`
269×	`add-cube-cbrt_binary64_1818`
260×	`sqrt-prod_binary64_2140`
258×	`*-un-lft-identity_binary64_1101`
232×	`times-frac_binary64_766`
229×	`distribute-lft-out--_binary64_30`
228×	`add-cube-cbrt_binary64_795`
227×	`add-cube-cbrt_binary64_2159`
210×	`add-exp-log_binary64_1139`
192×	`add-exp-log_binary64_116`
186×	`distribute-lft-out_binary64_1734`
183×	`*-un-lft-identity_binary64_419`
182×	`add-exp-log_binary64_798`
177×	`add-cbrt-cube_binary64_1137`
176×	`add-cube-cbrt_binary64_1136`
175×	`add-exp-log_binary64_1480`
171×	`add-cbrt-cube_binary64_114`
150×	`add-cbrt-cube_binary64_796`
147×	`associate-/r*_binary64_22` `add-sqr-sqrt_binary64_441`
146×	`difference-of-squares_binary64`
141×	`distribute-lft-out--_binary64`
140×	`pow1_binary64_1162`
139×	`associate-r_binary64_1041`
136×	`add-cbrt-cube_binary64_1478`
124×	`add-exp-log_binary64`
118×	`pow1_binary64_821`
110×	`distribute-lft-out_binary64_2075`
106×	`add-log-exp_binary64_799`
105×	`associate-r_binary64_700`
104×	`add-log-exp_binary64`
102×	`associate-/r*_binary64` `add-cbrt-cube_binary64` `unpow-prod-down_binary64_1521` `pow1_binary64_139`
97×	`add-cube-cbrt_binary64_454`
96×	`pow1_binary64_1503`
95×	`associate-l_binary64_1042`
90×	`add-exp-log_binary64_1821` `prod-exp_binary64_1150`
88×	`add-log-exp_binary64_1140` `pow1_binary64_1844`
86×	`associate-/l*_binary64_23`
84×	`add-log-exp_binary64_1481`
83×	`associate-/l*_binary64`
81×	`cbrt-prod_binary64_450` `div-inv_binary64_75`
79×	`pow1_binary64` `pow1_binary64_480`
77×	`sqrt-prod_binary64`
75×	`add-exp-log_binary64_457` `add-cbrt-cube_binary64_1819`
74×	`log-prod_binary64_164` `add-log-exp_binary64_458` `add-exp-log_binary64_2162`
70×	`associate-/r*_binary64_1386` `add-cbrt-cube_binary64_455`
68×	`cbrt-unprod_binary64_1134`
67×	`times-frac_binary64_1107` `add-log-exp_binary64_117`
64×	`associate-/l*_binary64_2069` `add-log-exp_binary64_1822`
61×	`cancel-sign-sub-inv_binary64_44`
57×	`div-exp_binary64_129`
56×	`difference-of-squares_binary64_729` `log-prod_binary64_846`
53×	`associate-/r*_binary64_1727`
52×	`distribute-lft-out_binary64` `add-cbrt-cube_binary64_2160`
51×	`prod-exp_binary64_809`
50×	`associate-/l*_binary64_1387` `cancel-sign-sub-inv_binary64_1067`
49×	`cancel-sign-sub-inv_binary64_1408` `cbrt-undiv_binary64_112` `pow-prod-down_binary64_1172`
48×	`associate-r_binary64_1382` `unpow-prod-down_binary64_157` `associate-*r/_binary64_1043`
47×	`sqrt-prod_binary64_776` `distribute-rgt-neg-in_binary64` `distribute-lft-out_binary64_29`
46×	`flip3--_binary64` `flip--_binary64` `cancel-sign-sub-inv_binary64` `associate-r_binary64_1723`
45×	`difference-of-squares_binary64_1070` `associate-l_binary64_701`
43×	`swap-sqr_binary64_1750` `exp-prod_binary64`
42×	`associate-/r/_binary64` `unswap-sqr_binary64_1069` `associate-l_binary64_1724`
41×	`associate-/l_binary64_705` `log-pow_binary64` `flip3-+_binary64_1104` `flip-+_binary64_1075` `associate-l*_binary64_360`
40×	`associate-*r/_binary64_1384` `unpow-prod-down_binary64_1862`
39×	`prod-exp_binary64_1491` `flip--_binary64_735` `flip3--_binary64_764`
38×	`distribute-lft-in_binary64_1050` `div-exp_binary64_1493` `distribute-rgt-in_binary64_1051`
37×	`associate-r_binary64_359` `associate-l_binary64_1383` `difference-of-squares_binary64_2093`
36×	`associate-/r/_binary64_1729` `pow1_binary64_2185`
35×	`log-pow_binary64_849` `distribute-lft-out--_binary64_371` `cbrt-unprod_binary64_793` `associate-/r*_binary64_704`
34×	`prod-exp_binary64_127` `sqr-pow_binary64_1414` `associate-/r/_binary64_2070` `distribute-lft-out_binary64_1393`
33×	`cancel-sign-sub-inv_binary64_2090` `tan-quot_binary64_1942`
32×	`unswap-sqr_binary64_728` `associate-l_binary64_19` `cbrt-unprod_binary64_111` `cancel-sign-sub-inv_binary64_726` `associate-/r*_binary64_2068` `unpow-prod-down_binary64_1180`
31×	`sqrt-pow1_binary64_1801` `cbrt-unprod_binary64_1475` `cancel-sign-sub-inv_binary64_385` `div-exp_binary64`
29×	`div-inv_binary64_1439` `associate-r_binary64_18`
28×	`distribute-lft-out--_binary64_712` `*-commutative_binary64_1032` `log-prod_binary64_505` `div-exp_binary64_2175` `unpow-prod-down_binary64_839`
27×	`div-inv_binary64` `distribute-lft-out--_binary64_1394`
26×	`distribute-lft-out_binary64_711` `flip-+_binary64_1416` `flip3-+_binary64_1445` `distribute-lft-neg-in_binary64` `neg-mul-1_binary64` `div-exp_binary64_811` `sqrt-div_binary64`
25×	`difference-of-squares_binary64_1752` `associate-/r/_binary64_24` `sqrt-prod_binary64_1117` `distribute-lft-out--_binary64_1053` `cbrt-prod_binary64_1132`
24×	`cbrt-undiv_binary64_794` `cbrt-div_binary64_1474` `exp-prod_binary64_812` `sqr-pow_binary64_50` `cbrt-prod_binary64_1814` `flip-+_binary64_2098` `pow-prod-down_binary64_1513` `flip3-+_binary64_2127` `log-prod_binary64_1869` `add-log-exp_binary64_2163` `associate-/l*_binary64_1728` `frac-times_binary64_1111` `flip3--_binary64_1105` `flip--_binary64_1076`
23×	`log-prod_binary64`
22×	`cbrt-undiv_binary64_1476` `flip3-+_binary64_1786` `distribute-lft-out--_binary64_2076` `flip-+_binary64_1757` `distribute-lft-out_binary64_370` `div-inv_binary64_2121`
21×	`distribute-rgt-in_binary64_369` `cbrt-undiv_binary64` `div-inv_binary64_1780` `associate-r_binary64_2064` `distribute-lft-in_binary64_368` `difference-of-squares_binary64_1411` `unswap-sqr_binary64_1751` `cancel-sign-sub-inv_binary64_1749`
20×	`associate--l+_binary64_356` `diff-log_binary64` `sqrt-div_binary64_2141` `diff-log_binary64_511`
19×	`associate-r_binary64` `pow-unpow_binary64_1860` `log-div_binary64_847` `log-pow_binary64_167` `div-inv_binary64_757`
18×	`frac-2neg_binary64_89` `difference-of-sqr-1_binary64_1071` `cbrt-div_binary64_1133` `clear-num_binary64_77` `associate-l_binary64_2065` `div-exp_binary64_1834` `diff-log_binary64_852` `associate-+l+_binary64_1375` `associate-/r/_binary64_706`
17×	`pow1/3_binary64_501` `sub-neg_binary64` `cbrt-unprod_binary64_452` `prod-exp_binary64_468`
16×	`pow-prod-down_binary64_490` `flip3-+_binary64` `cube-prod_binary64_788` `sqrt-div_binary64_777` `flip-+_binary64`
15×	`cbrt-undiv_binary64_2158` `exp-sum_binary64_124` `associate-l_binary64` `frac-add_binary64_1450` `cbrt-prod_binary64_1473`
14×	`associate-/r/_binary64_1047` `flip--_binary64_53` `flip3-+_binary64_422` `flip-+_binary64_52` `associate-/r_binary64_1045` `swap-sqr_binary64_45` `distribute-lft-out--_binary64_1735` `-commutative_binary64_1373` `flip-+_binary64_393` `sqr-pow_binary64_732` `sub-neg_binary64_753` `flip3--_binary64_82` `sqr-pow_binary64_1073` `unswap-sqr_binary64_1410` `flip3-+_binary64_81`
13×	`inv-pow_binary64_1868` `exp-sum_binary64` `pow1/2_binary64` `clear-num_binary64` `flip3-+_binary64_763` `sub-neg_binary64_1094` `unswap-sqr_binary64_387` `pow-flip_binary64_1857` `pow1/2_binary64_1863` `flip-+_binary64_734` `sqrt-pow1_binary64` `pow1/3_binary64_1524` `frac-2neg_binary64` `pow-prod-down_binary64_149`
12×	`cube-prod_binary64_1129` `unpow-prod-down_binary64_498` `unswap-sqr_binary64_2092` `difference-of-squares_binary64_388` `associate-/l/_binary64_25` `clear-num_binary64_1441` `cube-prod_binary64_106` `frac-2neg_binary64_1453` `pow-exp_binary64_1510` `associate-l/_binary64_1044` `unswap-sqr_binary64_46` `exp-prod_binary64_1835` `pow-prod-down_binary64_831` `cube-prod_binary64_1470` `rem-sqrt-square_binary64_1796` `-commutative_binary64_691` `pow-to-exp_binary64_1511`
11×	`associate-/l/_binary64` `cbrt-undiv_binary64_1817` `sum-log_binary64_1533` `prod-exp_binary64` `diff-log_binary64_170` `sqrt-div_binary64_1800` `*-commutative_binary64_350` `associate--r+_binary64_355`
10×	`sum-log_binary64_851` `pow1/2_binary64_2204` `cbrt-div_binary64_451` `pow-prod-down_binary64_1854` `distribute-rgt-in_binary64_1392` `log-pow_binary64_1872` `flip3--_binary64_1446` `sqrt-pow1_binary64_2142` `associate-/l_binary64_1046` `exp-prod_binary64_1153` `flip--_binary64_1417` `diff-log_binary64_1534` `distribute-lft-in_binary64_1391` `div-sub_binary64` `diff-log_binary64_1193` `associate-r/_binary64_2066` `rem-sqrt-square_binary64` `div-exp_binary64_1152` `sub-neg_binary64_71`
9×	`log-pow_binary64_508` `associate-/l/_binary64_1730` `flip3--_binary64_1787` `pow-prod-down_binary64_2195` `cbrt-undiv_binary64_1135` `sub-neg_binary64_1435` `sqrt-pow1_binary64_96` `sum-log_binary64_1192` `div-inv_binary64_1098` `cube-prod_binary64_1811` `pow-exp_binary64_1169` `frac-2neg_binary64_771` `pow1/3_binary64_1183` `log-div_binary64_165` `clear-num_binary64_759` `pow-to-exp_binary64_1170` `pow1/2_binary64_158` `flip--_binary64_1758` `pow-prod-up_binary64_1853`
8×	`frac-2neg_binary64_1794` `times-frac_binary64_425` `pow-pow_binary64_1855` `pow1/2_binary64_840` `frac-add_binary64_1791` `div-sub_binary64_765` `sum-log_binary64_510` `rem-sqrt-square_binary64_773` `prod-exp_binary64_2173` `log-pow_binary64_1190` `clear-num_binary64_1782` `pow-flip_binary64_2198` `distribute-lft-out_binary64_1052` `sqrt-pow1_binary64_778`
7×	`sub-neg_binary64_412` `flip3--_binary64_423` `pow-to-exp_binary64_829` `associate-/l/_binary64_707` `log-prod_binary64_1187` `neg-sub0_binary64` `flip--_binary64_394` `pow-exp_binary64_828` `sin-sum_binary64_552` `rem-log-exp_binary64_119` `clear-num_binary64_2123` `unswap-sqr_binary64` `cbrt-unprod_binary64` `rem-log-exp_binary64_801` `cbrt-unprod_binary64_1816` `log-div_binary64` `1-exp_binary64_2168` `prod-exp_binary64_1832` `frac-2neg_binary64_2135` `rec-exp_binary64_2174`
6×	`-commutative_binary64_9` `diff-log_binary64_1875` `pow-prod-up_binary64_148` `sqr-pow_binary64_1755` `frac-sub_binary64_87` `rec-exp_binary64` `swap-sqr_binary64_386` `1-exp_binary64` `pow-unpow_binary64_496` `cbrt-unprod_binary64_2157` `sum-log_binary64` `-commutative_binary64_1714` `sum-log_binary64_1874` `swap-sqr_binary64_1068` `associate-r/_binary64_361` `sub-neg_binary64_1776` `pow-exp_binary64_1851` `associate-/l_binary64_364` `pow-pow_binary64_1514`
5×	`frac-sub_binary64_1792` `+-commutative_binary64_1031` `distribute-rgt-out_binary64_31` `1-exp_binary64_1827` `rec-exp_binary64_1833` `associate--l+_binary64_15` `+-commutative_binary64_1372` `associate-l/_binary64_1726` `distribute-rgt1-in_binary64_34` `pow-sqr_binary64_1756` `exp-diff_binary64` `associate-r/_binary64_702` `associate-*r/_binary64_20` `+-commutative_binary64` `difference-of-sqr-1_binary64_1412`
4×	`associate-l/_binary64_362` `pow-prod-down_binary64` `associate-l/_binary64_703` `frac-times_binary64_1452` `+-commutative_binary64_1713` `unpow-prod-down_binary64` `unpow3_binary64_826` `associate-/r/_binary64_1388` `pow-sqr_binary64_51` `exp-diff_binary64_808` `sin-mult_binary64_574` `clear-num_binary64_1100` `pow-unpow_binary64_1519` `frac-2neg_binary64_1112` `div-exp_binary64_470` `frac-sub_binary64_428` `cbrt-undiv_binary64_453` `unpow3_binary64_144` `frac-times_binary64_429` `frac-times_binary64_770` `+-commutative_binary64_690` `cube-mult_binary64_790` `cube-mult_binary64_108` `sqrt-div_binary64_95` `neg-log_binary64` `associate--r+_binary64_696` `exp-prod_binary64_130` `swap-sqr_binary64_1409` `associate--r+_binary64_1378` `cube-mult_binary64_1472` `unpow3_binary64_1508` `exp-sum_binary64_1147` `pow-to-exp_binary64_1852` `div-sub_binary64_83` `sqrt-pow1_binary64_1119` `distribute-frac-neg_binary64` `associate-/l/_binary64_2071` `inv-pow_binary64_2209`
3×	`exp-prod_binary64_1494` `sqrt-unprod_binary64_2144` `flip3--_binary64_2128` `distribute-rgt-in_binary64_1733` `exp-sum_binary64_806` `frac-times_binary64_1793` `rec-exp_binary64_128` `associate--l-_binary64` `distribute-lft-in_binary64_1732` `pow-pow_binary64_491` `rem-sqrt-square_binary64_91` `cube-mult_binary64_1813` `unpow3_binary64_1849` `1-exp_binary64_122` `-commutative_binary64_2055` `sqr-sin-a_binary64_226` `pow-flip_binary64` `associate-r/_binary64_1725` `cube-mult_binary64_1131` `flip--_binary64_2099` `unpow3_binary64_1167` `inv-pow_binary64` `sqr-abs_binary64_1798` `pow-flip_binary64_152` `sum-log_binary64_169` `*-commutative_binary64` `associate--r+_binary64_14`
2×	`+-commutative_binary64_8` `clear-num_binary64_418` `inv-pow_binary64_1527` `inv-pow_binary64_163` `unpow-prod-up_binary64_1520` `pow-prod-up_binary64_1171` `associate-/l/_binary64_1389` `frac-2neg_binary64_430` `1-exp_binary64_1486` `div-inv_binary64_416` `rem-log-exp_binary64` `pow-plus_binary64_141` `rem-exp-log_binary64_800` `frac-sub_binary64_1451` `associate--r-_binary64_358` `associate-l/_binary64_1385` `associate-/l/_binary64_1048` `distribute-rgt-in_binary64_710` `sqr-pow_binary64_391` `pow-flip_binary64_1516` `associate-+r+_binary64_1033` `associate-/r_binary64_363` `tan-sum_binary64_1918` `associate--l-_binary64_16` `rem-log-exp_binary64_1824` `pow2_binary64_159` `exp-diff_binary64_126` `rem-exp-log_binary64` `cos-sum_binary64_553` `pow-sqr_binary64_1074` `exp-diff_binary64_1490` `pow-to-exp_binary64_488` `+-commutative_binary64_2054` `diff-log_binary64_2216` `rem-sqrt-square_binary64_2137` `sub-neg_binary64_2117` `sin-mult_binary64_233` `pow1/3_binary64_1865` `distribute-lft-in_binary64_709` `tan-quot_binary64_1260` `sin-sum_binary64_1916` `sum-log_binary64_2215` `associate-+l-_binary64_1377` `pow-prod-up_binary64_1512` `neg-sub0_binary64_1437` `pow-sqr_binary64_392` `associate--l-_binary64_357` `pow-prod-up_binary64_489` `+-commutative_binary64_349` `frac-times_binary64` `rec-exp_binary64_1492` `exp-neg_binary64_1489` `pow-sqr_binary64_1415` `pow-exp_binary64_487` `sqr-pow_binary64` `associate-*l/_binary64` `associate-+r+_binary64_1374`
1×	`sin-cos-mult_binary64_575` `sqr-abs_binary64_93` `rem-exp-log_binary64_1823` `pow-to-exp_binary64_147` `exp-to-pow_binary64_822` `rem-square-sqrt_binary64_90` `div-sub_binary64_1788` `pow-plus_binary64_1164` `tan-quot_binary64_237` `inv-pow_binary64_1186` `pow-to-exp_binary64` `associate-l/_binary64_21` `associate-+l-_binary64` `rem-cube-cbrt_binary64_1806` `log-div_binary64_1188` `frac-add_binary64_86` `rem-square-sqrt_binary64_1795` `pow2_binary64_1182` `difference-of-sqr-1_binary64_389` `rem-exp-log_binary64_118` `sqrt-unprod_binary64_1803` `distribute-rgt-in_binary64_28` `pow-plus_binary64_1846` `sin-cos-mult_binary64_1939` `associate-r/_binary64` `associate--l+_binary64_1720` `pow-exp_binary64` `pow2_binary64_500` `associate--r-_binary64_1381` `distribute-lft-in_binary64_27` `pow-plus_binary64_482` `frac-sub_binary64_1110` `1-exp_binary64_1145` `rec-exp_binary64_1151` `pow-exp_binary64_146` `diff-atan_binary64_1599` `pow2_binary64_1523` `associate-+r+_binary64_1715` `associate-+r+_binary64_351` `rem-cbrt-cube_binary64_1807` `diff-sin_binary64_1933` `diff-cos_binary64_570` `rec-exp_binary64_810` `rem-sqrt-square_binary64_1114` `pow-flip_binary64_1175` `sqrt-pow2_binary64_1802` `rem-log-exp_binary64_1142` `exp-diff_binary64_1149` `div-sub_binary64_2129` `sqrt-unprod_binary64_98` `pow-plus_binary64_1505` `frac-sub_binary64_2133` `un-div-inv_binary64` `un-div-inv_binary64_758` `1-exp_binary64_804` `pow1/2_binary64_1181` `pow2_binary64_1864` `frac-times_binary64_88`

Calls

339 calls:

181.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
63.0ms	(+.f64 (/.f64 2 (pow.f64 x 7)) (+.f64 (/.f64 2 (pow.f64 x 5)) (/.f64 2 (pow.f64 x 3))))
46.0ms	(/.f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) (/.f64 x (/.f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) x)))
42.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)))))
41.0ms	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))

localize1.1s (0.7%)

bsearch606.0ms (0.4%)

Compiler: Compiled 59 to 62 computations (-5.1% saved)

Details

sample1.4min (52.6%)

series23.6s (15.2%)

prune14.6s (9.4%)

simplify12.7s (8.2%)

analyze10.7s (6.9%)

regimes6.4s (4.1%)

rewrite4.0s (2.6%)

localize1.1s (0.7%)

bsearch606.0ms (0.4%)

end1.0ms (0%)

Profiling