Date:Saturday, May 2nd, 2020
Commit:37107503 on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020123
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.2m (42.8%)

Algorithm
100×intervals
Results
45.3s7931×body5120exit
31.7s546679×body80valid
16.2s30777×body1280valid
7.5s23367×body640valid
4.0s3102×body1280nan
3.3s69697×body80nan
2.5s11918×body320valid
2.3s2470×body640nan
1.4s10298×body160valid
935.0ms49536×pre80true
869.0ms1323×body320nan
815.0ms8034×body80overflowed
486.0ms1528×body2560valid
266.0ms658×body160nan
190.0ms570×body5120valid

prune1.2m (24.1%)

Filtered
22446 candidates to 13882 candidates (61.8%)

series1.1m (21.0%)

Calls

504 calls:

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.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)))
855.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.061405429 (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))))) (exp (- (* (fabs x) (fabs x))))))
842.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.061405429 (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))))) (exp (- (* (fabs x) (fabs x))))))
842.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.4s (5.3%)

Algorithm
266×egg-herbie

regimes8.4s (2.7%)

Accuracy

Total 102.2b remaining (37.8%)

Threshold costs 4.8b (1.8%)

17.5b51.2%math.sqrt on complex, imaginary part, im greater than 0 branch
11.3b55%math.log/2 on complex, real part
10.5b57.4%math.log10 on complex, real part
10.3b57.9%math.log/1 on complex, real part
10.2b57.3%math.abs on complex

rewrite7.2s (2.3%)

Algorithm
166×rewrite-expression-head
Calls

504 calls:

257.0ms
(* (/ (cbrt x) (/ (* (cbrt (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))))) (cbrt (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))))) (cbrt x))) (/ (cbrt x) (/ (cbrt (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))))
190.0ms
(/ (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (sqrt (+ (+ alpha beta) (* 2.0 1.0)))) (sqrt (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))
155.0ms
(* (sqrt (/ (+ (+ (+ alpha beta) (* beta alpha)) 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)))
154.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))))
95.0ms
(* (/ (/ (* 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))))
Rules
21416×times-frac
15079×*-un-lft-identity
12066×add-sqr-sqrt
10036×add-cube-cbrt
5778×sqrt-prod
3378×add-exp-log
2543×add-cbrt-cube
2338×distribute-lft-out
2031×associate-*r*
1615×pow1
1490×associate-*l*
1303×prod-exp
1292×associate-/l*
1188×associate-/r/
1107×flip-+ flip3-+
915×cbrt-unprod
850×add-log-exp
815×div-exp
776×frac-add
770×unpow-prod-down
723×associate-*r/
719×cbrt-prod
620×div-inv
554×cbrt-undiv
533×unswap-sqr
440×associate-/r*
402×pow-prod-down
378×frac-times
348×difference-of-squares
313×swap-sqr
292×sqrt-div
268×associate-*l/
260×log-pow
231×distribute-lft-out-- sqr-pow
216×cbrt-div
191×cube-prod
186×pow-exp
174×*-commutative
134×log-prod
132×flip3-- flip--
116×associate-/l/
109×sqrt-pow1
108×exp-prod
106×pow-to-exp
98×sum-log diff-log
96×pow1/3
83×pow1/2
80×distribute-rgt-in distribute-lft-in
79×frac-2neg clear-num
75×sub-neg
71×1-exp rec-exp
62×pow-prod-up
61×pow-unpow
57×associate-+l-
54×rem-sqrt-square
53×exp-neg pow-sub
50×unpow2 pow-plus
45×+-commutative
43×pow-sqr
41×exp-diff
37×associate--l+
36×neg-sub0
33×pow2
27×un-div-inv
26×unpow3 cube-mult
24×pow-pow
19×cube-div
18×distribute-rgt-neg-in distribute-lft-neg-in div-sub
17×rem-exp-log
16×rem-log-exp log-div
15×rem-cube-cbrt associate--l- pow-flip exp-sum
14×associate-+l+ inv-pow frac-sub
12×sin-sum
8×distribute-rgt-out neg-log
7×associate-+r+
6×distribute-neg-in rem-cbrt-cube
5×cos-sum associate--r+
4×neg-mul-1 distribute-neg-frac
3×difference-cubes sqrt-unprod exp-to-pow
2×pow3 unpow-prod-up distribute-rgt-neg-out
1×distribute-rgt-out-- rem-square-sqrt log-rec sum-cubes

localize2.7s (0.9%)

bsearch2.6s (0.9%)

end1.0ms (0.0%)

Profiling

Loading profile data...