Date:	Wednesday, March 31st, 2021
Commit:	a9f96100 on test-percent-search-filtered
Hostname:	warfa with Racket 7.9
Seed:	2021090
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

sample4.1min (72.7%)

Algorithm

26×

intervals

Results

11.3s	6480×	body	8192	exit
5.4s	17038×	body	1024	valid
2.9s	79559×	body	128	valid
1.8s	5023×	body	1024	nan
1.4s	6761×	body	512	valid
863.0ms	24768×	pre	128	true
670.0ms	6686×	body	128	invalid
603.0ms	2527×	body	512	nan
502.0ms	827×	body	2048	valid
455.0ms	3143×	body	256	valid
285.0ms	3316×	body	128	overflowed
237.0ms	1283×	body	256	nan
172.0ms	1385×	body	128	nan
84.0ms	231×	body	1024	invalid
59.0ms	215×	body	512	invalid
32.0ms	163×	body	256	invalid
5.0ms	2×	body	8192	nan
3.0ms	4×	body	2048	nan
3.0ms	2×	body	4096	nan

Compiler

Compiled 1650301 to 1644807 computations (0.3% saved)

series38.8s (11.6%)

Counts

144 → 1050

Calls

80 calls:

3.3s	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
2.8s	(/.f64 (-.f64 (.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z))) (.f64 (sin.f64 a) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))) (.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
2.3s	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
1.5s	(-.f64 (.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z))) (.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
1.5s	(cbrt.f64 (pow.f64 l (exp.f64 w)))

Compiler

Compiled 64892 to 37056 computations (42.9% saved)

analyze27.2s (8.1%)

Algorithm

13×	search
26×	egg-herbie

Search

True	Other	False	Iter
0%	76.9%	23.1%	0
0%	76.9%	23.1%	1
0%	76.9%	23.1%	2
25%	51.9%	23.1%	3
34.6%	42.3%	23.1%	4
39.9%	37%	23.1%	5
42.3%	33.9%	23.8%	6
45.6%	30.4%	24%	7
47.2%	28.4%	24.4%	8
49%	26.5%	24.5%	9
50.8%	24.3%	24.9%	10
51.4%	23.5%	25.1%	11
52.1%	22.5%	25.4%	12
52.8%	21.6%	25.6%	13
53%	21%	25.9%	14

Compiler

Compiled 163 to 136 computations (16.6% saved)

regimes8.8s (2.6%)

Compiler: Compiled 94012 to 60997 computations (35.1% saved)

rewrite6.1s (1.8%)

Algorithm

48×	rewrite-expression-head

Rules

493×	`pow1_binary64_139`
453×	`sqrt-pow1_binary64_96`
426×	`pow1_binary64`
366×	`sqrt-prod_binary64_94`
344×	`sqrt-pow1_binary64`
308×	`add-sqr-sqrt_binary64_100`
303×	`add-exp-log_binary64_457`
271×	`add-sqr-sqrt_binary64_441`
230×	`pow-prod-down_binary64_149`
226×	`add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
212×	`pow-prod-down_binary64`
201×	`add-cbrt-cube_binary64_455`
195×	`times-frac_binary64_425`
184×	`add-sqr-sqrt_binary64_782`
178×	`add-sqr-sqrt_binary64`
164×	`sqrt-prod_binary64`
150×	`*-un-lft-identity_binary64_78`
135×	`prod-exp_binary64_468`
126×	`add-cube-cbrt_binary64_113`
125×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
121×	`pow1_binary64_480`
118×	`associate-r_binary64_359`
117×	`*-un-lft-identity_binary64`
108×	`add-cbrt-cube_binary64` `add-exp-log_binary64`
101×	`add-cube-cbrt_binary64`
97×	`associate-l_binary64`
96×	`associate-r_binary64_18`
95×	`unpow-prod-down_binary64_839`
91×	`pow1/2_binary64_158` `cbrt-prod_binary64_791`
81×	`associate-l_binary64_19`
80×	`sqrt-div_binary64_95`
76×	`associate-l_binary64_360`
71×	`unswap-sqr_binary64_46`
70×	`add-exp-log_binary64_116`
66×	`pow1/2_binary64`
64×	`add-cbrt-cube_binary64_114`
63×	`cbrt-unprod_binary64_452`
58×	`cube-prod_binary64_106` `unpow-prod-down_binary64_157` `pow-prod-up_binary64_148`
55×	`add-log-exp_binary64` `add-log-exp_binary64_458`
53×	`add-exp-log_binary64_798`
51×	`associate-r_binary64`
46×	`pow1_binary64_821`
45×	`div-exp_binary64_470` `times-frac_binary64_766`
44×	`associate-/l*_binary64_364`
42×	`pow-prod-up_binary64` `associate-*r/_binary64_20`
41×	`add-cbrt-cube_binary64_796`
40×	`sqrt-prod_binary64_776`
38×	`associate-/r*_binary64_363`
37×	`pow-prod-down_binary64_490`
35×	`unswap-sqr_binary64_728`
34×	`associate-/r/_binary64_365` `pow-sqr_binary64_51`
33×	`sqr-pow_binary64_732`
32×	`prod-exp_binary64` `add-log-exp_binary64_117` `cbrt-unprod_binary64`
30×	`add-log-exp_binary64_799` `sin-mult_binary64_574`
29×	`associate-*r/_binary64` `cbrt-undiv_binary64_453`
27×	`swap-sqr_binary64_45` `unswap-sqr_binary64` `associate-r_binary64_700` `tan-quot_binary64`
26×	`pow-sqr_binary64`
25×	`times-frac_binary64_84` `*-commutative_binary64_350` `exp-prod_binary64_812`
24×	`cos-mult_binary64_573`
23×	`associate-l_binary64_701`
22×	`div-inv_binary64_416` `unswap-sqr_binary64_387` `swap-sqr_binary64_727`
21×	`log-pow_binary64_849`
19×	`prod-exp_binary64_127` `flip3-+_binary64_81` `flip-+_binary64_52`
18×	`pow-to-exp_binary64_488` `swap-sqr_binary64` `pow-exp_binary64_487`
17×	`pow-pow_binary64_150`
15×	`*-commutative_binary64` `frac-sub_binary64` `cbrt-unprod_binary64_111` `cancel-sign-sub-inv_binary64` `pow1/3_binary64_842`
14×	`clear-num_binary64_418` `frac-2neg_binary64_430`
13×	`flip3--_binary64_423` `flip--_binary64_394` `prod-exp_binary64_809`
12×	`difference-of-squares_binary64_47` `pow-unpow_binary64_837` `associate-/r_binary64_704` `sub-div_binary64_426` `distribute-lft-out--_binary64_30` `associate-/l_binary64_705` `frac-sub_binary64_428`
11×	`pow-exp_binary64_828` `flip--_binary64` `*-commutative_binary64_9` `flip3--_binary64` `pow-to-exp_binary64_829`
10×	`rem-sqrt-square_binary64_91` `sqr-pow_binary64_50` `associate-/l/_binary64` `div-exp_binary64` `cbrt-undiv_binary64`
8×	`pow-pow_binary64_832` `cbrt-div_binary64_792` `sqrt-unprod_binary64` `frac-times_binary64_88` `rem-sqrt-square_binary64` `cube-div_binary64_107` `associate-+r+_binary64`
7×	`flip-+_binary64` `flip3-+_binary64` `unpow-prod-down_binary64_498` `sub-neg_binary64`
6×	`log-prod_binary64_846` `pow-unpow_binary64_155` `sqrt-unprod_binary64_98` `times-frac_binary64`
5×	`associate-/r_binary64_22` `div-inv_binary64_757` `associate-/l_binary64_23` `associate-/l*_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `exp-neg_binary64_807` `sum-log_binary64` `exp-diff_binary64_808` `frac-add_binary64` `neg-sub0_binary64_755`
4×	`diff-log_binary64_511` `1-exp_binary64_463` `unpow3_binary64_144` `clear-num_binary64_759` `cube-mult_binary64_108` `pow-to-exp_binary64_147` `associate-r/_binary64_361` `frac-2neg_binary64_771` `sin-mult_binary64` `div-exp_binary64_811` `rec-exp_binary64_469` `sqrt-pow1_binary64_778` `cancel-sign-sub-inv_binary64_385` `associate--r+_binary64` `pow1/2_binary64_840` `pow-exp_binary64_146` `associate-l/_binary64_21` `cbrt-undiv_binary64_794` `associate-/r/_binary64` `distribute-lft-out--_binary64` `sub-neg_binary64_412`
3×	`swap-sqr_binary64_386` `distribute-rgt-in_binary64` `-commutative_binary64_691` `unpow2_binary64_484` `sqr-pow_binary64_391` `sqr-abs_binary64_93` `pow-prod-up_binary64_830` `frac-times_binary64` `div-inv_binary64` `associate-l/_binary64` `associate-/r*_binary64` `clear-num_binary64` `pow2_binary64_159` `difference-of-squares_binary64` `pow-prod-down_binary64_831` `rem-square-sqrt_binary64_90` `frac-2neg_binary64` `cbrt-unprod_binary64_793` `log-pow_binary64_508` `pow-plus_binary64_141` `+-commutative_binary64` `pow-sqr_binary64_733` `distribute-lft-in_binary64` `log-prod_binary64_505`
2×	`associate-*l/_binary64_703` `pow-plus_binary64` `sqr-abs_binary64` `associate--l+_binary64` `pow-flip_binary64_493` `tan-sum_binary64` `associate-+r-_binary64` `rem-square-sqrt_binary64` `rem-cube-cbrt_binary64_101` `cos-mult_binary64` `sqrt-pow2_binary64_779` `pow2_binary64_841` `flip3--_binary64_82` `flip--_binary64_53` `div-sub_binary64_424` `sqrt-pow2_binary64_97` `pow2_binary64` `associate-/l/_binary64_25` `associate-/r/_binary64_24` `inv-pow_binary64_504` `rem-log-exp_binary64_801` `cos-2_binary64_561` `rem-sqrt-square_binary64_773` `cos-sum_binary64_553`
1×	`div-inv_binary64_75` `clear-num_binary64_77` `pow2_binary64_500` `pow-plus_binary64_482` `exp-to-pow_binary64_481` `pow-sqr_binary64_392` `pow-plus_binary64_823` `rem-exp-log_binary64_800` `div-sub_binary64_83` `cbrt-undiv_binary64_112` `frac-2neg_binary64_89` `div-exp_binary64_129` `un-div-inv_binary64_417` `div-sub_binary64` `associate-/l/_binary64_366` `exp-prod_binary64_471` `pow-prod-up_binary64_489` `sqr-abs_binary64_434` `rem-log-exp_binary64_460`

Counts

144 → 3477

Calls

80 calls:

59.0ms	(.f64 (sqrt.f64 (sqrt.f64 (.f64 2 (.f64 x x)))) (sqrt.f64 (sqrt.f64 (.f64 2 (*.f64 x x)))))
54.0ms	(sqrt.f64 (.f64 2 (.f64 x x)))
44.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 (.f64 2 (.f64 x x)))) (sqrt.f64 (fabs.f64 x))))
38.0ms	(.f64 (sqrt.f64 (sqrt.f64 (.f64 2 (*.f64 x x)))) (sqrt.f64 (fabs.f64 x)))
31.0ms	(sqrt.f64 (sqrt.f64 (.f64 2 (.f64 x x))))

Compiler

Compiled 89612 to 33800 computations (62.3% saved)

prune5.6s (1.7%)

Counts: 4844 → 394
Compiler: Compiled 102401 to 37819 computations (63.1% saved)

simplify4.5s (1.3%)

Algorithm

74×	egg-herbie

Counts

4540 → 4540

Compiler

Compiled 96 to 66 computations (31.3% saved)

localize479.0ms (0.1%)

bsearch121.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

Details

sample4.1min (72.7%)

series38.8s (11.6%)

analyze27.2s (8.1%)

regimes8.8s (2.6%)

rewrite6.1s (1.8%)

prune5.6s (1.7%)

simplify4.5s (1.3%)

localize479.0ms (0.1%)

bsearch121.0ms (0%)

end0.0ms (0%)

Profiling