Date:Friday, June 12th, 2020
Commit:9c248b13 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020164
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

sample33.1min (63.3%)

Algorithm
951×intervals
Results
2.4min3263396×body80valid
2.4min22113×body5120exit
2.2min237020×body1280valid
54.2s168812×body640valid
34.0s41492×body2560valid
30.9s311041×body80invalid
19.7s99139×body320valid
18.9s7897×body1280overflowed
10.2s81781×body160valid
9.8s21871×body1280invalid
9.2s407457×pre80true
9.1s111133×body80nan
8.9s6657×body640overflowed
5.7s19429×body640invalid
3.8s8035×body1280nan
3.5s704×body5120invalid
3.5s1389×body2560invalid
3.0s4281×body5120valid
2.9s14468×body80overflowed
2.6s3360×body320overflowed
2.4s6443×body640nan
2.0s10029×body320invalid
850.0ms3300×body320nan
732.0ms5495×body160invalid
719.0ms1663×body160overflowed
586.0ms3028×body2560nan
202.0ms1359×body160nan
92.0ms138×body2560overflowed
5.0ms166×pre80false
sampling

Space saved by range analysis: 7.565251%

Space saved by search: 23.921114%

Guaranteed chance to sample good point: 77.93043%

prune8.1min (15.4%)

Filtered
171592 candidates to 109419 candidates (36.2%)

series4.3min (8.3%)

Calls

4805 calls:

2.1min
(- (pow (pow 1.0 3) 3) (pow (* (sqrt (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))) 3)) (sqrt (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))) 3))) 3))
2.1s
(cbrt (* (/ (- y z) (- a z)) (- t x)))
2.0s
(cbrt (* (/ (- y z) (- a z)) (- t x)))
2.0s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
2.0s
(cbrt (* (/ (- y z) (- a z)) (- t x)))

regimes2.8min (5.3%)

Accuracy

Total 462.0b remaining (30.2%)

Threshold costs 52.7b (3.4%)

19.1b18%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.9b41%math.sqrt on complex, imaginary part, im greater than 0 branch
12.6b23.9%Octave 3.8, jcobi/4
11.8b62.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.7b57%math.log/2 on complex, real part

simplify2.7min (5.1%)

Algorithm
2538×egg-herbie

rewrite49.4s (1.6%)

Algorithm
1591×rewrite-expression-head
Calls

4805 calls:

329.0ms
(* (/ (cbrt (- x 2.0)) (/ (* (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (cbrt (- x 2.0)))) (/ (cbrt (- x 2.0)) (/ (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))))
284.0ms
(* (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (/ (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
212.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
200.0ms
(- (/ (/ x (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (/ (+ x 1.0) (- x 1.0)))
153.0ms
(* (/ (sqrt 1/2) (sqrt (log 10.0))) (/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))))
Rules
65526×times-frac
62139×*-un-lft-identity
60757×add-sqr-sqrt
50291×add-exp-log
40818×add-cube-cbrt
25944×prod-exp
18793×frac-times
17940×add-cbrt-cube
17687×cbrt-div
15548×associate-*l/
13770×div-exp
12924×associate-*r*
12727×pow1
12155×flip--
12154×flip3--
11307×sqrt-prod
10115×associate-*r/
9521×cbrt-prod
8541×pow-exp
7790×add-log-exp
7710×associate-*l*
6474×difference-of-squares
6460×unpow-prod-down
6429×flip-+
6428×flip3-+
5829×associate-/r*
5702×distribute-lft-out--
5541×cbrt-unprod
5287×distribute-lft-out
4600×associate-/l*
4152×pow-to-exp
4131×frac-sub
3552×cbrt-undiv
3400×associate-/r/
3350×div-inv
3320×pow-prod-down
3066×sqrt-div
2807×unswap-sqr
2332×cube-prod
2240×frac-add
2119×log-prod
1639×distribute-rgt-in distribute-lft-in
1576×sqr-pow
1392×*-commutative
1386×swap-sqr
1368×associate-/l/
1333×pow1/3
1321×1-exp
1191×sqrt-pow1
1179×sub-neg
1097×log-pow
983×clear-num frac-2neg
913×sum-log
811×rec-exp
751×distribute-rgt-neg-in diff-log
678×pow1/2
622×pow-unpow
594×exp-prod
501×pow-prod-up
485×+-commutative
463×associate-+l+
453×unpow2
410×associate-+r+
381×pow-sqr
380×rem-sqrt-square
376×distribute-lft-neg-in
375×associate--l+
307×div-sub
295×exp-diff
286×cube-div
276×log-div
267×exp-sum
266×neg-sub0
250×tan-quot
249×cube-mult unpow3
228×exp-neg
227×pow-pow
202×pow-plus
174×pow2
147×pow-flip
146×distribute-neg-frac
136×un-div-inv
133×associate--r+
116×inv-pow
112×rem-log-exp
104×neg-mul-1
91×rem-cube-cbrt
75×associate--l-
70×associate-+l-
63×tanh-def pow-sub
58×associate-+r-
57×neg-log
54×distribute-rgt-out rem-cbrt-cube sin-mult
52×cos-mult
50×sub-div
48×distribute-rgt-neg-out
47×distribute-rgt-out--
45×rem-exp-log
36×cos-sum sinh-def unsub-neg
32×sum-cubes
31×cos-diff
29×sqrt-unprod
25×cosh-def
22×associate--r-
21×diff-cos
20×distribute-frac-neg
19×distribute-lft-neg-out rem-square-sqrt exp-to-pow
18×sin-diff
15×sin-sum difference-of-sqr-1
14×difference-cubes pow-neg
13×acos-asin log-rec
12×distribute-lft1-in
11×sin-cos-mult
10×distribute-rgt1-in
9×count-2 asin-acos
7×unpow1/3 pow3
6×distribute-neg-in
5×acos-neg
4×tan-sum
3×unpow-prod-up sqrt-pow2
2×cube-neg sqrt-undiv distribute-neg-out
1×tanh-undef diff-sin mul0 diff-atan

localize19.9s (0.6%)

bsearch10.8s (0.3%)

end8.0ms (0.0%)

Profiling

Loading profile data...