Date:	Friday, March 6th, 2020
Commit:	044801c1 on master
Hostname:	warfa with Racket 7.5
Seed:	2020066
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.8m (35.2%)

Algorithm

100×

intervals

Results

46.3s	15464×	body	10240	exit
17.5s	440075×	body	80	valid
13.9s	29920×	body	1280	valid
6.4s	23063×	body	640	valid
2.7s	2924×	body	1280	nan
2.5s	71648×	body	80	nan
2.1s	11609×	body	320	valid
1.7s	2520×	body	640	nan
1.2s	10285×	body	160	valid
648.0ms	49536×	pre	80	true
598.0ms	1241×	body	320	nan
391.0ms	1575×	body	2560	valid
206.0ms	662×	body	160	nan
151.0ms	627×	body	5120	valid

series1.5m (28.8%)

Calls

505 calls:

20.1s	(- (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 (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (sqrt (+ 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 (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (sqrt (+ 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 (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429)))))))))) (exp (- (* (fabs x) (fabs x))))) 3))
5.2s	(- 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 (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (sqrt (+ 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 (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (sqrt (+ 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 (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429)))))))))) (exp (- (* (fabs x) (fabs x))))))
1.6s	(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 (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (sqrt (+ 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 (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (sqrt (+ 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 (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429)))))))))) (exp (- (* (fabs x) (fabs x))))) 3)
1.2s	(/ (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0))))
909.0ms	(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (+ (+ (+ (+ (+ (+ (+ (+ 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)))) (* (sqrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (* (sqrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)))))

prune1.3m (24.3%)

Filtered: 21518 candidates to 12898 candidates (59.9%)

simplify16.4s (5.3%)

Algorithm

265×	egg-herbie

rewrite7.9s (2.6%)

Algorithm

165×	rewrite-expression-head

Calls

505 calls:

371.0ms	(+ (/ (/ (+ alpha beta) 1) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) 1.0)
177.0ms	(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (+ (+ (+ (+ (+ (+ (+ (+ 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)))) (* (sqrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (* (sqrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)))))
161.0ms	(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (+ (+ (+ (+ (+ (+ (+ (+ 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)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5))))
153.0ms	(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1.0) 1.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)))
150.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)))

Rules

19246×	`times-frac`
15151×	`*-un-lft-identity`
10522×	`add-sqr-sqrt`
8824×	`add-cube-cbrt`
3028×	`distribute-lft-out`
2544×	`add-exp-log`
2054×	`sqrt-prod`
1959×	`add-cbrt-cube`
1799×	`pow1`
1394×	`associate-l`
1244×	`frac-add`
1159×	`associate-*r/`
1079×	`associate-r`
1026×	`flip-+` `flip3-+`
901×	`associate-/r/`
883×	`prod-exp`
801×	`div-inv`
788×	`add-log-exp`
769×	`associate-/r*`
715×	`frac-times`
598×	`cbrt-unprod`
545×	`div-exp`
507×	`associate-/l*`
502×	`associate-*l/`
470×	`difference-of-squares`
465×	`sqrt-div`
452×	`cbrt-prod`
433×	`associate-/l/`
420×	`pow-prod-down`
391×	`unpow-prod-down`
374×	`distribute-lft-out--`
358×	`cbrt-undiv`
304×	`unswap-sqr`
238×	`swap-sqr`
215×	`sqrt-pow1`
204×	`un-div-inv`
201×	`log-pow`
184×	`log-prod`
182×	`flip3--` `flip--`
178×	`cube-prod`
161×	`*-commutative`
149×	`pow1/2`
146×	`sqr-pow`
145×	`pow-prod-up`
138×	`frac-sub`
133×	`cbrt-div` `pow-exp`
125×	`distribute-rgt-in` `distribute-lft-in`
104×	`pow-to-exp`
102×	`associate-+l-`
98×	`clear-num` `pow1/3` `frac-2neg`
92×	`sub-neg`
90×	`cube-div`
88×	`diff-log`
82×	`pow-sub`
81×	`pow-sqr`
74×	`pow-plus`
71×	`pow-unpow`
69×	`sum-log`
66×	`rem-sqrt-square`
65×	`1-exp`
56×	`rec-exp`
45×	`associate-+l+`
44×	`+-commutative`
43×	`associate--l+`
42×	`pow2` `distribute-neg-frac`
37×	`pow-pow`
34×	`pow-neg`
32×	`distribute-rgt-neg-in`
30×	`unpow3` `distribute-lft-neg-in` `cube-mult`
28×	`exp-diff`
23×	`rem-cube-cbrt`
22×	`neg-sub0`
21×	`associate-+r+`
17×	`div-sub`
16×	`exp-prod`
15×	`pow3` `inv-pow` `pow-flip` `distribute-rgt-out`
14×	`rem-log-exp`
13×	`associate--l-`
12×	`associate--r+`
11×	`exp-sum` `log-div`
10×	`neg-mul-1`
9×	`sin-sum`
7×	`unpow2`
6×	`distribute-neg-in`
5×	`distribute-lft1-in` `sqrt-unprod` `distribute-rgt1-in` `exp-neg` `unpow-prod-up`
4×	`mul-1-neg` `rem-square-sqrt` `rem-cbrt-cube`
3×	`cos-sum` `sqrt-undiv` `difference-cubes` `rem-exp-log` `distribute-rgt-neg-out`
2×	`unsub-neg` `associate--r-` `exp-to-pow`
1×	`sqrt-pow2` `log-rec` `associate-+r-`

regimes7.0s (2.3%)

Accuracy

Total 97.0b remaining (38.2%)

Threshold costs 4.2b (1.7%)

11.1b	55.2%	math.log/2 on complex, real part
10.1b	61.6%	math.sqrt on complex, real part
9.9b	59.5%	math.log10 on complex, real part
9.7b	60.3%	math.log/1 on complex, real part
9.4b	60.4%	math.abs on complex

Details

sample1.8m (35.2%)

series1.5m (28.8%)

prune1.3m (24.3%)

simplify16.4s (5.3%)

rewrite7.9s (2.6%)

regimes7.0s (2.3%)

localize2.8s (0.9%)

bsearch2.2s (0.7%)

end1.0ms (0.0%)