Date:Thursday, August 6th, 2020
Commit:83ea4c9e on refactor-reprify
Hostname:warfa with Racket 7.5
Seed:2020219
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

prune4.0min (28.5%)

Filtered
90633 candidates to 61282 candidates (32.4%)

sample3.6min (25.8%)

Algorithm
539×intervals
Results
1.2min2099459×body80valid
26.5s289398×body80invalid
18.4s40249×body1280valid
12.2s41629×body640valid
6.3s90647×body80nan
4.3s5690×body2560valid
4.3s22463×body320valid
1.9s6456×body1280invalid
1.4s11590×body160valid
1.3s6464×body640invalid
534.0ms3651×body320invalid
220.0ms2201×body160invalid
177.0ms1016×body640nan
171.0ms801×body1280nan
104.0ms40×body5120valid
92.0ms689×body320nan
49.0ms868×body80overflowed
27.0ms323×body160nan

analyze1.9min (13.5%)

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.7min (11.9%)

Accuracy

Total 206.8b remaining (37%)

Threshold costs 27.1b (4.8%)

19.7b16%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.3b56.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.0b-21.7%Linear.Matrix:det44 from linear-1.19.1.3
10.7b54.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.2b9.5%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

simplify1.2min (8.4%)

Algorithm
1421×egg-herbie

series1.0min (7.2%)

Calls

2508 calls:

4.9s
(*.f64 (cbrt.f64 (+.f64 (*.f64 (-.f64 (+.f64 y t) 2) b) (-.f64 (-.f64 x (*.f64 (-.f64 y 1) z)) (*.f64 (-.f64 t 1) a)))) (cbrt.f64 (+.f64 (*.f64 (-.f64 (+.f64 y t) 2) b) (-.f64 (-.f64 x (*.f64 (-.f64 y 1) z)) (*.f64 (-.f64 t 1) a)))))
2.6s
(/.f64 (*.f64 y (*.f64 z (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3)))) (+.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (+.f64 (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y))) (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
1.8s
(pow.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) 3)
674.0ms
(cbrt.f64 (+.f64 (*.f64 (-.f64 (+.f64 y t) 2) b) (-.f64 (-.f64 x (*.f64 (-.f64 y 1) z)) (*.f64 (-.f64 t 1) a))))
490.0ms
(*.f64 z (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3)))

rewrite27.2s (3.2%)

Algorithm
882×rewrite-expression-head
Calls

2508 calls:

310.0ms
(/.f64 (*.f64 y (*.f64 z (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3)))) (+.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (+.f64 (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y))) (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
180.0ms
(*.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) x)) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 z) (/.f64 (sin.f64 y) y))))
164.0ms
(*.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x))) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 (cbrt.f64 (-.f64 y x)) (/.f64 (cbrt.f64 (-.f64 a t)) (-.f64 z t))))
97.0ms
(*.f64 (/.f64 (/.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (-.f64 t x) (cbrt.f64 (cbrt.f64 (-.f64 a z)))))
85.0ms
(*.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t))) (cbrt.f64 (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (cbrt.f64 (-.f64 a t)))))) (/.f64 y (cbrt.f64 (-.f64 a t))))
Rules
45146×times-frac_binary64
39328×*-un-lft-identity_binary64
37747×add-sqr-sqrt_binary64
25723×add-cube-cbrt_binary64
10640×add-exp-log_binary64
8577×frac-times_binary64
8499×add-cbrt-cube_binary64
7408×frac-add_binary64
7318×associate-*r*_binary64
6499×pow1_binary64
6148×cbrt-prod_binary64
5733×associate-*r/_binary64
5618×tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64
5516×associate-/r/_binary64
4798×sqrt-prod_binary64
4402×difference-of-squares_binary64
4304×associate-*l*_binary64
4266×associate-*l/_binary64
3838×add-log-exp_binary64
3756×associate-/r*_binary64
3582×distribute-lft-out--_binary64
3413×flip3--_binary64 flip--_binary64
3250×distribute-lft-out_binary64
3173×cbrt-div_binary64
2914×prod-exp_binary64
2481×cbrt-unprod_binary64
2375×div-exp_binary64
2208×div-inv_binary64
2127×associate-/l*_binary64
1873×flip3-+_binary64 flip-+_binary64
1814×pow-prod-down_binary64
1703×cbrt-undiv_binary64
1533×frac-sub_binary64
1500×unpow-prod-down_binary64
1417×unswap-sqr_binary64
1360×log-prod_binary64
1188×sqrt-div_binary64
1008×cube-prod_binary64
877×distribute-rgt-in_binary64 distribute-lft-in_binary64
839×pow1/3_binary64
826×swap-sqr_binary64
809×*-commutative_binary64
648×sub-neg_binary64
638×associate-/l/_binary64
572×sqrt-pow1_binary64
504×clear-num_binary64 frac-2neg_binary64
496×sum-log_binary64
322×pow1/2_binary64
316×+-commutative_binary64
298×rec-exp_binary64
297×1-exp_binary64
291×pow-prod-up_binary64
282×associate-+r+_binary64
274×sqr-pow_binary64
243×associate--l+_binary64
242×diff-log_binary64
217×log-pow_binary64
210×pow-sqr_binary64
204×associate-+l+_binary64
168×pow-unpow_binary64
131×distribute-lft-neg-in_binary64
130×distribute-rgt-neg-in_binary64
129×pow-exp_binary64
116×cube-div_binary64
111×rem-sqrt-square_binary64
102×associate--r+_binary64
100×pow-flip_binary64
98×div-sub_binary64
97×pow-to-exp_binary64
93×pow-pow_binary64
91×pow-plus_binary64
88×log-div_binary64
85×pow2_binary64
81×inv-pow_binary64
74×neg-mul-1_binary64
70×exp-prod_binary64
69×difference-of-sqr-1_binary64
55×exp-sum_binary64
54×sum-cubes_binary64
46×rem-log-exp_binary64
44×unpow3_binary64 cube-mult_binary64
38×un-div-inv_binary64
35×associate-+l-_binary64
32×distribute-rgt-out_binary64
28×rem-cube-cbrt_binary64
27×sqrt-unprod_binary64
25×sinh-def_binary64
23×cosh-def_binary64
22×distribute-rgt-out--_binary64
19×distribute-rgt-neg-out_binary64 unpow2_binary64
18×rem-square-sqrt_binary64
16×rem-cbrt-cube_binary64
15×difference-cubes_binary64 rem-exp-log_binary64
14×associate-+r-_binary64
12×associate--r-_binary64 unsub-neg_binary64
11×associate--l-_binary64
9×sub-div_binary64
8×unpow1/3_binary64 cos-sum_binary64
7×sqrt-undiv_binary64 distribute-rgt1-in_binary64 distribute-lft1-in_binary64 sinh-undef_binary64
6×count-2_binary64 distribute-neg-in_binary64 sqrt-pow2_binary64 unpow-prod-up_binary64 exp-to-pow_binary64 exp-diff_binary64
5×neg-sub0_binary64
4×cos-diff_binary64 pow-sub_binary64 diff-cos_binary64
2×difference-of-sqr--1_binary64 e-exp-1_binary64 exp-neg_binary64 distribute-frac-neg_binary64 tan-quot_binary64
1×pow3_binary64 cos-mult_binary64 neg-log_binary64 sin-cos-mult_binary64 sin-mult_binary64 distribute-lft-neg-out_binary64

localize9.3s (1.1%)

bsearch3.7s (0.4%)

end5.0ms (0.0%)

Profiling

Loading profile data...