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

sample10.8min (39.1%)

Algorithm
956×intervals
Results
2.3min3257164×body80valid
2.2min240059×body1280valid
1.3min17756×body5120exit
54.0s171231×body640valid
33.8s41814×body2560valid
19.5s100073×body320valid
19.2s300955×body80invalid
12.7s93603×body160valid
11.9s159080×body80nan
9.9s22394×body1280invalid
8.1s376390×pre80true
6.1s12946×body1280nan
5.7s19431×body640invalid
3.5s10385×body640nan
3.5s1445×body2560invalid
3.5s1911×body1280overflowed
3.5s756×body5120invalid
3.1s18178×body80overflowed
2.7s4101×body5120valid
2.1s10185×body320invalid
1.7s1573×body640overflowed
1.3s5367×body320nan
733.0ms5415×body160invalid
628.0ms3155×body2560nan
486.0ms756×body320overflowed
286.0ms2099×body160nan
156.0ms408×body160overflowed
121.0ms184×body2560overflowed
6.0ms230×pre80false
6.0ms3×body5120nan

prune4.4min (15.8%)

Filtered
168448 candidates to 108424 candidates (35.6%)

analyze4.0min (14.6%)

Algorithm
479×search
2×random
Search
TrueOtherFalseIter
0%92%8%0
3.1%88.9%8%1
6.2%85.2%8.7%2
14%75.7%10.2%3
18.9%69%12.1%4
26.1%60.9%13%5
30.6%54.8%14.6%6
36%47.6%16.4%7
39.3%43.2%17.5%8
43.3%38%18.7%9
46.2%33.8%20%10
48.9%30.4%20.7%11
51%27.5%21.5%12
53.5%24%22.5%13
54.9%22.3%22.8%14

regimes2.4min (8.7%)

Accuracy

Total 419.4b remaining (28.9%)

Threshold costs 52.2b (3.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
14.0b47.7%math.sqrt on complex, real part
12.2b25.6%Octave 3.8, jcobi/4
11.2b54.1%math.log/2 on complex, real part

series2.4min (8.6%)

Calls

4864 calls:

2.7s
(sqrt.f64 (*.f64 (*.f64 (*.f64 2.0 n) U) (-.f64 (-.f64 t (*.f64 2.0 (/.f64 l (/.f64 Om l)))) (*.f64 (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) (/.f64 2.0 2))) (pow.f64 (/.f64 l Om) (/.f64 2.0 2))) (-.f64 U U*)))))
2.7s
(sqrt.f64 (*.f64 (*.f64 (*.f64 2.0 n) U) (-.f64 (-.f64 t (*.f64 2.0 (/.f64 l (/.f64 Om l)))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2.0)) (-.f64 U U*)))))
2.7s
(sqrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 2.0 n) U) (*.f64 (cbrt.f64 (-.f64 (-.f64 t (*.f64 2.0 (/.f64 l (/.f64 Om l)))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2.0)) (-.f64 U U*)))) (cbrt.f64 (-.f64 (-.f64 t (*.f64 2.0 (/.f64 l (/.f64 Om l)))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2.0)) (-.f64 U U*)))))) (cbrt.f64 (-.f64 (-.f64 t (*.f64 2.0 (/.f64 l (/.f64 Om l)))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2.0)) (-.f64 U U*))))))
2.6s
(sqrt.f64 (*.f64 (*.f64 (*.f64 2.0 n) U) (-.f64 (-.f64 t (*.f64 2.0 (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2.0)) (-.f64 U U*)))))
1.9s
(/.f64 (-.f64 (*.f64 x x) (/.f64 (*.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) (-.f64 (*.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cos.f64 a)) (*.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (sin.f64 a)))) (*.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (cos.f64 a)))) (-.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))))

simplify2.3min (8.4%)

Algorithm
2563×egg-herbie

rewrite53.5s (3.2%)

Algorithm
1611×rewrite-expression-head
Calls

