Date:Wednesday, April 22nd, 2020
Commit:1c116713 on better-rr
Hostname:warfa with Racket 7.5
Seed:2020113
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

prune28.6m (38.3%)

Filtered
553626 candidates to 284281 candidates (51.3%)

rewrite17.4m (23.4%)

Algorithm
873×rewrite-expression-head
Calls

2360 calls:

32.1s
(/ (* (- (* (/ y (* (cbrt z) (cbrt z))) (cbrt (- 1.0 z))) (* (* (cbrt z) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))) (/ t (cbrt (cbrt (- 1.0 z)))))) x) (* (cbrt z) (cbrt (- 1.0 z))))
27.2s
(* (* x (* (cbrt y) (cbrt y))) (* (/ (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a)))))) (/ (* (cbrt (cbrt y)) z) (cbrt (sqrt (- (* z z) (* t a)))))))
21.5s
(* (- (* (/ y (* (cbrt z) (cbrt z))) (cbrt (- 1.0 z))) (* (* (cbrt z) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))) (/ t (cbrt (cbrt (- 1.0 z)))))) x)
19.2s
(* (/ (* 3.0 (/ 1 (* (cbrt y) (cbrt y)))) (* z (* (cbrt 2.0) (cbrt 2.0)))) (* (/ (/ x (* (cbrt y) 27.0)) (cbrt 2.0)) (sqrt t)))
6.4s
(log (exp (* (+ (* (sqrt 2.0) (fma 1 (sin x) (- (* (/ (cbrt (sin y)) (cbrt 16.0)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt 16.0) (cbrt 16.0))))))) (+ (* (sqrt 2.0) (- (* (/ (cbrt (sin y)) (cbrt 16.0)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt 16.0) (cbrt 16.0)))))) (* (sqrt 2.0) (pow (/ (cbrt (sin y)) (cbrt 16.0)) 3)))) (- (sin y) (/ (sin x) 16.0)))))
Rules
3643184×add-sqr-sqrt
2149376×cbrt-prod
1650046×unswap-sqr
1330381×times-frac
851535×*-un-lft-identity
775553×associate-/r*
657363×associate-*l*
559017×associate-*r*
547755×frac-times
537586×add-cube-cbrt
440605×associate-*l/
354572×frac-sub
331430×associate-*r/
294047×swap-sqr
286758×difference-of-squares
224442×cbrt-div
192118×associate-/l*
171898×associate-/l/
141165×*-commutative
138823×sqrt-prod
127291×prod-diff
112987×flip-- flip3--
72019×distribute-lft-out--
44350×associate--r+
40380×clear-num
39334×unpow-prod-down
35927×frac-2neg
29661×distribute-lft-out
29117×distribute-rgt-in distribute-lft-in
21782×add-cbrt-cube
13944×flip-+ flip3-+
13807×cbrt-unprod
12771×un-div-inv
11554×add-exp-log
8699×sqrt-div
8557×div-inv
7774×associate-/r/
6933×cbrt-undiv
6775×fma-def
6369×distribute-rgt-neg-in
6279×distribute-lft-neg-in
6122×pow1
3976×log-prod
3668×frac-add
3655×prod-exp
3359×add-log-exp
2844×div-exp
2363×log1p-expm1-u
2362×expm1-log1p-u
2298×associate-+l+
1893×fma-neg
1733×associate-+r+
1669×log-pow
1469×associate--l+
1241×pow-prod-down
1058×log-div
808×pow1/3
755×exp-sum
716×neg-mul-1
692×cosh-def
637×exp-prod
570×distribute-rgt-out
501×sqr-pow
469×sub-neg
425×fma-udef
398×sum-log
374×sqrt-pow1
373×distribute-neg-frac
350×+-commutative
347×1-exp
281×rec-exp
265×pow1/2 pow-unpow
231×rem-sqrt-square
210×hypot-def
208×diff-log
198×distribute-rgt-out--
188×pow-prod-up
182×unpow2
180×sub-div
155×pow-sqr
141×pow-exp
123×unpow3
122×cos-sum
115×div-sub
105×pow-flip
90×pow-pow
82×pow-to-exp
80×pow-plus
78×inv-pow
76×remove-double-div
74×pow2
72×rem-log-exp
60×sinh-def
58×rem-cube-cbrt associate-+l-
46×tanh-def
44×distribute-rgt-neg-out log-rec
38×associate-+r-
20×difference-cubes sum-cubes rem-cbrt-cube
19×distribute-lft1-in
18×exp-neg mul-1-neg
16×hypot-udef
15×rem-exp-log
14×sqrt-unprod unsub-neg
13×associate--l- distribute-rgt1-in
10×distribute-lft-neg-out rem-square-sqrt
9×count-2 sqrt-undiv
8×neg-sub0
7×associate--r- tan-quot
6×exp-to-pow diff-cos
5×unpow1/3 distribute-frac-neg
4×expm1-log1p neg-log
3×exp-diff expm1-udef cos-diff log1p-expm1 sin-mult
2×sqrt-pow2 log1p-udef distribute-neg-in cos-mult
1×e-exp-1

series14.5m (19.5%)

Calls

2358 calls:

3.3s
(* (cbrt (log (- 1.0 (/ y x)))) (cbrt (log (- 1.0 (/ y x)))))
3.3s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (cbrt (* 27.0 k)) (cbrt (* 27.0 k))) (* (cbrt (* 27.0 k)) j)))))
3.1s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* 27.0 k) j))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* 27.0 (* j k)))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

simplify9.0m (12.1%)

Algorithm
1405×egg-herbie

sample3.4m (4.5%)

Algorithm
535×intervals
Results
1.2m2550139×body80valid
18.7s459464×body80nan
17.2s46084×body1280valid
9.6s42967×body640valid
3.8s5449×body2560valid
3.7s24550×body320valid
1.3s13732×body160valid
757.0ms1507×body10240exit
111.0ms45×body5120valid
107.0ms679×body640nan
92.0ms492×body1280nan
46.0ms425×body320nan
18.0ms243×body160nan

regimes46.9s (1.0%)

Accuracy

Total 172.5b remaining (37.5%)

Threshold costs 25.3b (5.5%)

16.3b28.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.6b27.7%Development.Shake.Progress:decay from shake-0.15.5
8.3b-6%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.4b6.8%Numeric.Signal:interpolate from hsignal-0.2.7.1
6.6b15.4%System.Random.MWC.Distributions:truncatedExp from mwc-random-0.13.3.2

end36.5s (0.8%)

localize10.1s (0.2%)

bsearch4.4s (0.1%)