Date:Friday, May 1st, 2020
Commit:b6776165 on joint-profile
Hostname:warfa with Racket 7.5
Seed:2020122
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.7%)

Calls

441 calls:

5.0s
(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.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 (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
4.5s
(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.6m (35.0%)

Algorithm
61×intervals
Results
19.2s248429×body80valid
18.2s30926×body1280valid
13.6s167019×body80nan
9.4s8786×body2560valid
8.8s21181×body640valid
5.5s3399×body5120valid
2.9s10239×body320valid
1.7s9246×body160valid
1.0s1643×body1280nan
538.0ms1487×body640nan
425.0ms3689×body80overflowed
370.0ms592×body5120exit
205.0ms757×body320nan
148.0ms8256×pre80true
71.0ms455×body160nan

prune47.6s (17.3%)

Filtered
26029 candidates to 10289 candidates (39.5%)

simplify12.9s (4.7%)

Algorithm
178×egg-herbie

regimes10.3s (3.7%)

Accuracy

Total 42.2b remaining (21%)

Threshold costs 5.6b (2.8%)

9.1b31.6%Toniolo and Linder, Equation (13)
6.4b15.9%Toniolo and Linder, Equation (10+)
6.3b6.1%Henrywood and Agarwal, Equation (12)
5.2b78.4%Toniolo and Linder, Equation (7)
2.8b0%Henrywood and Agarwal, Equation (13)

rewrite7.2s (2.6%)

Algorithm
118×rewrite-expression-head
Calls

441 calls:

105.0ms
(* (pow (/ 1 (pow k (/ 2.0 2))) 1.0) (* (pow (/ 1 (* (pow k (/ 2.0 2)) (pow t 1.0))) 1.0) (/ (* (cos k) (pow l 2)) (pow (sin k) 2))))
77.0ms
(* (* (* (pow (/ 1 (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ d (cbrt h)) (/ 1.0 2.0))) (* (pow (/ (* (cbrt d) (cbrt d)) (* (cbrt l) (cbrt l))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt l)) (/ 1.0 2.0)))) (- 1.0 (/ (* (* 1.0 (pow (/ (* M D) (* 2.0 d)) 2.0)) h) (* 2.0 l))))
76.0ms
(* (* (* (pow (/ 1 (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ d (cbrt h)) (/ 1.0 2.0))) (* (pow (/ (* (cbrt d) (cbrt d)) (* (cbrt l) (cbrt l))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt l)) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
73.0ms
(* c0 (/ (sqrt (/ (/ A l) (cbrt V))) (fabs (cbrt V))))
56.0ms
(* (/ (/ (cos th) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (+ (* a1 a1) (* a2 a2)))
Rules
54173×add-exp-log
39845×prod-exp
27310×pow-exp
18956×div-exp
12591×pow-to-exp
5541×times-frac
4992×add-sqr-sqrt
4674×*-un-lft-identity
4103×rec-exp 1-exp
3918×add-cube-cbrt
2838×sqrt-prod
2731×add-cbrt-cube
1326×associate-*r*
1292×pow1
1291×associate-*l*
1170×cbrt-unprod
1050×associate-*r/
1032×unpow-prod-down
723×cbrt-prod
583×sqrt-div
518×add-log-exp
463×cbrt-undiv
451×frac-times
416×pow-prod-down
407×associate-/l*
402×unswap-sqr
386×distribute-lft-out
378×flip-- flip3--
352×associate-*l/
351×associate-/r*
307×cbrt-div
297×div-inv
296×sqr-pow
286×associate-/r/
263×pow-unpow
200×flip-+ flip3-+
165×*-commutative
140×sqrt-pow1
124×difference-of-squares
116×cube-prod
106×distribute-rgt-in distribute-lft-in
97×frac-2neg clear-num
90×pow1/2
87×distribute-rgt-neg-in frac-sub
80×sub-neg
78×tan-quot
66×rem-sqrt-square unpow2
60×associate-/l/
57×exp-prod
54×pow1/3
44×swap-sqr
42×distribute-lft-neg-in
38×associate--l+ pow-pow
35×distribute-lft-out--
32×pow-prod-up
31×log-pow
27×sum-log
24×+-commutative div-sub
19×pow-sqr
18×frac-add
15×pow-neg
14×neg-sub0
13×pow-sub pow-plus
12×associate-+r+ pow-flip diff-log
10×unpow3 cube-mult
8×cos-sum rem-cube-cbrt inv-pow log-prod
7×cube-div un-div-inv pow2
6×exp-diff associate-+r-
5×exp-sum rem-log-exp
4×unsub-neg acos-asin neg-mul-1 rem-cbrt-cube log-div
3×cos-diff asin-acos
2×rem-exp-log sqrt-unprod rem-square-sqrt
1×sqrt-undiv associate-+l+ pow3 sum-cubes sub-div mul0

localize2.1s (0.8%)

bsearch794.0ms (0.3%)

end0.0ms (0.0%)

Profiling

Loading profile data...