Date:Wednesday, April 1st, 2020
Commit:71d48594 on master
Hostname:warfa with Racket 7.5
Seed:2020092
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

series4.3m (30.7%)

Calls

2498 calls:

2.9s
(- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
1.9s
(/ (+ 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)))))
1.2s
(+ (log (+ (sqrt 1.0) (sqrt y))) (- (log (- (pow (sqrt 1.0) 3) (pow (sqrt y) 3))) (log (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt y)))))))
899.0ms
(+ (* (- (+ (* (/ (* z t) 16.0) (- (/ (* z t) 16.0) (* x y))) (* (* x y) (* x y)))) (* a b)) (* (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3)) 4.0))
887.0ms
(+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))

sample3.7m (26.5%)

Algorithm
540×intervals
Results
1.4m2657625×body80valid
21.2s525599×body80nan
17.1s46066×body1280valid
9.5s43329×body640valid
3.8s5495×body2560valid
3.6s24669×body320valid
1.3s13619×body160valid
757.0ms1536×body10240exit
102.0ms690×body640nan
83.0ms441×body1280nan
76.0ms32×body5120valid
43.0ms405×body320nan
16.0ms232×body160nan

prune3.3m (23.5%)

Filtered
83035 candidates to 55296 candidates (66.6%)

simplify1.2m (8.8%)

Algorithm
1420×egg-herbie

regimes49.4s (5.9%)

Accuracy

Total 194.6b remaining (34.7%)

Threshold costs 26.4b (4.7%)

15.6b49.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.7b-16.2%Linear.Matrix:det44 from linear-1.19.1.3
9.8b7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
9.8b57.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.0b54.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite23.1s (2.8%)

Algorithm
880×rewrite-expression-head
Calls

2498 calls:

181.0ms
(* z (- t a))
97.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
59.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
55.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))))
54.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
Rules
34955×times-frac
33239×*-un-lft-identity
31767×add-sqr-sqrt
21588×add-cube-cbrt
10755×add-exp-log
8677×add-cbrt-cube
6562×pow1
6523×associate-*r*
5350×cbrt-prod
4169×sqrt-prod
4137×associate-*l*
3925×add-log-exp
3512×difference-of-squares
3470×distribute-lft-out--
3294×associate-/r*
3101×prod-exp
2858×cbrt-div
2758×associate-*r/
2653×distribute-lft-out
2634×cbrt-unprod
2418×flip3-- flip--
2357×associate-*l/
2332×div-exp
2154×associate-/l*
2058×frac-times
2038×flip-+ flip3-+
1915×pow-prod-down
1839×div-inv
1761×associate-/r/
1725×cbrt-undiv
1570×log-prod
1439×unpow-prod-down
1405×unswap-sqr
1238×distribute-rgt-in distribute-lft-in
1015×pow1/3
870×frac-sub
843×sqrt-div
799×*-commutative
775×swap-sqr
698×associate-/l/
684×sub-neg
548×sum-log
509×clear-num frac-2neg
461×frac-add
427×associate-+r+
396×sqrt-pow1
392×associate-+l+
345×associate--l+
303×sqr-pow
296×+-commutative
289×pow-prod-up
288×diff-log
272×exp-sum
268×1-exp
264×rec-exp
235×log-pow
231×pow-sqr
203×pow1/2
202×cube-prod
147×exp-prod
121×pow-exp
109×div-sub
107×pow-plus
100×pow-unpow
99×pow2 unpow2
86×log-div
83×pow-to-exp
76×pow-flip
67×rem-sqrt-square
64×associate--r+
59×inv-pow
55×un-div-inv associate-+l-
47×rem-log-exp
44×cube-div
38×pow-pow
32×distribute-rgt-neg-out distribute-neg-frac associate-+r- sinh-def
29×tanh-def
28×distribute-rgt-neg-in distribute-lft-neg-in
22×distribute-rgt-out-- cosh-def
21×distribute-rgt-out
20×unpow3 cube-mult
19×rem-exp-log
16×sum-cubes
15×unsub-neg
14×rem-cube-cbrt sub-div
12×sqrt-unprod distribute-lft-neg-out neg-mul-1
9×rem-cbrt-cube associate--l-
8×unpow1/3 diff-cos rem-square-sqrt tan-quot
7×associate--r-
6×distribute-lft1-in distribute-rgt1-in
5×exp-diff count-2 log-rec
3×neg-log difference-cubes cos-diff neg-sub0
2×e-exp-1 exp-neg unpow-prod-up difference-of-sqr-1 sin-mult cos-sum mul-1-neg
1×pow3 remove-double-div exp-to-pow

localize9.5s (1.1%)

bsearch6.4s (0.8%)

end4.0ms (0.0%)