Date:Friday, June 19th, 2020
Commit:f6142ecc on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020171
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

series2.4min (39.0%)

Calls

470 calls:

2.2min
(- (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))
824.0ms
(- (pow 1.0 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)) (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))))
816.0ms
(- (pow 1.0 3) (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))
464.0ms
(* (* (* (/ 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))))) (+ (* (* (/ 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))))) 1.0))
461.0ms
(* (* (* (/ 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))))) (+ (* (* (/ 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))))) 1.0))

sample1.7min (27.6%)

Algorithm
98×intervals
Results
48.0s7928×body5120exit
21.1s356350×body80valid
7.3s15527×body1280valid
5.4s11226×body1280invalid
3.3s12401×body640valid
2.6s8376×body640invalid
1.4s86788×pre80true
1.1s18023×body80invalid
1.1s6623×body320valid
812.0ms3901×body320invalid
419.0ms3606×body160valid
415.0ms1457×body2560valid
268.0ms1908×body160invalid
200.0ms580×body5120valid
198.0ms2287×body80nan
72.0ms43×body2560invalid
0.0ms14×body80overflowed

prune53.5s (14.4%)

Filtered
17573 candidates to 10942 candidates (37.7%)

analyze25.9s (7.0%)

Algorithm
98×search

simplify15.7s (4.2%)

Algorithm
256×egg-herbie

regimes12.6s (3.4%)

Accuracy

Total 83.3b remaining (32.4%)

Threshold costs 3.2b (1.3%)

11.0b54.4%math.log/2 on complex, real part
10.2b58.2%math.log10 on complex, real part
10.0b58.8%math.log/1 on complex, real part
9.8b49.5%math.sqrt on complex, imaginary part, im greater than 0 branch
9.7b59%math.abs on complex

bsearch6.9s (1.9%)

rewrite6.9s (1.9%)

Algorithm
159×rewrite-expression-head
Calls

470 calls:

548.0ms
(* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
544.0ms
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
236.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)))
112.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2.0 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)
111.0ms
(* (/ (+ alpha beta) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))
Rules
9272×times-frac
8367×*-un-lft-identity
6803×add-sqr-sqrt
5088×add-cube-cbrt
2911×add-exp-log
2472×add-cbrt-cube
2433×sqrt-prod
2269×pow1
1596×associate-*r*
1377×prod-exp
1323×distribute-lft-out
1130×cbrt-unprod
985×pow-prod-down
924×associate-*l*
783×flip-+ flip3-+
730×add-log-exp
706×associate-/l*
699×associate-/r/
584×associate-*r/
471×frac-times
463×difference-of-squares
435×div-exp
416×associate-/r*
408×distribute-lft-out--
376×div-inv
356×cbrt-prod
344×cbrt-div
316×cbrt-undiv
311×sqrt-div
296×flip-- flip3-- unswap-sqr
281×unpow-prod-down
270×frac-add
245×associate-*l/
222×log-pow
184×log-prod
175×cube-prod
168×sqrt-pow1
139×sqr-pow
138×*-commutative
131×cube-div
127×pow-exp
126×associate-/l/
123×pow1/2
120×swap-sqr
110×pow-unpow
86×exp-diff
84×exp-neg
83×pow1/3
82×clear-num frac-2neg
76×pow-to-exp
73×diff-log
72×neg-sub0 sum-log
70×rem-sqrt-square sub-neg
69×distribute-rgt-in distribute-lft-in pow-prod-up
61×1-exp
59×exp-sum
55×pow-pow
52×rec-exp
46×+-commutative exp-prod
43×pow-sqr
40×pow-plus rem-cube-cbrt
31×cube-mult associate--l+ unpow3
24×pow2 un-div-inv
20×log-div div-sub
17×associate-+l+
15×rem-log-exp
13×associate--l-
10×associate-+r+
9×pow-flip
7×difference-cubes inv-pow rem-exp-log
6×sin-sum
5×sqrt-unprod sum-cubes rem-cbrt-cube
4×cos-sum frac-sub pow3 associate-+l- associate--r+ unpow2
3×rem-square-sqrt
2×associate-+r- exp-to-pow

localize2.4s (0.7%)

end2.0ms (0.0%)

Profiling

Loading profile data...