Date:Tuesday, February 18th, 2020
Commit:5d186d9c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020049
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.0m (57.3%)

Algorithm
21×intervals
Results
35.9s38882×body10240exit
6.8s7259×body1280valid
5.5s3452×body2560valid
2.9s58563×body80nan
2.9s56734×body80valid
2.0s4552×body640valid
578.0ms2355×body320valid
203.0ms1213×body160valid
125.0ms8356×pre80true
52.0ms28×body5120valid
29.0ms13×body5120nan
19.0ms27×body2560nan
8.0ms26×body1280nan
3.0ms14×body640nan
1.0ms10×body320nan
1.0ms10×body160nan

series31.3s (29.1%)

Calls

95 calls:

6.8s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* (* n l) (pow (/ 1 (pow Om 1.0)) 1.0)) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
4.7s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
4.7s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
4.7s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
1.9s
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* (* n l) (pow (/ 1 (pow Om 1.0)) 1.0)) (pow (/ l Om) (/ 2.0 2))) (- U U*))))

prune7.8s (7.2%)

simplify3.3s (3.0%)

Algorithm
47×egg-herbie

regimes1.7s (1.6%)

Accuracy

Total 11.0b remaining (5%)

Threshold costs 0.6b (0.3%)

8.6b17.2%Toniolo and Linder, Equation (13)
1.7b0%Random Jason Timeout Test 006
0.4b0%Random Jason Timeout Test 012
0.1b0%Random Jason Timeout Test 015
0.1b0%Random Jason Timeout Test 003

rewrite1.1s (1.1%)

Algorithm
29×rewrite-expression-head
Calls

95 calls:

201.0ms
(* (* (* (* n l) (pow (/ 1 (pow Om 1.0)) 1.0)) (pow (/ l Om) (/ 2.0 2))) (- U U*))
88.0ms
(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
77.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* (* n l) (pow (/ 1 (pow Om 1.0)) 1.0)) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
69.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
61.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* (* n l) (pow (/ 1 (pow Om 1.0)) 1.0)) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
Rules
769×add-exp-log
488×prod-exp
464×add-sqr-sqrt
368×*-un-lft-identity
330×add-cube-cbrt
232×pow1
217×sqrt-prod
213×pow-exp
182×add-cbrt-cube
160×unpow-prod-down
138×prod-diff
137×associate-*r*
105×log-prod
101×div-exp
99×add-log-exp
96×log1p-expm1-u
95×expm1-log1p-u
86×associate-*r/
85×pow-to-exp
79×times-frac
73×distribute-rgt-in distribute-lft-in
57×sqrt-pow1
54×pow-prod-down
52×cbrt-unprod
51×cube-prod
45×flip-- flip3--
44×unpow-prod-up
40×associate--l+ unswap-sqr
36×pow1/2
34×exp-prod log-pow
32×frac-sub associate-*l*
30×rec-exp 1-exp
26×sub-neg
24×cbrt-prod exp-sum sqrt-div
23×pow-unpow sqr-pow
21×pow-pow
19×difference-of-squares distribute-lft-out--
15×rem-sqrt-square
13×*-commutative rem-log-exp
8×swap-sqr associate-/r*
6×associate-/l* cube-mult unpow3 pow-prod-up div-inv
5×rem-exp-log sqrt-pow2
4×fma-udef pow-sub
3×cbrt-undiv pow-sqr expm1-udef
2×associate-/l/ pow1/3 acos-asin associate-/r/ clear-num frac-2neg sin-diff sinh-def
1×expm1-log1p pow-plus rem-square-sqrt div-sub rem-cube-cbrt sqrt-unprod pow2

localize446.0ms (0.4%)

bsearch326.0ms (0.3%)

end0.0ms (0.0%)