Date:Thursday, February 27th, 2020
Commit:17a4275c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020058
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

prune4.1m (28.0%)

Filtered
90473 candidates to 58522 candidates (64.7%)

series4.0m (27.0%)

Calls

2540 calls:

4.7s
(* (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))) (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))))
1.1s
(* (/ (cbrt (- x y)) (- z y)) t)
978.0ms
(* (/ (cbrt (- x y)) (- z y)) t)
846.0ms
(* (/ 1 (+ y (* z (- b y)))) (+ (* x y) (* z (- t a))))
789.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))

sample3.4m (23.2%)

Algorithm
539×intervals
Results
1.2m2594400×body80valid
21.8s534025×body80nan
18.2s48023×body1280valid
9.7s42734×body640valid
4.3s5944×body2560valid
3.6s24848×body320valid
1.3s13509×body160valid
773.0ms1570×body10240exit
123.0ms47×body5120valid
102.0ms658×body640nan
96.0ms471×body1280nan
42.0ms391×body320nan
16.0ms234×body160nan

simplify1.2m (8.3%)

Algorithm
1430×egg-herbie

rewrite53.1s (6.0%)

Algorithm
891×rewrite-expression-head
Calls

2540 calls:

1.2s
(* (cbrt (+ (+ (+ (+ y z) z) y) t)) (cbrt (+ (+ (+ (+ y z) z) y) t)))
1.1s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
742.0ms
(* (* (* (* (* y (- x z)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt t))) (cbrt t))
669.0ms
(* (- (/ 1 (/ (- (+ t 1.0) z) y)) (/ z (- (+ t 1.0) z))) (- a x))
668.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
46206×times-frac
40377×*-un-lft-identity
39343×add-sqr-sqrt
25622×add-cube-cbrt
11531×add-exp-log
8818×add-cbrt-cube
6760×pow1
6260×associate-*r*
5939×associate-*r/
5823×cbrt-prod
5528×difference-of-squares
5445×associate-*l/
4923×distribute-lft-out--
4557×flip--
4556×flip3--
4513×associate-*l*
4396×associate-/r*
3921×frac-times
3920×add-log-exp
3373×sqrt-prod
3242×prod-exp
2877×frac-sub
2769×flip-+
2768×flip3-+
2747×div-exp
2700×distribute-lft-out
2676×cbrt-unprod
2575×cbrt-div
2375×unpow-prod-down
2218×associate-/l*
2121×div-inv
1986×associate-/r/
1961×pow-prod-down
1835×cbrt-undiv
1719×sqrt-div
1381×unswap-sqr
1318×associate-/l/
1292×log-prod
1185×cube-prod
1084×distribute-rgt-in distribute-lft-in
998×pow1/3
887×sqr-pow
789×*-commutative
781×swap-sqr
695×sub-neg
549×clear-num frac-2neg
509×sum-log
434×sqrt-pow1
398×frac-add
376×1-exp
352×rec-exp
334×associate--l+
315×+-commutative
310×associate-+r+
306×pow-prod-up
287×associate-+l+
278×exp-sum
258×diff-log
255×pow-sqr
239×pow1/2
213×log-pow
182×distribute-rgt-neg-in
181×distribute-lft-neg-in
143×pow-exp
137×pow-unpow
135×sub-div
121×pow-plus
116×div-sub
110×pow2
97×exp-prod
95×pow-flip
94×difference-cubes
82×inv-pow
80×pow-pow
78×rem-sqrt-square
74×log-div
73×pow-to-exp
58×distribute-rgt-out--
57×tanh-def rem-log-exp
55×distribute-rgt-neg-out
54×associate--r+
48×un-div-inv
46×neg-mul-1
40×sin-mult
37×associate-+l-
36×unpow2
30×distribute-rgt-out
29×cosh-def
28×sum-cubes
27×unsub-neg sinh-def
26×associate-+r-
24×cube-div unpow3
22×cube-mult
20×rem-cube-cbrt rem-exp-log
16×sqrt-unprod
13×distribute-lft-neg-out rem-square-sqrt exp-to-pow
7×distribute-lft1-in associate--l- neg-sub0 rem-cbrt-cube
6×exp-diff distribute-rgt1-in distribute-frac-neg neg-log distribute-neg-frac
5×diff-cos count-2 associate--r-
4×sqrt-pow2 unpow1/3 distribute-neg-in
3×cos-diff
2×pow-div cos-sum tan-quot log-rec
1×sqrt-undiv pow3 exp-neg mul-1-neg

regimes49.4s (5.6%)

Accuracy

Total 204.5b remaining (37.6%)

Threshold costs 23.9b (4.4%)

17.6b14.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.1b58.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b58.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.1b29.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.1b10.5%Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisTick from plot-0.2.3.4, B

localize9.6s (1.1%)

bsearch6.5s (0.7%)

end5.0ms (0.0%)