Date:Wednesday, April 29th, 2020
Commit:293eb8dd on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020120
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

series4.7m (56.0%)

Calls

498 calls:

3.0m
(+ (pow (* 1.0 1.0) 3) (pow (- (* (* (/ (* 1.0 (+ (pow 0.254829592 3) (pow (* (/ 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))) (* (+ (* (* (/ 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))))))) 0.254829592)) (* 0.254829592 0.254829592)) (+ 1.0 (* 0.3275911 (fabs x))))) (/ (* 1.0 (+ (pow 0.254829592 3) (pow (* (/ 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))) (* (+ (* (* (/ 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))))))) 0.254829592)) (* 0.254829592 0.254829592)) (+ 1.0 (* 0.3275911 (fabs x)))))) (* (/ 1 (exp (pow (fabs x) 2))) (/ 1 (exp (pow (fabs x) 2)))))) 3))
32.9s
(+ (* 1.0 1.0) (- (* (* (/ (* 1.0 (+ (pow 0.254829592 3) (pow (* (/ 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))) (* (+ (* (* (/ 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))))))) 0.254829592)) (* 0.254829592 0.254829592)) (+ 1.0 (* 0.3275911 (fabs x))))) (/ (* 1.0 (+ (pow 0.254829592 3) (pow (* (/ 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))) (* (+ (* (* (/ 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))))))) 0.254829592)) (* 0.254829592 0.254829592)) (+ 1.0 (* 0.3275911 (fabs x)))))) (* (/ 1 (exp (pow (fabs x) 2))) (/ 1 (exp (pow (fabs x) 2)))))))
13.8s
(- 1.0 (* (/ (* 1.0 (+ (pow 0.254829592 3) (pow (* (/ 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))) (* (+ (* (* (/ 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))))))) 0.254829592)) (* 0.254829592 0.254829592)) (+ 1.0 (* 0.3275911 (fabs x))))) (exp (- (* (fabs x) (fabs x))))))
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.3s
(/ (* 1.0 (+ (pow 0.254829592 3) (pow (* (/ 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))) (* (+ (* (* (/ 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))))))) 0.254829592)) (* 0.254829592 0.254829592)) (+ 1.0 (* 0.3275911 (fabs x)))))

sample2.0m (24.5%)

Algorithm
100×intervals
Results
46.2s7959×body5120exit
23.1s452364×body80valid
15.9s30778×body1280valid
7.7s23624×body640valid
4.1s3148×body1280nan
3.5s70392×body80nan
2.6s11990×body320valid
2.3s2556×body640nan
1.4s9990×body160valid
917.0ms49536×pre80true
864.0ms1316×body320nan
823.0ms8005×body80overflowed
458.0ms1471×body2560valid
243.0ms594×body160nan
191.0ms566×body5120valid

prune1.0m (12.4%)

Filtered
19577 candidates to 11923 candidates (60.9%)

simplify15.9s (3.2%)

Algorithm
266×egg-herbie

regimes7.4s (1.5%)

Accuracy

Total 91.1b remaining (31.9%)

Threshold costs 4.6b (1.6%)

10.9b55.6%math.log/2 on complex, real part
10.7b56.6%math.log10 on complex, real part
10.6b57%math.log/1 on complex, real part
10.3b56.7%math.abs on complex
9.6b54.8%math.sqrt on complex, real part

rewrite7.4s (1.5%)

Algorithm
166×rewrite-expression-head
Calls

498 calls:

581.0ms
(* (/ (/ (* 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)) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))
396.0ms
(+ (/ (/ (+ alpha beta) 1) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) 1.0)
299.0ms
(* (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (/ (+ (+ alpha beta) (* 2.0 1.0)) (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)))) (/ (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
155.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (/ 1 (* (* (/ (exp z) (exp 1.0)) (exp 7.0)) (exp 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))))
150.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
12928×times-frac
10217×*-un-lft-identity
9023×add-sqr-sqrt
6481×add-cube-cbrt
3496×add-exp-log
2798×add-cbrt-cube
2219×associate-*r*
2192×sqrt-prod
1874×pow1
1483×prod-exp
1424×distribute-lft-out
1340×associate-*l*
1071×cbrt-unprod
956×frac-add
899×flip-+ flip3-+
852×div-exp
837×associate-*r/
789×add-log-exp
716×difference-of-squares
699×associate-/r/
670×cbrt-prod
624×cbrt-undiv
588×frac-times
536×unpow-prod-down
520×div-inv
516×associate-/r*
513×distribute-lft-out--
451×pow-prod-down
443×associate-/l*
420×unswap-sqr
375×sqrt-div
335×cbrt-div
323×associate-*l/
300×swap-sqr
221×sqrt-pow1
200×log-pow
195×pow-prod-up
192×flip3-- flip--
175×pow-exp
173×sqr-pow
166×*-commutative
151×pow-plus
146×pow1/2
117×pow1/3 log-prod
110×cube-prod
102×pow-to-exp
96×associate-/l/
91×1-exp associate-+l-
89×pow-sub
88×rec-exp
84×distribute-rgt-in distribute-lft-in
82×sum-log
81×exp-prod
80×frac-2neg clear-num
76×pow-unpow sub-neg diff-log
73×pow-sqr
64×rem-sqrt-square
57×exp-neg
51×exp-diff
48×un-div-inv
47×pow2
46×+-commutative
44×cube-div
41×neg-sub0 pow-pow
32×associate--l+
29×rem-cube-cbrt exp-sum
27×unpow3 cube-mult
25×pow-flip
24×distribute-rgt-neg-in distribute-lft-neg-in
20×rem-exp-log
17×log-div
16×associate-+l+
13×div-sub
12×associate--l- inv-pow neg-log
11×associate-+r+
8×pow3 distribute-neg-in neg-mul-1 rem-log-exp
7×sum-cubes
6×sin-sum distribute-neg-frac associate--r+
5×difference-cubes sqrt-unprod rem-square-sqrt frac-sub
4×rem-cbrt-cube unpow2
3×unpow-prod-up distribute-rgt-out distribute-rgt-neg-out
2×unsub-neg cube-neg
1×pow-div cos-sum sqrt-undiv sqrt-pow2 exp-lft-sqr associate-+r- distribute-rgt1-in distribute-lft1-in count-2 associate--r-

localize2.7s (0.5%)

bsearch2.0s (0.4%)

end1.0ms (0.0%)