Date:Friday, February 28th, 2020
Commit:6d7f8a61 on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020059
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

simplify6.9m (46.0%)

Algorithm
256×egg-herbie

rewrite3.0m (19.9%)

Algorithm
157×rewrite-expression-head
Calls

460 calls:

40.9s
(* (/ x (+ (* (+ (* (* (* x (* (pow (* x x) 3) (pow x 3))) (- (* 0.0008327945 0.0008327945) (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))))) (+ (* (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x))))) (- (* 1.0 1.0) (* (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)))) (* (- 0.0008327945 (* (* x x) (* 2.0 0.0001789971))) (+ (pow (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 3) (pow 1.0 3)))) (- 0.0694555761 (* (* x x) 0.0140005442))) (* (* (- 0.0008327945 (* (* x x) (* 2.0 0.0001789971))) (+ (* (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x))))) (- (* 1.0 1.0) (* (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)))) (* (pow x 6) (- (* 0.0694555761 0.0694555761) (* (* (* x x) 0.0140005442) (* (* x x) 0.0140005442))))))) (* (+ (+ (* (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)))) (* (- 0.0694555761 (* (* x x) 0.0140005442)) (* (+ (* 1.0 (- 1.0 (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))))) (* (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))))) (- 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))))))
1.1s
(+ (/ (/ (+ alpha beta) 1) (/ 1 (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)
365.0ms
(+ (/ (/ (+ alpha beta) 1) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) 1.0)
162.0ms
(* (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (sqrt (exp (- (+ (+ (- z 1.0) 7.0) 0.5))))) (sqrt (exp (- (+ (+ (- 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))))
160.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (sqrt (exp (- (+ (+ (- z 1.0) 7.0) 0.5))))) (* (sqrt (exp (- (+ (+ (- 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
1225139×associate-*r/
925769×frac-times
863310×frac-add
594987×flip3-- flip--
414268×flip-+ flip3-+
327265×associate-*l/
231140×associate-/r/
230973×associate-*l*
31967×times-frac
21662×*-un-lft-identity
16053×add-sqr-sqrt
12792×add-cube-cbrt
6149×add-exp-log
3439×distribute-lft-out
3193×add-cbrt-cube
2961×prod-exp
1926×div-exp
1916×sqrt-prod
1854×pow1
1329×cbrt-unprod
1266×difference-of-squares
1221×sqrt-div
1122×cbrt-prod
1069×associate-*r*
1063×div-inv
1062×distribute-lft-out--
819×associate-/r*
768×cbrt-undiv
679×add-log-exp
635×associate-/l*
566×pow-prod-down
557×unpow-prod-down
484×exp-neg
475×exp-diff
465×neg-sub0
374×associate-+l-
370×pow-sub
355×cube-prod
315×unswap-sqr
272×log-pow
221×1-exp
211×swap-sqr
203×cbrt-div
193×pow-exp
186×sqrt-pow1
164×distribute-rgt-in log-prod distribute-lft-in
162×pow-to-exp
155×*-commutative
144×pow1/2
117×associate-/l/
108×pow1/3
96×sqr-pow
92×rec-exp
86×pow-prod-up
79×sub-neg
77×clear-num frac-2neg
67×diff-log
65×pow-unpow
63×pow-sqr
62×rem-sqrt-square
55×sum-log
52×pow-plus
39×exp-prod
38×distribute-neg-frac
35×+-commutative
32×unpow3 cube-mult
30×pow-flip pow2
29×inv-pow
27×exp-sum
25×un-div-inv associate--l+ pow-pow
20×associate-+l+
18×cube-div
16×div-sub
15×log-div
12×associate-+r+ rem-log-exp
10×unpow2
9×associate--l- sqrt-unprod
8×rem-cube-cbrt
7×rem-cbrt-cube
6×distribute-rgt-neg-in rem-exp-log distribute-lft-neg-in distribute-neg-in associate--r+
5×distribute-rgt-out
4×unpow-prod-up frac-sub
3×pow3 sin-sum log-rec
2×associate-+r- rem-square-sqrt neg-mul-1
1×cos-sum sqrt-pow2 distribute-frac-neg associate--r- distribute-rgt-neg-out exp-to-pow

sample1.9m (12.4%)

Algorithm
99×intervals
Results
46.6s15580×body10240exit
18.8s451502×body80valid
14.3s30673×body1280valid
6.6s23385×body640valid
3.1s3119×body1280nan
2.5s69681×body80nan
2.1s11651×body320valid
1.7s2493×body640nan
1.2s10054×body160valid
659.0ms49536×pre80true
564.0ms1175×body320nan
379.0ms1544×body2560valid
214.0ms661×body160nan
151.0ms629×body5120valid

prune1.7m (11.6%)

series1.3m (8.8%)

Calls

460 calls:

4.6s
(/ (sqrt (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i)))) (- (sqrt (+ (+ alpha beta) (* 2.0 i))) (sqrt (sqrt 1.0))))
4.4s
(/ (sqrt (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i)))) (- (sqrt (+ (+ alpha beta) (* 2.0 i))) (sqrt (sqrt 1.0))))
4.2s
(/ (sqrt (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i)))) (+ (sqrt (+ (+ alpha beta) (* 2.0 i))) (sqrt (sqrt 1.0))))
3.4s
(pow (exp (* (cbrt (log (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (pow (+ 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)))))))) 3))) (exp (- (* (fabs x) (fabs x)))))))) (cbrt (log (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (pow (+ 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)))))))) 3))) (exp (- (* (fabs x) (fabs x)))))))))) (cbrt (log (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (pow (+ 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)))))))) 3))) (exp (- (* (fabs x) (fabs x)))))))))
2.2s
(* (/ (/ (* 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))))

regimes7.1s (0.8%)

Accuracy

Total 98.3b remaining (34%)

Threshold costs 4.7b (1.6%)

12.0b52.1%math.log/2 on complex, real part
11.6b57.5%math.sqrt on complex, real part
10.6b55.5%math.abs on complex
10.5b57.1%math.log10 on complex, real part
10.4b57.5%math.log/1 on complex, real part

localize2.6s (0.3%)

bsearch1.8s (0.2%)

end1.0ms (0.0%)