Date:Sunday, May 3rd, 2020
Commit:be9078eb on bug-fix
Hostname:warfa with Racket 7.5
Seed:2020124
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

sample4.3m (28.5%)

Algorithm
539×intervals
Results
1.8m2662019×body80valid
27.3s509315×body80nan
19.6s47878×body1280valid
11.0s43143×body640valid
4.2s24900×body320valid
4.2s5704×body2560valid
1.5s13814×body160valid
184.0ms1100×body640nan
175.0ms843×body1280nan
86.0ms1590×body80overflowed
81.0ms31×body5120valid
79.0ms655×body320nan
29.0ms365×body160nan

series4.2m (27.9%)

Calls

2536 calls:

1.9s
(* (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (/ 1 (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (neg 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) (neg 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
1.3s
(+ (* (+ y 0.5) (* 2 (log (pow y 1/3)))) (* (log (cbrt y)) (+ y 0.5)))
913.0ms
(+ (* (log (pow y 1/3)) (+ y (* (+ y 0.5) 2))) (* (log (cbrt y)) 0.5))
876.0ms
(* (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))))

prune3.7m (24.6%)

Filtered
91968 candidates to 62482 candidates (67.9%)

simplify1.3m (8.5%)

Algorithm
1435×egg-herbie

regimes52.9s (5.9%)

Accuracy

Total 209.8b remaining (36.1%)

Threshold costs 25.2b (4.3%)

16.7b19.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.2b58%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.3b-10.3%Linear.Matrix:det44 from linear-1.19.1.3
10.0b58.8%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.4b62.2%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite25.3s (2.8%)

Algorithm
896×rewrite-expression-head
Calls

2536 calls:

242.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)))
150.0ms
(/ (/ (/ 1 (* (cbrt y) (cbrt y))) 1) (/ (+ 1.0 (* z z)) (/ (/ 1.0 (cbrt y)) x)))
110.0ms
(- 1.0 (/ 1 (/ (- y t) (/ x (- y z)))))
101.0ms
(+ x (/ (/ y t) (/ 1 (- z x))))
95.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
Rules
65608×times-frac
44886×*-un-lft-identity
43988×add-sqr-sqrt
33035×add-cube-cbrt
11115×add-exp-log
8872×cbrt-prod
8771×add-cbrt-cube
6571×associate-*r*
6537×pow1
4856×cbrt-div
3924×associate-/r*
3918×associate-*l*
3904×distribute-lft-out--
3879×add-log-exp
3687×difference-of-squares
3420×sqrt-prod
3258×div-inv
3090×prod-exp
2868×frac-times
2818×associate-*r/
2688×flip3-- flip--
2621×cbrt-unprod
2620×div-exp
2363×associate-/l*
2357×flip-+ flip3-+
2222×distribute-lft-out
2212×associate-*l/
1876×pow-prod-down
1833×cbrt-undiv
1807×associate-/r/
1583×unpow-prod-down
1478×log-prod
1432×unswap-sqr
1389×distribute-rgt-in distribute-lft-in
960×pow1/3
918×swap-sqr
824×frac-add
815×*-commutative
780×sqrt-div
708×sub-neg
580×associate-/l/
525×clear-num frac-2neg
468×sum-log
432×associate-+l+
431×frac-sub
350×cube-prod
317×1-exp associate-+r+
315×sqrt-pow1
304×exp-sum
294×+-commutative
289×associate--l+
287×rec-exp
282×log-pow
278×diff-log
243×pow-prod-up
230×sqr-pow
209×pow-sqr
208×exp-prod
201×pow1/2
139×distribute-neg-frac
132×pow-unpow unpow-prod-up
119×div-sub
103×pow-plus
96×pow2
93×pow-exp
91×rem-sqrt-square
81×pow-flip
73×pow-pow
71×pow-to-exp
70×unpow2
68×inv-pow
64×log-div
59×associate--r+
56×distribute-rgt-neg-in distribute-lft-neg-in
55×tanh-def
51×rem-log-exp
49×un-div-inv
48×cube-div
47×sinh-def
42×distribute-rgt-out--
39×distribute-rgt-neg-out
38×associate-+l-
33×unpow3 cube-mult
26×sub-div
24×rem-cube-cbrt
23×cosh-def
22×distribute-rgt-out
20×unsub-neg rem-exp-log associate-+r-
14×sum-cubes
13×sqrt-unprod
12×rem-cbrt-cube neg-mul-1
11×unpow1/3 associate--l- rem-square-sqrt
10×exp-diff
9×pow-sub
7×sqrt-pow2 distribute-lft-neg-out exp-to-pow
6×distribute-rgt1-in neg-sub0 associate--r-
5×distribute-lft1-in count-2 tan-quot
4×e-exp-1 diff-cos
3×mul-1-neg cos-diff neg-log
2×cos-sum sqrt-undiv exp-neg log-rec distribute-neg-in
1×pow3 distribute-frac-neg sin-mult cos-mult

localize9.8s (1.1%)

bsearch6.6s (0.7%)

end5.0ms (0.0%)

Profiling

Loading profile data...