Date:Thursday, April 23rd, 2020
Commit:38368d1c on better-rr
Hostname:warfa with Racket 7.5
Seed:2020114
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune19.5m (73.4%)

Filtered
285517 candidates to 178398 candidates (37.5%)

simplify2.7m (10.0%)

Algorithm
156×egg-herbie

rewrite1.5m (5.7%)

Algorithm
97×rewrite-expression-head
Calls

318 calls:

5.9s
(- (* (/ (* (cbrt z) (cbrt z)) 1) (/ (* (cbrt z) (sqrt (+ t a))) t)) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
2.4s
(* (/ (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt z) (cbrt z))) (* (/ (cbrt (cbrt x)) (cbrt z)) (* y (cbrt x))))
1.9s
(/ (* x (/ (pow 1 1.0) 1)) (/ y (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))
649.0ms
(* (* (- y z) (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z))))) (* (cbrt (/ 1 (- (+ t 1.0) z))) (- a x)))
595.0ms
(/ (+ (* (- (/ (* x (cos B)) (sin B))) (/ (sin B) (sqrt 1.0))) (* (/ 1 1.0) (sqrt 1.0))) (/ (/ (sin B) 1.0) (sqrt 1.0)))
Rules
429319×add-sqr-sqrt
424249×times-frac
314185×*-un-lft-identity
282324×frac-times
251064×add-cube-cbrt
242683×frac-sub
233509×associate-/l*
151311×associate-/r*
128176×associate-*r*
123308×cbrt-prod
87959×associate-*l*
87310×unswap-sqr
86318×unpow-prod-down
71080×exp-sum
65309×associate-*r/
63695×flip-- flip3--
62631×flip-+ flip3-+
61814×log-prod
61733×associate-+l+
54828×cbrt-div
31072×distribute-rgt-in distribute-lft-in
27900×swap-sqr
27255×sqrt-prod
22513×associate-*l/
21183×clear-num
20952×frac-2neg
18563×*-commutative
16052×sqr-pow
15731×distribute-lft-out
13824×distribute-lft-out--
12827×div-inv
12703×associate-/l/
8523×difference-of-squares
8244×sqrt-div
4979×associate-+r+
4795×+-commutative
3792×distribute-neg-frac
3716×add-cbrt-cube
3705×add-exp-log
3697×frac-add
3568×associate-/r/
3198×distribute-rgt-neg-in
2530×cbrt-unprod
2307×distribute-lft-neg-in
1531×div-exp
1448×prod-exp
1220×cbrt-undiv
909×pow1
730×neg-mul-1
624×un-div-inv
585×add-log-exp
433×pow-exp
341×associate--l+
326×pow-to-exp
306×pow-prod-down
252×1-exp
158×rec-exp
147×sub-neg
103×sum-log
94×log-pow
88×tan-quot
64×pow-unpow
61×diff-log
57×exp-prod
45×pow1/3
34×pow-flip
29×associate-+l-
28×sin-mult cos-mult
27×pow1/2 sqrt-pow1
26×neg-sub0
25×rem-sqrt-square sub-div
20×remove-double-div
19×neg-log
18×associate--r+
16×div-sub
14×rem-exp-log associate--l-
13×distribute-rgt-out
12×inv-pow unpow2 log-rec
11×distribute-rgt-out-- log-div
10×distribute-lft-neg-out
9×pow-pow distribute-rgt-neg-out
7×exp-diff
5×associate-+r- rem-log-exp
4×pow-sqr pow-prod-up tan-sum cos-sum
3×distribute-frac-neg
2×pow2 pow-plus
1×sqrt-unprod unpow1/2 +-inverses

sample1.1m (4.2%)

Algorithm
59×intervals
Results
24.1s329083×body80valid
8.6s198636×body80nan
7.1s21300×body1280valid
2.7s11219×body640valid
2.6s5354×body2560valid
838.0ms5085×body320valid
421.0ms16512×pre80true
298.0ms2520×body160valid
57.0ms228×body5120valid

end44.5s (2.8%)

series40.8s (2.6%)

Calls

318 calls:

632.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a))
534.0ms
(* (* (- y z) (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))))) (* (/ 1 (cbrt (- (+ t 1.0) z))) (- a x)))
524.0ms
(* (* (- y z) (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z))))) (* (cbrt (/ 1 (- (+ t 1.0) z))) (- a x)))
503.0ms
(* (* (- y z) (/ 1 (- (+ t 1.0) z))) (- a x))
502.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

regimes15.8s (1.0%)

Accuracy

Total 39.3b remaining (26.3%)

Threshold costs 3.5b (2.3%)

14.2b-23.4%Linear.Matrix:det44 from linear-1.19.1.3
5.0b23.5%Linear.Matrix:det33 from linear-1.19.1.3
2.8b90.5%NMSE problem 3.2.1
2.6b7.2%cos(2*x)/(cos^2(x)*sin^2(x))
2.4b30.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

bsearch3.1s (0.2%)

localize2.6s (0.2%)