Date:Tuesday, April 14th, 2020
Commit:681051fe on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020105
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample1.3m (61.9%)

Algorithm
21×intervals
Results
46.0s38752×body5120exit
7.4s7238×body1280valid
6.1s3416×body2560valid
3.9s56739×body80valid
3.5s50860×body80nan
2.2s4602×body640valid
2.1s3008×body1280nan
1.0s2531×body640nan
676.0ms2396×body320valid
356.0ms1382×body320nan
243.0ms1228×body160valid
151.0ms8356×pre80true
119.0ms673×body160nan
68.0ms38×body5120valid
18.0ms26×body2560nan
15.0ms6×body5120nan

series34.8s (27.4%)

Calls

102 calls:

6.4s
(sqrt (* (* 2.0 n) (+ (* U (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (/ l (/ Om l)) 2.0)))) (* U (- (fma (- (/ l (/ Om l))) 2.0 (* (/ l (/ Om l)) 2.0)) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))))
4.9s
(* (* 2.0 n) (+ (* U (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (/ l (/ Om l)) 2.0)))) (* U (- (fma (- (/ l (/ Om l))) 2.0 (* (/ l (/ Om l)) 2.0)) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
4.8s
(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
4.6s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* 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*)))))

prune7.1s (5.6%)

Filtered
2517 candidates to 1564 candidates (62.1%)

simplify3.5s (2.7%)

Algorithm
50×egg-herbie

regimes1.9s (1.5%)

Accuracy

Total 12.5b remaining (5.7%)

Threshold costs 0.4b (0.2%)

9.6b21.6%Toniolo and Linder, Equation (13)
1.3b0%Random Jason Timeout Test 006
1.3b0%Random Jason Timeout Test 004
0.3b0%Random Jason Timeout Test 012
0.0b0%Random Jason Timeout Test 015

rewrite552.0ms (0.4%)

Algorithm
32×rewrite-expression-head
Calls

102 calls:

27.0ms
(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
25.0ms
(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
21.0ms
(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
15.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
13.0ms
(* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
Rules
607×add-sqr-sqrt
448×*-un-lft-identity
414×add-cube-cbrt
402×unpow-prod-down
289×sqrt-prod
264×prod-diff
252×pow1
244×add-exp-log
184×unpow-prod-up
175×add-cbrt-cube
115×associate-*r*
110×distribute-rgt-in distribute-lft-in
104×add-log-exp
103×log1p-expm1-u expm1-log1p-u
98×associate-*r/
86×swap-sqr cbrt-prod
82×associate-*l*
78×prod-exp
68×unswap-sqr
61×pow-prod-down
52×associate--l+
49×sqr-pow
48×sub-neg
45×sqrt-pow1
42×pow-exp
41×flip-- flip3-- cbrt-unprod
38×times-frac
34×pow-unpow
33×pow1/2
30×pow-to-exp
28×exp-prod sqrt-div frac-sub
18×log-pow
17×difference-of-squares distribute-lft-out--
15×*-commutative log-prod
14×pow-pow pow-prod-up sinh-def
11×cube-prod rem-sqrt-square
10×pow-sqr pow-sub
8×pow1/3 associate-/r*
7×div-exp
6×associate-/l*
5×fma-udef pow2
4×associate-*l/ frac-times rem-log-exp
3×cbrt-undiv unpow3 cube-mult pow-plus exp-sum div-inv expm1-udef cosh-def
2×expm1-log1p associate-/l/ rem-exp-log rem-square-sqrt sqrt-pow2 rem-cube-cbrt flip-+ acos-asin sqrt-unprod associate-/r/ clear-num frac-2neg flip3-+
1×div-sub sin-diff log1p-udef exp-to-pow distribute-lft-out log1p-expm1

localize432.0ms (0.3%)

bsearch93.0ms (0.1%)

end0.0ms (0.0%)