Date:Thursday, February 27th, 2020
Commit:17a4275c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020058
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.0m (55.7%)

Algorithm
21×intervals
Results
36.0s38720×body10240exit
7.1s7341×body1280valid
5.5s3431×body2560valid
2.9s57689×body80nan
2.8s56590×body80valid
2.1s4700×body640valid
596.0ms2311×body320valid
212.0ms1206×body160valid
116.0ms8356×pre80true
53.0ms39×body5120valid
23.0ms34×body2560nan
22.0ms10×body5120nan
6.0ms21×body1280nan
3.0ms17×body320nan
3.0ms16×body640nan
1.0ms7×body160nan

series34.6s (31.0%)

Calls

98 calls:

10.0s
(sqrt (pow (* (* (* 2.0 n) (- t (- (* 2.0 (* l (/ l Om))) (* (- (- U U*)) (* n (pow (/ l Om) (* 2 (/ 2.0 2)))))))) U) 1))
4.9s
(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.8s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
4.8s
(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 l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

prune7.9s (7.1%)

Filtered
2357 candidates to 1530 candidates (64.9%)

simplify3.8s (3.4%)

Algorithm
49×egg-herbie

regimes1.6s (1.4%)

Accuracy

Total 15.0b remaining (6.8%)

Threshold costs 1.7b (0.8%)

10.2b17.3%Toniolo and Linder, Equation (13)
1.9b0%Random Jason Timeout Test 006
1.2b0%Random Jason Timeout Test 004
0.6b0%Random Jason Timeout Test 002
0.6b0%Random Jason Timeout Test 014

rewrite924.0ms (0.8%)

Algorithm
31×rewrite-expression-head
Calls

98 calls:

123.0ms
(* (* (* 2.0 n) (- t (- (* 2.0 (* l (/ l Om))) (* (- (- U U*)) (* n (pow (/ l Om) (* 2 (/ 2.0 2)))))))) U)
89.0ms
(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
68.0ms
(* (* (* 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*))))
56.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
55.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
Rules
493×add-sqr-sqrt
443×*-un-lft-identity
389×add-cube-cbrt
329×add-exp-log
221×pow1
219×prod-diff
168×add-cbrt-cube
155×unpow-prod-down
140×prod-exp
136×sqrt-prod
110×unpow-prod-up
105×times-frac add-log-exp
100×expm1-log1p-u
99×log1p-expm1-u
91×associate-*r*
77×log-prod
68×associate-*r/
61×sqrt-pow1
56×pow-exp
52×distribute-rgt-in distribute-lft-in
49×cbrt-prod
47×pow-prod-down
41×cbrt-unprod
40×pow-unpow
39×flip-- flip3--
38×pow-to-exp
36×pow-pow
35×rem-log-exp log-pow
34×pow1/2
33×exp-prod
32×associate-*l*
30×associate--l+
29×sub-neg
28×difference-of-squares
27×distribute-lft-out--
24×frac-sub
22×sqr-pow
19×fma-neg
18×sqrt-div div-exp pow-sub
16×rem-sqrt-square unswap-sqr
11×*-commutative
10×div-inv
8×pow1/3 cube-prod sqrt-pow2 log-div associate-/r*
6×associate-/l* associate-*l/
5×distribute-lft-neg-in distribute-rgt-neg-in
4×cosh-def
3×cbrt-undiv expm1-udef exp-sum diff-log
2×associate-/l/ rem-exp-log cube-mult expm1-log1p unpow3 distribute-neg-frac acos-asin asin-acos fma-udef log1p-udef frac-times associate-/r/ pow3 clear-num frac-2neg log1p-expm1 sinh-def
1×div-sub distribute-lft-neg-out associate--r- neg-mul-1 rem-cbrt-cube sin-diff

localize486.0ms (0.4%)

bsearch107.0ms (0.1%)

end0.0ms (0.0%)