Date:Friday, March 6th, 2020
Commit:4fbe8b6b on better-rr
Hostname:warfa with Racket 7.5
Seed:2020066
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.5m (44.6%)

Filtered
560590 candidates to 312175 candidates (55.7%)

series17.2m (27.0%)

Calls

2218 calls:

3.2m
(* (* y z) (fma (- (tanh (/ x y))) 1 (* (tanh (/ x y)) 1)))
3.9s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
1.2s
(/ 1 (/ (fma (- b y) z y) (fma x y (* z (- t a)))))
1.1s
(* (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) z) (+ t a)))) (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) z) (+ t a)))))
1.0s
(* z (+ (- (* 1 (* y 4.0))) (pow (cbrt (* y 4.0)) 3)))

rewrite9.6m (15.0%)

Algorithm
850×rewrite-expression-head
Calls

2220 calls:

12.5s
(* (* (/ (* 3.0 (/ (* (cbrt x) (cbrt x)) 27.0)) (* (cbrt z) (cbrt z))) (/ (/ (cbrt x) y) (* (cbrt z) 2.0))) (sqrt t))
10.8s
(* (/ (* 3.0 (/ (* (cbrt x) (cbrt x)) 27.0)) (* (cbrt z) (cbrt z))) (/ (/ (cbrt x) y) (* (cbrt z) 2.0)))
8.1s
(+ x (* (* (* (- y z) (/ (* (cbrt (- t x)) (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))) (* (cbrt (- a z)) (cbrt 1)))) (/ (cbrt (cbrt (- t x))) (cbrt (- a z)))) (/ (cbrt (- t x)) (cbrt (- a z)))))
4.7s
(/ (* (sin (* x 0.5)) (* (sqrt (/ 8.0 3.0)) (sqrt (/ (sqrt 8.0) (* (cbrt 3.0) (cbrt 3.0)))))) (/ (/ (sin x) (sin (* x 0.5))) (sqrt (/ (sqrt 8.0) (cbrt 3.0)))))
3.2s
(* (* (- y z) (/ (* (cbrt (- t x)) (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))) (* (cbrt (- a z)) (cbrt 1)))) (/ (cbrt (cbrt (- t x))) (cbrt (- a z))))
Rules
1270296×add-sqr-sqrt
1235983×times-frac
602343×*-un-lft-identity
563592×sqrt-prod
472605×cbrt-prod
468017×add-cube-cbrt
429583×associate-*r*
380524×unswap-sqr
211730×associate-*l*
101475×swap-sqr
98463×frac-times
89364×associate-/l*
70747×associate-/r*
69389×difference-of-squares
43914×prod-diff
42707×*-commutative
26583×div-inv
23440×distribute-lft-out--
23037×associate-*r/
22491×distribute-lft-out
20638×cbrt-div
19440×associate-/l/
19331×add-cbrt-cube
17541×associate-*l/
16661×flip-- flip3--
11184×cbrt-unprod
10430×associate-/r/
10307×add-exp-log
10237×frac-sub
8915×sqrt-div
8540×unpow-prod-down
8103×distribute-rgt-neg-in
8093×clear-num
8007×distribute-rgt-in distribute-lft-in
7918×distribute-lft-neg-in
7649×frac-2neg
6646×cbrt-undiv
5690×pow1
3073×flip-+ flip3-+
3043×prod-exp
2910×add-log-exp
2567×div-exp
2433×frac-add
2284×associate-+r+
2225×log1p-expm1-u
2224×expm1-log1p-u
1609×fma-def
1510×fma-neg
1434×exp-sum
1341×associate-+l+
1336×pow-prod-down
1220×un-div-inv
1216×log-prod
847×pow1/3
834×log-pow
833×fma-udef
775×associate--l+
757×cube-prod
657×neg-mul-1
587×sqr-pow
441×sub-neg
435×associate--r+
380×sqrt-pow1
288×+-commutative
277×unpow2
270×exp-prod
268×pow-unpow
264×1-exp
261×pow1/2
228×rec-exp
222×pow-prod-up
202×sin-mult
201×sum-log
200×pow-exp
176×diff-log
163×pow-sqr
160×hypot-def
155×rem-sqrt-square
147×log-div
142×cube-div sub-div
128×distribute-rgt-out
123×cos-sum
115×pow-to-exp
112×pow-pow
109×div-sub
98×distribute-rgt-out--
87×pow-plus
85×cosh-def
78×pow2
77×pow-flip
69×cube-mult
66×inv-pow
64×sum-cubes
62×unpow3
59×rem-cube-cbrt
51×remove-double-div
42×rem-log-exp
32×associate-+l-
30×distribute-rgt-neg-out
29×associate--r-
27×sinh-def
25×tanh-def
22×log-rec
20×distribute-lft-neg-out
18×sqrt-unprod
16×distribute-neg-frac
15×rem-exp-log
14×associate--l- unsub-neg
13×exp-diff sqrt-pow2
12×exp-neg mul-1-neg
11×associate-+r- rem-square-sqrt
10×rem-cbrt-cube
9×expm1-log1p neg-sub0
8×distribute-frac-neg
7×distribute-lft1-in distribute-rgt1-in count-2
6×hypot-udef
5×pow-div log1p-expm1 expm1-udef
4×log1p-udef diff-cos
3×sqrt-undiv unpow1/3 cos-diff neg-log
2×e-exp-1 pow-sub exp-to-pow tan-quot
1×sin-neg sub0-neg pow3 sin-sum sin-diff

simplify4.2m (6.6%)

Algorithm
1384×egg-herbie

sample3.4m (5.3%)

Algorithm
536×intervals
Results
1.2m2559351×body80valid
20.4s493812×body80nan
16.5s44626×body1280valid
9.2s41505×body640valid
3.9s5713×body2560valid
3.5s23774×body320valid
1.3s13147×body160valid
779.0ms1538×body10240exit
110.0ms44×body5120valid
99.0ms661×body640nan
92.0ms459×body1280nan
49.0ms437×body320nan
16.0ms220×body160nan

regimes44.5s (1.2%)

Accuracy

Total 203.7b remaining (41.4%)

Threshold costs 26.9b (5.5%)

18.3b10.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.0b58.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.9b17.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
8.8b26.5%Development.Shake.Progress:decay from shake-0.15.5
8.6b16%Numeric.Signal:interpolate from hsignal-0.2.7.1

localize9.6s (0.3%)

bsearch4.5s (0.1%)

end5.0ms (0.0%)