Date:Thursday, July 16th, 2020
Commit:f7753480 on master
Hostname:warfa with Racket 7.5
Seed:2020198
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.7min (50.8%)

Algorithm
99×intervals
Results
47.5s8134×body5120exit
21.5s360275×body80valid
7.5s15964×body1280valid
5.5s11387×body1280invalid
3.3s12243×body640valid
2.7s8482×body640invalid
1.4s86868×pre80true
1.4s7548×body160valid
1.1s6536×body320valid
1.0s3967×body320invalid
928.0ms17887×body80invalid
386.0ms1401×body2560valid
257.0ms1836×body160invalid
207.0ms2413×body80nan
194.0ms580×body5120valid
78.0ms43×body2560invalid
0.0ms5×body80overflowed

prune37.9s (18.6%)

Filtered
14378 candidates to 9533 candidates (33.7%)

series17.7s (8.7%)

Calls

474 calls:

5.1s
(- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (/ (+ (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)) (+ (* 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))))))) 0.254829592))))) (pow (exp (fabs x)) (fabs x)))))
672.0ms
(/ (+ (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)) (+ (* 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))))))) 0.254829592)))))
443.0ms
(* (+ alpha beta) (/ 1 (* (* (/ (+ alpha (+ beta (* 2.0 i))) (- beta alpha)) (sqrt (+ alpha (+ beta (+ 2.0 (* 2.0 i)))))) (sqrt (+ beta (+ alpha (+ 2.0 (* 2.0 i))))))))
384.0ms
(* (* (/ i (+ alpha (+ beta (* i 2.0)))) (/ (+ i (+ alpha beta)) (+ alpha (+ beta (* i 2.0))))) (* (/ (sqrt (+ (* i (+ i (+ alpha beta))) (* alpha beta))) (+ alpha (+ beta (+ (* i 2.0) (sqrt 1.0))))) (/ (sqrt (+ (* i (+ i (+ alpha beta))) (* alpha beta))) (+ alpha (+ beta (- (* i 2.0) (sqrt 1.0)))))))
317.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 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429)))))))) (pow (exp (fabs x)) (fabs x)))))

analyze13.5s (6.6%)

Algorithm
50×search
Search
TrueOtherFalseIter
0%87.1%12.9%0
2.5%84.6%12.9%1
9.3%75.6%15.1%2
22.1%62.3%15.6%3
27.1%55.4%17.4%4
36.3%45.6%18.1%5
39.7%40.6%19.7%6
44.2%33.4%22.4%7
47.6%29.3%23.1%8
50.7%25.2%24.1%9
53.2%21.6%25.2%10
55.3%18.7%26%11
57.2%16.3%26.5%12
59.1%13.6%27.4%13
60.1%12.2%27.7%14

simplify12.0s (5.9%)

Algorithm
256×egg-herbie

regimes10.5s (5.1%)

Accuracy

Total 102.1b remaining (36.2%)

Threshold costs 4.1b (1.5%)

13.5b48.4%math.sqrt on complex, real part
10.8b57.1%math.log/2 on complex, real part
10.7b55.2%math.log10 on complex, real part
10.5b55.8%math.log/1 on complex, real part
10.2b47.1%math.sqrt on complex, imaginary part, im greater than 0 branch

rewrite5.2s (2.6%)

Algorithm
158×rewrite-expression-head
Calls

474 calls:

198.0ms
(* (exp (- z (+ 7.0 0.5))) (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))
143.0ms
(/ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) 0.9999999999998099))))) (exp (+ 7.0 0.5)))
141.0ms
(/ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) 0.9999999999998099))))) (exp (+ 7.0 0.5)))
83.0ms
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
79.0ms
(* (- a (/ 1.0 3.0)) (+ (/ (/ 1 (sqrt (* (- a (/ 1.0 3.0)) 9.0))) (/ 1 rand)) 1))
Rules
5947×*-un-lft-identity
4368×times-frac
3996×add-sqr-sqrt
3233×add-cube-cbrt
2157×add-exp-log
1775×distribute-lft-out
1653×add-cbrt-cube
1376×pow1
930×sqrt-prod
902×associate-*r*
788×associate-*l*
681×prod-exp
661×add-log-exp
596×flip-+ flip3-+
530×cbrt-unprod
501×associate-/l*
462×frac-add
456×div-exp
437×associate-/r*
436×unpow-prod-down
421×cbrt-prod
334×pow-prod-down
332×associate-*r/
328×associate-/r/
289×cbrt-undiv sqrt-div
227×unswap-sqr
225×div-inv
219×frac-times
200×log-pow
197×associate-/l/
195×associate-*l/
136×*-commutative
126×pow1/3
124×cbrt-div
122×sqrt-pow1 sqr-pow
107×log-prod
103×flip-- flip3--
101×pow-unpow
97×pow-exp
90×swap-sqr
88×clear-num frac-2neg
87×pow1/2 difference-of-squares
80×cube-prod
79×distribute-lft-out--
66×exp-sum
64×sum-log
62×distribute-rgt-in rem-sqrt-square distribute-lft-in
61×pow-to-exp
60×1-exp rec-exp
52×+-commutative
50×exp-prod
49×pow-pow
45×sub-neg
32×diff-log
28×pow-sqr pow-prod-up
26×cube-mult
24×unpow3
17×log-div
16×pow2 pow-plus pow-flip
15×rem-log-exp
13×associate-+r+ div-sub
10×inv-pow exp-diff
9×associate--l+
8×associate--r+
7×un-div-inv rem-cube-cbrt rem-exp-log
6×cube-div frac-sub
4×cos-sum sin-sum sum-cubes
2×associate-+l+ unpow2
1×associate-+r- distribute-rgt-out exp-to-pow associate--r- associate-+l- rem-cbrt-cube

localize2.4s (1.2%)

bsearch1.1s (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...