Date:Tuesday, February 18th, 2020
Commit:3b7244d2 on master
Hostname:warfa with Racket 7.5
Seed:2020049
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 (28.3%)

Calls

2573 calls:

1.1s
(+ (* (log (pow y 1/3)) (+ y (* (+ y 0.5) 2))) (* 0.5 (log (cbrt y))))
1.0s
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
997.0ms
(* (cbrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (cbrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))))
876.0ms
(* (/ (/ 1 (* (cbrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (cbrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))) (* (cbrt (fabs (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))) (cbrt (fabs (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))))) (* (/ (/ (- x 2.0) (cbrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))) (cbrt (fabs (cbrt (+ (* (+ (* (+ (* (+ 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 (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))))
863.0ms
(* (/ (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (fabs (cbrt (+ (* (+ (* (+ (* (+ 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 (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))))

prune4.1m (26.6%)

sample3.7m (24.1%)

Algorithm
538×intervals
Results
1.4m2655125×body80valid
20.1s501625×body80nan
17.5s47021×body1280valid
9.7s43550×body640valid
4.0s5557×body2560valid
3.6s24933×body320valid
1.3s13722×body160valid
782.0ms1608×body10240exit
99.0ms41×body5120valid
98.0ms506×body1280nan
92.0ms623×body640nan
49.0ms448×body320nan
17.0ms224×body160nan

simplify1.2m (8.1%)

Algorithm
1431×egg-herbie

rewrite50.8s (5.6%)

Algorithm
894×rewrite-expression-head
Calls

2573 calls:

1.9s
(* (+ (* 2.0 2.0) (+ (* (+ x y) (+ x y)) (* 2.0 (+ x y)))) (- (/ x (- (pow 2.0 3) (pow (+ x y) 3))) (/ y (- (pow 2.0 3) (pow (+ x y) 3)))))
1.2s
(* (* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt a)) 1.0) (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) (/ (pow (/ (cbrt 1) (sqrt a)) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ 1 y))
632.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
524.0ms
(* (* (- y z) (/ (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z)))) (- a x))
498.0ms
(* (* (* (* (cbrt (- z t)) (cbrt (- z t))) y) (/ (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (* (cbrt (- a t)) (cbrt (- a t))))) (/ (cbrt (cbrt (- z t))) (cbrt (- a t))))
Rules
43024×times-frac
37436×*-un-lft-identity
36576×add-sqr-sqrt
24770×add-cube-cbrt
13905×add-exp-log
9157×add-cbrt-cube
7861×cbrt-prod
7007×pow1
6920×associate-*r*
5127×sqrt-prod
4603×associate-*l*
4478×prod-exp
3920×add-log-exp
3864×difference-of-squares
3859×associate-/r*
3774×distribute-lft-out--
3711×div-exp
2998×cbrt-unprod
2957×associate-*r/
2948×cbrt-div
2777×distribute-lft-out
2724×flip-+ flip3-+
2705×associate-*l/
2594×sqrt-div
2487×div-inv
2409×frac-times
2397×flip3-- flip--
2095×unpow-prod-down
2094×cbrt-undiv
2077×associate-/l*
2028×associate-/r/
1997×pow-prod-down
1756×log-prod
1619×unswap-sqr
1535×distribute-rgt-in distribute-lft-in
1065×cube-prod
988×swap-sqr
961×pow1/3
914×frac-sub
794×*-commutative
748×sqrt-pow1
724×sub-neg
658×associate-/l/
570×sqr-pow
551×frac-add
515×clear-num frac-2neg
480×pow-exp
474×sum-log
422×pow1/2
401×associate-+l+
390×pow-prod-up
387×associate--l+
362×associate-+r+
346×1-exp
323×rec-exp
317×exp-sum
312×+-commutative
281×diff-log
279×pow-sqr
263×log-pow
252×pow-to-exp
176×pow-unpow
140×rem-sqrt-square
139×unpow2
127×pow-plus
121×div-sub
118×exp-prod
108×pow2
101×distribute-rgt-out-- distribute-neg-frac
91×cube-div
89×pow-pow
84×distribute-rgt-neg-in distribute-lft-neg-in
71×log-div
67×pow-flip distribute-rgt-neg-out
65×inv-pow associate--r+
57×tanh-def
53×rem-log-exp
50×unpow3 cube-mult
41×associate-+l-
35×un-div-inv
30×rem-cube-cbrt sqrt-unprod sinh-def
29×difference-cubes
28×unsub-neg
26×associate-+r- sub-div
22×distribute-rgt-out
21×rem-square-sqrt
20×sum-cubes
17×diff-cos
16×rem-exp-log unpow1/3 associate--l-
14×neg-mul-1 rem-cbrt-cube
11×distribute-lft-neg-out difference-of-sqr-1 associate--r- cosh-def
9×log-rec
8×tan-quot
6×sqrt-pow2 distribute-rgt1-in sin-mult
5×distribute-lft1-in count-2 neg-log
4×exp-diff neg-sub0
3×cos-diff
2×cos-sum sqrt-undiv
1×e-exp-1 exp-neg unpow-prod-up cos-mult exp-to-pow mul-1-neg

regimes50.3s (5.5%)

Accuracy

Total 202.0b remaining (38.4%)

Threshold costs 26.0b (4.9%)

13.3b-29%Linear.Matrix:det44 from linear-1.19.1.3
13.0b26.6%Data.HyperLogLog.Type:size from hyperloglog-0.3.4, A
11.9b62.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.7b59.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.8b54.8%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

localize10.1s (1.1%)

bsearch6.6s (0.7%)

end5.0ms (0.0%)