Date:Thursday, July 23rd, 2020
Commit:c653a889 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 (29.2%)

Algorithm
538×intervals
Results
1.2min2085641×body80valid
18.0s39671×body1280valid
13.6s232705×body80invalid
11.9s41178×body640valid
6.2s88788×body80nan
4.3s5597×body2560valid
4.2s22101×body320valid
1.9s6554×body1280invalid
1.5s11868×body160valid
1.3s6498×body640invalid
497.0ms3528×body320invalid
205.0ms2194×body160invalid
182.0ms1054×body640nan
177.0ms852×body1280nan
138.0ms51×body5120valid
82.0ms642×body320nan
47.0ms849×body80overflowed
26.0ms327×body160nan

analyze1.8min (16.4%)

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.7%)

Accuracy

Total 184.6b remaining (35%)

Threshold costs 24.0b (4.5%)

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.5%)

Filtered
86514 candidates to 58495 candidates (32.4%)

simplify1.1min (10.0%)

Algorithm
1433×egg-herbie

series1.0min (9.4%)

Calls

2608 calls:

1.4s
(/.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))))))
625.0ms
(sqrt.f64 (+.f64 (-.f64 (+.f64 (/.f64 (*.f64 z t) 16.0) (*.f64 x y)) (/.f64 (*.f64 a b) 4.0)) c))
382.0ms
(-.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (+.f64 a (*.f64 b c)) (*.f64 c i)))
360.0ms
(-.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (*.f64 (+.f64 a (*.f64 b c)) c) i))
338.0ms
(*.f64 (/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (*.f64 (/.f64 1 (fabs.f64 (cbrt.f64 (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))) (/.f64 (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 (*.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))))

rewrite25.6s (3.9%)

Algorithm
895×rewrite-expression-head
Calls

2608 calls:

429.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)))))
195.0ms
(sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
127.0ms
(+.f64 x (/.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (/.f64 1 (-.f64 t x))))
94.0ms
(-.f64 x (/.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1.0)) (/.f64 1 a)))
85.0ms
(-.f64 (-.f64 1.0 (/.f64 0.1111111111111111 x)) (/.f64 1 (/.f64 3.0 (/.f64 y (sqrt.f64 x)))))
Rules
36166×times-frac_binary64
34639×*-un-lft-identity_binary64
34608×add-sqr-sqrt_binary64
22561×add-cube-cbrt_binary64
10653×add-exp-log_binary64
8740×add-cbrt-cube_binary64
7338×pow1_binary64
6601×associate-*r*_binary64
6569×cbrt-prod_binary64
5020×sqrt-prod_binary64
4188×associate-*l*_binary64
3876×difference-of-squares_binary64
3823×add-log-exp_binary64
3766×distribute-lft-out--_binary64
3661×associate-/r*_binary64
3011×prod-exp_binary64
2524×cbrt-unprod_binary64
2523×distribute-lft-out_binary64
2220×div-exp_binary64
2170×associate-/l*_binary64
2136×pow-prod-down_binary64
2059×flip3--_binary64 flip--_binary64
2023×associate-/r/_binary64
1978×unpow-prod-down_binary64
1850×associate-*r/_binary64
1827×div-inv_binary64
1767×cbrt-div_binary64
1681×flip3-+_binary64 flip-+_binary64
1633×cbrt-undiv_binary64
1632×unswap-sqr_binary64
1481×associate-*l/_binary64
1438×log-prod_binary64
1381×frac-times_binary64
1078×sqrt-div_binary64
1042×distribute-rgt-in_binary64 distribute-lft-in_binary64
972×pow1/3_binary64
943×swap-sqr_binary64
813×*-commutative_binary64
684×sqr-pow_binary64
668×sqrt-pow1_binary64
644×sub-neg_binary64
637×associate-/l/_binary64
558×cube-prod_binary64
544×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
236×1-exp_binary64
227×diff-log_binary64
221×rec-exp_binary64
218×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
68×pow-flip_binary64
67×tanh-def-a_binary64 log-div_binary64 tanh-def-b_binary64 tanh-def-c_binary64
64×inv-pow_binary64
63×cube-div_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
50×un-div-inv_binary64
49×rem-log-exp_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.7s (1.5%)

bsearch2.7s (0.4%)

end5.0ms (0.0%)

Profiling

Loading profile data...