Date:Wednesday, March 18th, 2020
Commit:1a959946 on master
Hostname:warfa with Racket 7.5
Seed:2020078
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 (61.0%)

Algorithm
21×intervals
Results
38.0s39270×body10240exit
7.0s7376×body1280valid
5.5s3495×body2560valid
3.3s56597×body80valid
2.5s50041×body80nan
2.1s4594×body640valid
1.6s3041×body1280nan
741.0ms2614×body640nan
570.0ms2230×body320valid
238.0ms1338×body320nan
217.0ms1242×body160valid
124.0ms8356×pre80true
80.0ms671×body160nan
64.0ms33×body5120valid
25.0ms41×body2560nan
18.0ms8×body5120nan

series29.9s (27.3%)

Calls

87 calls:

4.7s
(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* 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 (* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* 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 (/ Om l)))) (* (* 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.2s (6.6%)

Filtered
2249 candidates to 1423 candidates (63.3%)

simplify3.1s (2.8%)

Algorithm
45×egg-herbie

regimes1.5s (1.4%)

Accuracy

Total 10.7b remaining (4.9%)

Threshold costs 0.1b (0%)

9.1b28.3%Toniolo and Linder, Equation (13)
1.6b0%Random Jason Timeout Test 006
0.0b0%Random Jason Timeout Test 004
0.0b0%Random Jason Timeout Test 012
0.0b0%Random Jason Timeout Test 002

rewrite457.0ms (0.4%)

Algorithm
27×rewrite-expression-head
Calls

87 calls:

21.0ms
(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
17.0ms
(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
17.0ms
(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))))
16.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
14.0ms
(* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
Rules
483×add-sqr-sqrt
418×*-un-lft-identity
372×add-cube-cbrt
302×add-exp-log
247×pow1
237×prod-diff
170×add-cbrt-cube
144×distribute-rgt-in distribute-lft-in
131×prod-exp
124×associate-*r/
109×associate-*r*
96×unpow-prod-down
95×times-frac
94×cbrt-prod
90×add-log-exp
88×log1p-expm1-u
87×expm1-log1p-u
70×pow-prod-down
69×unpow-prod-up
64×sqrt-prod
60×associate--l+
58×sinh-def
53×cbrt-unprod
47×flip-- flip3--
43×associate-*l*
42×cbrt-div sqrt-pow1
39×sub-neg
38×pow-exp
34×pow-unpow
32×pow1/3 frac-sub
30×unswap-sqr
27×pow-pow log-prod
24×difference-of-squares sqrt-div
23×distribute-lft-out--
22×pow-to-exp
21×log-pow
20×pow1/2
19×exp-prod
18×swap-sqr div-exp
17×*-commutative
16×associate-*l/ frac-times
13×fma-neg sqr-pow
9×div-inv
8×associate-/r*
7×rem-log-exp
6×associate-/l* sqrt-pow2 rem-sqrt-square pow-prod-up pow-sqr pow-sub
4×pow-plus pow2
3×cbrt-undiv exp-sum
2×associate-/l/ expm1-udef acos-asin asin-acos rem-exp-log associate-/r/ pow3 clear-num frac-2neg
1×expm1-log1p div-sub e-exp-1 fma-udef associate--r- diff-log sin-diff

localize395.0ms (0.4%)

bsearch136.0ms (0.1%)

end0.0ms (0.0%)