Date:Saturday, February 22nd, 2020
Commit:72c1b946 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020053
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 (58.4%)

Algorithm
21×intervals
Results
34.7s37703×body10240exit
6.9s7341×body1280valid
5.3s3389×body2560valid
2.9s57825×body80nan
2.9s56654×body80valid
2.1s4738×body640valid
564.0ms2275×body320valid
202.0ms1195×body160valid
126.0ms8356×pre80true
31.0ms19×body5120valid
15.0ms7×body5120nan
13.0ms23×body2560nan
5.0ms20×body1280nan
5.0ms17×body640nan
2.0ms11×body160nan
1.0ms10×body320nan

series28.3s (27.4%)

Calls

94 calls:

4.9s
(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.8s
(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.3s
(* (* (* 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*)))))

prune7.8s (7.5%)

Filtered
2169 candidates to 1405 candidates (64.8%)

simplify3.6s (3.5%)

Algorithm
47×egg-herbie

regimes1.7s (1.6%)

Accuracy

Total 9.3b remaining (4.3%)

Threshold costs 0.7b (0.3%)

6.8b25.5%Toniolo and Linder, Equation (13)
1.8b0%Random Jason Timeout Test 006
0.4b0%Random Jason Timeout Test 012
0.2b0%Random Jason Timeout Test 015
0.1b0%Random Jason Timeout Test 003

rewrite857.0ms (0.8%)

Algorithm
29×rewrite-expression-head
Calls

94 calls:

85.0ms
(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
66.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*))))
63.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*)))))
56.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
54.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
Rules
462×add-sqr-sqrt
364×*-un-lft-identity
324×add-cube-cbrt
285×add-exp-log
227×pow1
165×add-cbrt-cube
147×prod-diff
125×unpow-prod-down
113×associate-*r* prod-exp
106×cbrt-prod
101×sqrt-prod
97×log1p-expm1-u
95×add-log-exp
94×associate-*r/ expm1-log1p-u
78×times-frac
73×distribute-rgt-in distribute-lft-in
55×unpow-prod-up
54×pow-prod-down
53×associate-*l*
45×flip-- flip3--
41×cbrt-unprod
40×associate--l+
39×pow-exp
38×unswap-sqr
37×pow-unpow
35×sqrt-pow1
32×frac-sub
30×exp-prod
27×sub-neg
24×sqrt-div pow-to-exp
23×pow1/2
22×swap-sqr
21×sqr-pow log-prod
20×cube-prod difference-of-squares distribute-lft-out-- log-pow
19×pow-pow
18×div-exp
14×rem-sqrt-square
13×*-commutative pow1/3
8×associate-/r*
7×div-inv
6×associate-/l* cube-mult expm1-udef unpow3 rem-log-exp
5×sqrt-pow2 pow-sub
4×rem-cube-cbrt fma-udef pow-prod-up pow-sqr
3×expm1-log1p cbrt-undiv exp-sum
2×associate-/l/ rem-exp-log pow-plus acos-asin associate-/r/ clear-num frac-2neg sin-diff pow2 sinh-def
1×exp-diff log-div div-sub rem-cbrt-cube

localize454.0ms (0.4%)

bsearch236.0ms (0.2%)

end0.0ms (0.0%)