Date:Sunday, May 31st, 2020
Commit:d643102f on ival-performance
Hostname:warfa with Racket 7.5
Seed:2020152
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

prune3.1m (47.1%)

Filtered
17771 candidates to 23588 candidates (-32.7%)

sample2.3m (35.9%)

Algorithm
99×intervals
Results
47.6s7821×body5120exit
28.3s458598×body80valid
16.8s30410×body1280valid
7.9s22986×body640valid
5.1s3109×body1280nan
3.7s70801×body80nan
3.0s2492×body640nan
2.8s11896×body320valid
1.9s10410×body160valid
1.1s1257×body320nan
1.0s7970×body80overflowed
877.0ms49536×pre80true
461.0ms1462×body2560valid
383.0ms679×body160nan
188.0ms558×body5120valid

simplify27.4s (7.0%)

Algorithm
253×egg-herbie

series13.2s (3.4%)

Calls

481 calls:

1.3s
(pow (exp (* (cbrt (log (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* 1.0 (/ (- (+ (* 1.421413741 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0))) (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)))) (+ 0.284496736 (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))))) (+ (* 0.3275911 (fabs x)) 1.0))))) (exp (neg (* (fabs x) (fabs x)))))))) (cbrt (log (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* 1.0 (/ (- (+ (* 1.421413741 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0))) (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)))) (+ 0.284496736 (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))))) (+ (* 0.3275911 (fabs x)) 1.0))))) (exp (neg (* (fabs x) (fabs x)))))))))) (cbrt (log (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* 1.0 (/ (- (+ (* 1.421413741 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0))) (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)))) (+ 0.284496736 (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))))) (+ (* 0.3275911 (fabs x)) 1.0))))) (exp (neg (* (fabs x) (fabs x)))))))))
308.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))
221.0ms
(pow (+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0) 3)
200.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* 1.0 (/ (- (+ (* 1.421413741 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0))) (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)))) (+ 0.284496736 (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))))) (+ (* 0.3275911 (fabs x)) 1.0))))) (exp (neg (* (fabs x) (fabs x))))))
199.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* 1.0 (/ (- (+ (* 1.421413741 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0))) (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)))) (+ 0.284496736 (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))))) (+ (* 0.3275911 (fabs x)) 1.0))))) (exp (neg (* (fabs x) (fabs x))))))

regimes12.9s (3.3%)

Accuracy

Total 92.5b remaining (32.2%)

Threshold costs 2.8b (1%)

11.0b55.6%math.log/2 on complex, real part
11.0b49.3%math.sqrt on complex, real part
10.6b57.3%math.log10 on complex, real part
10.3b58.1%math.log/1 on complex, real part
10.0b57.9%math.abs on complex

rewrite8.6s (2.2%)

Algorithm
154×rewrite-expression-head
Calls

481 calls:

303.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)))) (* (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))) (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))) (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))))
177.0ms
(/ (- (* x.im y.re) (* x.re y.im)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
154.0ms
(/ (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (neg (+ (+ (- z 1.0) 7.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)))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)))
144.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.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))))
142.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (neg (+ (+ (- z 1.0) 7.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))))
Rules
20804×frac-add
20405×associate-*r/
17160×flip-+ flip3-+
16252×times-frac
13781×cbrt-div
9243×*-un-lft-identity
8696×add-sqr-sqrt
7691×associate-/r/
7390×add-cube-cbrt
6961×frac-times
3948×cbrt-prod
3541×add-exp-log
2575×add-cbrt-cube
1816×associate-/r*
1667×pow1
1507×prod-exp
1307×sqrt-prod
1226×associate-*r*
1003×cbrt-unprod
965×associate-*l*
895×div-exp
880×associate-*l/
819×add-log-exp
777×distribute-lft-out
645×associate-/l*
558×cbrt-undiv
359×pow-prod-down
308×div-inv
301×log-pow
294×unswap-sqr
270×distribute-lft-out--
266×log-prod
265×swap-sqr
255×difference-of-squares
248×unpow-prod-down
233×flip-- flip3--
232×sqrt-pow1
206×sqrt-div
188×exp-prod
185×associate-/l/
174×exp-neg
140×*-commutative
134×exp-sum
126×cube-prod
121×exp-diff
115×pow1/2
114×pow-exp sum-log
110×pow-sub
107×neg-sub0
96×pow-to-exp pow1/3 pow-prod-up
86×sqr-pow
82×pow-unpow
79×clear-num frac-2neg
78×diff-log
77×pow-plus
75×un-div-inv
73×rem-sqrt-square
72×sub-neg
62×distribute-rgt-in distribute-lft-in
59×associate-+l-
55×pow-sqr
52×pow-pow
48×+-commutative
45×1-exp
44×rec-exp
40×pow2
38×log-div
28×associate--l+ rem-exp-log
26×associate-+r+
24×distribute-lft-neg-in distribute-rgt-neg-in
22×div-sub cube-mult unpow3
18×associate-+l+
16×cube-div neg-log
15×rem-log-exp
10×unpow-prod-up inv-pow pow-flip
9×associate--l- sin-sum
8×unpow2
7×pow3 rem-cube-cbrt
6×associate--r+
4×distribute-neg-in frac-sub neg-mul-1 rem-cbrt-cube
3×cos-sum associate-+r- log-rec
2×exp-to-pow
1×e-exp-1 sqrt-undiv rem-square-sqrt sqrt-pow2 sqrt-unprod unsub-neg sum-cubes

localize2.8s (0.7%)

bsearch1.1s (0.3%)

end1.0ms (0.0%)

Profiling

Loading profile data...