Date:Wednesday, April 1st, 2020
Commit:71d48594 on master
Hostname:warfa with Racket 7.5
Seed:2020092
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 (42.5%)

Algorithm
100×intervals
Results
47.4s15661×body10240exit
18.6s444338×body80valid
14.2s30256×body1280valid
6.8s23754×body640valid
2.9s3033×body1280nan
2.6s70343×body80nan
2.4s11929×body320valid
1.8s2577×body640nan
1.2s10205×body160valid
691.0ms49536×pre80true
596.0ms1244×body320nan
337.0ms1439×body2560valid
206.0ms645×body160nan
139.0ms581×body5120valid

prune1.0m (23.7%)

Filtered
19658 candidates to 12527 candidates (63.7%)

series57.2s (21.6%)

Calls

468 calls:

830.0ms
(- 1.0 (* (* (/ 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))))))
816.0ms
(log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
790.0ms
(cbrt (pow (- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (+ 0.254829592 (* (/ 1 (* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) (* (/ 1.0 (cbrt (+ 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 (exp (pow (fabs x) 2)))))) 3))
783.0ms
(log (exp (- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (+ 0.254829592 (* (/ 1 (* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) (* (/ 1.0 (cbrt (+ 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 (exp (pow (fabs x) 2))))))))
783.0ms
(- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (+ 0.254829592 (* (/ 1 (* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) (* (/ 1.0 (cbrt (+ 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 (exp (pow (fabs x) 2))))))

simplify13.9s (5.3%)

Algorithm
258×egg-herbie

regimes7.2s (2.7%)

Accuracy

Total 108.1b remaining (38.5%)

Threshold costs 4.1b (1.5%)

20.6b41.5%math.sqrt on complex, imaginary part, im greater than 0 branch
12.8b52.4%math.sqrt on complex, real part
10.5b57.1%math.log/2 on complex, real part
10.2b57.3%math.log10 on complex, real part
9.9b58.2%math.log/1 on complex, real part

rewrite6.6s (2.5%)

Algorithm
158×rewrite-expression-head
Calls

468 calls:

416.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)))
156.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)))
78.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 1.0) (* 2.0 1.0)))) (/ (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0) (- (+ alpha beta) (* 2.0 1.0))))
64.0ms
(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
63.0ms
(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
Rules
13400×times-frac
10271×*-un-lft-identity
8615×add-sqr-sqrt
6694×add-cube-cbrt
3447×add-exp-log
2560×add-cbrt-cube
2405×sqrt-prod
1832×associate-*r*
1688×pow1
1470×distribute-lft-out
1399×prod-exp
1213×associate-*l*
1155×associate-*r/
1043×associate-/r/
957×cbrt-unprod
956×flip-+ flip3-+
844×div-exp
808×difference-of-squares
746×add-log-exp
674×frac-times
648×flip3-- flip--
603×associate-/l*
568×frac-add
558×div-inv
544×cbrt-undiv
510×associate-/r*
477×associate-*l/
435×unpow-prod-down
397×pow-prod-down
396×unswap-sqr
357×swap-sqr
343×distribute-lft-out--
286×cbrt-div
277×associate-/l/
272×frac-sub
271×cbrt-prod
242×sqrt-div
240×log-pow
163×*-commutative
149×pow-exp
138×log-prod
128×distribute-rgt-in distribute-lft-in
123×sqr-pow
114×pow-prod-up
103×pow-to-exp pow-plus
101×sub-neg
99×sqrt-pow1
93×diff-log
92×clear-num frac-2neg
87×cube-prod
85×pow1/2
74×pow1/3
65×associate--l+
64×rem-sqrt-square
63×sum-log
62×1-exp rec-exp
52×pow-sqr
43×pow-unpow pow2
40×distribute-neg-frac
38×+-commutative
28×exp-prod
24×associate-+l-
22×div-sub
21×associate-+r+
20×exp-sum rem-log-exp
18×pow-sub
17×unpow3 cube-mult log-div
16×associate--l-
14×associate-+l+
13×cube-div
11×exp-diff
10×distribute-rgt-neg-in un-div-inv distribute-lft-neg-in difference-of-sqr-1 associate--r+ pow-pow
9×inv-pow pow-flip unpow2
6×rem-exp-log pow3 sin-sum
5×rem-cube-cbrt rem-cbrt-cube
4×distribute-neg-in neg-sub0 neg-mul-1
3×exp-neg
2×distribute-rgt-neg-out
1×neg-log difference-cubes sqrt-unprod unpow-prod-up rem-square-sqrt cos-sum associate--r- associate-+r-

localize2.6s (1.0%)

bsearch1.7s (0.7%)

end1.0ms (0.0%)