Date:Wednesday, April 22nd, 2020
Commit:1c116713 on better-rr
Hostname:warfa with Racket 7.5
Seed:2020113
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

series8.1m (64.1%)

Calls

95 calls:

7.0m
(sin (pow (* (pow (sqrt 1) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (* 2 (- b a)))) 1))
21.2s
(sqrt (* (* (cbrt n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
18.4s
(sqrt (* (cbrt (* (cbrt (cbrt n)) U)) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
17.7s
(sqrt (* (cbrt (* (cbrt n) U)) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
4.8s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

end3.0m (23.5%)

sample1.1m (8.6%)

Algorithm
21×intervals
Results
37.1s38371×body10240exit
6.9s7294×body1280valid
5.4s3359×body2560valid
3.1s56557×body80valid
2.4s50053×body80nan
2.1s4699×body640valid
1.6s2997×body1280nan
737.0ms2573×body640nan
600.0ms2389×body320valid
227.0ms1292×body320nan
223.0ms1267×body160valid
116.0ms8356×pre80true
76.0ms641×body160nan
35.0ms16×body5120nan
35.0ms21×body5120valid
20.0ms27×body2560nan

prune19.1s (2.5%)

Filtered
5774 candidates to 3356 candidates (58.1%)

simplify4.4s (0.6%)

Algorithm
49×egg-herbie

rewrite2.6s (0.3%)

Algorithm
31×rewrite-expression-head
Calls

95 calls:

315.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
300.0ms
(sqrt (* (cbrt (* (cbrt n) U)) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
297.0ms
(sqrt (* (cbrt (* (cbrt (cbrt n)) U)) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
297.0ms
(sqrt (* (* (cbrt n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
164.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
Rules
8381×add-sqr-sqrt
3048×prod-diff
3030×*-un-lft-identity
2339×associate-*l*
2283×times-frac
2238×unswap-sqr
2108×associate-*r*
1972×add-cube-cbrt
1486×distribute-rgt-in distribute-lft-in
1348×difference-of-squares
1128×unpow-prod-down
764×associate--l+
538×distribute-lft-out--
414×swap-sqr
385×sqrt-prod
375×*-commutative
250×pow1
240×add-exp-log
204×sqr-pow
163×add-cbrt-cube
140×unpow-prod-up
126×pow-unpow
120×cbrt-prod
104×pow-pow
99×add-log-exp
97×log1p-expm1-u
95×expm1-log1p-u
93×sqrt-pow1
75×prod-exp
72×pow-prod-down
71×div-inv
70×associate-*r/
65×associate-/l*
54×pow1/2
50×pow-prod-up
46×exp-prod
44×log-pow
36×flip-- flip3--
32×sub-neg pow-exp
31×cbrt-unprod
30×pow-sqr
29×rem-sqrt-square
26×pow-to-exp
24×sqrt-pow2 sqrt-div frac-sub
18×log-prod
17×associate-/r*
15×div-exp
12×pow-sub
9×cbrt-undiv
8×rem-log-exp
5×clear-num frac-2neg
4×sinh-def rem-exp-log unpow3 fma-udef rem-cbrt-cube
3×pow1/3 exp-sum
2×expm1-log1p associate-/l/ rem-cube-cbrt expm1-udef associate-*l/ pow-plus acos-asin associate-/r/ frac-times pow2
1×div-sub exp-to-pow

regimes2.1s (0.3%)

Accuracy

Total 8.6b remaining (4.1%)

Threshold costs 0.4b (0.2%)

6.4b29.3%Toniolo and Linder, Equation (13)
1.8b0%Random Jason Timeout Test 006
0.3b0%Random Jason Timeout Test 012
0.0b0%Random Jason Timeout Test 004
0.0b0%Random Jason Timeout Test 002

localize489.0ms (0.1%)

bsearch301.0ms (0.0%)