Date:Thursday, July 23rd, 2020
Commit:1645e98a on reprify
Hostname:warfa with Racket 7.5
Seed:2020205
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

sample3.2min (28.9%)

Algorithm
538×intervals
Results
1.2min2085641×body80valid
17.7s39671×body1280valid
13.0s232705×body80invalid
11.7s41178×body640valid
6.1s88788×body80nan
4.2s5597×body2560valid
4.1s22101×body320valid
1.9s6554×body1280invalid
1.4s11868×body160valid
1.3s6498×body640invalid
491.0ms3528×body320invalid
199.0ms2194×body160invalid
184.0ms852×body1280nan
176.0ms1054×body640nan
138.0ms51×body5120valid
79.0ms642×body320nan
45.0ms849×body80overflowed
26.0ms327×body160nan

analyze1.9min (16.9%)

Algorithm
270×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
2.2%97.6%0.1%1
4.3%95.4%0.3%2
10.5%88.3%1.3%3
15.4%81.8%2.8%4
23.4%72.8%3.7%5
29.2%65.4%5.4%6
36.4%56.3%7.3%7
40.6%51%8.4%8
45.6%44.6%9.8%9
49.5%39.2%11.4%10
52.9%34.9%12.2%11
55.6%31.3%13%12
58.6%27.3%14.1%13
60.5%25.1%14.4%14

regimes1.6min (14.4%)

Accuracy

Total 184.3b remaining (35%)

Threshold costs 24.0b (4.6%)

18.5b9%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.5b53.9%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.7b54.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.3b57.2%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2
7.3b62.6%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

prune1.6min (14.3%)

Filtered
86409 candidates to 58444 candidates (32.4%)

simplify1.1min (10.2%)

Algorithm
1433×egg-herbie

series1.0min (9.4%)

Calls

2608 calls:

1.3s
(/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (+.f64 1.0 (sqrt.f64 (+.f64 x 1.0)))) (cbrt.f64 (+.f64 1.0 (sqrt.f64 (+.f64 x 1.0))))))
602.0ms
(sqrt.f64 (+.f64 (-.f64 (+.f64 (/.f64 (*.f64 z t) 16.0) (*.f64 x y)) (/.f64 (*.f64 a b) 4.0)) c))
401.0ms
(-.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (*.f64 (+.f64 a (*.f64 b c)) c) i))
389.0ms
(-.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (+.f64 a (*.f64 b c)) (*.f64 c i)))
354.0ms
(*.f64 (cbrt.f64 (+.f64 x (*.f64 (*.f64 (-.f64 y x) 6.0) (-.f64 (/.f64 2.0 3.0) z)))) (cbrt.f64 (+.f64 x (*.f64 (*.f64 (-.f64 y x) 6.0) (-.f64 (/.f64 2.0 3.0) z)))))

rewrite25.9s (3.9%)

Algorithm
895×rewrite-expression-head
Calls

2608 calls:

487.0ms
(*.f64 (/.f64 (pow.f64 a (neg.f64 1.0)) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))) (/.f64 (pow.f64 z y) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))))
212.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
192.0ms
(/.f64 (sin.f64 y) y)
137.0ms
(+.f64 x (/.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (/.f64 1 (-.f64 t x))))
96.0ms
(-.f64 x (/.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1.0)) (/.f64 1 a)))
Rules
36130×times-frac_binary64
34608×*-un-lft-identity_binary64
34572×add-sqr-sqrt_binary64
22543×add-cube-cbrt_binary64
10622×add-exp-log_binary64
8723×add-cbrt-cube_binary64
7327×pow1_binary64
6591×associate-*r*_binary64
6584×cbrt-prod_binary64
5020×sqrt-prod_binary64
4166×associate-*l*_binary64
3870×difference-of-squares_binary64
3823×add-log-exp_binary64
3760×distribute-lft-out--_binary64
3656×associate-/r*_binary64
2996×prod-exp_binary64
2523×distribute-lft-out_binary64
2515×cbrt-unprod_binary64
2214×div-exp_binary64
2167×associate-/l*_binary64
2130×pow-prod-down_binary64
2035×flip3--_binary64 flip--_binary64
2019×associate-/r/_binary64
1978×unpow-prod-down_binary64
1829×associate-*r/_binary64
1825×div-inv_binary64
1749×cbrt-div_binary64
1681×flip3-+_binary64 flip-+_binary64
1630×cbrt-undiv_binary64
1629×unswap-sqr_binary64
1468×associate-*l/_binary64
1438×log-prod_binary64
1347×frac-times_binary64
1078×sqrt-div_binary64
1042×distribute-rgt-in_binary64 distribute-lft-in_binary64
975×pow1/3_binary64
943×swap-sqr_binary64
811×*-commutative_binary64
684×sqr-pow_binary64
668×sqrt-pow1_binary64
644×sub-neg_binary64
637×associate-/l/_binary64
558×cube-prod_binary64
543×clear-num_binary64 frac-2neg_binary64
436×sum-log_binary64
415×associate-+r+_binary64
412×pow-prod-up_binary64
411×pow1/2_binary64
351×associate-+l+_binary64
323×pow-sqr_binary64
313×associate--l+_binary64
305×log-pow_binary64
300×+-commutative_binary64
287×exp-prod_binary64
269×frac-sub_binary64
233×1-exp_binary64
227×diff-log_binary64
218×rec-exp_binary64 pow-exp_binary64
214×frac-add_binary64
203×pow-unpow_binary64
149×pow-to-exp_binary64
148×div-sub_binary64
142×distribute-rgt-out_binary64
138×pow-plus_binary64
128×rem-sqrt-square_binary64
122×pow2_binary64
91×pow-pow_binary64
82×unpow2_binary64
78×exp-sum_binary64
67×tanh-def-a_binary64 pow-flip_binary64 log-div_binary64 tanh-def-b_binary64 tanh-def-c_binary64
63×cube-div_binary64 inv-pow_binary64
60×distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64
53×unpow3_binary64 cube-mult_binary64
52×distribute-rgt1-in_binary64 distribute-lft1-in_binary64
49×rem-log-exp_binary64
46×un-div-inv_binary64
39×sqrt-unprod_binary64 count-2_binary64
35×rem-cube-cbrt_binary64
32×associate--r+_binary64
30×distribute-rgt-neg-out_binary64
29×associate-+r-_binary64
28×sinh-def_binary64
27×associate-+l-_binary64 rem-square-sqrt_binary64
25×rem-exp-log_binary64
20×unsub-neg_binary64
19×rem-cbrt-cube_binary64
17×exp-diff_binary64
16×distribute-rgt-out--_binary64
13×associate--r-_binary64
11×cosh-def_binary64 unpow1/3_binary64
10×neg-mul-1_binary64
9×associate--l-_binary64 sub-div_binary64
8×exp-to-pow_binary64 tan-quot_binary64
6×difference-cubes_binary64
5×sqrt-pow2_binary64 cosh-undef_binary64 diff-cos_binary64
4×sqrt-undiv_binary64 sum-cubes_binary64 cos-diff_binary64
3×neg-sub0_binary64 distribute-neg-frac_binary64 cube-neg_binary64
2×e-exp-1_binary64 unpow-prod-up_binary64 exp-neg_binary64 cos-sum_binary64 distribute-lft-neg-out_binary64
1×cos-mult_binary64 pow-neg_binary64 sin-mult_binary64 pow-sub_binary64

localize9.4s (1.4%)

bsearch2.8s (0.4%)

end5.0ms (0.0%)

Profiling

Loading profile data...