Date:Wednesday, June 3rd, 2020
Commit:eb226413 on ival-perf
Hostname:warfa with Racket 7.5
Seed:2020155
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

sample3.8m (40.9%)

Algorithm
99×intervals
Results
1.0m7777×body5120exit
59.2s505335×body80valid
27.6s30165×body1280valid
13.7s23338×body640valid
7.4s70454×body80nan
6.8s3143×body1280nan
4.6s12099×body320valid
4.1s2574×body640nan
2.7s10177×body160valid
1.8s49536×pre80true
1.4s1214×body320nan
1.4s8002×body80overflowed
804.0ms1437×body2560valid
477.0ms644×body160nan
331.0ms597×body5120valid

prune3.6m (38.8%)

Filtered
22217 candidates to 29164 candidates (-31.3%)

simplify40.8s (7.4%)

Algorithm
260×egg-herbie

series23.6s (4.3%)

Calls

484 calls:

3.6s
(pow (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 3)
741.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)))
707.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))))
704.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)))
497.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i)))) (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) 1.0))

regimes22.8s (4.1%)

Accuracy

Total 103.1b remaining (39%)

Threshold costs 3.1b (1.2%)

12.2b43.7%math.sqrt on complex, imaginary part, im greater than 0 branch
10.7b57.1%math.log10 on complex, real part
10.6b56.5%math.log/2 on complex, real part
10.5b57.5%math.log/1 on complex, real part
10.3b57%math.abs on complex

rewrite19.2s (3.5%)

Algorithm
161×rewrite-expression-head
Calls

484 calls:

1.3s
(* (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (* (+ (* (* (pow (* x x) 4) (- (* 0.0005064034 0.0005064034) (* (* (* x x) 0.0001789971) (* (* x x) 0.0001789971)))) (- 1.0 (* 0.1049934947 (* x x)))) (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- (* 1.0 1.0) (* (* 0.1049934947 (* x x)) (* 0.1049934947 (* x x)))))) (- 0.0424060604 (* (* x x) 0.0072644182))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (- (* 0.0424060604 0.0424060604) (* (* (* x x) 0.0072644182) (* (* x x) 0.0072644182))))))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (- 0.0424060604 (* (* x x) 0.0072644182))))
947.0ms
(* (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))))
805.0ms
(/ x (* (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (* (+ (* (* (pow (* x x) 4) (- (* 0.0005064034 0.0005064034) (* (* (* x x) 0.0001789971) (* (* x x) 0.0001789971)))) (- 1.0 (* 0.1049934947 (* x x)))) (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- (* 1.0 1.0) (* (* 0.1049934947 (* x x)) (* 0.1049934947 (* x x)))))) (- 0.0424060604 (* (* x x) 0.0072644182))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (- (* 0.0424060604 0.0424060604) (* (* (* x x) 0.0072644182) (* (* x x) 0.0072644182))))))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (- 0.0424060604 (* (* x x) 0.0072644182)))))
679.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (* (+ (* (* (pow (* x x) 4) (- (* 0.0005064034 0.0005064034) (* (* (* x x) 0.0001789971) (* (* x x) 0.0001789971)))) (- 1.0 (* 0.1049934947 (* x x)))) (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- (* 1.0 1.0) (* (* 0.1049934947 (* x x)) (* 0.1049934947 (* x x)))))) (- 0.0424060604 (* (* x x) 0.0072644182))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (- (* 0.0424060604 0.0424060604) (* (* (* x x) 0.0072644182) (* (* x x) 0.0072644182)))))))
512.0ms
(* (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (/ (+ (+ alpha beta) (* 2.0 1.0)) (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)))) (/ (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
Rules
29702×flip-- flip3--
29009×frac-times
23941×associate-*r/
21646×frac-add
14638×associate-*l/
11118×associate-/r/
9754×times-frac
8071×*-un-lft-identity
7603×add-sqr-sqrt
6849×associate-*l*
5450×add-cube-cbrt
3217×add-exp-log
3139×sqrt-prod
2735×add-cbrt-cube
2333×associate-*r*
1830×pow1
1230×prod-exp
1103×distribute-lft-out
1099×flip-+ flip3-+
974×cbrt-unprod
812×add-log-exp
788×div-exp
642×cbrt-undiv
519×unpow-prod-down
496×unswap-sqr
479×associate-/l*
442×cbrt-prod
396×associate-/r*
369×pow-prod-down
365×div-inv
342×difference-of-squares
327×sqrt-div
319×swap-sqr
267×log-pow
264×distribute-lft-out--
204×pow-prod-up
199×sqrt-pow1
197×associate-/l/
173×log-prod
170×sqr-pow
165×pow-plus
164×*-commutative
156×cube-prod
145×pow1/2
139×exp-prod
135×pow-exp
117×distribute-rgt-in distribute-lft-in
106×exp-neg
105×pow-sub
101×sub-neg
91×exp-diff
90×sum-log diff-log
82×pow-to-exp
80×clear-num frac-2neg
72×neg-sub0 pow-sqr
67×pow-unpow
65×rem-sqrt-square
62×cbrt-div
55×associate-+l-
52×+-commutative
48×pow2 1-exp
46×associate--l+
45×rec-exp
44×exp-sum
40×un-div-inv pow-pow
35×pow1/3
28×log-div
26×rem-exp-log
24×cube-div
22×associate-+l+
21×distribute-lft-neg-in distribute-rgt-neg-in cube-mult unpow3
17×div-sub
16×associate--l- frac-sub
15×associate-+r+
14×rem-cube-cbrt
12×rem-log-exp sin-sum neg-log
11×pow3
10×difference-of-sqr-1
9×unpow2
8×associate--r+
6×inv-pow pow-flip
5×rem-square-sqrt sqrt-unprod rem-cbrt-cube
4×difference-cubes neg-mul-1
3×distribute-neg-in
2×unpow-prod-up sum-cubes distribute-rgt-out--
1×cos-sum exp-to-pow associate--r-

localize4.9s (0.9%)

bsearch1.4s (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...