Date:Tuesday, August 11th, 2020
Commit:bcfc386d on master
Hostname:warfa with Racket 7.5
Seed:2020224
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.4min (23.1%)

Algorithm
537×intervals
Results
1.2min2080476×body80valid
20.9s256434×body80invalid
18.3s40392×body1280valid
12.2s41606×body640valid
5.2s75373×body80nan
4.3s5590×body2560valid
4.3s22510×body320valid
2.0s6551×body1280invalid
1.5s11915×body160valid
1.3s6562×body640invalid
543.0ms3813×body320invalid
211.0ms2240×body160invalid
170.0ms830×body1280nan
169.0ms1007×body640nan
110.0ms40×body5120valid
81.0ms645×body320nan
48.0ms877×body80overflowed
31.0ms353×body160nan

series3.3min (22.0%)

Calls

2459 calls:

853.0ms
(*.f64 (cbrt.f64 (+.f64 y (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))))) (cbrt.f64 (+.f64 y (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))))))
446.0ms
(pow.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 x y))) 6)
380.0ms
(-.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (+.f64 a (*.f64 b c)) (*.f64 c i)))
364.0ms
(-.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (*.f64 (+.f64 a (*.f64 b c)) c) i))
336.0ms
(/.f64 (+.f64 2 (*.f64 (*.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)))) (*.f64 3 (+.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 (sqrt.f64 5) 1) 2) (cos.f64 x))) (*.f64 (/.f64 (/.f64 4 (+.f64 3 (sqrt.f64 5))) 2) (cos.f64 y)))))

prune2.3min (15.4%)

Filtered
97047 candidates to 63820 candidates (34.2%)

analyze1.8min (12.3%)

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

rewrite1.4min (9.7%)

Algorithm
874×rewrite-expression-head
Calls

2462 calls:

57.8s
(*.f64 (/.f64 1 (/.f64 1 (/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 1 (pow.f64 a (/.f64 (-.f64 t 1) 2)))))) (/.f64 x (/.f64 y (/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2)))))))
208.0ms
(*.f64 y (-.f64 (*.f64 x x) 1))
169.0ms
(/.f64 x (/.f64 y (/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2))))))
133.0ms
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (*.f64 z z)))) (/.f64 (/.f64 (/.f64 1 x) y) (sqrt.f64 (+.f64 1 (*.f64 z z)))))
128.0ms
(/.f64 x (/.f64 y (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))))
Rules
83665×times-frac_binary64
59815×add-sqr-sqrt_binary64
49181×*-un-lft-identity_binary64
35358×add-exp-log_binary64
34496×add-cube-cbrt_binary64
28317×div-exp_binary64
13533×unpow-prod-down_binary64
9369×associate-*r*_binary64
8821×add-cbrt-cube_binary64
8594×prod-exp_binary64
7942×sqrt-prod_binary64
6599×pow1_binary64
6492×cbrt-prod_binary64
6366×associate-*l*_binary64
4661×pow-exp_binary64
4641×pow-to-exp_binary64
4633×sqr-pow_binary64
4448×1-exp_binary64
4346×rec-exp_binary64
4259×associate-/r*_binary64
3822×add-log-exp_binary64
3728×unswap-sqr_binary64
3339×difference-of-squares_binary64
3189×cbrt-div_binary64
3161×distribute-lft-out--_binary64
2996×cbrt-unprod_binary64
2628×distribute-lft-out_binary64
2407×associate-*r/_binary64
2383×frac-times_binary64
2373×flip3--_binary64 flip--_binary64
2090×associate-/r/_binary64
2032×div-inv_binary64
1980×associate-/l*_binary64
1927×pow-prod-down_binary64
1820×cbrt-undiv_binary64
1737×associate-*l/_binary64
1414×flip3-+_binary64 flip-+_binary64
1264×log-prod_binary64
902×pow1/3_binary64
897×sub-neg_binary64
870×swap-sqr_binary64
864×distribute-rgt-in_binary64 distribute-lft-in_binary64
806×*-commutative_binary64
562×sqrt-div_binary64
508×frac-sub_binary64
493×sum-log_binary64
489×clear-num_binary64 frac-2neg_binary64
481×associate-/l/_binary64
446×sqrt-pow1_binary64
407×div-sub_binary64 pow-sub_binary64
371×associate-+r+_binary64
340×cube-prod_binary64
292×pow1/2_binary64
291×+-commutative_binary64
282×unpow-prod-up_binary64
281×pow-prod-up_binary64
272×diff-log_binary64
258×associate--l+_binary64
252×associate-+l+_binary64
232×pow-sqr_binary64
220×frac-add_binary64
195×tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64
182×log-pow_binary64
124×pow-unpow_binary64
104×pow-flip_binary64
103×pow-plus_binary64
102×rem-sqrt-square_binary64
97×pow2_binary64
85×inv-pow_binary64
78×cube-div_binary64
71×pow-pow_binary64
63×exp-prod_binary64
60×associate--r+_binary64
56×log-div_binary64
53×distribute-rgt-out--_binary64
52×exp-sum_binary64
50×un-div-inv_binary64
47×unpow3_binary64
46×cube-mult_binary64
43×difference-of-sqr-1_binary64
42×distribute-rgt-out_binary64
34×associate-+l-_binary64
32×sinh-def_binary64
31×rem-cube-cbrt_binary64
30×rem-log-exp_binary64
24×sqrt-unprod_binary64 associate-+r-_binary64
21×rem-cbrt-cube_binary64
19×cosh-def_binary64
18×rem-square-sqrt_binary64
17×distribute-lft-neg-in_binary64
16×rem-exp-log_binary64 distribute-rgt-neg-in_binary64
15×associate--l-_binary64 distribute-rgt-neg-out_binary64
13×sub-div_binary64
11×exp-to-pow_binary64 distribute-lft1-in_binary64 unsub-neg_binary64
10×distribute-rgt1-in_binary64 difference-of-sqr--1_binary64
9×neg-mul-1_binary64
8×sqrt-pow2_binary64 exp-diff_binary64
7×count-2_binary64 cos-sum_binary64
6×sqrt-undiv_binary64
5×neg-sub0_binary64 associate--r-_binary64
4×unpow2_binary64 unpow1/3_binary64 distribute-neg-frac_binary64 diff-cos_binary64
3×difference-cubes_binary64 cos-diff_binary64 neg-log_binary64
2×distribute-neg-in_binary64 sin-mult_binary64 exp-neg_binary64 exp-lft-cube_binary64 tan-quot_binary64 distribute-lft-neg-out_binary64
1×cos-mult_binary64 sin-cos-mult_binary64

simplify1.2min (8.2%)

Algorithm
1410×egg-herbie

regimes1.2min (7.9%)

Accuracy

Total 187.1b remaining (36%)

Threshold costs 26.4b (5.1%)

17.9b17.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
11.5b63.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b59.3%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.7b55.8%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.9b60.7%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

localize8.9s (1.0%)

bsearch3.3s (0.4%)

end5.0ms (0.0%)

Profiling

Loading profile data...