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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

series1.6m (35.6%)

Calls

437 calls:

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

sample1.4m (29.5%)

Algorithm
61×intervals
Results
16.3s29767×body1280valid
15.8s253909×body80valid
9.8s161045×body80nan
9.0s8861×body2560valid
7.2s19934×body640valid
5.5s3366×body5120valid
2.4s9980×body320valid
1.2s8803×body160valid
526.0ms708×body10240exit
158.0ms653×body1280nan
117.0ms608×body640nan
112.0ms8256×pre80true
45.0ms330×body320nan
21.0ms207×body160nan

prune51.0s (18.4%)

Filtered
20841 candidates to 9799 candidates (47.0%)

rewrite18.3s (6.6%)

Algorithm
114×rewrite-expression-head
Calls

437 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))))))
584.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))
579.0ms
(exp (+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n)))))
508.0ms
(exp (+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n)))))
Rules
31841×add-exp-log
22401×prod-exp
11584×pow-exp
9105×div-exp
6235×times-frac
5491×add-sqr-sqrt
5193×*-un-lft-identity
5191×pow-to-exp
4295×add-cube-cbrt
3793×sqrt-prod
2391×add-cbrt-cube
1328×1-exp rec-exp
1242×pow1
1125×unpow-prod-down
1120×associate-*l*
963×cbrt-unprod
948×associate-*r*
551×associate-*r/
541×add-log-exp
469×associate-/l*
467×cbrt-prod
440×pow-unpow
404×cbrt-undiv
393×pow-prod-down
363×unswap-sqr
350×sqr-pow
344×associate-/r*
277×associate-*l/
274×div-inv
272×distribute-lft-out
268×sqrt-div
258×distribute-lft-out--
246×exp-prod
222×difference-of-squares
216×distribute-rgt-neg-in
193×frac-times
177×distribute-lft-neg-in
174×flip3-- flip--
163×flip-+ flip3-+
159×associate-/r/
155×*-commutative
97×sqrt-pow1
85×frac-2neg clear-num
76×tan-quot
72×pow1/2
71×distribute-rgt-in distribute-lft-in
66×pow1/3
61×sub-neg
59×rem-sqrt-square
56×unpow2
52×swap-sqr
51×frac-sub
50×pow-pow
49×associate-/l/
43×frac-add
39×cube-div
37×cbrt-div
35×cube-prod sum-log
33×div-sub
28×associate--l+
25×log-pow
23×+-commutative neg-mul-1 distribute-neg-frac
22×neg-sub0
21×pow-prod-up
20×pow-sub
19×exp-diff pow-sqr
18×diff-log
16×pow-neg
13×pow-flip
12×rem-exp-log
10×unpow3 cube-mult log-div
9×pow-plus
8×associate-+r+ associate-+r-
7×pow2 exp-sum
6×cos-sum inv-pow
5×log-prod
4×rem-cube-cbrt un-div-inv unsub-neg distribute-frac-neg rem-log-exp
3×distribute-lft-neg-out distribute-rgt-out-- cos-diff acos-asin asin-acos
2×associate-+l+ exp-neg sum-cubes
1×sqrt-unprod neg-log rem-square-sqrt sub-div mul0 rem-cbrt-cube associate-+l-

simplify11.9s (4.3%)

Algorithm
174×egg-herbie

regimes10.6s (3.8%)

Accuracy

Total 48.9b remaining (22.7%)

Threshold costs 6.8b (3.2%)

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.5b35.1%Toniolo and Linder, Equation (10+)

bsearch2.6s (1.0%)

localize2.2s (0.8%)

end0.0ms (0.0%)