Date:Thursday, March 5th, 2020
Commit:a3b4d238 on findroot
Hostname:warfa with Racket 7.5
Seed:2020065
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.1m (60.6%)

Algorithm
21×intervals
Results
37.8s39233×body10240exit
6.9s7257×body1280valid
5.4s3470×body2560valid
3.2s56616×body80valid
2.5s50812×body80nan
2.1s4714×body640valid
1.6s3033×body1280nan
745.0ms2611×body640nan
591.0ms2359×body320valid
258.0ms8356×pre80true
231.0ms1319×body320nan
203.0ms1150×body160valid
83.0ms704×body160nan
24.0ms30×body2560nan
16.0ms14×body5120valid
10.0ms5×body5120nan

series28.2s (25.7%)

Calls

75 calls:

4.6s
(sqrt (* (* 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 (* (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))) (cbrt (- (- 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*)))))
4.5s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
1.3s
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

prune8.8s (8.0%)

simplify3.4s (3.1%)

Algorithm
45×egg-herbie

regimes1.7s (1.6%)

Accuracy

Total 11.8b remaining (5.4%)

Threshold costs 0.3b (0.1%)

9.7b28.2%Toniolo and Linder, Equation (13)
1.8b0%Random Jason Timeout Test 006
0.2b84.3%Random Jason Timeout Test 012
0.0b0%Random Jason Timeout Test 004
0.0b0%Random Jason Timeout Test 002

rewrite477.0ms (0.4%)

Algorithm
27×rewrite-expression-head
Calls

75 calls:

70.0ms
(sqrt (* (* 2.0 n) (* (* U (* (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))))
20.0ms
(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
16.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
13.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 (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
Rules
1414×associate-*r/
900×cbrt-div
792×flip-- flip3--
628×frac-sub
540×frac-times
360×sqrt-div
277×add-sqr-sqrt
265×*-un-lft-identity
227×add-cube-cbrt
201×pow1
174×add-exp-log
150×prod-diff
131×add-cbrt-cube
103×distribute-rgt-in distribute-lft-in
90×associate-*l/
80×add-log-exp
76×log1p-expm1-u expm1-log1p-u
68×pow-prod-down
53×prod-exp
50×associate--l+
42×associate-*r*
40×unpow-prod-down
38×times-frac
36×log-prod
32×cbrt-unprod
30×sub-neg
26×sqrt-pow1
25×unpow-prod-up
24×cbrt-prod
23×exp-prod
21×log-pow
20×pow-unpow
19×difference-of-squares distribute-lft-out--
16×sqrt-prod
14×pow-exp
12×exp-sum associate-*l*
9×pow-to-exp pow-pow
8×*-commutative pow1/2 pow1/3 associate-/r*
7×sqr-pow div-exp rem-log-exp
6×sinh-def associate-/l* fma-neg cosh-def log-div
5×unswap-sqr
4×rem-exp-log
3×cbrt-undiv exp-diff div-inv
2×associate-/l/ expm1-udef sqrt-pow2 pow-sub acos-asin rem-sqrt-square associate-/r/ clear-num frac-2neg diff-log
1×expm1-log1p div-sub log1p-udef exp-to-pow sin-diff log1p-expm1 e-exp-1

localize410.0ms (0.4%)

bsearch213.0ms (0.2%)

end0.0ms (0.0%)