Date:	Monday, March 2nd, 2020
Commit:	957f66ec on more-ival-tests
Hostname:	warfa with Racket 7.5
Seed:	2020062
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

series3.6m (49.2%)

Calls

501 calls:

2.4m	(- (pow (pow 1.0 3) 3) (pow (* (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 (- (* (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 (- (* (fabs x) (fabs x))))) 3))) 3))
3.4s	(- (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 (- (* (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 (- (* (fabs x) (fabs x))))) 3))))
3.2s	(- (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 (- (* (fabs x) (fabs x))))) 3))
2.7s	(* (sqrt (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))) (* (sqrt (/ (/ (* 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)))))
2.4s	(* (/ (/ (* 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))))

sample2.1m (28.3%)

Algorithm

100×

intervals

Results

48.5s	15728×	body	10240	exit
27.5s	525194×	body	80	valid
15.2s	30507×	body	1280	valid
7.2s	23444×	body	640	valid
3.1s	3053×	body	1280	nan
2.8s	70487×	body	80	nan
2.4s	11744×	body	320	valid
1.9s	2547×	body	640	nan
1.3s	10158×	body	160	valid
695.0ms	49536×	pre	80	true
652.0ms	1216×	body	320	nan
385.0ms	1465×	body	2560	valid
233.0ms	647×	body	160	nan
170.0ms	616×	body	5120	valid

prune1.1m (15.0%)

simplify14.1s (3.2%)

Algorithm

260×	egg-herbie

regimes7.6s (1.7%)

Accuracy

Total 90.8b remaining (33.1%)

Threshold costs 3.8b (1.4%)

10.5b	57.1%	math.log10 on complex, real part
10.5b	63.5%	math.sqrt on complex, real part
10.3b	57.7%	math.log/1 on complex, real part
10.3b	58.6%	math.log/2 on complex, real part
10.2b	57.1%	math.abs on complex

rewrite7.0s (1.6%)

Algorithm

160×	rewrite-expression-head

Calls

501 calls:

258.0ms	(* (sqrt (/ (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (/ (sqrt (/ (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
155.0ms	(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ z 0))) (/ -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)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
143.0ms	(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ z 0))) (/ -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 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ z 0))) (/ -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))))
136.0ms	(/ (pow (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ z 0))) (/ -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)))) 1) (exp (+ (+ (- z 1.0) 7.0) 0.5)))

Rules

7467×	`times-frac`
6922×	`*-un-lft-identity`
6072×	`add-sqr-sqrt`
4629×	`add-cube-cbrt`
3310×	`add-exp-log`
2221×	`sqrt-prod`
2004×	`add-cbrt-cube`
1756×	`associate-r`
1544×	`pow1`
1346×	`prod-exp`
1085×	`flip-+` `flip3-+`
1063×	`associate-l`
974×	`distribute-lft-out`
927×	`div-exp`
922×	`frac-times`
864×	`associate-*r/`
835×	`sqrt-div`
785×	`add-log-exp`
674×	`cbrt-unprod`
645×	`unpow-prod-down`
594×	`associate-/l*`
533×	`associate-/r/`
513×	`cbrt-div`
512×	`frac-add`
491×	`cbrt-prod`
479×	`associate-*l/`
414×	`pow-prod-down`
397×	`associate-/r*`
370×	`pow-exp`
349×	`unswap-sqr`
336×	`div-inv`
332×	`cbrt-undiv`
313×	`difference-of-squares`
295×	`pow-to-exp`
282×	`cube-prod`
234×	`sqr-pow`
221×	`distribute-lft-out--`
217×	`flip3--` `flip--`
210×	`log-pow`
192×	`associate-/l/`
189×	`log-prod`
159×	`*-commutative`
152×	`swap-sqr`
125×	`cube-div`
123×	`sqrt-pow1`
112×	`distribute-rgt-in` `distribute-lft-in`
110×	`pow-unpow`
107×	`1-exp`
97×	`exp-diff`
96×	`pow1/2`
87×	`clear-num` `frac-2neg`
84×	`exp-neg`
83×	`sub-neg`
78×	`sum-log` `diff-log`
72×	`rem-sqrt-square` `neg-sub0`
69×	`exp-prod`
67×	`pow1/3`
64×	`pow-sub`
63×	`unpow3` `cube-mult` `associate-+l-`
53×	`exp-sum`
52×	`log-div`
49×	`+-commutative`
47×	`pow-pow`
39×	`rem-cube-cbrt`
33×	`rec-exp`
32×	`associate--l+`
22×	`pow-prod-up` `pow-sqr`
21×	`unpow-prod-up`
16×	`associate-+l+` `un-div-inv` `associate-+r+` `pow-plus` `pow2` `div-sub`
12×	`associate--l-`
11×	`rem-exp-log` `rem-log-exp`
10×	`unpow2` `frac-sub`
9×	`distribute-rgt-neg-in` `distribute-lft-neg-in`
6×	`inv-pow` `distribute-neg-in` `pow-flip` `distribute-neg-frac` `associate--r+`
5×	`sum-cubes` `rem-cbrt-cube`
4×	`sin-sum`
3×	`cos-sum` `difference-cubes` `exp-lft-sqr` `neg-mul-1` `distribute-rgt-neg-out`
2×	`sqrt-undiv` `exp-to-pow`
1×	`sqrt-unprod` `associate-+r-` `associate--r-`

Details

series3.6m (49.2%)

sample2.1m (28.3%)

prune1.1m (15.0%)

simplify14.1s (3.2%)

regimes7.6s (1.7%)

rewrite7.0s (1.6%)

localize3.0s (0.7%)

bsearch1.8s (0.4%)

end1.0ms (0.0%)