Date:Tuesday, April 14th, 2020
Commit:681051fe on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020105
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

prune9.0m (36.5%)

Filtered
206562 candidates to 176917 candidates (85.6%)

series4.5m (18.3%)

Calls

2580 calls:

3.7s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.6s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
1.8s
(* (/ 1 3.0) (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
1.7s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))

sample4.2m (17.0%)

Algorithm
537×intervals
Results
1.7m2641850×body80valid
26.8s504974×body80nan
18.9s46676×body1280valid
10.8s42572×body640valid
4.1s24520×body320valid
4.1s5518×body2560valid
1.5s13776×body160valid
189.0ms906×body1280nan
181.0ms1017×body640nan
125.0ms45×body5120valid
92.0ms1556×body80overflowed
84.0ms662×body320nan
30.0ms350×body160nan

simplify4.1m (16.6%)

Algorithm
1441×egg-herbie

rewrite1.7m (7.0%)

Algorithm
905×rewrite-expression-head
Calls

2580 calls:

4.6s
(* (cbrt (+ (* 2 (+ x y)) (+ x z))) (* (cbrt (* (cbrt (+ (* 2 (+ x y)) (+ x z))) (cbrt (+ (* 2 (+ x y)) (+ x z))))) (* (cbrt (cbrt (* (cbrt (+ (* 2 (+ x y)) (+ x z))) (cbrt (+ (* 2 (+ x y)) (+ x z)))))) (cbrt (cbrt (cbrt (+ (* 2 (+ x y)) (+ x z))))))))
512.0ms
(* (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ (- y z) (+ (- t z) 1.0)) (/ (cbrt 1) (cbrt a))))
271.0ms
(* (/ y (* (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))) (/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (* (cbrt (sqrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))) (cbrt (sqrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))))))
223.0ms
(/ (+ (* (+ (* (+ (* (* (* (cbrt (* (cbrt (+ (* x 4.16438922228) 78.6994924154)) (cbrt (+ (* x 4.16438922228) 78.6994924154)))) (cbrt (* (cbrt (+ (* x 4.16438922228) 78.6994924154)) (cbrt (+ (* x 4.16438922228) 78.6994924154))))) (cbrt (* (cbrt (+ (* x 4.16438922228) 78.6994924154)) (cbrt (+ (* x 4.16438922228) 78.6994924154))))) (* (cbrt (+ (* x 4.16438922228) 78.6994924154)) x)) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
201.0ms
(/ 1 (- 1.0 x))
Rules
1168848×cbrt-div
513173×flip-+ flip3-+
494940×frac-times
461663×associate-*r/
409387×frac-add
47713×associate-*l/
36932×times-frac
35701×*-un-lft-identity
34138×add-sqr-sqrt
22566×add-cube-cbrt
11327×add-exp-log
8926×add-cbrt-cube
8139×associate-*r*
7522×cbrt-prod
6654×pow1
4399×associate-*l*
3952×add-log-exp
3939×distribute-lft-out--
3847×difference-of-squares
3760×sqrt-prod
3254×prod-exp
3086×associate-/r*
2881×distribute-lft-out
2682×cbrt-unprod
2547×div-exp
2175×associate-/r/
2117×associate-/l*
2115×flip3-- flip--
1903×div-inv
1895×pow-prod-down
1807×cbrt-undiv
1663×log-prod
1601×unswap-sqr
1454×distribute-rgt-in distribute-lft-in
1309×unpow-prod-down
1067×pow1/3
993×swap-sqr
858×*-commutative
668×sub-neg
537×sqrt-div
522×clear-num frac-2neg
508×associate-/l/
502×sum-log
467×associate-+l+
417×cube-prod
399×associate-+r+
359×sqrt-pow1
287×+-commutative
283×pow-prod-up
281×sqr-pow
272×1-exp
267×diff-log
262×rec-exp
256×log-pow
249×pow-sqr
244×associate--l+
230×frac-sub
223×pow1/2
185×pow-exp
173×exp-prod
134×pow-to-exp
129×pow-unpow
120×unpow2
115×pow-plus
111×pow2
108×exp-sum
102×div-sub
95×unpow-prod-up
92×rem-sqrt-square
75×log-div
73×pow-flip
72×sinh-def
65×inv-pow
64×distribute-rgt-neg-out
63×pow-pow
53×cube-div
52×associate--r+
48×tanh-def
47×un-div-inv
45×unpow3 cube-mult
44×rem-log-exp
39×associate-+l-
37×cosh-def
26×rem-exp-log unsub-neg
25×distribute-rgt-neg-in distribute-lft-neg-in
21×rem-cube-cbrt associate-+r- distribute-rgt-out
18×distribute-lft-neg-out
16×exp-diff
15×sqrt-unprod rem-cbrt-cube
13×rem-square-sqrt
11×neg-mul-1
10×distribute-rgt-out--
9×unpow1/3 sub-div
8×associate--l- tan-quot associate--r-
7×difference-cubes sum-cubes
6×distribute-rgt1-in
5×sqrt-pow2 distribute-lft1-in log-rec pow-sub count-2
4×diff-cos exp-to-pow
3×cos-diff distribute-neg-frac
2×cos-sum neg-sub0 neg-log sin-mult
1×e-exp-1 exp-neg remove-double-div sqrt-undiv cos-mult mul-1-neg

regimes53.8s (3.6%)

Accuracy

Total 200.1b remaining (36%)

Threshold costs 25.4b (4.6%)

12.9b-24.5%Linear.Matrix:det44 from linear-1.19.1.3
12.8b59.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b58%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.7b12.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.9b59.8%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

localize9.4s (0.6%)

bsearch5.5s (0.4%)

end5.0ms (0.0%)