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

series1.8m (37.1%)

Calls

436 calls:

9.5s
(sqrt (pow (* (* (* 2.0 n) (- t (- (* 2.0 (* l (/ l Om))) (* (- (- U U*)) (* n (pow (/ l Om) (* 2 (/ 2.0 2)))))))) U) 1))
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 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*)))))
1.3s
(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

sample1.3m (27.6%)

Algorithm
61×intervals
Results
15.8s29767×body1280valid
15.5s253909×body80valid
9.7s161045×body80nan
8.8s8861×body2560valid
7.0s19934×body640valid
5.4s3366×body5120valid
2.5s9980×body320valid
1.2s8803×body160valid
521.0ms708×body10240exit
161.0ms653×body1280nan
115.0ms608×body640nan
109.0ms8256×pre80true
46.0ms330×body320nan
20.0ms207×body160nan

prune58.7s (20.1%)

Filtered
21304 candidates to 10728 candidates (50.4%)

rewrite16.8s (5.8%)

Algorithm
114×rewrite-expression-head
Calls

436 calls:

1.0s
(* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
1.0s
(/ 1 (exp (+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))))
609.0ms
(* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
515.0ms
(exp (+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n)))))
512.0ms
(exp (+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n)))))
Rules
32520×add-exp-log
22685×prod-exp
11635×pow-exp
9404×div-exp
5211×pow-to-exp
5083×add-sqr-sqrt
4705×times-frac
4425×*-un-lft-identity
3617×add-cube-cbrt
2612×add-cbrt-cube
1471×sqrt-prod
1361×1-exp rec-exp
1220×associate-*r*
1160×pow1
1089×cbrt-unprod
1058×unpow-prod-down
758×pow-unpow
751×associate-*l*
697×cbrt-prod
688×prod-diff
567×cbrt-undiv
525×add-log-exp
437×log1p-expm1-u
436×expm1-log1p-u
432×unswap-sqr
401×div-inv
367×pow-prod-down
346×difference-of-squares
343×sqr-pow
330×associate-/r*
309×associate-*r/
295×associate-/l*
274×distribute-lft-out--
258×exp-prod
220×associate-*l/
206×distribute-lft-out
195×distribute-rgt-neg-in
177×associate-/r/
165×flip3-- flip--
157×distribute-rgt-in distribute-lft-in
156×distribute-lft-neg-in
153×sqrt-div
151×*-commutative
148×frac-times
103×cube-prod
94×flip-+ flip3-+
86×fma-def
85×clear-num frac-2neg
84×sqrt-pow1
77×tan-quot
69×pow1/2 cos-sum
61×fma-neg swap-sqr unpow2
57×pow-pow
54×sub-neg
50×rem-sqrt-square
48×associate-/l/
42×log-pow
35×cbrt-div
34×pow1/3
32×associate--l+ div-sub
30×sum-log
29×fma-udef
28×frac-sub
22×+-commutative
20×neg-mul-1
18×exp-neg
17×associate-+r+ pow-prod-up
16×distribute-rgt-neg-out
14×exp-diff pow-flip
13×diff-log unpow3 cube-mult neg-sub0 hypot-def
12×pow-sqr
11×rem-exp-log pow-sub
10×un-div-inv
9×frac-add
8×mul-1-neg associate-+r- log-rec
7×inv-pow pow2 distribute-neg-frac
6×exp-sum log-prod
4×pow-neg asin-acos unsub-neg pow-plus distribute-frac-neg acos-asin
3×rem-cube-cbrt sqrt-unprod cos-diff hypot-udef distribute-rgt-out--
2×sqrt-pow2 rem-square-sqrt rem-log-exp
1×log1p-udef distribute-lft-neg-out log1p-expm1 associate-+l+ expm1-log1p sub-div neg-log mul0 rem-cbrt-cube expm1-udef associate-+l-

simplify11.6s (4.0%)

Algorithm
174×egg-herbie

regimes10.7s (3.7%)

Accuracy

Total 46.7b remaining (24.7%)

Threshold costs 4.5b (2.4%)

10.2b17.3%Toniolo and Linder, Equation (13)
6.7b55.2%Henrywood and Agarwal, Equation (3)
5.9b75.6%Toniolo and Linder, Equation (7)
5.2b-1.5%Henrywood and Agarwal, Equation (12)
4.6b34.8%Toniolo and Linder, Equation (10+)

bsearch2.6s (0.9%)

localize2.3s (0.8%)

end1.0ms (0.0%)