Date:Friday, March 6th, 2020
Commit:4fbe8b6b on better-rr
Hostname:warfa with Racket 7.5
Seed:2020066
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

series1.7m (45.6%)

Calls

94 calls:

32.3s
(sqrt (* (cbrt (* (cbrt (* 2.0 n)) U)) (- (- t (* 2.0 (/ (* (* (cbrt l) (cbrt l)) (* (cbrt l) (cbrt l))) (/ Om (* (cbrt l) (cbrt l)))))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
30.7s
(sqrt (* (cbrt (* (cbrt (* 2.0 n)) U)) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
29.6s
(sqrt (* (* (cbrt (* 2.0 n)) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
4.6s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
2.0s
(* (* (cbrt (* 2.0 n)) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

sample1.1m (28.0%)

Algorithm
21×intervals
Results
36.1s37791×body10240exit
7.0s7380×body1280valid
5.5s3482×body2560valid
3.1s56462×body80valid
2.3s50212×body80nan
2.1s4620×body640valid
1.6s3047×body1280nan
720.0ms2609×body640nan
595.0ms2340×body320valid
224.0ms1293×body160valid
222.0ms1316×body320nan
114.0ms8356×pre80true
72.0ms634×body160nan
29.0ms24×body5120valid
13.0ms6×body5120nan
12.0ms19×body2560nan

rewrite33.1s (14.4%)

Algorithm
31×rewrite-expression-head
Calls

94 calls:

31.1s
(sqrt (* (cbrt (* (cbrt (* 2.0 n)) U)) (- (- t (* 2.0 (/ (* (* (cbrt l) (cbrt l)) (* (cbrt l) (cbrt l))) (/ Om (* (cbrt l) (cbrt l)))))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
289.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
281.0ms
(sqrt (* (* (cbrt (* 2.0 n)) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
265.0ms
(sqrt (* (cbrt (* (cbrt (* 2.0 n)) U)) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
151.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
Rules
8256×add-sqr-sqrt
2985×prod-diff
2886×*-un-lft-identity
2338×associate-*l*
2236×times-frac
2217×unswap-sqr
2074×associate-*r*
1909×add-cube-cbrt
1464×distribute-rgt-in distribute-lft-in
1332×difference-of-squares
1082×unpow-prod-down
764×associate--l+
506×distribute-lft-out--
401×sqrt-prod
375×*-commutative
368×swap-sqr
274×exp-prod
234×cbrt-prod
200×add-exp-log
185×pow1
179×sqr-pow
156×log-pow
145×add-cbrt-cube
102×unpow-prod-up add-log-exp
96×log1p-expm1-u
94×expm1-log1p-u
70×div-inv
64×associate-*r/
50×associate-/l*
46×prod-exp
45×log-prod
38×pow-unpow
34×flip-- flip3--
32×rem-sqrt-square
30×pow-prod-down
24×sqrt-div frac-sub cbrt-unprod sqrt-pow1
21×sub-neg
20×pow-exp
17×pow1/2
14×rem-log-exp associate-/r*
13×div-exp
12×pow-to-exp
10×pow-pow rem-exp-log
9×exp-sum
8×cube-prod
7×cbrt-undiv
6×sinh-def pow1/3 sin-sum
4×clear-num frac-2neg
3×expm1-log1p expm1-udef cosh-def
2×associate-/l/ exp-diff cube-mult sqrt-pow2 unpow3 pow-sub acos-asin associate-/r/ rem-cbrt-cube e-exp-1 log-div
1×div-sub exp-to-pow sin-diff

prune20.5s (8.9%)

Filtered
5556 candidates to 3265 candidates (58.8%)

simplify4.4s (1.9%)

Algorithm
49×egg-herbie

regimes2.2s (1.0%)

Accuracy

Total 8.2b remaining (3.9%)

Threshold costs 0.9b (0.4%)

6.1b4.5%Toniolo and Linder, Equation (13)
1.2b0%Random Jason Timeout Test 006
0.3b0%Random Jason Timeout Test 012
0.2b0%Random Jason Timeout Test 002
0.2b0%Random Jason Timeout Test 014

localize442.0ms (0.2%)

bsearch5.0ms (0.0%)

end0.0ms (0.0%)