Date:	Friday, February 12th, 2021
Commit:	9f949787 on mpmf-cost-multi-input
Hostname:	warfa with Racket 7.9
Seed:	2021043
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

sample7.1s (33%)

Algorithm

15×

intervals

Results

1.7s	22910×	body	128	valid
803.0ms	5621×	body	1024	valid
730.0ms	9568×	body	256	valid
281.0ms	16612×	pre	128	true
252.0ms	1551×	body	2048	valid
247.0ms	2636×	body	512	valid
225.0ms	100×	body	8192	exit
5.0ms	18×	body	4096	valid
2.0ms	29×	body	128	invalid
1.0ms	20×	body	128	nan
0.0ms	1×	body	1024	invalid
0.0ms	3×	body	128	overflowed

Compiler

Compiled 4587 to 2172 computations (52.6% saved)

analyze6.3s (29.1%)

Algorithm

2×	random
8×	search

Search

True	Other	False	Iter
0%	62.5%	37.5%	0
0%	62.5%	37.5%	1
0%	62.5%	37.5%	2
3.1%	59.3%	37.5%	3
7.8%	53.1%	39.1%	4
10.2%	50%	39.9%	5
12.9%	45.3%	41.8%	6
19.5%	36.7%	43.8%	7
24.4%	30.9%	44.8%	8
27.9%	26.2%	45.9%	9
32.8%	20.2%	47%	10
36.1%	16.2%	47.7%	11
37.3%	14.3%	48.3%	12
40.2%	11%	48.9%	13
41.4%	9.4%	49.3%	14

Compiler

Compiled 289 to 212 computations (26.6% saved)

series3.2s (15.1%)

Calls

33 calls:

241.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
204.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
202.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
202.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
195.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))

Compiler

Compiled 23872 to 11305 computations (52.6% saved)

prune1.8s (8.5%)

Compiler: Compiled 45555 to 15933 computations (65% saved)

simplify1.6s (7.3%)

Algorithm

24×	egg-herbie

regimes1.0s (4.8%)

Accuracy

Total -60.1b remaining (-130.9%)

Threshold costs -61.6b (-134.2%)

1.5b	0%	simple fma test
0.4b	98.2%	Kahan's exp quotient
-62.0b	96901.9%	fma_test1

Compiler

Compiled 14417 to 5368 computations (62.8% saved)

rewrite313.0ms (1.5%)

Algorithm

14×	rewrite-expression-head

Rules

281×	`add-sqr-sqrt_binary64_441`
214×	`*-un-lft-identity_binary64_419`
155×	`times-frac_binary64_425`
136×	`difference-of-squares_binary64_388`
96×	`cube-prod_binary64_447` `unpow-prod-down_binary64_498`
90×	`add-cube-cbrt_binary64_454`
86×	`add-sqr-sqrt_binary64`
75×	`*-un-lft-identity_binary64`
71×	`add-log-exp_binary64`
58×	`add-cube-cbrt_binary64`
54×	`cbrt-prod_binary64`
52×	`sqr-pow_binary64_391`
44×	`associate-/l*_binary64_364`
40×	`distribute-lft-out--_binary64_371`
38×	`cbrt-div_binary64`
37×	`pow1_binary64` `cancel-sign-sub-inv_binary64`
28×	`cancel-sign-sub-inv_binary64_385`
27×	`add-exp-log_binary64`
24×	`flip3--_binary64` `flip--_binary64`
23×	`add-cbrt-cube_binary64`
21×	`add-cbrt-cube_binary64_455`
20×	`pow1/3_binary64`
19×	`diff-log_binary64` `add-exp-log_binary64_457`
18×	`add-log-exp_binary64_458`
15×	`pow1_binary64_480`
12×	`sub-neg_binary64` `swap-sqr_binary64` `associate-r_binary64` `associate-l_binary64`
9×	`div-inv_binary64_416` `sum-log_binary64` `associate-/r*_binary64_363`
8×	`flip3-+_binary64` `unswap-sqr_binary64` `frac-times_binary64` `flip-+_binary64`
7×	`distribute-lft-out--_binary64` `cube-mult_binary64_449`
6×	`associate--r+_binary64` `difference-of-squares_binary64` `associate-r_binary64_359` `associate-l_binary64_360`
5×	`flip3--_binary64_423` `distribute-rgt-in_binary64_369` `difference-of-sqr-1_binary64_389` `flip--_binary64_394` `distribute-lft-in_binary64_368` `difference-cubes_binary64_421`
4×	`pow-prod-down_binary64` `pow-pow_binary64_491` `associate-r/_binary64` `associate-/l/_binary64_366` `associate-+r+_binary64_351` `pow-sqr_binary64` `pow-prod-up_binary64` `associate-l/_binary64`
3×	`clear-num_binary64_418` `sub-neg_binary64_412` `flip3-+_binary64_422` `frac-2neg_binary64_430` `pow-unpow_binary64_496` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `distribute-rgt-out--_binary64_373` `flip-+_binary64_393` `diff-log_binary64_511` `exp-prod_binary64_471`
2×	`pow-prod-down_binary64_490` `prod-exp_binary64` `distribute-lft-out_binary64` `unswap-sqr_binary64_387` `cbrt-unprod_binary64_452` `prod-exp_binary64_468` `associate-/r/_binary64_365` `-commutative_binary64_350` `associate-r/_binary64_361` `pow-plus_binary64` `cbrt-unprod_binary64` `unpow3_binary64_485` `pow2_binary64` `*-commutative_binary64` `div-sub_binary64_424`
1×	`sum-log_binary64_510` `frac-sub_binary64_428` `pow-to-exp_binary64_488` `rem-cube-cbrt_binary64_442` `+-commutative_binary64` `sub-div_binary64_426` `+-commutative_binary64_349` `pow-exp_binary64_487`

Calls

66 calls:

25.0ms	(/.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1 3)) (+.f64 x (.f64 x (.f64 (exp.f64 x) (+.f64 (exp.f64 x) 1)))))
15.0ms	(-.f64 (/.f64 (exp.f64 x) x) (/.f64 1 x))
13.0ms	(-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1 3))
12.0ms	(.f64 (cbrt.f64 (-.f64 (.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)) (cbrt.f64 (-.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)))
12.0ms	(.f64 (cbrt.f64 (-.f64 (.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)) (cbrt.f64 (-.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)))

Details

sample7.1s (33%)

analyze6.3s (29.1%)

series3.2s (15.1%)

prune1.8s (8.5%)

simplify1.6s (7.3%)

regimes1.0s (4.8%)

rewrite313.0ms (1.5%)

localize146.0ms (0.7%)

bsearch18.0ms (0.1%)

end9.0ms (0%)

Profiling