Date:Wednesday, March 4th, 2020
Commit:96d2f482 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020064
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.1m (61.3%)

Algorithm
21×intervals
Results
38.5s39465×body10240exit
7.2s7484×body1280valid
5.5s3509×body2560valid
3.4s56623×body80valid
2.5s50549×body80nan
2.0s4566×body640valid
1.6s3010×body1280nan
732.0ms2606×body640nan
561.0ms2238×body320valid
227.0ms1290×body320nan
206.0ms1159×body160valid
122.0ms8356×pre80true
74.0ms638×body160nan
61.0ms34×body5120valid
17.0ms8×body5120nan
15.0ms23×body2560nan

series28.6s (26.0%)

Calls

92 calls:

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

prune7.3s (6.6%)

Filtered
2117 candidates to 1238 candidates (58.5%)

simplify3.4s (3.1%)

Algorithm
46×egg-herbie

regimes1.7s (1.6%)

Accuracy

Total 14.8b remaining (6.6%)

Threshold costs 0.4b (0.2%)

12.7b8.5%Toniolo and Linder, Equation (13)
1.7b0%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 015

rewrite563.0ms (0.5%)

Algorithm
28×rewrite-expression-head
Calls

92 calls:

45.0ms
(sqrt (* (* (cbrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))) (cbrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))) (cbrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))))
13.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
13.0ms
(* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
12.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
12.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
Rules
2526×associate-*r/
901×cbrt-div
785×flip-- flip3--
624×frac-sub
540×frac-times
360×sqrt-div
313×add-sqr-sqrt
262×*-un-lft-identity
221×pow1
218×add-exp-log
214×add-cube-cbrt
172×unpow-prod-down
156×add-cbrt-cube
121×sqrt-prod
96×add-log-exp
94×associate-*r*
90×associate-*l/
68×prod-exp
67×cbrt-prod
63×sqrt-pow1
48×pow-prod-down times-frac
45×pow-unpow
36×cbrt-unprod pow-pow
34×sub-neg
30×distribute-rgt-in distribute-lft-in
28×pow1/2
26×sqr-pow
24×difference-of-squares distribute-lft-out-- unpow-prod-up associate-*l*
23×cube-prod pow-exp
22×unswap-sqr
21×log-prod
19×log-pow
18×pow-to-exp
17×pow1/3
16×exp-prod associate--l+
12×*-commutative
11×rem-sqrt-square
10×pow-sub
9×pow-prod-up
8×sqrt-pow2 div-exp associate-/r*
6×associate-/l* pow-plus rem-log-exp
4×acos-asin div-inv
3×cbrt-undiv unpow3 cube-mult pow-sqr exp-sum
2×associate-/l/ +-commutative flip3-+ sum-log flip-+ associate-/r/ clear-num frac-2neg pow2 sinh-def
1×exp-diff rem-exp-log log-div pow3 rem-cbrt-cube div-sub cube-div

bsearch518.0ms (0.5%)

localize422.0ms (0.4%)

end0.0ms (0.0%)