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

prune1.1m (32.4%)

Filtered
14479 candidates to 9514 candidates (65.7%)

sample50.9s (24.9%)

Algorithm
59×intervals
Results
12.2s263385×body80valid
8.8s21521×body1280valid
8.2s206850×body80nan
3.1s10750×body640valid
2.4s5323×body2560valid
963.0ms5060×body320valid
396.0ms16512×pre80true
327.0ms2521×body160valid
72.0ms270×body5120valid

series48.0s (23.5%)

Calls

353 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)))))
939.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
925.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
811.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0)))))
807.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))

regimes13.0s (6.4%)

Accuracy

Total 24.8b remaining (19.8%)

Threshold costs 5.0b (4%)

4.5b81.5%The quadratic formula (r1)
3.6b6.3%Linear.Matrix:det33 from linear-1.19.1.3
2.8b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.0b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
1.8b49.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite10.5s (5.1%)

Algorithm
103×rewrite-expression-head
Calls

353 calls:

742.0ms
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (+ (* y (log (/ 1 (sqrt z)))) (* y (log (/ 1 (sqrt z))))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
480.0ms
(* (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))) (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))))
464.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
379.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
331.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
Rules
6546×times-frac
6072×*-un-lft-identity
5684×add-sqr-sqrt
3929×associate-*l/
3687×associate-*r/
3645×add-cube-cbrt
2505×flip-- flip3--
2438×frac-sub
2345×sqrt-prod
2193×frac-times
2130×add-exp-log
1260×distribute-rgt-neg-in
1239×add-cbrt-cube
1233×distribute-lft-neg-in
1126×sqrt-div
974×prod-exp
935×flip-+ flip3-+
907×difference-of-squares
876×pow1
834×associate-*l*
801×associate-*r*
724×associate-/l/
675×unpow-prod-down
637×distribute-lft-out--
636×cbrt-prod
601×distribute-lft-out
529×add-log-exp
434×cube-prod
429×cbrt-unprod
421×div-exp
398×associate-/r*
323×neg-mul-1
318×associate-/l*
299×cbrt-div
252×sqr-pow
246×pow-prod-down
198×div-inv
193×cbrt-undiv
184×unswap-sqr
178×pow-exp
162×associate-/r/
140×pow-to-exp
128×distribute-rgt-in distribute-lft-in
124×*-commutative
121×sub-div
118×sub-neg
100×log-prod
99×pow1/3
69×frac-add
64×clear-num frac-2neg
61×1-exp
59×exp-sum
57×swap-sqr
55×sum-log
52×sqrt-pow1
50×tan-quot
49×rec-exp diff-log
47×pow1/2
42×distribute-neg-frac
35×associate-+r+
34×rem-sqrt-square
30×associate-+l+
29×associate--r+
28×log-pow
25×difference-cubes
23×+-commutative associate-+l-
22×pow-flip sin-mult
21×cos-mult
19×pow-unpow
18×neg-sub0
17×exp-prod
14×div-sub neg-log associate--l+
13×pow-sqr pow-prod-up
12×inv-pow log-div
8×cube-div exp-diff pow-pow distribute-rgt-neg-out
7×pow2 pow-plus associate--l-
6×un-div-inv rem-exp-log distribute-frac-neg log-rec
5×unpow3 unpow2
4×rem-cube-cbrt sqrt-unprod associate-+r- cube-mult
3×unsub-neg
2×cos-sum distribute-lft-neg-out distribute-neg-in tan-sum rem-cbrt-cube
1×exp-neg distribute-rgt-out cube-neg rem-log-exp

simplify9.4s (4.6%)

Algorithm
162×egg-herbie

bsearch3.8s (1.9%)

localize2.7s (1.3%)

end0.0ms (0.0%)