Date:Sunday, May 3rd, 2020
Commit:be9078eb on bug-fix
Hostname:warfa with Racket 7.5
Seed:2020124
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.4m (65.7%)

Algorithm
21×intervals
Results
48.1s39693×body5120exit
7.5s7220×body1280valid
6.1s3413×body2560valid
4.2s56688×body80valid
3.6s50640×body80nan
2.3s4691×body640valid
2.1s3037×body1280nan
1.1s2569×body640nan
684.0ms2334×body320valid
372.0ms1374×body320nan
248.0ms1217×body160valid
148.0ms8356×pre80true
115.0ms648×body160nan
64.0ms33×body5120valid
30.0ms12×body5120nan
16.0ms23×body2560nan

series29.1s (23.5%)

Calls

100 calls:

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

prune6.3s (5.1%)

Filtered
2277 candidates to 1384 candidates (60.8%)

simplify3.3s (2.7%)

Algorithm
49×egg-herbie

regimes2.1s (1.7%)

Accuracy

Total 14.6b remaining (6.6%)

Threshold costs 0.5b (0.2%)

11.9b10%Toniolo and Linder, Equation (13)
2.2b0%Random Jason Timeout Test 006
0.4b0%Random Jason Timeout Test 012
0.0b0%Random Jason Timeout Test 004
0.0b0%Random Jason Timeout Test 003

rewrite552.0ms (0.4%)

Algorithm
31×rewrite-expression-head
Calls

100 calls:

21.0ms
(* (* 2.0 n) (* (* (cbrt U) (cbrt U)) (* (cbrt U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
19.0ms
(* (* n (pow (/ l Om) 2.0)) (- U U*))
16.0ms
(sqrt (* (* 2.0 n) (* (* (cbrt U) (cbrt U)) (* (cbrt 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 (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
15.0ms
(* (* (cbrt U) (cbrt U)) (* (cbrt U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
Rules
406×add-sqr-sqrt
338×pow1
326×*-un-lft-identity
294×add-exp-log
270×add-cube-cbrt
225×cbrt-prod
218×unpow-prod-down
207×add-cbrt-cube
166×sqrt-prod
150×associate-*r/
123×add-log-exp
118×pow-prod-down
115×prod-exp
105×associate-*r*
100×distribute-rgt-in distribute-lft-in
84×exp-prod
80×cbrt-unprod
75×cube-prod
74×sqrt-pow1
69×sub-neg
59×flip-- flip3--
56×pow-unpow
48×pow-pow
44×associate--l+
42×frac-sub
41×log-prod
40×times-frac
38×pow1/2 associate-*l*
36×log-pow
34×unswap-sqr
32×sqr-pow
30×difference-of-squares
28×distribute-lft-out-- unpow-prod-up
26×pow-exp
24×sqrt-div
21×pow-to-exp
17×*-commutative exp-sum
16×rem-sqrt-square
12×pow-sub
11×pow1/3
10×unpow3 cube-mult sqrt-pow2
8×sum-log div-exp rem-log-exp associate-/r*
6×associate-/l*
4×diff-log +-commutative flip3-+ acos-asin flip-+ rem-exp-log sinh-def
3×cbrt-undiv associate--r- div-inv associate--r+
2×associate-/l/ associate-+r+ rem-cube-cbrt asin-acos associate-/r/ rem-cbrt-cube clear-num frac-2neg cbrt-div cube-div
1×pow3 div-sub

bsearch515.0ms (0.4%)

localize479.0ms (0.4%)

end0.0ms (0.0%)

Profiling

Loading profile data...