Date:Wednesday, February 26th, 2020
Commit:a943e6d1 on master
Hostname:warfa with Racket 7.5
Seed:2020057
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

series11.0m (74.9%)

Calls

504 calls:

20.4s
(- (pow 1.0 3) (/ (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (- (* 0.254829592 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))))))) (* (/ 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) (pow (- 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)))))))) 3)))
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.6s
(/ (* (sqrt (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i)))) (* (sqrt (/ (/ (* 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))))) (* (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))
2.5s
(* (sqrt (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))) (* (sqrt (/ (/ (* 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))))

sample1.9m (13.2%)

Algorithm
99×intervals
Results
47.8s15826×body10240exit
21.7s490894×body80valid
14.0s30438×body1280valid
6.5s23246×body640valid
3.0s3072×body1280nan
2.8s70135×body80nan
2.2s11954×body320valid
2.0s2517×body640nan
743.0ms6352×body160valid
660.0ms49536×pre80true
634.0ms1258×body320nan
393.0ms1532×body2560valid
233.0ms694×body160nan
123.0ms540×body5120valid

prune1.1m (7.8%)

simplify16.1s (1.8%)

Algorithm
262×egg-herbie

rewrite8.0s (0.9%)

Algorithm
164×rewrite-expression-head
Calls

508 calls:

223.0ms
(- (pow (pow 1.0 3) 3) (pow (/ (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (- (* 0.254829592 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))))))) (* (/ 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) (pow (- 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)))))))) 3)) 3))
194.0ms
(- (- 1.0 z) 1.0)
162.0ms
(/ (* (+ (+ (+ (+ (+ (+ (+ (+ 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))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5))))
156.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))))
153.0ms
(/ (* (+ (+ (+ (+ (+ (+ (+ (+ 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))) (* (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)))
Rules
16102×times-frac
11618×*-un-lft-identity
9791×add-sqr-sqrt
7700×add-cube-cbrt
3640×add-exp-log
2694×pow1
2319×add-cbrt-cube
2179×sqrt-prod
2099×distribute-rgt-neg-in
2097×distribute-lft-neg-in
1621×distribute-lft-out
1592×prod-exp
1308×associate-*r*
1209×log-pow
1041×associate-/l*
989×associate-*l*
988×flip-+ flip3-+
982×frac-add
857×div-exp
839×frac-times
821×add-log-exp
811×cbrt-unprod
805×difference-of-squares
799×associate-/r/
779×associate-*r/
684×associate-/r*
680×unpow-prod-down
606×pow-prod-down
570×div-inv
484×cube-prod
480×associate-*l/
418×sqr-pow
417×cbrt-undiv
416×distribute-lft-out--
414×cbrt-prod
351×neg-mul-1
300×sqrt-pow1
279×unswap-sqr
278×cbrt-div
261×pow1/2
247×sqrt-div
219×flip3-- flip--
199×pow-exp
182×associate-/l/
167×swap-sqr
165×pow1/3
153×pow-to-exp
150×*-commutative
122×distribute-rgt-in distribute-lft-in
116×pow-prod-up
114×sub-neg
105×clear-num frac-2neg
100×associate-+l- diff-log
93×1-exp
92×pow-sub
88×log-prod
82×distribute-neg-frac
81×exp-neg
79×exp-diff pow-sqr
73×exp-prod
71×pow-plus
70×sum-log
65×rec-exp
63×neg-sub0
55×rem-sqrt-square
52×associate--l+
45×+-commutative
44×div-sub
43×pow-unpow
39×pow2
38×log-div
35×unpow3 cube-mult
32×un-div-inv pow-pow
26×cube-div
21×unpow2
20×rem-cube-cbrt associate-+l+
18×exp-sum
16×associate--l-
14×associate--r+
13×difference-cubes rem-exp-log associate-+r+
11×inv-pow pow-flip
8×neg-log frac-sub
6×pow3 distribute-neg-in sum-cubes
5×unpow-prod-up rem-log-exp
4×sin-sum distribute-frac-neg cos-sum
2×distribute-rgt-neg-out exp-to-pow
1×unpow1/3 associate-+r- distribute-rgt-out-- associate--r-

regimes6.9s (0.8%)

Accuracy

Total 103.0b remaining (38.3%)

Threshold costs 4.6b (1.7%)

17.6b48.3%math.sqrt on complex, imaginary part, im greater than 0 branch
12.5b52.8%math.sqrt on complex, real part
10.7b56.6%math.log/2 on complex, real part
10.7b56%math.log10 on complex, real part
10.5b55.2%math.abs on complex

localize2.7s (0.3%)

bsearch2.2s (0.2%)

end1.0ms (0.0%)