Date:Saturday, May 2nd, 2020
Commit:95cc637d on master
Hostname:warfa with Racket 7.5
Seed:2020123
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.3m (64.4%)

Algorithm
21×intervals
Results
46.7s39058×body5120exit
7.5s7351×body1280valid
6.3s3486×body2560valid
3.9s56666×body80valid
3.6s50289×body80nan
2.3s4532×body640valid
2.2s3042×body1280nan
1.2s2636×body640nan
668.0ms2311×body320valid
344.0ms1241×body320nan
243.0ms1250×body160valid
147.0ms8356×pre80true
133.0ms667×body160nan
49.0ms24×body5120valid
24.0ms30×body2560nan
23.0ms9×body5120nan

series31.4s (25.2%)

Calls

99 calls:

6.5s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* (* 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 (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- 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.9s
(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* (* n l) (pow (/ 1 (pow Om 1.0)) 1.0)) (pow (/ l Om) (/ 2.0 2))) (- U U*))))

prune7.0s (5.6%)

Filtered
2594 candidates to 1487 candidates (57.3%)

simplify3.1s (2.5%)

Algorithm
49×egg-herbie

regimes1.7s (1.4%)

Accuracy

Total 9.4b remaining (4.3%)

Threshold costs 0.6b (0.3%)

7.1b25.8%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 004
0.0b0%Random Jason Timeout Test 003

rewrite630.0ms (0.5%)

Algorithm
31×rewrite-expression-head
Calls

99 calls:

25.0ms
(* (* (* (* n l) (pow (/ 1 (pow Om 1.0)) 1.0)) (pow (/ l Om) (/ 2.0 2))) (- U U*))
18.0ms
(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
17.0ms
(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
16.0ms
(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
16.0ms
(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (pow (sqrt (sqrt (atan2 b b))) (sqrt (- b a))) (sqrt (- b a))))
Rules
913×add-exp-log
691×add-sqr-sqrt
584×prod-exp
510×unpow-prod-down
376×sqrt-prod
357×*-un-lft-identity
313×add-cube-cbrt
283×associate-*r*
275×pow-exp
252×pow1
222×add-cbrt-cube
180×unswap-sqr
135×pow-to-exp
126×associate-*l*
115×add-log-exp
110×sqr-pow
101×div-exp
94×associate-*r/
71×cbrt-unprod
69×times-frac
62×swap-sqr
60×pow-prod-down sqrt-pow1
48×unpow-prod-up sqrt-div sub-neg
46×flip-- flip3--
40×pow1/2
32×pow-unpow frac-sub
30×*-commutative rec-exp 1-exp
29×exp-prod
28×distribute-rgt-in pow-pow distribute-lft-in
26×log-pow
25×log-prod
22×difference-of-squares distribute-lft-out--
16×cube-prod flip3-+ flip-+ associate--l+ pow-sub
15×rem-log-exp
12×pow-prod-up
10×rem-sqrt-square frac-times
8×associate-*l/ sum-log pow-sqr associate-/r*
6×associate-/l* sqrt-pow2
5×div-inv
4×unpow3 cube-mult +-commutative rem-exp-log pow2
3×cbrt-undiv acos-asin
2×associate-/l/ rem-square-sqrt pow-plus associate-+r+ sqrt-unprod associate-/r/ clear-num exp-sum frac-2neg sinh-def unpow2
1×div-sub cosh-def

localize489.0ms (0.4%)

bsearch7.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...