Date:Thursday, April 9th, 2020
Commit:e7bf75bc on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020100
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 (63.4%)

Algorithm
21×intervals
Results
37.6s38962×body10240exit
7.0s7388×body1280valid
5.6s3515×body2560valid
3.2s56541×body80valid
2.5s50669×body80nan
2.1s4631×body640valid
1.6s3080×body1280nan
716.0ms2552×body640nan
566.0ms2289×body320valid
225.0ms1324×body320nan
207.0ms1205×body160valid
112.0ms8356×pre80true
76.0ms670×body160nan
43.0ms29×body5120valid
24.0ms11×body5120nan
18.0ms27×body2560nan

series26.7s (25.6%)

Calls

73 calls:

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

prune5.5s (5.3%)

Filtered
1640 candidates to 1107 candidates (67.5%)

simplify3.0s (2.9%)

Algorithm
45×egg-herbie

regimes2.0s (1.9%)

Accuracy

Total 9.6b remaining (4.4%)

Threshold costs 0.4b (0.2%)

7.4b16.5%Toniolo and Linder, Equation (13)
1.8b0%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 002

localize379.0ms (0.4%)

rewrite361.0ms (0.3%)

Algorithm
27×rewrite-expression-head
Calls

73 calls:

16.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (* (/ l (* (cbrt Om) (cbrt Om))) (/ l (cbrt Om))))) (* (* n (pow (/ l Om) 2.0)) (- 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 (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*)))))
14.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* (/ l (* (cbrt Om) (cbrt Om))) (/ l (cbrt 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)) (- U U*))))
Rules
332×add-sqr-sqrt
283×*-un-lft-identity
249×add-cube-cbrt
183×pow1
176×add-exp-log
143×cbrt-prod
126×add-cbrt-cube
108×prod-diff
79×associate-*r*
77×add-log-exp
76×associate-*r/
75×times-frac
74×log1p-expm1-u
73×expm1-log1p-u
63×distribute-rgt-in distribute-lft-in
57×prod-exp
51×pow-prod-down
44×unpow-prod-down
42×flip-- flip3--
33×cbrt-unprod
30×associate--l+
28×sqrt-prod frac-sub associate-*l*
24×pow1/3 sqrt-div sqrt-pow1
22×unswap-sqr
21×pow-unpow log-prod
20×sub-neg
17×difference-of-squares distribute-lft-out-- log-pow
14×pow-exp
12×swap-sqr pow1/2
11×*-commutative
10×exp-prod
8×cube-prod rem-sqrt-square sqr-pow div-exp associate-/r*
7×div-inv pow-to-exp
6×associate-/l* fma-neg
5×rem-log-exp
4×pow-prod-up pow-sqr
3×cbrt-undiv unpow-prod-up exp-sum cbrt-div
2×diff-log associate-/l/ cube-mult expm1-udef pow-pow unpow3 pow-plus e-exp-1 acos-asin associate-/r/ clear-num frac-2neg pow2 sinh-def
1×expm1-log1p div-sub rem-exp-log pow3 rem-cbrt-cube sin-diff

bsearch206.0ms (0.2%)

end0.0ms (0.0%)