Date:Tuesday, April 14th, 2020
Commit:681051fe on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020105
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.3m (40.7%)

Algorithm
60×intervals
Results
30.7s335011×body80valid
12.0s208635×body80nan
8.0s21348×body1280valid
3.2s5208×body2560valid
3.0s11021×body640valid
972.0ms5091×body320valid
689.0ms16512×pre80true
353.0ms2631×body160valid
78.0ms232×body5120valid

series45.8s (23.4%)

Calls

348 calls:

3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
515.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
471.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
466.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))

prune37.6s (19.2%)

Filtered
12001 candidates to 7752 candidates (64.6%)

regimes15.4s (7.9%)

Accuracy

Total 38.9b remaining (25.3%)

Threshold costs 4.2b (2.7%)

12.9b-24.5%Linear.Matrix:det44 from linear-1.19.1.3
4.9b25.4%Linear.Matrix:det33 from linear-1.19.1.3
3.1b89%The quadratic formula (r1)
2.7b90%NMSE problem 3.2.1
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))

simplify8.3s (4.2%)

Algorithm
163×egg-herbie

rewrite3.4s (1.7%)

Algorithm
103×rewrite-expression-head
Calls

348 calls:

66.0ms
(/ (* (* x (* (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
59.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
53.0ms
(/ (/ 1 (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) c)) a)
37.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))
36.0ms
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
Rules
6023×times-frac
4949×*-un-lft-identity
4918×add-sqr-sqrt
3358×add-cube-cbrt
2483×add-exp-log
1322×add-cbrt-cube
1179×prod-exp
852×pow1
784×cbrt-prod
703×associate-*l*
684×associate-*r*
582×difference-of-squares
570×add-log-exp
519×div-exp
504×distribute-lft-out--
478×associate-/l*
437×cbrt-unprod
358×flip-- flip3--
332×distribute-rgt-neg-in
326×distribute-lft-out
324×associate-/r*
300×sqrt-prod
289×distribute-lft-neg-in
260×unpow-prod-down
247×div-inv
240×cbrt-undiv
227×pow-prod-down
218×associate-/r/
210×frac-times
205×cbrt-div
196×pow-exp
189×associate-*r/
184×pow-to-exp associate-*l/
174×unswap-sqr
147×distribute-rgt-in distribute-lft-in
137×log-prod
134×cube-prod
133×frac-sub
128×sub-neg
127×flip-+ flip3-+
123×*-commutative
94×1-exp
88×sqrt-div
78×neg-mul-1
69×pow1/3
68×frac-2neg clear-num
65×diff-log swap-sqr
64×associate-/l/
63×sum-log
54×log-pow
53×associate-+r+
51×associate-+l+
50×rec-exp
43×sqr-pow sqrt-pow1
42×pow1/2
41×exp-prod
37×pow-unpow
35×tan-quot
31×rem-sqrt-square
29×exp-sum
26×+-commutative sin-mult
25×associate--r+
23×associate-+l-
20×frac-add neg-sub0 cos-mult associate--l+
16×pow-prod-up
14×pow-sqr neg-log log-div
13×pow-pow pow-flip div-sub
12×inv-pow sub-div
11×rem-exp-log associate--l-
10×unpow2
8×un-div-inv
7×distribute-lft-neg-out pow-plus distribute-rgt-neg-out pow2
6×exp-diff distribute-neg-frac unpow-prod-up
5×cube-div distribute-frac-neg rem-log-exp log-rec
4×rem-cube-cbrt unpow3 distribute-neg-in pow-sub cube-mult
3×associate-+r- exp-to-pow
2×sqrt-unprod exp-neg tan-sum cos-sum rem-cbrt-cube
1×unsub-neg rem-square-sqrt cube-neg pow-neg

bsearch2.8s (1.4%)

localize2.6s (1.4%)

end0.0ms (0.0%)