Date:	Thursday, February 11th, 2021
Commit:	1950a15a on mpmf-cost-herbie-only
Hostname:	warfa with Racket 7.9
Seed:	2021042
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

sample54.3s (27.1%)

Algorithm

73×

intervals

Results

12.0s	247646×	body	128	valid
4.5s	14938×	body	1024	valid
3.2s	6068×	body	2048	valid
2.4s	99272×	pre	128	true
1.8s	14498×	body	128	invalid
1.4s	7437×	body	512	valid
1.2s	200×	body	8192	exit
1.1s	12039×	body	256	valid
298.0ms	832×	body	4096	valid
119.0ms	209×	body	1024	invalid
88.0ms	246×	body	512	invalid
86.0ms	1699×	body	128	nan
35.0ms	162×	body	256	invalid
20.0ms	22×	body	2048	invalid
13.0ms	172×	body	128	overflowed
4.0ms	100×	pre	128	false

Compiler

Compiled 31109 to 21149 computations (32% saved)

series53.3s (26.6%)

Calls

296 calls:

1.7s	(+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (.f64 (.f64 (cbrt.f64 (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (cbrt.f64 (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3))) (cbrt.f64 (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)))) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6)))
1.7s	(+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (cbrt.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.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)) (cbrt.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))))) (.f64 (.f64 x1 x1) -6))
1.6s	(+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6)))
1.6s	(+.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))
1.2s	(cbrt.f64 (+.f64 (.f64 n (.f64 i (+.f64 1/2 (.f64 i 1/6)))) (+.f64 (.f64 -1/2 (+.f64 i (.f64 i i))) (+.f64 n (.f64 1/3 (/.f64 i (/.f64 n i)))))))

Compiler

Compiled 215109 to 156945 computations (27% saved)

prune37.9s (18.9%)

Compiler: Compiled 584415 to 321835 computations (44.9% saved)

analyze21.0s (10.5%)

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)

simplify16.0s (8%)

Algorithm

179×	egg-herbie

regimes10.7s (5.3%)

Accuracy

Total 47.9b remaining (14.2%)

Threshold costs 3.2b (0.9%)

10.6b	61.9%	Compound Interest
10.3b	51.3%	Complex division, real part
10.1b	51.8%	Complex division, imag part
4.9b	76.7%	Kahan p9 Example
4.6b	84%	The quadratic formula (r1)

Compiler

Compiled 126733 to 86203 computations (32% saved)

rewrite5.4s (2.7%)

Algorithm

109×	rewrite-expression-head

Rules