4864 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)))))
216.0ms
(cbrt.f64 (*.f64 (*.f64 0.5 (cos.f64 re)) (+.f64 (-.f64 (*.f64 -1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))) (*.f64 im -2))))
212.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
198.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3.0 a) c))) b) (*.f64 3.0 a))
192.0ms
(/.f64 (sin.f64 y) y)
Rules
79941×times-frac_binary64
69443×*-un-lft-identity_binary64
65232×add-sqr-sqrt_binary64
56229×add-exp-log_binary64
45128×add-cube-cbrt_binary64
33197×prod-exp_binary64
17892×add-cbrt-cube_binary64
13890×pow-exp_binary64
13377×pow1_binary64
12573×div-exp_binary64
11315×associate-*r*_binary64
11117×sqrt-prod_binary64
8803×cbrt-prod_binary64
7568×associate-*l*_binary64
7339×add-log-exp_binary64
7054×distribute-lft-out_binary64
6440×pow-to-exp_binary64
6378×difference-of-squares_binary64
6092×associate-/r*_binary64
5871×distribute-lft-out--_binary64
5577×cbrt-unprod_binary64
5265×associate-*r/_binary64
4586×flip--_binary64
4585×flip3--_binary64
4434×associate-/l*_binary64
4407×unpow-prod-down_binary64
4097×associate-/r/_binary64
3850×div-inv_binary64
3728×pow-prod-down_binary64
3706×frac-times_binary64
3679×flip-+_binary64
3678×flip3-+_binary64
3374×cbrt-div_binary64
3310×cbrt-undiv_binary64
3249×associate-*l/_binary64
3166×sqrt-div_binary64
2771×unswap-sqr_binary64
2741×log-prod_binary64
1519×swap-sqr_binary64
1482×sqr-pow_binary64
1478×sqrt-pow1_binary64
1458×frac-add_binary64
1419×*-commutative_binary64
1404×cube-prod_binary64
1297×pow1/3_binary64
1294×distribute-rgt-in_binary64 distribute-lft-in_binary64
1127×frac-sub_binary64
1086×sub-neg_binary64
1051×associate-/l/_binary64
1001×clear-num_binary64 frac-2neg_binary64
960×distribute-rgt-neg-in_binary64
925×distribute-lft-neg-in_binary64
897×1-exp_binary64
893×pow1/2_binary64
878×rec-exp_binary64
836×log-pow_binary64
792×sum-log_binary64
736×pow-unpow_binary64
713×neg-mul-1_binary64
656×exp-prod_binary64
636×pow-prod-up_binary64
565×diff-log_binary64
512×associate-+r+_binary64
477×pow-sqr_binary64 +-commutative_binary64
436×associate--l+_binary64
389×associate-+l+_binary64
382×rem-sqrt-square_binary64
362×exp-sum_binary64
308×div-sub_binary64
244×pow-pow_binary64
233×pow-plus_binary64
226×tan-quot_binary64
223×log-div_binary64
196×pow2_binary64
167×unpow3_binary64 cube-mult_binary64
152×distribute-rgt-out_binary64
149×rem-log-exp_binary64
135×unpow2_binary64 exp-diff_binary64
128×neg-sub0_binary64
119×cube-div_binary64
107×exp-neg_binary64
98×un-div-inv_binary64
96×associate--r+_binary64
92×pow-flip_binary64
88×distribute-rgt-out--_binary64
87×inv-pow_binary64
69×cosh-undef_binary64
68×tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64
67×sinh-def_binary64 rem-cube-cbrt_binary64
65×sqrt-unprod_binary64
53×rem-exp-log_binary64 distribute-lft1-in_binary64
52×distribute-rgt1-in_binary64
43×associate-+r-_binary64
42×associate--l-_binary64 rem-square-sqrt_binary64
41×count-2_binary64
40×associate-+l-_binary64
39×rem-cbrt-cube_binary64 sin-mult_binary64
36×distribute-frac-neg_binary64
35×pow-sub_binary64
33×distribute-rgt-neg-out_binary64
28×cos-mult_binary64
24×associate--r-_binary64
23×cos-diff_binary64
22×difference-cubes_binary64
21×unsub-neg_binary64
19×sub-div_binary64
18×cosh-def_binary64 sin-sum_binary64
17×sum-cubes_binary64 exp-to-pow_binary64 cos-sum_binary64
16×sinh-undef_binary64
15×sin-diff_binary64 pow-neg_binary64
12×acos-asin_binary64
11×unpow1/3_binary64 sin-cos-mult_binary64
9×neg-log_binary64
7×sqrt-pow2_binary64
6×sqrt-undiv_binary64 diff-cos_binary64
5×distribute-neg-frac_binary64
4×pow3_binary64 acos-neg_binary64 unpow-prod-up_binary64 tan-sum_binary64 asin-acos_binary64
3×cube-neg_binary64
2×log-rec_binary64 e-exp-1_binary64 sqr-cos-a_binary64 distribute-lft-neg-out_binary64
1×tanh-undef_binary64 diff-sin_binary64 mul0-rgt_binary64 diff-atan_binary64

localize19.1s (1.2%)

bsearch6.3s (0.4%)

end8.0ms (0.0%)

Profiling

Loading profile data...