Date:Thursday, March 19th, 2020
Commit:2b8af9a1 on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020079
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

sample30.7s (28.6%)

Algorithm
71×intervals
Results
9.5s284254×body80valid
5.1s14146×body1280valid
2.5s3725×body2560valid
1.9s9870×body640valid
1.4s100622×pre80true
1.0s2182×body10240exit
735.0ms6762×body320valid
551.0ms19485×body80nan
506.0ms8965×body160valid
84.0ms217×body5120valid
3.0ms100×pre80false

prune29.4s (27.4%)

Filtered
14457 candidates to 8015 candidates (55.4%)

series28.6s (26.7%)

Calls

265 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
1.1s
(fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (pow y 4.0)))
1.1s
(pow (log1p (+ a (+ (+ b c) d))) 3)
754.0ms
(cbrt (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))))
752.0ms
(cbrt (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))))

simplify9.9s (9.2%)

Algorithm
162×egg-herbie

regimes3.5s (3.2%)

Accuracy

Total 30.0b remaining (17.7%)

Threshold costs 3.6b (2.1%)

7.4b35%Complex division, real part
6.3b65.3%Compound Interest
5.1b82.2%The quadratic formula (r1)
4.9b82.4%The quadratic formula (r2)
1.5b0%Expression, p6

rewrite3.3s (3.1%)

Algorithm
96×rewrite-expression-head
Calls

265 calls:

143.0ms
(+ (/ 1 x) (- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3))))
72.0ms
(- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3)))
64.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
51.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
51.0ms
(* (/ (/ (- t1) (+ t1 u)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (cbrt (+ t1 u))))
Rules
10416×times-frac
9223×*-un-lft-identity
8512×add-sqr-sqrt
7421×add-cube-cbrt
5423×prod-diff
1450×unpow-prod-down
1379×add-exp-log
1078×add-cbrt-cube
1011×associate-+r+
906×distribute-rgt-in distribute-lft-in
687×distribute-lft-out
685×associate-*r*
675×div-inv
604×pow1
525×add-log-exp
519×sqr-pow
495×cube-prod
476×associate-*l*
465×prod-exp
374×sqrt-prod
349×difference-of-squares
338×div-exp
303×cbrt-unprod
270×associate-/l*
267×log1p-expm1-u expm1-log1p-u
242×distribute-lft-out-- cbrt-undiv
229×associate-/r*
224×fma-neg
223×associate-/r/
204×flip-+ flip3-+
164×frac-times
159×unpow3 cube-mult
153×unswap-sqr
142×flip3-- flip--
136×pow-prod-down
134×distribute-rgt-neg-in
127×fma-def
118×associate-*r/
110×distribute-lft-neg-in
108×sum-log
107×associate-*l/
101×frac-sub
93×cbrt-prod
78×exp-neg
74×swap-sqr
72×1-exp
68×neg-sub0
67×*-commutative
64×associate-/l/
60×sub-neg
59×exp-diff sqrt-pow1
55×log-prod
54×clear-num frac-2neg
44×diff-log
43×pow1/2 sqrt-div
38×neg-mul-1
37×fma-udef
35×unpow2 rec-exp
34×cbrt-div
28×pow-prod-up
26×+-commutative
22×un-div-inv rem-sqrt-square
20×pow-to-exp pow-exp
19×div-sub
17×pow-sqr pow1/3
16×pow-plus
12×log-pow exp-prod
11×pow2 frac-add
10×associate-+l+ neg-log log-div
9×pow-unpow
8×pow-flip associate--l-
6×distribute-lft-neg-out
5×distribute-rgt-out-- associate-+l- rem-log-exp pow-pow
4×rem-exp-log log1p-udef inv-pow log1p-expm1 distribute-frac-neg
3×expm1-log1p expm1-udef associate--l+
2×cube-div rem-cube-cbrt sqrt-unprod sub-div hypot-udef rem-square-sqrt rem-cbrt-cube
1×sqrt-pow2 pow3 associate-+r- sum-cubes

localize1.2s (1.1%)

bsearch710.0ms (0.7%)

end1.0ms (0.0%)