2024×	`times-frac_binary64_77`
1572×	`*-un-lft-identity_binary64_71`
1556×	`add-sqr-sqrt_binary64_93`
1190×	`times-frac_binary64`
1021×	`*-un-lft-identity_binary64`
970×	`times-frac_binary64_2741`
940×	`add-sqr-sqrt_binary64`
926×	`add-cube-cbrt_binary64_106`
789×	`add-sqr-sqrt_binary64_2757`
770×	`*-un-lft-identity_binary64_737`
665×	`times-frac_binary64_743`
615×	`*-un-lft-identity_binary64_2735`
584×	`add-cube-cbrt_binary64`
567×	`add-sqr-sqrt_binary64_759`
468×	`add-cube-cbrt_binary64_2770`
388×	`associate-r_binary64_2675`
354×	`add-exp-log_binary64`
353×	`add-cube-cbrt_binary64_772`
342×	`add-cbrt-cube_binary64` `cbrt-div_binary64`
306×	`associate-*r/_binary64`
302×	`difference-of-squares_binary64_40`
281×	`associate-r_binary64`
279×	`*-un-lft-identity_binary64_2069`
254×	`associate-*r/_binary64_2677`
226×	`*-un-lft-identity_binary64_2402`
219×	`add-sqr-sqrt_binary64_1758`
218×	`frac-times_binary64`
210×	`add-exp-log_binary64_109`
204×	`times-frac_binary64_2075`
200×	`add-sqr-sqrt_binary64_2091`
193×	`difference-of-squares_binary64`
190×	`distribute-lft-out_binary64_22`
189×	`add-cbrt-cube_binary64_1106` `add-exp-log_binary64_1108`
188×	`*-un-lft-identity_binary64_1736`
183×	`flip3--_binary64` `flip--_binary64`
174×	`add-cbrt-cube_binary64_107`
173×	`associate-r_binary64_11`
168×	`difference-of-squares_binary64_2704`
164×	`associate-l_binary64_12`
160×	`frac-add_binary64_2743` `add-exp-log_binary64_775`
159×	`sqrt-prod_binary64_2751`
158×	`associate-l_binary64_678`
153×	`flip3-+_binary64_2738` `flip-+_binary64_2709`
152×	`add-cbrt-cube_binary64_773`
151×	`associate-/r*_binary64_15`
150×	`pow1_binary64_132`
146×	`cbrt-prod_binary64`
144×	`add-log-exp_binary64_2441`
141×	`add-cube-cbrt_binary64_2104`
135×	`distribute-lft-out_binary64_688`
128×	`pow1_binary64` `*-un-lft-identity_binary64_1070`
126×	`prod-exp_binary64`
124×	`cbrt-unprod_binary64`
120×	`add-cube-cbrt_binary64_1771`
118×	`frac-add_binary64`
114×	`distribute-lft-out--_binary64_23` `distribute-lft-out--_binary64`
113×	`frac-sub_binary64_413`
110×	`add-sqr-sqrt_binary64_1425` `associate-/l*_binary64_16` `associate-/r/_binary64_17`
108×	`associate-/r/_binary64` `distribute-lft-out_binary64_2353`
102×	`add-exp-log_binary64_2107` `cancel-sign-sub-inv_binary64_703`
99×	`difference-of-squares_binary64_706`
98×	`cbrt-div_binary64_2767`
97×	`add-exp-log_binary64_2773`
96×	`add-cbrt-cube_binary64_2105` `frac-times_binary64_414`
92×	`flip3-+_binary64` `flip-+_binary64`
90×	`associate-*l/_binary64_347`
89×	`associate-r_binary64_677` `associate-*l/_binary64`
88×	`cbrt-undiv_binary64` `unpow-prod-down_binary64_2814` `*-un-lft-identity_binary64_1403` `div-exp_binary64`
87×	`associate-/r*_binary64`
85×	`add-cube-cbrt_binary64_1438` `sqr-pow_binary64_2707` `pow1_binary64_1131` `add-log-exp_binary64_1775`
84×	`add-cbrt-cube_binary64_2771` `add-sqr-sqrt_binary64_1092` `difference-of-sqr-1_binary64_2705`
81×	`add-log-exp_binary64` `times-frac_binary64_1076`
80×	`add-sqr-sqrt_binary64_2424` `sum-log_binary64_2493` `exp-neg_binary64_451`
78×	`add-log-exp_binary64_110`
77×	`cbrt-unprod_binary64_1103` `prod-exp_binary64_1119`
76×	`associate-/l*_binary64` `div-inv_binary64`
75×	`add-log-exp_binary64_2108` `div-inv_binary64_68`
74×	`*-un-lft-identity_binary64_404`
72×	`add-sqr-sqrt_binary64_426`
71×	`add-exp-log_binary64_1441`
70×	`add-exp-log_binary64_1774` `add-cube-cbrt_binary64_1105`
68×	`distribute-lft-out_binary64_2020` `flip-+_binary64_45` `flip3-+_binary64_74`
67×	`sqrt-prod_binary64_87` `cancel-sign-sub-inv_binary64`
66×	`pow1_binary64_1797`
65×	`times-frac_binary64_1742` `add-cbrt-cube_binary64_1772` `flip3-+_binary64_407` `flip-+_binary64_378`
64×	`add-exp-log_binary64_2440` `div-inv_binary64_734` `add-cbrt-cube_binary64_2438`
63×	`exp-prod_binary64_1788`
62×	`div-exp_binary64_122`
60×	`times-frac_binary64_1409` `neg-sub0_binary64_399` `exp-diff_binary64_452`
59×	`pow1_binary64_2463` `associate-r_binary64_1010`
57×	`log-pow_binary64_1825` `distribute-lft-out_binary64`
56×	`add-cube-cbrt_binary64_2437` `add-cube-cbrt_binary64_439`
55×	`associate-l_binary64` `pow1_binary64_798` `pow1_binary64_2796`
54×	`associate-*r/_binary64_346`
53×	`flip3-+_binary64_2405` `flip-+_binary64_2376` `sqrt-prod_binary64`
52×	`flip3--_binary64_408` `flip--_binary64_379`
51×	`distribute-lft-out--_binary64_689` `cbrt-prod_binary64_1434`
50×	`associate-l_binary64_1011`
48×	`associate-/l_binary64_682` `add-log-exp_binary64_2774` `associate-r*_binary64_2342`
47×	`pow-prod-down_binary64`
46×	`add-log-exp_binary64_776`
45×	`div-inv_binary64_2732` `associate-/r*_binary64_681`
44×	`associate-/r/_binary64_683` `div-exp_binary64_788`
43×	`pow1_binary64_465` `div-exp_binary64_1121` `cbrt-undiv_binary64_1104` `add-cbrt-cube_binary64_440`
42×	`swap-sqr_binary64_704` `prod-exp_binary64_786` `cbrt-undiv_binary64_105`
41×	`cbrt-undiv_binary64_771` `pow-prod-down_binary64_142`
40×	`add-exp-log_binary64_442` `cbrt-unprod_binary64_770` `associate-l_binary64_2343` `associate-/r*_binary64_2013` `add-cbrt-cube_binary64_1439` `cancel-sign-sub-inv_binary64_1702`
39×	`prod-exp_binary64_120`
38×	`associate-r_binary64_1676` `associate-l_binary64_1677` `difference-of-squares_binary64_1705` `cbrt-prod_binary64_2100` `add-log-exp_binary64_1442`
36×	`pow1_binary64_2130` `swap-sqr_binary64_1037` `sqrt-pow1_binary64_89`
35×	`cancel-sign-sub-inv_binary64_1369`
33×	`cbrt-unprod_binary64_104`
32×	`associate-/r/_binary64_1016` `pow-prod-down_binary64_1141`
30×	`sqrt-prod_binary64_2085` `times-frac_binary64_410`
29×	`frac-times_binary64_747` `div-exp_binary64_2120`
28×	`cbrt-div_binary64_1435` `sqrt-prod_binary64_2418` `associate-*r/_binary64_2344` `pow1_binary64_1464` `distribute-lft-out--_binary64_2687`
26×	`sqrt-div_binary64_88` `flip3-+_binary64_740` `flip-+_binary64_711` `associate-r/_binary64_13` `unswap-sqr_binary64_39` `cancel-sign-sub-inv_binary64_37` `associate-r/_binary64_679`
25×	`flip--_binary64_46` `flip3--_binary64_75` `difference-of-squares_binary64_2038` `associate-l_binary64_345` `flip-+_binary64_2043` `flip3-+_binary64_2072` `associate-/l_binary64_2014` `cbrt-undiv_binary64_2103` `associate-/r_binary64_2679` `distribute-lft-out_binary64_1021` `associate-/r/_binary64_2681`
24×	`sqrt-prod_binary64_1419` `add-log-exp_binary64_443` `sqrt-div_binary64_2752` `sum-log_binary64_2160` `associate-r_binary64_1343` `frac-times_binary64_2412`
23×	`flip3-+_binary64_1406` `distribute-lft-out--_binary64_1688` `flip3--_binary64_741` `flip--_binary64_712` `unswap-sqr_binary64_2703` `flip-+_binary64_1377` `associate-/r/_binary64_2015`
22×	`associate-/l*_binary64_2680` `distribute-rgt-in_binary64` `prod-exp_binary64_2784` `distribute-lft-in_binary64`
21×	`flip--_binary64_2044` `prod-exp_binary64_2118` `cbrt-unprod_binary64_2102` `div-exp_binary64_2786` `flip3--_binary64_2073` `associate-l_binary64_2676` `associate-*l/_binary64_680` `cbrt-prod_binary64_1767` `cbrt-prod_binary64_2766`
20×	`prod-exp_binary64_1452` `flip-+_binary64_1044` `flip3-+_binary64_1073` `un-div-inv_binary64_402`
19×	`add-log-exp_binary64_1109`
18×	`associate-/l/_binary64_351` `associate-/l_binary64_1681` `cbrt-unprod_binary64_2435` `associate-r*_binary64_344` `log-prod_binary64_1822` `diff-log_binary64_1828` `unpow-prod-down_binary64_1482` `prod-exp_binary64_2451` `sqrt-div_binary64_2419` `cbrt-unprod_binary64_2768`
17×	`associate-/l/_binary64_18` `swap-sqr_binary64_38` `div-exp_binary64_1454` `pow1/2_binary64_151`
16×	`sub-neg_binary64` `flip-+_binary64_1710` `difference-of-sqr-1_binary64_1706` `distribute-rgt-in_binary64_2352` `exp-sum_binary64_1782` `div-inv_binary64_2066` `associate-*l/_binary64_2345` `distribute-lft-in_binary64_2351` `clear-num_binary64_70` `associate-+r+_binary64` `associate-+r+_binary64_2334` `unswap-sqr_binary64` `associate-/l/_binary64_684` `flip3-+_binary64_1739` `frac-2neg_binary64_82` `cbrt-undiv_binary64_2769` `div-inv_binary64_1067`
15×	`cancel-sign-sub-inv_binary64_2035` `associate-l_binary64_1344` `frac-sub_binary64_746` `associate-r/_binary64_1678` `associate-/r_binary64_1014` `prod-exp_binary64_1785` `*-commutative_binary64`
14×	`distribute-lft-in_binary64_686` `associate-/r/_binary64_1349` `cbrt-div_binary64_1768` `unswap-sqr_binary64_705` `pow-prod-down_binary64_2473` `distribute-rgt-in_binary64_687` `cancel-sign-sub-inv_binary64_2368`
13×	`sub-neg_binary64_1729` `clear-num_binary64` `cube-prod_binary64_2097` `sum-log_binary64` `cbrt-unprod_binary64_1769` `cube-prod_binary64_432` `+-commutative_binary64_2332` `frac-2neg_binary64` `unpow-prod-down_binary64_483` `distribute-lft-out--_binary64_2021` `unpow-prod-down_binary64_2148`
12×	`flip3--_binary64_2739` `-commutative_binary64_1001` `flip--_binary64_2710` `flip--_binary64_2377` `distribute-rgt-neg-in_binary64_29` `associate-+l+_binary64` `-commutative_binary64_2` `frac-2neg_binary64_748` `distribute-rgt-out--_binary64` `clear-num_binary64_736` `pow-prod-down_binary64_1807` `distribute-lft-neg-in_binary64_28` `flip3--_binary64_2406`
11×	`cancel-sign-sub-inv_binary64_370` `pow-prod-up_binary64_141` `diff-log_binary64_163` `associate-/l/_binary64_2016` `frac-times_binary64_81` `pow-prod-down_binary64_808` `pow-prod-down_binary64_2806` `unswap-sqr_binary64_1704` `sub-neg_binary64_64`
10×	`associate-/l/_binary64` `unswap-sqr_binary64_2370` `-commutative_binary64_1667` `flip--_binary64_1711` `sqrt-div_binary64_1420` `flip3--_binary64_1740` `div-sub_binary64` `-commutative_binary64_2333` `sum-log_binary64_1827`
9×	`cancel-sign-sub-inv_binary64_1036` `associate-/r_binary64_1347` `unswap-sqr_binary64_1371` `swap-sqr_binary64` `associate-r*_binary64_2009` `distribute-rgt-in_binary64_1686` `pow1/3_binary64` `sub-neg_binary64_730` `cbrt-unprod_binary64_437` `distribute-lft-in_binary64_1685` `cbrt-undiv_binary64_1437` `prod-exp_binary64_453`
8×	`pow-prod-down_binary64_475` `cbrt-div_binary64_2101` `frac-times_binary64_2079` `associate--r+_binary64_1339` `associate-/l/_binary64_2349` `associate-+l+_binary64_2335` `frac-add_binary64_2410` `cube-div_binary64_2098` `cbrt-unprod_binary64_1436` `associate-+l+_binary64_337` `sqrt-div_binary64_2086` `rec-exp_binary64_121` `associate-l_binary64_2010` `unpow-prod-down_binary64_150` `log-prod_binary64_490` `1-exp_binary64_115` `associate-/r/_binary64_2348`
7×	`pow-sqr_binary64_44` `unpow-prod-down_binary64` `clear-num_binary64_2068` `pow1/3_binary64_1818` `pow1/3_binary64_1485` `pow1/3_binary64_2817` `frac-times_binary64_1080` `-commutative_binary64_668` `sub-neg_binary64_1396` `associate-r/_binary64_1012` `cancel-sign-sub-inv_binary64_2701` `frac-2neg_binary64_2080` `flip--_binary64_1378` `diff-log_binary64_829` `*-commutative_binary64_2666` `unswap-sqr_binary64_1038` `+-commutative_binary64_1999` `distribute-lft-out_binary64_355` `flip3--_binary64_1407`
6×	`distribute-lft-in_binary64_2684` `distribute-rgt-in_binary64_2685` `diff-log_binary64` `distribute-rgt-in_binary64_354` `sum-log_binary64_2826` `sub-neg_binary64_2395` `-commutative_binary64_335` `associate-/l_binary64_1348` `associate--r+_binary64_1672` `rem-sqrt-square_binary64_84` `swap-sqr_binary64_2369` `distribute-lft-in_binary64_353` `associate-/r_binary64_1680` `unswap-sqr_binary64_372` `associate--l+_binary64_341` `associate-l/_binary64_14` `sqrt-prod_binary64_1086` `associate-/l/_binary64_2682` `associate-/l_binary64_349` `+-commutative_binary64` `distribute-rgt-in_binary64_1020` `cube-prod_binary64_1431` `sqr-pow_binary64_1375` `associate-/l_binary64_1015` `distribute-lft-in_binary64_1019`
5×	`div-exp_binary64_455` `associate-l/_binary64_1013` `flip3--_binary64_1074` `sub-neg_binary64_2728` `diff-log_binary64_2161` `diff-log_binary64_2827` `diff-log_binary64_1495` `flip--_binary64_1045` `exp-diff_binary64_1784` `associate-r/_binary64_2011` `sub-neg_binary64_397` `sub-neg_binary64_2062` `frac-times_binary64_1413` `pow-prod-up_binary64_474` `log-div_binary64_1823` `sqrt-div_binary64` `sub-neg_binary64_1063` `div-inv_binary64_401`
4×	`frac-2neg_binary64_1081` `associate-+r+_binary64_2001` `associate-l/_binary64_2012` `log-div_binary64_491` `cube-div_binary64_1432` `associate--l-_binary64` `associate-/l/_binary64_1350` `1-exp_binary64_1447` `clear-num_binary64_2734` `cbrt-undiv_binary64_438` `sqrt-pow1_binary64_1421` `sqrt-pow1_binary64_2087` `distribute-rgt-in_binary64_21` `distribute-lft-in_binary64_1352` `div-exp_binary64_2453` `associate-/r_binary64_348` `clear-num_binary64_1069` `rec-exp_binary64_1453` `rem-sqrt-square_binary64_1416` `rem-sqrt-square_binary64_2748` `associate-/r/_binary64_350` `pow1/2_binary64_2149` `cbrt-undiv_binary64_2436` `associate-*l/_binary64_2678` `cube-prod_binary64_99` `frac-add_binary64_412` `distribute-lft-in_binary64_20` `sqrt-pow1_binary64_2753` `pow1/2_binary64_1483` `frac-add_binary64_2077` `frac-2neg_binary64_2746` `distribute-rgt-in_binary64_1353` `div-inv_binary64_1400` `neg-mul-1_binary64_67` `div-exp_binary64_1787` `frac-times_binary64_2745` `unpow-prod-down_binary64_2481` `sqr-pow_binary64_43` `cube-prod_binary64_2430` `rem-exp-log_binary64_1776` `pow1/2_binary64_2815` `rem-sqrt-square_binary64_2082` `pow-exp_binary64_472`
3×	`pow-unpow_binary64_2812` `pow-plus_binary64_1133` `div-sub_binary64_2740` `cbrt-undiv_binary64_1770` `difference-of-squares_binary64_373` `distribute-lft-out_binary64_1687` `inv-pow_binary64_156` `pow2_binary64_1151` `associate-r/_binary64_1345` `1-exp_binary64_2779` `1-exp_binary64_781` `div-sub_binary64_76` `+-commutative_binary64_1333` `pow-pow_binary64_476` `+-commutative_binary64_1` `distribute-lft-out--_binary64_356` `diff-log_binary64_496` `pow-prod-up_binary64_1140` `rem-log-exp_binary64_1777` `rec-exp_binary64_787` `unswap-sqr_binary64_2037` `pow-sqr_binary64_1043` `rec-exp_binary64_2785` `rem-sqrt-square_binary64` `div-inv_binary64_1733` `pow-unpow_binary64_481` `sum-log_binary64_1494` `pow-flip_binary64_145` `associate-l/_binary64_1346` `sqr-pow_binary64` `sum-log_binary64_162`
2×	`unpow3_binary64_1469` `pow2_binary64_152` `div-sub_binary64_1741` `frac-2neg_binary64_1414` `associate-/l/_binary64_1683` `+-commutative_binary64_667` `rem-sqrt-square_binary64_2415` `pow1/2_binary64` `cbrt-prod_binary64_102` `pow1/2_binary64_2482` `log-pow_binary64_493` `pow-plus_binary64_134` `cube-mult_binary64_2099` `pow-flip_binary64_811` `pow-prod-down_binary64_2140` `frac-sub_binary64` `clear-num_binary64_1402` `sum-log_binary64_495` `+-commutative_binary64_334` `*-commutative_binary64_2000` `unpow3_binary64_2135` `associate-/l/_binary64_1017` `sum-log_binary64_828` `1-exp_binary64_2113` `pow-to-exp_binary64_140` `sqrt-pow1_binary64_2420` `sqrt-pow1_binary64` `sqr-pow_binary64_2041` `clear-num_binary64_403` `difference-of-squares_binary64_1039` `frac-2neg_binary64_1747` `pow-exp_binary64_139` `clear-num_binary64_1735` `cube-mult_binary64_1433` `associate--l-_binary64_342` `difference-of-squares_binary64_2371` `pow-sqr_binary64` `frac-2neg_binary64_415` `sub-div_binary64` `pow-prod-up_binary64` `associate-+r+_binary64_2667` `+-commutative_binary64_1666` `rem-cbrt-cube_binary64_2093` `rem-cube-cbrt_binary64_427` `inv-pow_binary64_822` `rec-exp_binary64_2119` `pow1/3_binary64_2151` `rem-cbrt-cube_binary64_1427`
1×	`pow-flip_binary64_2143` `distribute-frac-neg_binary64_34` `pow2_binary64_818` `pow-exp_binary64_2803` `1-exp_binary64_1780` `rec-exp_binary64_454` `cube-mult_binary64_101` `pow-to-exp_binary64_473` `pow-sqr_binary64_377` `pow-to-exp_binary64` `neg-sub0_binary64_66` `pow-flip_binary64_478` `rem-log-exp_binary64_445` `pow1/3_binary64_153` `pow2_binary64_2483` `pow-prod-up_binary64_2472` `associate-/l_binary64_2347` `rem-3cbrt-rft_binary64_430` `associate-/r_binary64_2346` `inv-pow_binary64_2154` `distribute-rgt-in_binary64_2019` `un-div-inv_binary64_1734` `pow-sqr_binary64_2375` `un-div-inv_binary64_2733` `distribute-rgt1-in_binary64_360` `sqrt-unprod_binary64_91` `pow-prod-up_binary64_807` `unpow3_binary64_137` `pow-to-exp_binary64_2804` `pow-exp_binary64` `div-inv_binary64_2399` `distribute-lft-out--_binary64_2354` `distribute-lft-out--_binary64_1022` `diff-log_binary64_1162` `pow2_binary64_485` `pow-plus_binary64_467` `clear-num_binary64_2401` `rem-square-sqrt_binary64_83` `pow-plus_binary64` `distribute-lft1-in_binary64_359` `inv-pow_binary64_489` `distribute-lft-out_binary64_2686` `1-exp_binary64_448` `pow-plus_binary64_2465` `unpow3_binary64_470` `pow-plus_binary64_800` `div-sub_binary64_409` `cube-mult_binary64_434` `pow-sqr_binary64_710` `rec-exp_binary64_1786` `associate-+l+_binary64_2668` `frac-2neg_binary64_2413` `sum-cubes_binary64_2403` `pow-flip_binary64_2809` `pow-pow_binary64_2807` `distribute-rgt-out_binary64_357` `un-div-inv_binary64_735` `pow2_binary64` `+-commutative_binary64_2665` `cube-div_binary64_433` `times-frac_binary64_2408` `inv-pow_binary64_2820` `sqr-pow_binary64_376` `distribute-lft-in_binary64_2018` `pow-prod-down_binary64_1474` `*-commutative_binary64_1334` `cube-unmult_binary64_441`

