Date:Thursday, April 30th, 2020
Commit:56fb38c9 on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020121
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

series8.2m (44.8%)

Calls

2483 calls:

3.9m
(pow (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) 3)
5.0s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
4.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
4.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
2.9s
(- (- (+ (- (* (* 18.0 (* x y)) (* z t)) (* (* a 4.0) t)) (* b c)) (* x (* 4.0 i))) (* (* j 27.0) k))

sample4.2m (23.1%)

Algorithm
539×intervals
Results
1.7m2657270×body80valid
27.4s518132×body80nan
18.7s46760×body1280valid
10.9s43816×body640valid
4.2s24922×body320valid
4.0s5653×body2560valid
1.5s13398×body160valid
173.0ms1007×body640nan
166.0ms807×body1280nan
84.0ms1545×body80overflowed
81.0ms664×body320nan
63.0ms23×body5120valid
29.0ms353×body160nan

prune3.1m (17.1%)

Filtered
82640 candidates to 54094 candidates (65.5%)

simplify1.2m (6.7%)

Algorithm
1428×egg-herbie

regimes53.6s (4.9%)

Accuracy

Total 208.7b remaining (37%)

Threshold costs 21.0b (3.7%)

12.1b61.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.8b-7.1%Linear.Matrix:det44 from linear-1.19.1.3
10.2b57.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.4b-9.9%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.8b61%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite22.8s (2.1%)

Algorithm
889×rewrite-expression-head
Calls

2483 calls:

78.0ms
(+ (/ 1 (/ (/ (- z t) 60.0) (- x y))) (* a 120.0))
76.0ms
(- x (/ 1 (/ (/ (+ (- t z) 1.0) a) (- y z))))
66.0ms
(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
64.0ms
(* (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
58.0ms
(+ x (/ 1 (/ (/ a y) (- z t))))
Rules
33958×times-frac
32488×*-un-lft-identity
31648×add-sqr-sqrt
21210×add-cube-cbrt
10996×add-exp-log
8837×add-cbrt-cube
7040×pow1
5974×associate-*r*
4714×cbrt-prod
4286×associate-*l*
3913×add-log-exp
3619×difference-of-squares
3529×distribute-lft-out--
3465×associate-/r*
3221×prod-exp
2983×sqrt-prod
2729×cbrt-unprod
2548×flip3-- flip--
2405×associate-*r/
2397×div-exp
2274×distribute-lft-out
2237×associate-/l*
2177×pow-prod-down
2149×associate-*l/
1974×log-prod
1902×associate-/r/
1783×div-inv
1704×cbrt-undiv
1682×cbrt-div
1617×frac-times
1595×distribute-rgt-in distribute-lft-in
1543×flip-+ flip3-+
1365×unswap-sqr
1000×unpow-prod-down
862×pow1/3
824×*-commutative
784×frac-sub
765×sqrt-div
751×swap-sqr
718×sub-neg
697×associate-/l/
646×associate-+l+
525×clear-num frac-2neg
519×sum-log sqrt-pow1
508×associate-+r+
496×cube-prod
462×associate--l+
299×sqr-pow +-commutative
296×pow-prod-up
294×diff-log
284×1-exp rec-exp
247×pow-sqr
222×log-pow
216×pow1/2
204×frac-add
163×pow-exp
122×pow-to-exp
118×pow-plus
113×pow-unpow
110×unpow-prod-up div-sub
102×pow-flip
95×pow2
86×rem-sqrt-square
82×inv-pow
77×exp-prod
72×associate--r+
64×log-div
58×exp-sum
57×unpow2
55×pow-pow
51×cube-div
48×un-div-inv rem-log-exp
46×distribute-rgt-neg-out
44×unpow3 cube-mult
39×associate-+l-
37×cosh-def
36×tanh-def
26×rem-cube-cbrt
22×unsub-neg
20×distribute-rgt-out sinh-def
18×associate--l-
17×rem-cbrt-cube associate-+r-
16×difference-cubes
15×distribute-rgt-out--
14×distribute-rgt-neg-in rem-exp-log distribute-lft-neg-in
12×unpow1/3
11×sqrt-unprod distribute-lft-neg-out
9×rem-square-sqrt
8×diff-cos pow-sub associate--r-
7×sub-div
6×distribute-rgt1-in neg-mul-1
5×exp-diff distribute-lft1-in count-2
4×pow-div sqrt-pow2 exp-to-pow neg-sub0
3×exp-neg cos-diff log-rec neg-log mul-1-neg
2×cos-sum pow3 tan-quot sin-mult
1×sqrt-undiv remove-double-div cos-mult

localize9.3s (0.8%)

bsearch5.3s (0.5%)

end5.0ms (0.0%)