Date:Saturday, May 2nd, 2020
Commit:37107503 on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020123
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.3m (64.0%)

Algorithm
21×intervals
Results
45.8s39058×body5120exit
7.4s7351×body1280valid
6.2s3486×body2560valid
3.8s56666×body80valid
3.5s50289×body80nan
2.2s4532×body640valid
2.1s3042×body1280nan
1.1s2636×body640nan
653.0ms2311×body320valid
323.0ms1241×body320nan
234.0ms1250×body160valid
154.0ms8356×pre80true
116.0ms667×body160nan
50.0ms24×body5120valid
24.0ms30×body2560nan
22.0ms9×body5120nan

series30.7s (25.1%)

Calls

84 calls:

6.6s
(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.7%)

Filtered
2532 candidates to 1456 candidates (57.5%)

simplify3.5s (2.8%)

Algorithm
47×egg-herbie

regimes2.0s (1.6%)

Accuracy

Total 9.5b 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

rewrite543.0ms (0.4%)

Algorithm
29×rewrite-expression-head
Calls

84 calls:

31.0ms
(* (* (* (* n l) (pow (/ 1 (pow Om 1.0)) 1.0)) (pow (/ l Om) (/ 2.0 2))) (- U U*))
26.0ms
(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
22.0ms
(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
20.0ms
(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (pow (sqrt (sqrt (atan2 b b))) (sqrt (- b a))) (sqrt (- b a))))
19.0ms
(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (pow (sqrt (sqrt (atan2 b b))) (sqrt (- b a))) (sqrt (- b a))))
Rules
818×add-exp-log
707×add-sqr-sqrt
537×prod-exp
471×*-un-lft-identity
470×unpow-prod-down
427×add-cube-cbrt
340×sqrt-prod
300×prod-diff
262×pow-exp
228×unpow-prod-up
202×pow1
179×add-cbrt-cube
177×associate-*r*
128×unswap-sqr
122×pow-to-exp
111×associate-*l*
106×distribute-rgt-in distribute-lft-in
101×div-exp
90×associate-*r/
88×sqr-pow
86×log1p-expm1-u
85×add-log-exp
84×expm1-log1p-u
69×times-frac
64×swap-sqr
56×cbrt-unprod
54×pow-prod-down
48×sub-neg
46×flip-- flip3--
44×sqrt-pow1
40×associate--l+
38×pow-unpow
32×frac-sub
30×rec-exp 1-exp pow-pow
24×sqrt-div pow1/2
22×difference-of-squares distribute-lft-out--
21×exp-prod
16×pow-sub
15×*-commutative cbrt-prod
13×log-pow
12×cube-prod log-prod
10×rem-sqrt-square
8×associate-/r*
6×associate-/l* sqrt-pow2
5×div-inv
4×unpow3 cube-mult associate-*l/ rem-log-exp
3×cbrt-undiv expm1-udef acos-asin fma-udef
2×expm1-log1p associate-/l/ pow-sqr rem-cube-cbrt pow1/3 associate-/r/ pow-prod-up clear-num frac-2neg frac-times pow2 sinh-def
1×rem-exp-log div-sub rem-cbrt-cube sin-diff cosh-def

localize446.0ms (0.4%)

bsearch4.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...