Date:Wednesday, June 10th, 2020
Commit:7420be86 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020162
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample24.4min (55.2%)

Algorithm
952×intervals
Results
2.3min3248202×body80valid
2.2min239956×body1280valid
1.2min14600×body5120exit
56.3s171546×body640valid
53.0s835971×body80invalid
34.2s41499×body2560valid
20.7s99878×body320valid
12.3s156886×body80nan
11.5s86274×body160valid
9.9s12480×body1280nan
9.8s22089×body1280invalid
8.0s349381×pre80true
5.8s9846×body640nan
5.7s19330×body640invalid
5.4s58145×body80overflowed
4.0s778×body5120invalid
3.5s1379×body2560invalid
2.9s1762×body1280overflowed
2.7s4098×body5120valid
2.3s5138×body320nan
2.2s10470×body320invalid
1.3s1257×body640overflowed
763.0ms5515×body160invalid
649.0ms2508×body160nan
588.0ms3150×body2560nan
367.0ms612×body320overflowed
101.0ms155×body2560overflowed
100.0ms289×body160overflowed
5.0ms166×pre80false
sampling

Space saved by range analysis: 4.105928%

Space saved by search: 20.494342%

Guaranteed chance to sample good point: 93.721223%

prune10.9min (24.6%)

Filtered
176881 candidates to 112064 candidates (36.6%)

regimes2.8min (6.3%)

Accuracy

Total 404.7b remaining (29.7%)

Threshold costs 57.7b (4.2%)

11.7b62%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b59.5%math.log/2 on complex, real part
9.9b59.7%math.log10 on complex, real part
9.8b-13.5%Linear.Matrix:det44 from linear-1.19.1.3
9.6b20.7%Toniolo and Linder, Equation (13)

simplify2.7min (6.2%)

Algorithm
2551×egg-herbie

series2.1min (4.7%)

Calls

4785 calls:

4.3s
(* (* (sqrt (* a (+ (+ b c) d))) (sqrt a)) (sqrt (+ (+ b c) d)))
2.9s
(+ (pow (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 3) (pow 1.0 3))
2.2s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
2.0s
(pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3)
2.0s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

rewrite51.5s (1.9%)

Algorithm
1602×rewrite-expression-head
Calls

4785 calls:

718.0ms
(* (cbrt (/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)) (cbrt (/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)))
215.0ms
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ 1 (/ (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))))))
202.0ms
(- (/ x (+ x 1.0)) (/ (sqrt (+ x 1.0)) (/ (- x 1.0) (sqrt (+ x 1.0)))))
149.0ms
(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
149.0ms
(/ (* (/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
Rules
94200×times-frac
77798×*-un-lft-identity
74824×add-sqr-sqrt
50183×add-cube-cbrt
49406×add-exp-log
27582×prod-exp
18134×add-cbrt-cube
14147×sqrt-prod
12812×pow1
11958×associate-*r*
11513×frac-times
10987×cbrt-prod
10713×div-exp
9856×associate-*l/
9603×flip--
9602×flip3--
8886×difference-of-squares
8498×associate-*r/
8486×associate-*l*
7938×pow-exp
7811×add-log-exp
7657×distribute-lft-out--
6673×flip-+
6672×flip3-+
6555×distribute-lft-out
6191×associate-/r*
5816×associate-/r/
5698×cbrt-unprod
5235×unpow-prod-down
5042×associate-/l*
4284×pow-to-exp
4256×div-inv
4232×cbrt-div
3973×frac-sub
3605×cbrt-undiv
3459×pow-prod-down
2844×unswap-sqr
2438×frac-add
2343×sqrt-div
2180×cube-prod
1901×log-prod
1813×swap-sqr
1576×distribute-rgt-in distribute-lft-in
1498×associate-/l/
1436×sqr-pow
1400×*-commutative
1252×pow1/3
1241×sub-neg
1140×sqrt-pow1
961×clear-num frac-2neg
916×sum-log
809×log-pow
754×diff-log
726×exp-prod
689×pow1/2
644×pow-unpow
615×pow-prod-up
572×distribute-rgt-neg-in
511×unpow2
498×+-commutative
486×associate-+l+
471×1-exp
458×associate-+r+
435×rec-exp
430×associate--l+
421×pow-sqr
361×rem-sqrt-square
285×pow-plus
266×div-sub tan-quot
238×distribute-lft-neg-in
221×cube-mult unpow3
212×pow-pow
204×cube-div
201×pow2
172×log-div
165×neg-sub0
136×associate--r+
132×exp-diff
123×cos-mult
122×associate-+l-
118×exp-sum
117×un-div-inv
100×rem-log-exp
98×exp-neg pow-flip
89×inv-pow
85×rem-exp-log
76×rem-cube-cbrt
75×neg-log
71×pow-sub
65×sub-div
64×associate--l-
62×sin-mult
60×distribute-rgt-out distribute-rgt-out--
58×neg-mul-1
52×tanh-def
47×associate-+r-
39×distribute-rgt-neg-out rem-cbrt-cube
37×sqrt-unprod
35×associate--r-
34×sinh-def
28×cos-sum
25×cosh-def sin-sum
24×unpow-prod-up unsub-neg
22×acos-asin
21×distribute-frac-neg
20×rem-square-sqrt
19×difference-cubes sin-diff
18×cos-diff sum-cubes
13×distribute-lft1-in sin-cos-mult pow-neg
12×distribute-lft-neg-out count-2
11×sqrt-undiv sqrt-pow2 pow3
10×distribute-rgt1-in
7×diff-cos exp-to-pow
6×distribute-neg-in unpow1/3 distribute-neg-frac
5×acos-neg sqr-cos
4×tan-sum asin-acos
3×difference-of-sqr-1
2×e-exp-1 mul-1-neg cos-2 remove-double-div sum-cos
1×div0 tanh-undef diff-sin mul0 log-rec diff-atan

localize20.5s (0.8%)

bsearch6.9s (0.3%)

end8.0ms (0.0%)

Profiling

Loading profile data...