Date:	Friday, May 8th, 2020
Commit:	4abb449a on separate-biginterval
Hostname:	warfa with Racket 7.5
Seed:	2020129
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

sample2.1m (38.7%)

Algorithm

100×

intervals

Results

45.4s	7826×	body	5120	exit
23.5s	454099×	body	80	valid
16.6s	31021×	body	1280	valid
7.9s	23538×	body	640	valid
4.3s	3206×	body	1280	nan
3.3s	69418×	body	80	nan
2.6s	11797×	body	320	valid
2.5s	2568×	body	640	nan
1.4s	10175×	body	160	valid
924.0ms	8270×	body	80	overflowed
894.0ms	1309×	body	320	nan
869.0ms	49536×	pre	80	true
447.0ms	1418×	body	2560	valid
285.0ms	647×	body	160	nan
209.0ms	615×	body	5120	valid

series1.5m (28.3%)

Calls

508 calls:

20.4s	(- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (- (* 0.254829592 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))))))) (* (/ 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))))))))) (- 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 (neg (* (fabs x) (fabs x))))) 3))
5.1s	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (- (* 0.254829592 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))))))) (* (/ 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))))))))) (- 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 (neg (* (fabs x) (fabs x))))))
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)))
2.3s	(/ (* (/ (/ (* 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.3s	(* (/ (/ (* 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))))

prune1.2m (21.8%)

Filtered: 20961 candidates to 12919 candidates (61.6%)

simplify16.8s (5.2%)

Algorithm

265×	egg-herbie

rewrite7.4s (2.3%)

Algorithm

165×	rewrite-expression-head

Calls

508 calls:

265.0ms	(* (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.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)))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
166.0ms	(/ (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (+ (+ alpha beta) (* 2.0 1.0)))) (sqrt (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))
156.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))))
150.0ms	(* (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI)) (* (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)))))
149.0ms	(* (* (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI)) (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

16495×	`times-frac`
12578×	`*-un-lft-identity`
9317×	`add-sqr-sqrt`
8045×	`add-cube-cbrt`
4701×	`sqrt-prod`
3164×	`add-exp-log`
2833×	`add-cbrt-cube`
2258×	`frac-add`
2234×	`distribute-lft-out`
1967×	`pow1`
1565×	`associate-r`
1430×	`flip-+` `flip3-+`
1356×	`associate-*r/`
1197×	`prod-exp`
1112×	`frac-times`
1100×	`associate-/l*`
1043×	`associate-l`
1035×	`cbrt-unprod`
1004×	`associate-/r/`
842×	`add-log-exp`
753×	`div-exp`
655×	`sqrt-div`
647×	`cbrt-undiv` `associate-*l/`
453×	`pow-prod-down`
447×	`div-inv`
404×	`exp-neg`
401×	`associate-/r*`
332×	`cbrt-prod`
331×	`swap-sqr`
322×	`unswap-sqr`
272×	`unpow-prod-down`
261×	`associate-/l/`
246×	`flip3--` `flip--`
228×	`log-pow`
220×	`pow-prod-up`
208×	`mul-1-neg`
195×	`cube-prod`
193×	`difference-of-squares`
185×	`pow-plus`
171×	`exp-diff` `exp-prod`
161×	`neg-sub0`
160×	`cbrt-div` `*-commutative`
153×	`sqrt-pow1`
148×	`distribute-lft-out--`
147×	`un-div-inv`
114×	`pow1/2`
110×	`log-prod`
107×	`sub-neg`
102×	`diff-log`
99×	`distribute-rgt-in` `distribute-lft-in`
95×	`pow-unpow`
89×	`frac-2neg` `clear-num`
87×	`sqr-pow` `pow-sqr`
82×	`sum-log`
74×	`pow1/3`
69×	`frac-sub`
67×	`pow-exp`
66×	`rem-sqrt-square`
58×	`pow2`
55×	`associate-+l-`
53×	`pow-sub`
49×	`+-commutative`
48×	`pow-pow`
45×	`pow-to-exp`
42×	`associate--l+`
31×	`rec-exp` `1-exp`
25×	`exp-sum`
24×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
23×	`rem-exp-log`
21×	`cube-div`
20×	`associate-+l+`
18×	`unpow3` `cube-mult` `log-div`
16×	`rem-cube-cbrt` `associate--l-` `div-sub`
15×	`sum-cubes`
13×	`pow3`
12×	`associate-+r+` `neg-log` `associate--r+`
9×	`rem-log-exp`
6×	`sin-sum` `distribute-rgt-out--` `distribute-rgt-out`
5×	`distribute-rgt1-in` `neg-mul-1`
4×	`inv-pow` `distribute-neg-in` `pow-flip`
3×	`cos-sum` `sqrt-unprod` `distribute-lft-neg-out`
2×	`difference-cubes` `unpow-prod-up` `rem-square-sqrt` `sqrt-undiv` `associate--r-` `rem-cbrt-cube`
1×	`sqrt-pow2` `sub-div` `unsub-neg` `unpow2`

regimes7.1s (2.2%)

Accuracy

Total 100.4b remaining (38.7%)

Threshold costs 4.5b (1.7%)

10.8b	54.7%	math.abs on complex
10.7b	56.5%	math.log10 on complex, real part
10.7b	56.5%	math.log/1 on complex, real part
10.4b	54.4%	math.sqrt on complex, real part
10.3b	58.6%	math.log/2 on complex, real part

Details

sample2.1m (38.7%)

series1.5m (28.3%)

prune1.2m (21.8%)

simplify16.8s (5.2%)

rewrite7.4s (2.3%)

regimes7.1s (2.2%)

localize2.8s (0.9%)

bsearch1.8s (0.5%)

end2.0ms (0.0%)

Profiling