Date:Thursday, June 25th, 2020
Commit:6ce91957 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020177
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.5min (37.5%)

Calls

464 calls:

859.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))))
835.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))
485.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))
460.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))
388.0ms
(/ (* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i)))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))

sample1.9min (28.9%)

Algorithm
98×intervals
Results
54.1s7985×body5120exit
23.4s356123×body80valid
8.2s15777×body1280valid
5.7s11073×body1280invalid
4.0s12342×body640valid
2.9s8481×body640invalid
1.5s86795×pre80true
1.3s6635×body320valid
1.1s17944×body80invalid
925.0ms4042×body320invalid
467.0ms3642×body160valid
424.0ms1463×body2560valid
306.0ms1956×body160invalid
203.0ms562×body5120valid
203.0ms2235×body80nan
75.0ms41×body2560invalid
0.0ms11×body80overflowed

prune59.0s (14.9%)

Filtered
16466 candidates to 10740 candidates (34.8%)

analyze29.0s (7.3%)

Algorithm
98×search
Search
TrueOtherFalseIter
0%87.7%12.3%0
0%87.7%12.3%1
6.3%79.2%14.5%2
16.8%68.2%15%3
21.9%61.2%16.9%4
31%51.5%17.5%5
33.8%47.1%19.1%6
38%40.1%21.8%7
41.5%35.9%22.6%8
44.7%31.7%23.6%9
48.3%27%24.7%10
51.3%23.2%25.5%11
53.3%20.7%26%12
56.6%16.5%26.9%13
60%12.8%27.2%14

simplify16.9s (4.3%)

Algorithm
254×egg-herbie

regimes12.9s (3.3%)

Accuracy

Total 89.3b remaining (33.9%)

Threshold costs 3.8b (1.4%)

11.1b55.9%math.log/2 on complex, real part
10.7b41.9%math.sqrt on complex, imaginary part, im greater than 0 branch
9.8b59.2%math.log10 on complex, real part
9.8b59.5%math.abs on complex
9.7b59.7%math.log/1 on complex, real part

rewrite6.5s (1.6%)

Algorithm
158×rewrite-expression-head
Calls

468 calls:

290.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)))
98.0ms
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))
69.0ms
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))))
61.0ms
(* (/ 1 (sqrt (exp wj))) (/ (/ x (+ wj 1)) (sqrt (exp wj))))
60.0ms
(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
Rules
6566×times-frac
6281×*-un-lft-identity
5608×add-sqr-sqrt
4118×add-cube-cbrt
2281×add-exp-log
1854×sqrt-prod
1753×add-cbrt-cube
1691×associate-*r*
1505×pow1
1072×associate-*l*
1022×associate-*r/
969×flip-+ flip3-+
900×distribute-lft-out
883×frac-times
785×prod-exp
740×add-log-exp
652×associate-/r/
646×associate-*l/
617×flip-- flip3--
488×associate-/l*
486×cbrt-unprod
471×div-exp
420×frac-add
417×associate-/r*
378×unswap-sqr
364×pow-prod-down
362×cbrt-prod
335×cbrt-undiv
326×cbrt-div
316×div-inv
314×unpow-prod-down
281×associate-/l/
276×difference-of-squares
268×frac-sub
260×sqrt-div
248×distribute-lft-out--
215×log-pow
200×sqrt-pow1
199×swap-sqr
153×pow-exp cube-prod
149×*-commutative
147×sqr-pow
139×log-prod
123×cube-div
112×pow1/2
105×distribute-rgt-in distribute-lft-in
100×pow-to-exp
98×pow-unpow
86×sub-neg
84×exp-neg
82×clear-num frac-2neg exp-diff
77×diff-log
75×sum-log
73×neg-sub0
62×pow1/3
61×rem-sqrt-square
56×exp-prod
53×1-exp
52×associate--l+ rec-exp
51×pow-prod-up pow-pow
44×+-commutative
39×pow-sqr
30×rem-cube-cbrt
27×cube-mult unpow3
26×exp-sum pow-plus
23×log-div
22×pow2
20×un-div-inv
16×div-sub
14×pow-flip
13×unpow2
12×rem-log-exp associate--r+
10×associate-+l+
9×associate--l- inv-pow sin-sum
8×associate-+r+
7×rem-exp-log
6×unpow-prod-up sqrt-unprod
5×cos-sum
4×associate-+l-
3×difference-cubes distribute-rgt-out rem-cbrt-cube
2×rem-square-sqrt sqrt-pow2 pow-sub
1×e-exp-1 distribute-lft1-in exp-to-pow count-2 associate--r- pow3 distribute-rgt1-in

bsearch6.1s (1.5%)

localize2.7s (0.7%)

end2.0ms (0.0%)

Profiling

Loading profile data...