Date:Tuesday, March 31st, 2020
Commit:2cac45bc on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020091
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 (58.3%)

Algorithm
21×intervals
Results
37.0s38401×body10240exit
7.1s7439×body1280valid
5.4s3445×body2560valid
3.1s56483×body80valid
2.4s49467×body80nan
2.1s4667×body640valid
1.6s3062×body1280nan
713.0ms2547×body640nan
582.0ms2312×body320valid
213.0ms1255×body320nan
201.0ms1174×body160valid
118.0ms8356×pre80true
83.0ms688×body160nan
74.0ms31×body5120valid
25.0ms11×body5120nan
13.0ms21×body2560nan

series33.2s (29.6%)

Calls

96 calls:

9.7s
(sqrt (pow (* (* (* 2.0 n) (- t (- (* 2.0 (* l (/ l Om))) (* (- (- U U*)) (* n (pow (/ l Om) (* 2 (/ 2.0 2)))))))) U) 1))
4.7s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* 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 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*)))))
1.3s
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

prune6.8s (6.1%)

Filtered
2333 candidates to 1469 candidates (63.0%)

simplify3.7s (3.3%)

Algorithm
49×egg-herbie

regimes1.9s (1.7%)

Accuracy

Total 11.0b remaining (5%)

Threshold costs 0.5b (0.2%)

8.5b25.3%Toniolo and Linder, Equation (13)
2.0b0%Random Jason Timeout Test 006
0.4b0%Random Jason Timeout Test 012
0.1b0%Random Jason Timeout Test 004
0.0b0%Random Jason Timeout Test 003

rewrite490.0ms (0.4%)

Algorithm
31×rewrite-expression-head
Calls

96 calls:

24.0ms
(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
16.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* 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 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
14.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
14.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
Rules
513×add-sqr-sqrt
408×*-un-lft-identity
362×add-cube-cbrt
309×add-exp-log
230×pow1
218×sqrt-prod
180×prod-diff
177×add-cbrt-cube
154×unpow-prod-down
126×prod-exp
114×log-prod
100×associate-*r* add-log-exp
97×log1p-expm1-u
96×expm1-log1p-u
88×unpow-prod-up
68×associate-*r/
66×associate-*l*
63×distribute-rgt-in distribute-lft-in
58×times-frac
51×pow-prod-down
50×sqrt-pow1
46×cbrt-unprod
44×unswap-sqr
43×pow-exp
42×cube-prod
40×cbrt-prod
39×flip-- flip3--
35×pow1/2
32×pow-unpow
30×associate--l+
28×sub-neg pow-to-exp
26×sqr-pow
24×frac-sub pow-pow
23×difference-of-squares distribute-lft-out--
22×log-pow
18×sqrt-div div-exp
17×rem-sqrt-square rem-log-exp
16×exp-prod
14×*-commutative swap-sqr
8×pow1/3 pow-prod-up pow-sub associate-/r*
7×unpow3 cube-mult
6×associate-/l* fma-neg
5×pow-sqr sqrt-pow2 distribute-lft-neg-in log-div div-inv distribute-rgt-neg-in
4×rem-cube-cbrt acos-asin fma-udef associate-*l/
3×cbrt-undiv pow-plus exp-sum expm1-udef
2×diff-log associate-/l/ sinh-def distribute-neg-frac associate-/r/ rem-cbrt-cube clear-num frac-2neg sin-diff pow2
1×rem-exp-log exp-diff expm1-log1p rem-square-sqrt div-sub distribute-lft-neg-out sqrt-unprod neg-mul-1

localize451.0ms (0.4%)

bsearch4.0ms (0.0%)

end0.0ms (0.0%)