Date:Sunday, March 15th, 2020
Commit:1a959946 on master
Hostname:warfa with Racket 7.5
Seed:2020075
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.2m (37.7%)

Algorithm
60×intervals
Results
25.2s336694×body80valid
9.1s210960×body80nan
7.2s21194×body1280valid
2.7s11042×body640valid
2.5s5326×body2560valid
908.0ms5287×body320valid
408.0ms16512×pre80true
307.0ms2501×body160valid
62.0ms236×body5120valid

prune42.6s (23.2%)

Filtered
11366 candidates to 7446 candidates (65.5%)

series42.3s (23.1%)

Calls

348 calls:

2.7s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
528.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- (pow 1 3) (pow (* (tan y) (tan z)) 3)) (cos a)))
513.0ms
(/ (+ (* (* z (sqrt (+ t a))) (+ b c)) (- (* (* t (- (* b b) (* c c))) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))))))) (* t (+ b c)))
508.0ms
(* (/ (- y z) (* (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))) (cbrt (- (+ t 1.0) z)))) (- a x))
499.0ms
(* (* (- y z) (/ 1 (- (+ t 1.0) z))) (- a x))

regimes13.0s (7.1%)

Accuracy

Total 39.8b remaining (25.6%)

Threshold costs 4.0b (2.6%)

12.6b-17%Linear.Matrix:det44 from linear-1.19.1.3
5.6b11.9%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
4.5b84.4%The quadratic formula (r1)
4.2b0%Linear.Matrix:det33 from linear-1.19.1.3
2.8b0%cos(2*x)/(cos^2(x)*sin^2(x))

simplify8.5s (4.6%)

Algorithm
163×egg-herbie

rewrite3.3s (1.8%)

Algorithm
103×rewrite-expression-head
Calls

348 calls:

56.0ms
(* (* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) 1) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (pow (/ (cbrt 1) a) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ 1 y))
46.0ms
(/ (* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) 1) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (pow (/ (cbrt 1) a) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
37.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
37.0ms
(* (/ (- y z) (* (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))) (cbrt (- (+ t 1.0) z)))) (- a x))
34.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i))
Rules
3531×add-sqr-sqrt
3425×add-exp-log
3412×*-un-lft-identity
3251×times-frac
2362×add-cube-cbrt
1580×prod-exp
1339×add-cbrt-cube
998×div-exp
966×pow1
793×associate-*r*
564×associate-*l*
549×add-log-exp
468×associate-*r/
449×cbrt-unprod
415×cbrt-prod
385×flip-- flip3--
370×pow-exp
359×associate-/r*
356×difference-of-squares
334×associate-/l*
330×frac-times
326×distribute-lft-out--
286×sqrt-prod
281×pow-prod-down
277×flip-+ flip3-+
264×associate-*l/
226×cbrt-undiv
207×distribute-lft-out
204×unpow-prod-down
200×pow-to-exp
199×associate-/r/
192×div-inv
188×sqrt-div
179×unswap-sqr
174×distribute-rgt-in distribute-lft-in
171×log-prod
164×cbrt-div
155×frac-add
153×1-exp
136×associate-/l/
131×distribute-rgt-neg-in distribute-neg-frac
126×*-commutative
124×sub-neg swap-sqr
97×rec-exp
95×distribute-lft-neg-in
89×frac-sub
74×pow1/3
72×clear-num frac-2neg
70×tan-quot
67×sqrt-pow1
57×diff-log
54×sum-log
51×pow1/2
50×associate-+r+
48×associate-+l+
47×log-pow
45×exp-prod
42×sqr-pow
37×exp-sum
35×sin-mult
33×pow-prod-up
29×rem-sqrt-square neg-mul-1 cos-mult
27×+-commutative neg-sub0
25×pow-unpow pow-sqr
21×neg-log
20×associate-+l-
19×pow-flip
18×inv-pow distribute-rgt-out-- sub-div associate--r+
17×cube-div cube-prod div-sub
15×un-div-inv
14×associate--l+
12×pow-pow distribute-neg-in pow-plus
11×rem-exp-log pow2
8×exp-diff log-div log-rec
7×associate--l-
6×distribute-lft-neg-out exp-neg unpow2
5×unpow3 cube-mult
4×rem-cube-cbrt associate-+r-
3×sqrt-unprod distribute-frac-neg distribute-rgt-neg-out
2×cos-sum unpow1/3 unsub-neg rem-square-sqrt tan-sum rem-cbrt-cube
1×mul-1-neg unpow1/2 quot-tan

localize2.7s (1.5%)

bsearch1.8s (1.0%)

end0.0ms (0.0%)