Date:Tuesday, March 31st, 2020
Commit:2cac45bc on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020091
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

series11.0m (86.2%)

Calls

326 calls:

3.6s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
3.4s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k))))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.8s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

sample50.0s (6.6%)

Algorithm
59×intervals
Results
12.0s262767×body80valid
9.1s205506×body80nan
7.5s21572×body1280valid
2.6s11016×body640valid
2.6s5241×body2560valid
835.0ms5040×body320valid
420.0ms16512×pre80true
292.0ms2446×body160valid
63.0ms233×body5120valid

prune32.6s (4.3%)

Filtered
12254 candidates to 7425 candidates (60.6%)

regimes8.2s (1.1%)

Accuracy

Total 33.1b remaining (26%)

Threshold costs 3.2b (2.5%)

7.3b6.2%Linear.Matrix:det33 from linear-1.19.1.3
4.8b83.2%The quadratic formula (r1)
4.6b83.6%NMSE problem 3.2.1
2.8b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.4b30.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

simplify8.1s (1.1%)

Algorithm
158×egg-herbie

rewrite2.9s (0.4%)

Algorithm
100×rewrite-expression-head
Calls

328 calls:

45.0ms
(/ (* 2.0 c) (+ (- b) (- (* 2.0 (* (/ (* (cbrt a) (cbrt a)) (/ (* (cbrt b) (cbrt b)) (* (cbrt c) (cbrt c)))) (/ (cbrt a) (/ (cbrt b) (cbrt c))))) b)))
35.0ms
(* (/ 1 (/ (- (+ t 1.0) z) (- y z))) (- a x))
31.0ms
(- (/ (cbrt (pow (+ (tan y) (tan z)) 3)) (- 1 (* (tan y) (tan z)))) (tan a))
26.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
24.0ms
(/ 1 (/ (* -1 y) (* (- x) (/ (* (pow a t) (pow z y)) (* (exp b) (pow a 1.0))))))
Rules
4226×add-exp-log
4213×*-un-lft-identity
3811×add-sqr-sqrt
2854×add-cube-cbrt
2746×times-frac
2494×prod-exp
1493×div-exp
1443×prod-diff
1257×add-cbrt-cube
725×pow1
669×cbrt-prod
644×pow-exp
643×pow-to-exp
526×distribute-rgt-neg-in
511×associate-*r*
503×sqrt-prod
496×associate-*l*
482×distribute-lft-neg-in
481×add-log-exp
397×distribute-lft-out-- cbrt-unprod
357×distribute-lft-out
329×log1p-expm1-u expm1-log1p-u
321×difference-of-squares
314×unpow-prod-down
312×associate-/r*
294×fma-neg
279×cbrt-undiv
221×associate-/l*
189×cube-prod
176×div-inv
173×distribute-rgt-in distribute-lft-in
167×flip3-- flip--
149×associate-+r+
146×neg-mul-1
136×unswap-sqr
129×pow-prod-down associate-/r/
120×1-exp
114×rec-exp
113×log-pow
96×associate--r+
93×fma-def
89×log-prod
88×*-commutative sub-neg
84×associate-*r/
73×flip-+ flip3-+ pow1/3
71×associate-*l/
65×clear-num frac-2neg
63×sqr-pow
60×diff-log
55×frac-sub
49×associate-/l/
47×frac-times
46×sqrt-div
44×exp-prod
40×swap-sqr
39×tan-quot
38×associate--l+
32×associate-+l+
31×cbrt-div unpow-prod-up
30×fma-udef
29×sqrt-pow1
27×sum-log
24×associate-+l- unpow2
23×pow1/2 neg-sub0
22×sin-mult
21×pow-unpow
20×rem-sqrt-square log-div
19×neg-log exp-sum
18×pow-pow
17×+-commutative cos-mult
16×unpow3 cube-mult
14×associate--l- div-sub
11×sub-div
10×pow-prod-up pow-sqr
9×rem-exp-log pow-flip
8×cube-div frac-add distribute-frac-neg distribute-neg-frac
7×inv-pow distribute-neg-in
6×distribute-lft-neg-out pow2 pow-plus
5×un-div-inv
4×exp-diff associate-+r-
3×rem-cube-cbrt log1p-udef log1p-expm1 pow-sub exp-to-pow rem-log-exp
2×cos-sum exp-neg expm1-log1p tan-sum rem-cbrt-cube expm1-udef
1×sqrt-unprod cube-neg mul-1-neg

localize2.4s (0.3%)

bsearch1.2s (0.2%)

end1.0ms (0.0%)