Calls

592 calls:

101.0ms	(+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (.f64 (.f64 (cbrt.f64 (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (cbrt.f64 (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3))) (cbrt.f64 (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)))) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6)))
82.0ms	(+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (cbrt.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.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)) (cbrt.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))))) (.f64 (.f64 x1 x1) -6))
60.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
51.0ms	(.f64 (-.f64 (.f64 b c) (.f64 a d)) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))) (sqrt.f64 (+.f64 (.f64 c c) (*.f64 d d)))))
49.0ms	(/.f64 (-.f64 (.f64 (+.f64 1 (/.f64 1 eps)) (+.f64 1 (/.f64 (+.f64 1 (/.f64 1 eps)) eps))) (.f64 (-.f64 (pow.f64 (/.f64 1 eps) 3) 1) (exp.f64 (+.f64 (.f64 x (-.f64 -1 eps)) (.f64 (-.f64 1 eps) x))))) (.f64 (+.f64 1 (/.f64 (+.f64 1 (/.f64 1 eps)) eps)) (exp.f64 (.f64 (-.f64 1 eps) x))))

localize1.4s (0.7%)

bsearch666.0ms (0.3%)

Compiler: Compiled 30 to 34 computations (-13.3% saved)

Details

sample54.3s (27.1%)

series53.3s (26.6%)

prune37.9s (18.9%)

analyze21.0s (10.5%)

simplify16.0s (8%)

regimes10.7s (5.3%)

rewrite5.4s (2.7%)

localize1.4s (0.7%)

bsearch666.0ms (0.3%)

end1.0ms (0%)

Profiling