Date:	Saturday, December 19th, 2020
Commit:	c590cff1 on try-6-cores
Hostname:	warfa with Racket 7.9
Seed:	2020354
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:fallback` default

Details

sample1.4min (39.6%)

Algorithm

73×

intervals

Results

17.8s	247642×	body	128	valid
6.1s	14909×	body	1024	valid
3.9s	6135×	body	2048	valid
3.7s	99272×	pre	128	true
2.7s	14523×	body	128	invalid
2.0s	200×	body	8192	exit
1.9s	7483×	body	512	valid
1.5s	11863×	body	256	valid
532.0ms	928×	body	4096	valid
127.0ms	197×	body	1024	invalid
122.0ms	1677×	body	128	nan
85.0ms	225×	body	512	invalid
37.0ms	160×	body	256	invalid
19.0ms	171×	body	128	overflowed
11.0ms	12×	body	2048	invalid
4.0ms	100×	pre	128	false

Compiler

Compiled 42411 to 28459 computations (32.9% saved)

analyze31.5s (14.8%)

Algorithm

36×	search
2×	random

Search

True	Other	False	Iter
0%	60.5%	39.5%	0
1.4%	59.2%	39.5%	1
5.6%	55%	39.5%	2
11.1%	47.4%	41.5%	3
13.9%	43.5%	42.6%	4
19%	38.1%	42.8%	5
20.7%	35.1%	44.2%	6
24%	30.1%	45.9%	7
26.5%	26.9%	46.6%	8
29.4%	22.8%	47.8%	9
31.8%	19.6%	48.6%	10
33.4%	17.3%	49.2%	11
35.7%	14.6%	49.7%	12
40.6%	9%	50.4%	13
41.2%	8.2%	50.7%	14

Compiler

Compiled 1071 to 786 computations (26.6% saved)

prune29.1s (13.7%)

Compiler: Compiled 387718 to 215211 computations (44.5% saved)

series22.4s (10.5%)

Calls

289 calls:

585.0ms	(+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (/.f64 (.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4))) (+.f64 (.f64 x1 x1) 1)) (.f64 (*.f64 x1 x1) -6)) x1)))
532.0ms	(+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4))) (.f64 (*.f64 x1 x1) -6)) x1)))
523.0ms	(+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 1 (sqrt.f64 (+.f64 (.f64 x1 x1) 1))) (.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4)) (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (sqrt.f64 (+.f64 (.f64 x1 x1) 1))))) (.f64 (*.f64 x1 x1) -6)) x1)))
483.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
441.0ms	(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n))

simplify20.7s (9.8%)

Algorithm

177×	egg-herbie

regimes16.1s (7.6%)

Accuracy

Total 23.2b remaining (7.9%)

Threshold costs 5.2b (1.8%)

6.2b	69%	Compound Interest
4.3b	77.7%	Kahan p9 Example
2.9b	0%	Complex division, real part
2.1b	26.8%	Complex division, imag part
1.3b	94.4%	The quadratic formula (r2)

Compiler

Compiled 172880 to 114901 computations (33.5% saved)

rewrite6.4s (3%)

Algorithm

107×	rewrite-expression-head

Rules

2202×	`times-frac_binary64`
1800×	`add-sqr-sqrt_binary64`
1643×	`*-un-lft-identity_binary64`
941×	`times-frac_binary64_84`
900×	`add-cube-cbrt_binary64`
837×	`*-un-lft-identity_binary64_78`
777×	`*-un-lft-identity_binary64_419`
728×	`times-frac_binary64_1448`
679×	`add-sqr-sqrt_binary64_100`
654×	`times-frac_binary64_425`
615×	`add-sqr-sqrt_binary64_1464`
586×	`*-un-lft-identity_binary64_1442`
525×	`add-cube-cbrt_binary64_113`
457×	`add-sqr-sqrt_binary64_441`
435×	`add-exp-log_binary64`
423×	`times-frac_binary64_2471`
395×	`difference-of-squares_binary64`
385×	`add-cube-cbrt_binary64_454`
381×	`add-cbrt-cube_binary64`
377×	`*-un-lft-identity_binary64_760`
348×	`cancel-sign-sub-inv_binary64_44`
336×	`add-cube-cbrt_binary64_1477`
330×	`times-frac_binary64_766`
322×	`add-exp-log_binary64_116`
294×	`add-sqr-sqrt_binary64_782`
293×	`add-sqr-sqrt_binary64_2487`
288×	`sqrt-prod_binary64_2481`
287×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500`
250×	`*-un-lft-identity_binary64_1101`
246×	`add-sqr-sqrt_binary64_1123`
236×	`add-cube-cbrt_binary64_795`
235×	`associate-r_binary64_1382`
232×	`add-cbrt-cube_binary64_114`
225×	`distribute-lft-out_binary64_370`
211×	`cancel-sign-sub-inv_binary64_385`
199×	`add-sqr-sqrt_binary64_1805`
194×	`pow1_binary64`
191×	`distribute-lft-out--_binary64`
186×	`associate-r_binary64`
181×	`associate-/r*_binary64`
179×	`prod-exp_binary64` `associate-*r/_binary64`
175×	`*-un-lft-identity_binary64_1783`
168×	`difference-of-squares_binary64_1411`
161×	`associate-l_binary64_19`
160×	`add-exp-log_binary64_1139`
159×	`distribute-lft-out_binary64_29`
158×	`add-cube-cbrt_binary64_1136`
156×	`add-cbrt-cube_binary64_1137`
153×	`distribute-lft-out_binary64`
149×	`flip3-+_binary64` `flip-+_binary64`
147×	`cbrt-unprod_binary64`
139×	`times-frac_binary64_1107`
136×	`add-log-exp_binary64_1481`
131×	`times-frac_binary64_1789` `prod-exp_binary64_127`
129×	`associate-l_binary64`
128×	`add-cube-cbrt_binary64_1818`
118×	`associate-/r/_binary64` `div-inv_binary64_75`
114×	`add-exp-log_binary64_457`
112×	`add-cbrt-cube_binary64_455`
109×	`div-inv_binary64_416`
108×	`frac-add_binary64`
107×	`add-log-exp_binary64`
97×	`add-exp-log_binary64_798`
95×	`pow1_binary64_1162`
94×	`associate-r_binary64_18`
93×	`div-exp_binary64_129` `associate-/l*_binary64`
90×	`add-log-exp_binary64_458`
88×	`unpow-prod-down_binary64_1521`
87×	`frac-times_binary64_88`
86×	`*-un-lft-identity_binary64_2124`
85×	`sqr-pow_binary64_1414` `div-exp_binary64`
84×	`pow-prod-down_binary64` `frac-sub_binary64_87` `pow1_binary64_480` `difference-of-sqr-1_binary64_1412`
83×	`add-log-exp_binary64_1140` `div-inv_binary64`
80×	`exp-neg_binary64_125`
78×	`add-exp-log_binary64_1480`
77×	`add-cbrt-cube_binary64_1478` `add-cbrt-cube_binary64_796`
76×	`cbrt-unprod_binary64_111`
75×	`distribute-lft-out_binary64_1393`
74×	`sum-log_binary64_1533`
72×	`cbrt-undiv_binary64` `add-log-exp_binary64_117`
69×	`associate-r_binary64_359` `cube-prod_binary64_2493` `unpow-prod-down_binary64_2544`
68×	`associate-/r*_binary64_704`
67×	`sqrt-prod_binary64_1117` `difference-of-squares_binary64_47`
63×	`pow1_binary64_139`
62×	`frac-times_binary64`
60×	`exp-diff_binary64_126` `neg-sub0_binary64_73`
59×	`cbrt-undiv_binary64_112`
58×	`pow1_binary64_821`
54×	`flip-+_binary64_52` `pow1_binary64_1503` `flip3-+_binary64_81` `cbrt-prod_binary64_2496`
52×	`distribute-lft-out_binary64_711`
51×	`add-log-exp_binary64_799` `associate-*r/_binary64_20`
50×	`associate-*l/_binary64_21`
49×	`distribute-lft-out_binary64_2075` `cancel-sign-sub-inv_binary64` `associate-/l*_binary64_364`
47×	`flip--_binary64_53` `sqrt-prod_binary64_776` `associate-/l*_binary64_23` `flip3--_binary64_82` `sqrt-prod_binary64`
45×	`flip3--_binary64` `associate-/r*_binary64_2409` `flip--_binary64`
44×	`sqrt-div_binary64_2482`
43×	`associate-*l/_binary64`
42×	`associate-/r*_binary64_363` `sqrt-prod_binary64_1799`
41×	`flip3-+_binary64_763` `flip-+_binary64_734` `associate-/l*_binary64_1046`
40×	`log-pow_binary64_1872` `add-cbrt-cube_binary64_1819`
39×	`add-exp-log_binary64_1821` `pow1_binary64_1844`
38×	`div-inv_binary64_1439` `add-log-exp_binary64_2163` `cbrt-prod_binary64_2155` `add-log-exp_binary64_1822`
36×	`associate-/l*_binary64_2410`
35×	`cbrt-undiv_binary64_1135` `div-exp_binary64_1152` `exp-prod_binary64_1835`
34×	`prod-exp_binary64_1150` `cbrt-unprod_binary64_1134` `flip3-+_binary64_1104` `flip-+_binary64_1075`
32×	`associate-/r/_binary64_24` `associate-/r/_binary64_365` `add-exp-log_binary64_2503`
31×	`associate-/r_binary64_1045` `associate-r*_binary64_700`
30×	`difference-of-squares_binary64_1070` `associate-/r_binary64_22` `associate-/l_binary64_1728` `distribute-lft-out_binary64_1052`
29×	`add-cbrt-cube_binary64_2501` `difference-of-squares_binary64_388` `cbrt-unprod_binary64_452` `prod-exp_binary64_468`
28×	`difference-of-squares_binary64_1752` `flip3-+_binary64_422` `associate-l_binary64_1042` `sqrt-div_binary64_1118` `associate-/l_binary64_705` `associate-r*_binary64_1041` `distribute-rgt-in_binary64` `flip-+_binary64_393` `associate-/r/_binary64_2411` `associate-/r/_binary64_706` `distribute-lft-out--_binary64_1394` `distribute-lft-in_binary64`
27×	`sqrt-prod_binary64_94` `pow-prod-down_binary64_490` `flip-+_binary64_1416` `flip3-+_binary64_1445`
26×	`associate-/r*_binary64_1386` `sqrt-div_binary64_777` `flip3--_binary64_1105` `flip--_binary64_1076`
25×	`unpow-prod-down_binary64_157` `associate-l_binary64_1383` `unswap-sqr_binary64` `unswap-sqr_binary64_46` `div-inv_binary64_757`
24×	`associate-/r_binary64_1727` `associate-r/_binary64_1043` `pow1_binary64_2526`
23×	`distribute-lft-out--_binary64_712` `difference-of-squares_binary64_729` `*-commutative_binary64`
22×	`associate-r/_binary64_1384` `associate-/r/_binary64_1047` `1-exp_binary64_122` `flip3-+_binary64_2468` `associate-r/_binary64_702` `log-prod_binary64_505` `div-exp_binary64_811` `cancel-sign-sub-inv_binary64_1749` `flip-+_binary64_2439`
21×	`cancel-sign-sub-inv_binary64_1067` `associate-l_binary64_360` `sum-log_binary64_2215` `cbrt-prod_binary64`
20×	`cancel-sign-sub-inv_binary64_726` `un-div-inv_binary64_76` `distribute-rgt-in_binary64_28` `distribute-lft-in_binary64_27` `distribute-lft-out--_binary64_30`
19×	`sub-neg_binary64` `cbrt-unprod_binary64_1475` `add-log-exp_binary64_2504` `flip3-+_binary64_1786` `flip-+_binary64_1757` `exp-sum_binary64_465` `cube-prod_binary64_106` `prod-exp_binary64_1491`
18×	`log-prod_binary64_1187` `cbrt-prod_binary64_450` `associate-+l+_binary64`
17×	`associate-l_binary64_701`
16×	`cbrt-undiv_binary64_794` `associate-/l/_binary64_707` `associate-/l*_binary64_1387` `div-exp_binary64_470` `distribute-lft-out--_binary64_1735` `sum-log_binary64_510` `sum-log_binary64` `sqrt-div_binary64_1800` `sub-neg_binary64_71`
15×	`pow-prod-down_binary64_1513` `cbrt-undiv_binary64_453` `div-inv_binary64_1098` `distribute-lft-out--_binary64_1053` `diff-log_binary64_511`
14×	`clear-num_binary64` `associate-+r+_binary64` `distribute-lft-out--_binary64_371` `frac-2neg_binary64` `div-inv_binary64_2462` `sqrt-pow1_binary64_1119` `pow1/2_binary64_1181`
13×	`unpow-prod-down_binary64_2203` `diff-log_binary64_170` `cube-prod_binary64_2152` `pow-prod-down_binary64_149`
12×	`*-commutative_binary64_9` `log-pow_binary64_508` `associate-/l/_binary64` `cbrt-undiv_binary64_1476` `cbrt-div_binary64_451` `div-inv_binary64_1780` `distribute-lft-in_binary64_1050` `div-exp_binary64_1493` `add-cube-cbrt_binary64_2159` `frac-times_binary64_770` `cbrt-prod_binary64_791` `add-sqr-sqrt_binary64_2146` `rem-sqrt-square_binary64_1114` `cbrt-prod_binary64_109` `distribute-rgt-in_binary64_1051` `flip--_binary64_735` `flip3--_binary64_764`
11×	`unpow-prod-down_binary64` `distribute-rgt-in_binary64_1392` `difference-of-sqr-1_binary64_1753` `distribute-rgt-in_binary64_710` `distribute-lft-in_binary64_1391` `distribute-lft-in_binary64_709` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1410` `exp-prod_binary64_471`
10×	`sub-neg_binary64_412` `prod-exp_binary64_809` `sqr-pow_binary64_50` `frac-2neg_binary64_89` `+-commutative_binary64_1372` `flip-+_binary64_2098` `clear-num_binary64_77` `flip3-+_binary64_2127` `sqrt-pow1_binary64_2483` `frac-2neg_binary64_771` `cbrt-unprod_binary64_793` `clear-num_binary64_759`
9×	`clear-num_binary64_418` `flip3--_binary64_423` `-commutative_binary64_1032` `diff-log_binary64` `frac-2neg_binary64_430` `div-exp_binary64_2516` `sub-neg_binary64_1094` `flip--_binary64_394` `associate-/l/_binary64_2412` `clear-num_binary64_1100` `frac-2neg_binary64_1112` `-commutative_binary64_1373` `div-sub_binary64` `*-commutative_binary64_350` `diff-log_binary64_1193` `rec-exp_binary64_810` `+-commutative_binary64` `unpow-prod-down_binary64_839`
8×	`associate-/l/_binary64_1730` `cbrt-div_binary64_2156` `unpow-prod-down_binary64_1180` `unswap-sqr_binary64_1069` `frac-add_binary64_1450` `pow1/2_binary64_2545` `cbrt-prod_binary64_1132` `pow-prod-down_binary64_831` `cube-div_binary64_2153` `sqrt-div_binary64` `associate--r+_binary64_14`
7×	`+-commutative_binary64_1031` `sum-log_binary64_851` `rec-exp_binary64` `1-exp_binary64` `associate-/l/_binary64_25` `sum-log_binary64_1192` `log-prod_binary64_1869` `cbrt-undiv_binary64_2499` `cube-mult_binary64_108` `log-pow_binary64_1190`
6×	`unswap-sqr_binary64_728` `associate-l/_binary64_703` `pow1/3_binary64_501` `cbrt-undiv_binary64_1817` `associate-/r/_binary64_1729` `frac-2neg_binary64_1794` `unpow3_binary64_2531` `sqr-pow_binary64_2437` `sqrt-pow1_binary64_1801` `log-div_binary64_1188` `cbrt-div_binary64_1474` `cbrt-prod_binary64_1814` `unswap-sqr_binary64_387` `pow1/2_binary64_1863` `associate-/l/_binary64_1048` `associate-/l/_binary64_366` `unpow3_binary64_144` `swap-sqr_binary64_727` `cube-mult_binary64_2495` `swap-sqr_binary64_1068` `div-exp_binary64_1834` `pow1_binary64_2185` `div-sub_binary64_2470` `cbrt-div_binary64` `rem-sqrt-square_binary64_2478` `associate-+l+_binary64_1375` `clear-num_binary64_1782` `sub-neg_binary64_753` `sqrt-prod_binary64_435` `add-exp-log_binary64_2162` `rem-sqrt-square_binary64_1796` `associate--l+_binary64_697` `add-cbrt-cube_binary64_2160` `-commutative_binary64_691` `associate-l_binary64_1724` `associate-r_binary64_1723` `associate-+r+_binary64_1374`
5×	`pow1/2_binary64_840` `frac-2neg_binary64_2476` `flip--_binary64_2440` `pow-flip_binary64_834` `flip3--_binary64_2469` `+-commutative_binary64_690` `pow-pow_binary64_2537` `cosh-undef_binary64_954` `cube-div_binary64_2494` `sqrt-pow1_binary64_778` `clear-num_binary64_2464` `sqr-pow_binary64` `sum-log_binary64_169`
4×	`pow-to-exp_binary64_147` `flip3--_binary64_1787` `+-commutative_binary64_1713` `exp-sum_binary64_1829` `associate--l-_binary64` `cube-div_binary64_107` `associate-/l/_binary64_1389` `associate-/r/_binary64_1388` `cbrt-div_binary64_1815` `pow1/3_binary64` `associate-+r+_binary64_2056` `rem-sqrt-square_binary64_773` `pow-exp_binary64_146` `sum-log_binary64_1874` `+-commutative_binary64_2054` `diff-log_binary64_852` `frac-times_binary64_1111` `frac-add_binary64_1109` `sub-neg_binary64_1776` `associate--r+_binary64_355` `cube-prod_binary64` `flip--_binary64_1758` `frac-add_binary64_2132` `+-commutative_binary64_349` `1-exp_binary64_804`
3×	`+-commutative_binary64_8` `diff-log_binary64_1875` `cancel-sign-sub-inv_binary64_1408` `distribute-rgt-out--_binary64_1737` `associate-+l+_binary64_693` `pow-unpow_binary64_1519` `cube-prod_binary64_788` `inv-pow_binary64_845` `pow-unpow_binary64_2542` `sqrt-pow1_binary64` `pow1/3_binary64_1524` `pow-unpow_binary64_155` `sqr-pow_binary64_732` `rem-log-exp_binary64_1142` `cbrt-prod_binary64_1473` `difference-of-sqr-1_binary64_48` `pow-unpow_binary64_1178`
2×	`cbrt-div_binary64_110` `pow-to-exp_binary64_2534` `div-sub_binary64_1788` `pow-exp_binary64_2533` `pow-to-exp_binary64` `pow-prod-down_binary64_1854` `pow1/2_binary64` `flip3--_binary64_1446` `rem-cbrt-cube_binary64_2148` `clear-num_binary64_1441` `cube-mult_binary64_2154` `pow-exp_binary64` `log-div_binary64_1870` `associate-+r+_binary64_1033` `associate-+l+_binary64_1034` `flip--_binary64_1417` `associate-r/_binary64_1725` `pow1/3_binary64_2206` `frac-2neg_binary64_1453` `sqr-pow_binary64_2096` `-commutative_binary64_1714` `associate-r/_binary64_361` `unpow3_binary64_2190` `exp-diff_binary64_1831` `associate-+r+_binary64_351` `cbrt-div_binary64_792` `cube-div_binary64_789` `pow1/3_binary64_1865` `associate-l/_binary64_1044` `cbrt-unprod_binary64_1816` `rem-sqrt-square_binary64` `associate-+r+_binary64_10` `unswap-sqr_binary64_1751` `prod-exp_binary64_1832` `sqr-pow_binary64_1073` `distribute-rgt-out--_binary64`
1×	`frac-sub_binary64_1792` `rem-cbrt-cube_binary64_102` `1-exp_binary64_463` `distribute-rgt-out_binary64_1054` `distribute-rgt-in_binary64_1733` `rem-cube-cbrt_binary64_2488` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_101` `pow-plus_binary64_1164` `pow2_binary64_841` `diff-log_binary64_2557` `pow-prod-up_binary64_1171` `unpow3_binary64_826` `distribute-lft-in_binary64_1732` `sub-neg_binary64_1435` `+-commutative_binary64_2395` `pow-pow_binary64_1173` `div-sub_binary64_765` `cancel-sign-sub-inv_binary64_2431` `exp-diff_binary64_467` `div-sub_binary64_1447` `pow2_binary64_1182` `distribute-rgt-out_binary64_31` `sum-log_binary64_2556` `associate--l+_binary64_15` `pow-plus_binary64_823` `inv-pow_binary64_504` `sqrt-pow2_binary64_2484` `sub-div_binary64_1790` `unpow3_binary64` `pow-pow_binary64_150` `cube-mult_binary64` `distribute-rgt1-in_binary64_34` `pow-flip_binary64` `log-div_binary64_506` `rem-log-exp_binary64_1824` `pow-exp_binary64_1169` `rec-exp_binary64_469` `sub-neg_binary64_2458` `pow-sqr_binary64_1074` `diff-log_binary64_1534` `pow1/3_binary64_2547` `pow1/3_binary64_842` `cube-mult_binary64_790` `pow-flip_binary64_493` `associate-+r-_binary64_12` `inv-pow_binary64` `pow1/3_binary64_1183` `pow-exp_binary64_1510` `rem-log-exp_binary64_460` `pow-prod-up_binary64_830` `pow-to-exp_binary64_1170` `pow-sqr_binary64_733` `pow1/3_binary64_160` `rem-cbrt-cube_binary64_2489` `cbrt-div_binary64_2497` `pow-to-exp_binary64_1511` `div-sub_binary64_1106` `pow-pow_binary64_1514`

Calls

289 calls:

124.0ms	(+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 1 (sqrt.f64 (+.f64 (.f64 x1 x1) 1))) (.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4)) (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (sqrt.f64 (+.f64 (.f64 x1 x1) 1))))) (.f64 (*.f64 x1 x1) -6)) x1)))
99.0ms	(+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (/.f64 (.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4))) (+.f64 (.f64 x1 x1) 1)) (.f64 (*.f64 x1 x1) -6)) x1)))
83.0ms	(+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4))) (.f64 (.f64 x1 x1) -6))
75.0ms	(.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (*.f64 x1 x1) 4)))
74.0ms	(+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4))) (.f64 (*.f64 x1 x1) -6)) x1)))

localize1.6s (0.8%)

bsearch632.0ms (0.3%)

Compiler: Compiled 43 to 38 computations (11.6% saved)

Details

sample1.4min (39.6%)

analyze31.5s (14.8%)

prune29.1s (13.7%)

series22.4s (10.5%)

simplify20.7s (9.8%)

regimes16.1s (7.6%)

rewrite6.4s (3%)

localize1.6s (0.8%)

bsearch632.0ms (0.3%)

end1.0ms (0%)

Profiling