Date:Tuesday, March 31st, 2020
Commit:2cac45bc on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020091
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 (38.9%)

Algorithm
100×intervals
Results
46.1s15663×body10240exit
19.1s459100×body80valid
14.0s30517×body1280valid
6.5s23357×body640valid
2.9s3069×body1280nan
2.5s68746×body80nan
2.2s12003×body320valid
1.7s2521×body640nan
1.2s10185×body160valid
664.0ms49536×pre80true
588.0ms1207×body320nan
358.0ms1495×body2560valid
197.0ms630×body160nan
137.0ms564×body5120valid

prune1.3m (26.4%)

Filtered
19304 candidates to 12728 candidates (65.9%)

series1.1m (22.3%)

Calls

496 calls:

2.3s
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (* (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (/ (sqrt (+ (* 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))))
993.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (log (exp (+ 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))))))
868.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (/ 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))))))
865.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))))))

simplify16.6s (5.8%)

Algorithm
264×egg-herbie

rewrite8.2s (2.9%)

Algorithm
164×rewrite-expression-head
Calls

496 calls:

774.0ms
(* (/ (/ (* (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (/ (/ (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))))
410.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)))
224.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5))))
162.0ms
(/ (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (- (+ (+ (- 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)))) (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))) (* (exp (- (+ (+ (- 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
10742×times-frac
8176×*-un-lft-identity
7522×add-sqr-sqrt
5834×add-cube-cbrt
3005×add-exp-log
2789×sqrt-prod
2636×frac-add
2557×add-cbrt-cube
2255×associate-*r*
1818×pow1
1774×flip-+ flip3-+
1754×associate-*r/
1189×associate-*l*
1180×prod-exp
1178×associate-/r/
1054×cbrt-prod
1029×distribute-lft-out
1027×sqrt-div
946×cbrt-unprod
808×add-log-exp
731×frac-times
699×associate-/r*
649×div-exp
553×cbrt-undiv
530×associate-/l*
429×pow-prod-down
419×associate-*l/
399×unswap-sqr
393×div-inv
284×difference-of-squares
274×log-pow
270×unpow-prod-down
255×associate-/l/
243×sqrt-pow1
234×distribute-lft-out--
233×cbrt-div
180×exp-neg
173×swap-sqr
167×log-prod
157×*-commutative
148×cube-prod
138×pow1/2
132×exp-diff
130×flip3-- flip--
124×neg-sub0
120×pow-prod-up
117×associate-+l-
112×pow-sub
104×distribute-rgt-in distribute-lft-in
94×pow-exp
91×sqr-pow
88×diff-log frac-2neg clear-num
84×sub-neg
83×sum-log
81×pow1/3
79×pow-sqr
78×pow-to-exp
70×pow-unpow
64×exp-prod
62×rem-sqrt-square
60×un-div-inv
57×pow-plus
50×+-commutative
49×associate--l+
40×pow2
39×pow-pow
33×rec-exp 1-exp
32×exp-sum
24×distribute-neg-frac
23×unpow3 cube-mult
19×cube-div rem-log-exp
18×log-div
17×associate-+l+
16×div-sub
15×rem-cube-cbrt
14×unpow2
13×associate-+r+
12×associate--l-
10×rem-exp-log distribute-neg-in
9×distribute-lft-neg-in distribute-rgt-neg-in
7×inv-pow unpow-prod-up pow-flip
6×sin-sum rem-cbrt-cube associate--r+
5×sum-cubes exp-to-pow
4×sqrt-unprod rem-square-sqrt frac-sub
3×sqrt-pow2 distribute-rgt-neg-out neg-mul-1
2×pow-div pow3 associate-+r- mul-1-neg
1×cos-sum log-rec associate--r-

regimes6.7s (2.3%)

Accuracy

Total 86.2b remaining (30.7%)

Threshold costs 4.2b (1.5%)

10.9b56.1%math.log/2 on complex, real part
10.0b59.6%math.log10 on complex, real part
9.8b60%math.log/1 on complex, real part
9.5b60.1%math.abs on complex
9.0b57.5%math.sqrt on complex, real part

localize2.6s (0.9%)

bsearch1.7s (0.6%)

end1.0ms (0.0%)