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: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

series10.8m (42.9%)

Calls

300 calls:

3.0s
(- (- (+ (- (* (* y 18.0) (* (* x z) t)) (* (* a 1) (* 4.0 t))) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
2.2s
(/ (- (* (/ (* z (sqrt (+ t a))) (* (cbrt t) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) (/ 2.0 1)))))) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0))))
2.2s
(- (* (/ (* z (sqrt (+ t a))) (* (cbrt t) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) (/ 2.0 1))))))
1.3s
(/ (- (* (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y))))) (* (tan a) (tan a))) (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a)))
770.0ms
(* (cbrt (fma (log t) (- a 0.5) (- (+ (log (+ x y)) (log z)) t))) (cbrt (fma (log t) (- a 0.5) (- (+ (log (+ x y)) (log z)) t))))

prune9.8m (39.0%)

Filtered
196008 candidates to 110894 candidates (43.4%)

simplify2.4m (9.3%)

Algorithm
153×egg-herbie

rewrite1.2m (4.9%)

Algorithm
96×rewrite-expression-head
Calls

303 calls:

8.7s
(/ (- (* (/ (* z (sqrt (+ t a))) (* (cbrt t) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) (/ 2.0 1)))))) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0))))
4.2s
(- (* (/ (* z (sqrt (+ t a))) (* (cbrt t) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) (/ 2.0 1))))))
1.9s
(* (/ (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt z) (cbrt z))) (* (/ (cbrt (cbrt x)) (cbrt z)) (* y (cbrt x))))
758.0ms
(- (- (+ (- (* (* y 18.0) (* (* x z) t)) (* (* a 1) (* 4.0 t))) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
532.0ms
(/ (- (* (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y))))) (* (tan a) (tan a))) (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a)))
Rules
436885×add-sqr-sqrt
178709×unswap-sqr
166596×*-un-lft-identity
158594×times-frac
132138×associate-*l*
127198×associate-*r*
121082×frac-sub
120129×associate-*l/
114923×frac-times
102181×cbrt-prod
98014×associate-*r/
93924×add-cube-cbrt
86483×flip-- flip3--
68200×prod-diff
55917×associate-/r*
46942×associate-/l*
42583×difference-of-squares
34142×associate-/l/
31920×distribute-lft-out--
31019×sqrt-prod
28692×swap-sqr
19254×*-commutative
17277×distribute-rgt-in distribute-lft-in
15896×associate--r+
10519×distribute-lft-out
9328×clear-num
7800×div-sub
7517×frac-2neg
5416×unpow-prod-down
4201×associate--l+
3832×distribute-rgt-neg-in
3656×distribute-lft-neg-in
3618×un-div-inv
3203×add-cbrt-cube
2980×sqr-pow
2973×flip-+ flip3-+
2634×sqrt-div
2382×add-exp-log
2359×div-inv
2170×cbrt-unprod
2032×associate-+l+
1998×tan-quot
1214×associate-/r/
1166×neg-mul-1
1119×cbrt-undiv
1039×fma-neg
929×prod-exp
812×exp-sum
802×pow1
737×div-exp
651×associate-+r+
501×add-log-exp
380×log-prod
304×log1p-expm1-u expm1-log1p-u
224×fma-def
221×pow-prod-down
218×pow-exp
205×pow-to-exp
182×frac-add
111×fma-udef
83×sub-neg
76×1-exp
72×sum-log
71×log-pow
70×rec-exp
55×+-commutative
54×diff-log
52×pow1/3
34×distribute-neg-frac
32×associate-+l-
31×pow-unpow exp-prod
30×sqrt-pow1
29×distribute-rgt-out
28×neg-sub0
27×rem-sqrt-square
25×pow1/2
24×sin-mult cos-mult
23×sub-div
22×log-div
20×remove-double-div
18×neg-log
16×associate--l-
11×hypot-def
9×pow-prod-up pow-sqr
8×pow-flip
7×rem-exp-log inv-pow distribute-frac-neg
6×pow2 pow-plus cbrt-div
4×exp-diff pow-pow distribute-lft1-in cos-sum tan-sum
2×log1p-expm1 associate-+r-
1×log1p-udef distribute-lft-neg-out expm1-log1p sqrt-unprod distribute-rgt-neg-out expm1-udef rem-log-exp

sample48.1s (3.2%)

Algorithm
58×intervals
Results
11.8s256040×body80valid
8.2s198636×body80nan
7.2s21300×body1280valid
2.7s5354×body2560valid
2.7s11219×body640valid
852.0ms5085×body320valid
402.0ms16512×pre80true
297.0ms2520×body160valid
61.0ms228×body5120valid

regimes7.2s (0.5%)

Accuracy

Total 30.2b remaining (24.2%)

Threshold costs 3.6b (2.9%)

8.2b3.3%Linear.Matrix:det33 from linear-1.19.1.3
4.2b85.3%NMSE problem 3.2.1
4.2b85.5%The quadratic formula (r1)
2.3b22.8%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
2.3b10.6%cos(2*x)/(cos^2(x)*sin^2(x))

localize2.5s (0.2%)

bsearch836.0ms (0.1%)

end1.0ms (0.0%)