Date:	Tuesday, March 3rd, 2020
Commit:	ee6b458f on refactor-and-minor
Hostname:	warfa with Racket 7.5
Seed:	2020063
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

series11.0m (73.0%)

Calls

495 calls:

20.3s	(- (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)))))))))) (exp (- (* (fabs x) (fabs x))))) 3) (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)))
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.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))))
2.2s	(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (sqrt (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))))
1.5s	(* (* (* (/ 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))))) (+ (* (* (/ 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))))) 1.0))

sample1.9m (12.7%)

Algorithm

99×

intervals

Results

47.3s	16209×	body	10240	exit
19.8s	456674×	body	80	valid
14.8s	30843×	body	1280	valid
6.7s	23564×	body	640	valid
2.9s	3108×	body	1280	nan
2.5s	67977×	body	80	nan
2.3s	12037×	body	320	valid
1.8s	2617×	body	640	nan
776.0ms	6274×	body	160	valid
673.0ms	49536×	pre	80	true
598.0ms	1273×	body	320	nan
372.0ms	1503×	body	2560	valid
206.0ms	646×	body	160	nan
167.0ms	619×	body	5120	valid

prune1.5m (10.0%)

Filtered: 26318 candidates to 15583 candidates (59.2%)

simplify17.9s (2.0%)

Algorithm

259×	egg-herbie

rewrite9.2s (1.0%)

Algorithm

161×	rewrite-expression-head

Calls

499 calls:

219.0ms	(- (pow (pow 1.0 3) 3) (pow (/ (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)))))))))) (exp (- (* (fabs x) (fabs x))))) 3) (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)) 3))
176.0ms	(/ (/ 1 (/ (sqrt (+ (+ alpha beta) (* 2.0 1.0))) (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))))) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
160.0ms	(/ (/ 1 (/ (sqrt (+ (+ alpha beta) (* 2.0 1.0))) (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) 1))) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
160.0ms	(- (+ (/ (/ x (+ (pow wj 3) (pow 1 3))) (/ (exp wj) (+ (* wj wj) (- 1 (* wj 1))))) wj) (/ wj (+ wj 1)))
154.0ms	(/ (* (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (* 1 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))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0) (exp (+ (+ (- z 1.0) 7.0) 0.5))))

Rules

39551×	`times-frac`
23899×	`*-un-lft-identity`
19091×	`add-sqr-sqrt`
17192×	`add-cube-cbrt`
13676×	`sqrt-prod`
3243×	`distribute-lft-out`
2423×	`add-exp-log`
1996×	`pow1`
1994×	`add-cbrt-cube`
1636×	`associate-/l*`
1591×	`associate-r`
1254×	`associate-l`
1121×	`flip-+` `flip3-+`
1040×	`frac-add`
995×	`associate-/r/`
845×	`prod-exp`
813×	`frac-times`
790×	`div-inv`
769×	`add-log-exp`
695×	`unpow-prod-down`
658×	`associate-*r/`
633×	`cbrt-unprod`
556×	`difference-of-squares`
526×	`div-exp`
507×	`cube-prod`
474×	`associate-*l/`
445×	`pow-prod-down`
434×	`associate-/r*`
429×	`cbrt-prod`
369×	`cbrt-undiv`
317×	`sqrt-div`
306×	`sqr-pow`
302×	`unswap-sqr`
293×	`log-pow`
291×	`cbrt-div`
252×	`swap-sqr`
242×	`distribute-lft-out--`
207×	`log-prod`
166×	`sqrt-pow1`
161×	`*-commutative`
157×	`pow-prod-up`
155×	`associate-/l/`
133×	`exp-neg`
129×	`exp-diff`
121×	`associate-+l-`
117×	`pow1/2`
110×	`pow-sub` `pow1/3`
109×	`pow-sqr`
106×	`distribute-rgt-in` `distribute-lft-in`
99×	`flip3--` `flip--`
95×	`neg-sub0`
92×	`pow-exp`
89×	`pow-plus`
79×	`sum-log`
78×	`pow-unpow` `clear-num` `frac-2neg`
71×	`pow-to-exp`
70×	`diff-log`
69×	`rem-sqrt-square`
65×	`sub-neg`
63×	`pow2`
62×	`cube-mult`
60×	`exp-prod`
58×	`distribute-neg-frac`
55×	`frac-sub`
50×	`pow-pow` `1-exp`
48×	`+-commutative` `sum-cubes`
41×	`associate-+l+` `un-div-inv` `log-div`
40×	`rec-exp`
38×	`exp-sum`
28×	`associate-+r+`
25×	`cube-div` `associate--l+`
17×	`div-sub`
16×	`distribute-rgt-neg-in` `distribute-lft-neg-in`
15×	`rem-log-exp`
14×	`unpow3` `associate--r+`
11×	`rem-cube-cbrt` `rem-exp-log` `sin-sum`
10×	`inv-pow` `pow-flip` `distribute-rgt-out` `unpow2`
9×	`associate--l-`
6×	`unpow-prod-up`
5×	`neg-log` `distribute-lft1-in` `distribute-neg-in` `neg-mul-1`
3×	`pow3` `rem-cbrt-cube`
2×	`sqrt-undiv` `difference-cubes` `exp-lft-sqr` `sqrt-unprod` `rem-square-sqrt` `distribute-rgt-neg-out` `associate-+r-`
1×	`sqrt-pow2` `unpow1/3` `log-rec` `cos-sum` `associate--r-`

regimes7.1s (0.8%)

Accuracy

Total 94.7b remaining (34.6%)

Threshold costs 4.7b (1.7%)

11.3b	54.7%	math.log10 on complex, real part
11.1b	55.2%	math.log/1 on complex, real part
10.7b	56.9%	math.log/2 on complex, real part
10.0b	58.7%	math.abs on complex
9.1b	56.6%	math.sqrt on complex, imaginary part, im greater than 0 branch

Details

series11.0m (73.0%)

sample1.9m (12.7%)

prune1.5m (10.0%)

simplify17.9s (2.0%)

rewrite9.2s (1.0%)

regimes7.1s (0.8%)

localize2.9s (0.3%)

bsearch2.1s (0.2%)

end1.0ms (0.0%)