Date:Thursday, July 23rd, 2020
Commit:528fe40a on cleanup
Hostname:warfa with Racket 7.5
Seed:2020205
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

Time bar (total: 6.8min)

prune3.7min (54.1%)

sample1.4min (20.6%)

Algorithm
62×intervals
Results
18.5s28862×body1280valid
14.9s175268×body80valid
8.6s19348×body640valid
5.5s6947×body2560valid
4.8s51077×body80nan
3.0s9560×body320valid
2.6s4607×body1280nan
2.5s23601×body80invalid
1.7s8633×body160valid
1.7s2450×body5120valid
1.7s4047×body640nan
1.6s3395×body1280invalid
1.4s601×body2560invalid
1.4s311×body5120invalid
912.0ms2806×body640invalid
615.0ms2048×body320nan
607.0ms1481×body320invalid
385.0ms578×body5120exit
347.0ms2529×body80overflowed
150.0ms8256×pre80true
142.0ms804×body160invalid
128.0ms653×body160nan

analyze34.6s (8.5%)

Algorithm
31×search
Search
TrueOtherFalseIter
0%98.2%1.8%0
3.2%95%1.8%1
5.6%91%3.4%2
8%84.5%7.4%3
9.8%80.7%9.5%4
13.5%76.9%9.7%5
16%72.8%11.2%6
18.1%68.2%13.7%7
21.2%62.6%16.2%8
24.7%57%18.2%9
26.4%53.6%20%10
28.9%49.8%21.3%11
30.2%47.2%22.5%12
31.9%42.5%25.7%13
32.9%40.8%26.3%14

series26.2s (6.5%)

Calls

433 calls:

2.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*)))))
1.9s
(sqrt (* (* (* (* 2.0 n) U) (* (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
1.9s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
1.9s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
376.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

regimes18.4s (4.5%)

Accuracy

Total 34.3b remaining (16.6%)

Threshold costs 4.2b (2%)

5.9b3601.2%Toniolo and Linder, Equation (13)
5.6b7649%Toniolo and Linder, Equation (7)
5.2b3432.8%Henrywood and Agarwal, Equation (3)
4.0b2078.3%Henrywood and Agarwal, Equation (12)
3.4b2878.7%Toniolo and Linder, Equation (10+)

simplify13.0s (3.2%)

Algorithm
179×egg-herbie

rewrite7.3s (1.8%)

Algorithm
117×rewrite-expression-head
Rules
66819×add-exp-log
37220×prod-exp
33213×pow-exp
32662×div-exp
11543×pow-to-exp
4239×add-sqr-sqrt
3971×1-exp
3605×times-frac
3318×*-un-lft-identity
2776×add-cube-cbrt
2740×add-cbrt-cube
1687×rec-exp
1582×associate-*r/
1380×unpow-prod-down
1333×pow1
1264×sqrt-prod
1177×cbrt-unprod
1086×flip-- flip3--
1050×associate-*r*
980×associate-*l*
954×frac-times
923×cbrt-div
757×sqrt-div
639×frac-sub
514×add-log-exp
472×pow-prod-down
463×associate-*l/
454×cbrt-undiv
384×sqr-pow
381×unswap-sqr
377×log-prod
331×cbrt-prod
328×associate-/r/
320×difference-of-squares
299×associate-/l*
281×pow-unpow
278×associate-/r*
248×div-inv
237×frac-add
232×cube-prod
204×distribute-lft-out--
196×exp-sum
191×flip-+ flip3-+
152×*-commutative
146×sqrt-pow1
101×distribute-lft-out
87×clear-num frac-2neg
84×pow1/2 tan-quot
65×pow1/3
63×rem-sqrt-square
57×distribute-rgt-in distribute-lft-in
52×sub-neg
48×exp-prod
41×pow-pow
39×distribute-lft-neg-in distribute-rgt-neg-in
38×associate-/l/
35×swap-sqr
33×pow-prod-up unpow2
32×sinh-def
28×pow-sub
27×div-sub
25×sum-log
22×+-commutative log-pow
21×pow-sqr
18×pow-neg
17×diff-log
14×associate-+r+
13×pow-plus
12×neg-sub0
10×cube-div log-div associate--l+
9×pow2 un-div-inv rem-cube-cbrt
8×difference-cubes sinh-undef
7×cosh-undef
6×cube-mult exp-diff unpow3
5×rem-log-exp
4×cos-diff cos-sum distribute-rgt-out-- pow-flip
3×acos-asin cosh-def neg-mul-1 inv-pow asin-acos rem-exp-log
2×associate--l- rem-square-sqrt sqrt-unprod rem-cbrt-cube
1×associate-+l+ sqrt-undiv sub-div mul0-rgt associate--r+
Calls

433 calls:

125.0ms
(* (/ (/ 1 l) 1) (* (pow (/ (pow -1 3.0) (* (pow (pow (/ -1 t) 1.0) 1.0) (pow (pow (/ -1 k) 2.0) 1.0))) 1.0) (/ (/ (pow (sin k) 2) l) (cos k))))
90.0ms
(* (* (* (pow (/ (* (cbrt d) (cbrt d)) (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt h)) (/ 1.0 2.0))) (* (pow (/ 1 (* (cbrt l) (cbrt l))) (/ 1.0 2.0)) (pow (/ d (cbrt l)) (/ 1.0 2.0)))) (- 1.0 (/ (* h (* 1.0 (pow (/ (* M D) (* 2.0 d)) 2.0))) (* 2.0 l))))
86.0ms
(* (* (* (pow (/ (* (cbrt d) (cbrt d)) (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt h)) (/ 1.0 2.0))) (* (pow (/ 1 (* (cbrt l) (cbrt l))) (/ 1.0 2.0)) (pow (/ d (cbrt l)) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
60.0ms
(exp (log (/ (- (pow (- 1.0 0.5) 3) (pow (/ 0.5 (hypot 1.0 x)) 3)) (+ (* (- 1.0 0.5) (- 1.0 0.5)) (* (/ 0.5 (hypot 1.0 x)) (+ (/ 0.5 (hypot 1.0 x)) (- 1.0 0.5)))))))
59.0ms
(* (pow (/ (pow -1 3.0) (* (pow (pow (/ -1 t) 1.0) 1.0) (pow (pow (/ -1 k) 2.0) 1.0))) 1.0) (/ (/ (pow (sin k) 2) l) (cos k)))

localize2.2s (0.5%)

bsearch888.0ms (0.2%)

end1.0ms (0%)

Profiling

Loading profile data...