Date:Sunday, March 15th, 2020
Commit:1a959946 on master
Hostname:warfa with Racket 7.5
Seed:2020075
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 (40.4%)

Algorithm
100×intervals
Results
48.8s16099×body10240exit
19.5s461348×body80valid
14.3s30579×body1280valid
6.5s23092×body640valid
2.9s3052×body1280nan
2.8s70553×body80nan
2.3s12400×body320valid
1.7s2542×body640nan
1.2s9993×body160valid
664.0ms49536×pre80true
663.0ms1371×body320nan
366.0ms1555×body2560valid
212.0ms625×body160nan
141.0ms572×body5120valid

series1.2m (25.2%)

Calls

526 calls:

3.2s
(- (pow 1.0 3) (pow (* (* (/ 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))))) 3))
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))))
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))))
1.5s
(* (* (* (/ 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))))) (+ (* (* (/ 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))))) 1.0))
853.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))))))

prune1.1m (22.1%)

Filtered
18085 candidates to 11534 candidates (63.8%)

simplify15.0s (5.3%)

Algorithm
265×egg-herbie

regimes7.4s (2.6%)

Accuracy

Total 105.3b remaining (41.4%)

Threshold costs 4.8b (1.9%)

18.2b48%math.sqrt on complex, imaginary part, im greater than 0 branch
10.5b56.7%math.log/2 on complex, real part
10.4b33.8%Octave 3.8, jcobi/4
10.0b58.7%math.log10 on complex, real part
9.8b59.4%math.log/1 on complex, real part

rewrite7.3s (2.6%)

Algorithm
165×rewrite-expression-head
Calls

526 calls:

383.0ms
(- (+ (/ (/ x (- (* wj wj) (* 1 1))) (/ (exp wj) (- wj 1))) wj) (/ (/ wj (sqrt (+ wj 1))) (sqrt (+ wj 1))))
153.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)))
152.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 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)))))
149.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)))
142.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))))
Rules
6903×*-un-lft-identity
6224×times-frac
5696×add-sqr-sqrt
4193×add-cube-cbrt
3757×add-exp-log
2839×add-cbrt-cube
2035×pow1
1585×prod-exp
1534×associate-*r*
1379×sqrt-prod
1354×distribute-lft-out
1111×cbrt-unprod
991×flip-+ flip3-+
936×associate-*l*
899×div-exp
858×add-log-exp
780×frac-add
755×cbrt-div
750×associate-*r/
667×frac-times
597×pow-prod-down
586×cbrt-undiv
574×associate-/r/
559×cbrt-prod
511×associate-/l*
503×associate-/r*
431×sqrt-div
393×associate-*l/
366×difference-of-squares
331×unpow-prod-down
316×unswap-sqr
315×div-inv
286×swap-sqr
281×log-pow
270×distribute-lft-out--
216×sqrt-pow1
181×associate-/l/
160×*-commutative
157×pow1/2
149×pow1/3
145×pow-prod-up
137×pow-exp
132×flip3-- flip--
129×cube-prod
124×log-prod
122×sqr-pow
120×pow-unpow
112×pow-to-exp
111×pow-plus
100×diff-log
94×sum-log
89×distribute-rgt-in distribute-lft-in
85×clear-num frac-2neg associate-+l-
82×sub-neg
73×pow-sub
67×pow-sqr
63×rem-sqrt-square
55×associate--l+
49×exp-sum
46×distribute-neg-frac
44×pow-pow
43×+-commutative exp-prod
41×pow2
40×1-exp rec-exp
34×exp-diff
31×cube-div
30×inv-pow pow-flip
29×exp-neg
26×neg-sub0
22×div-sub
20×unpow3 cube-mult unpow2
18×frac-sub
17×associate--l-
14×rem-log-exp
13×un-div-inv pow3
12×distribute-rgt-neg-in rem-cube-cbrt distribute-lft-neg-in sin-sum
11×difference-of-sqr-1
9×associate-+l+ rem-exp-log sqrt-unprod log-div
8×associate-+r+
7×associate--r+
6×sum-cubes
4×sqrt-pow2 distribute-neg-in unpow-prod-up neg-mul-1
3×rem-square-sqrt
2×pow-div sqrt-undiv difference-cubes unpow1/3 rem-cbrt-cube distribute-rgt-neg-out
1×cos-sum distribute-lft-neg-out distribute-frac-neg log-rec mul-1-neg

localize2.8s (1.0%)

bsearch2.4s (0.8%)

end1.0ms (0.0%)