Date:Saturday, February 29th, 2020
Commit:c75aaa3c on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020060
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

sample1.9m (41.8%)

Algorithm
100×intervals
Results
48.3s16237×body10240exit
19.0s450382×body80valid
14.3s30560×body1280valid
6.7s23723×body640valid
3.1s3102×body1280nan
2.5s69403×body80nan
2.2s12140×body320valid
1.8s2710×body640nan
1.2s10169×body160valid
697.0ms49536×pre80true
635.0ms1319×body320nan
356.0ms1478×body2560valid
199.0ms650×body160nan
136.0ms568×body5120valid

series1.1m (23.8%)

Calls

494 calls:

2.4s
(* (/ (/ i 1) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))) (* (/ (/ (+ (+ alpha beta) i) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ 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)))))
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))))
1.3s
(- (pow (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) 3) (pow (* d1 d1) 3))
842.0ms
(- (+ 1.0 (+ (* 0.284496736 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) (* 1.453152027 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 4))))) (+ (* 1.061405429 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 5))) (+ (* 1.421413741 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 3))) (* 0.254829592 (/ (exp (- (pow (fabs x) 2))) (+ (* 0.3275911 (fabs x)) 1.0))))))
840.0ms
(log (exp (- (+ 1.0 (+ (* 0.284496736 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) (* 1.453152027 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 4))))) (+ (* 1.061405429 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 5))) (+ (* 1.421413741 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 3))) (* 0.254829592 (/ (exp (- (pow (fabs x) 2))) (+ (* 0.3275911 (fabs x)) 1.0))))))))

prune59.2s (21.7%)

simplify14.1s (5.2%)

Algorithm
262×egg-herbie

rewrite8.2s (3.0%)

Algorithm
162×rewrite-expression-head
Calls

494 calls:

284.0ms
(* (/ (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.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)) 1.0))))
277.0ms
(* (+ alpha beta) (/ (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))
272.0ms
(* (+ alpha beta) (/ (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))
184.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
180.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
Rules
13540×times-frac
11607×*-un-lft-identity
8935×add-sqr-sqrt
6801×add-cube-cbrt
4123×sqrt-prod
3470×associate-*r*
2968×add-exp-log
2431×add-cbrt-cube
2052×distribute-lft-out
1822×pow1
1187×prod-exp
1183×associate-*l*
954×cbrt-unprod
929×add-log-exp
760×associate-/r/
708×flip-+ flip3-+
694×pow-prod-down
692×difference-of-squares
629×associate-/l*
607×div-exp
605×unpow-prod-down
565×distribute-lft-out--
492×associate-/r*
484×div-inv
423×associate-*r/
421×cbrt-undiv
416×frac-add
414×cbrt-prod
326×unswap-sqr
266×frac-times
223×sqr-pow
214×cube-prod
204×sqrt-div
196×log-pow
185×associate-*l/
176×associate-/l/
174×cbrt-div
156×pow-unpow
144×*-commutative
141×flip3-- flip--
139×sum-log
123×swap-sqr diff-log
116×pow-exp
114×log-prod
99×pow-to-exp
98×clear-num frac-2neg
97×sqrt-pow1
86×sub-neg
83×pow1/2
69×distribute-rgt-in distribute-lft-in
58×pow1/3
56×1-exp
54×associate-+l-
52×pow-pow
51×+-commutative exp-prod
46×frac-sub
45×rem-sqrt-square rec-exp
40×pow-sub
38×un-div-inv
37×associate--l+
35×exp-sum
34×unpow3 cube-mult
30×exp-diff pow-prod-up pow-sqr
28×unpow2
25×cube-div
23×associate-+l+
20×div-sub distribute-neg-frac
19×rem-cube-cbrt pow-plus
18×distribute-rgt-neg-in distribute-lft-neg-in log-div
17×pow2
15×pow-flip exp-neg
13×neg-sub0 associate--l-
12×inv-pow
11×associate--r+ rem-log-exp
9×sin-sum
8×cos-sum
7×rem-exp-log associate-+r+
6×distribute-neg-in neg-mul-1
5×difference-cubes sum-cubes
4×distribute-rgt-out-- unpow-prod-up rem-cbrt-cube exp-to-pow
3×sqrt-pow2 distribute-rgt-neg-out
2×associate-+r-
1×cube-unmult sub-div distribute-frac-neg log-rec associate--r- mul-1-neg

regimes7.2s (2.6%)

Accuracy

Total 119.2b remaining (48.2%)

Threshold costs 4.8b (1.9%)

18.8b42.2%math.sqrt on complex, imaginary part, im greater than 0 branch
17.8b43.5%math.abs on complex
12.1b59.1%math.sqrt on complex, real part
11.2b55.5%math.log10 on complex, real part
11.0b56.3%math.log/1 on complex, real part

localize2.7s (1.0%)

bsearch2.3s (0.9%)

end1.0ms (0.0%)