Date:Wednesday, April 1st, 2020
Commit:71d48594 on master
Hostname:warfa with Racket 7.5
Seed:2020092
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

sample1.1m (35.4%)

Algorithm
60×intervals
Results
24.3s334279×body80valid
8.8s208147×body80nan
6.9s21222×body1280valid
2.6s11064×body640valid
2.5s5258×body2560valid
1.0s5060×body320valid
414.0ms16512×pre80true
300.0ms2615×body160valid
50.0ms186×body5120valid

prune45.9s (24.2%)

Filtered
14504 candidates to 8829 candidates (60.9%)

series44.3s (23.4%)

Calls

346 calls:

2.8s
(- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
890.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
799.0ms
(pow (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a)))))) 3)
785.0ms
(pow (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) 3)
609.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (* (+ (* (+ (* x y) z) y) 27464.7644705) (* (cbrt y) (cbrt y))) (cbrt y)) 230661.510616) y) t))

regimes13.0s (6.9%)

Accuracy

Total 37.2b remaining (24.6%)

Threshold costs 2.8b (1.8%)

11.7b-16.2%Linear.Matrix:det44 from linear-1.19.1.3
5.7b-1.8%Linear.Matrix:det33 from linear-1.19.1.3
2.3b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.3b60.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
1.9b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

simplify8.8s (4.6%)

Algorithm
162×egg-herbie

rewrite4.0s (2.1%)

Algorithm
102×rewrite-expression-head
Calls

346 calls:

60.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
57.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
49.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
47.0ms
(/ (cbrt (pow (/ 1 (- (acos a))) 3)) (/ 1 a))
46.0ms
(* (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))) (- a x))
Rules
11579×times-frac
7398×*-un-lft-identity
7163×add-sqr-sqrt
5798×add-cube-cbrt
2045×add-exp-log
1686×cbrt-prod
1561×unpow-prod-down
1250×add-cbrt-cube
973×associate-*l/
933×associate-*r/
931×pow1
922×flip3-- flip--
920×prod-exp
730×cube-prod
675×associate-*l*
633×frac-sub
630×frac-times
619×associate-*r*
594×add-log-exp
562×distribute-rgt-neg-in
526×distribute-lft-neg-in
502×associate-/l* div-inv
501×difference-of-squares
494×distribute-lft-out--
491×associate-/r*
414×cbrt-unprod
364×div-exp
351×distribute-lft-out
298×sqrt-div
279×pow-prod-down
265×associate-/r/
261×exp-sum
250×cbrt-div
249×flip-+ flip3-+
233×sqrt-prod
210×associate-/l/
200×cbrt-undiv
186×log-prod
176×neg-mul-1
172×pow-exp
162×unswap-sqr
154×pow-to-exp
153×distribute-rgt-in distribute-lft-in
129×sub-neg
120×*-commutative
107×sqr-pow
94×sum-log
83×log-pow
77×pow1/3
71×associate-+r+
69×diff-log
67×clear-num frac-2neg
53×swap-sqr
46×frac-add
45×associate-+l+
34×rec-exp 1-exp
32×+-commutative
31×tan-quot
30×associate--l+ associate--r+
29×sqrt-pow1
28×associate-+l-
26×pow1/2
24×unpow3 cube-mult
22×pow-unpow log-div
21×rem-sqrt-square exp-prod
20×sin-mult
18×cube-div cos-mult
16×neg-sub0
15×associate--l-
13×inv-pow neg-log pow-flip
12×sub-div pow-sqr pow-prod-up
11×pow-pow
10×unpow2
9×rem-cube-cbrt rem-exp-log div-sub
7×pow2 pow-plus
6×distribute-rgt-out--
5×log-rec rem-cbrt-cube
4×associate-+r- rem-log-exp
3×un-div-inv distribute-lft-neg-out distribute-rgt-neg-out
2×cos-sum exp-diff associate--r- distribute-frac-neg tan-sum distribute-neg-frac
1×sin-cos-mult sqrt-unprod

bsearch3.8s (2.0%)

localize2.7s (1.4%)

end0.0ms (0.0%)