Date:Thursday, April 30th, 2020
Commit:8dd810b8 on joint-profile
Hostname:warfa with Racket 7.5
Seed:2020121
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

sample31.9s (29.7%)

Algorithm
73×intervals
Results
9.5s293716×body80valid
5.2s14253×body1280valid
2.5s3792×body2560valid
1.9s9701×body640valid
1.8s16705×body160valid
1.4s100578×pre80true
1.0s2257×body10240exit
752.0ms6994×body320valid
549.0ms19526×body80nan
108.0ms253×body5120valid
3.0ms100×pre80false

prune29.1s (27.1%)

Filtered
14832 candidates to 8357 candidates (56.3%)

series26.6s (24.8%)

Calls

291 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
480.0ms
(fma x (* (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))) x) (+ (* 333.75 (pow y 6.0)) (fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))))
413.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
412.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
411.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify10.3s (9.6%)

Algorithm
177×egg-herbie

regimes3.7s (3.5%)

Accuracy

Total 36.1b remaining (15%)

Threshold costs 2.4b (1%)

8.3b33.9%Complex division, imag part
8.1b27.3%Complex division, real part
5.8b67.8%Compound Interest
5.2b81.9%The quadratic formula (r2)
3.9b85.7%The quadratic formula (r1)

rewrite3.4s (3.2%)

Algorithm
107×rewrite-expression-head
Calls

291 calls:

184.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
59.0ms
(/ (* (* (/ PI 2.0) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (+ b a))
59.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
50.0ms
(* (/ (- t1) (+ t1 u)) (/ 1 (/ (+ t1 u) v)))
48.0ms
(* (* (/ PI 2.0) 1.0) (- (/ 1.0 a) (/ 1.0 b)))
Rules
9332×times-frac
8887×*-un-lft-identity
7833×add-sqr-sqrt
6793×add-cube-cbrt
4275×prod-diff
1796×add-exp-log
1276×add-cbrt-cube
910×distribute-rgt-in distribute-lft-in
826×distribute-lft-out
772×sqrt-prod
699×div-inv
685×associate-*r*
649×pow1
602×prod-exp
568×add-log-exp
515×div-exp
464×associate-*l*
429×associate-/l*
352×cbrt-unprod
348×difference-of-squares
312×associate-/r/
307×cbrt-undiv
305×unpow-prod-down
295×associate-/r*
294×expm1-log1p-u
291×log1p-expm1-u
255×distribute-lft-out--
229×fma-neg
205×cbrt-prod
204×flip-+ flip3-+
199×distribute-rgt-neg-in
168×distribute-lft-neg-in
135×flip-- pow-prod-down unswap-sqr flip3--
130×1-exp
121×sqr-pow
117×sum-log
114×cube-prod
105×swap-sqr
100×associate-*r/
99×fma-def
89×frac-times
76×sqrt-div
75×associate-*l/
71×*-commutative rec-exp
70×associate-/l/
64×clear-num frac-2neg
63×sub-neg log-prod
56×neg-mul-1
55×log-pow
49×diff-log
42×fma-udef
36×exp-prod
35×unpow2
28×pow-exp
27×unpow3 cube-mult
26×pow-to-exp +-commutative
22×rem-sqrt-square exp-sum
21×pow1/2 sqrt-pow1
19×pow-prod-up frac-sub
18×pow1/3 pow-plus
17×div-sub
16×pow-flip
15×pow-sqr
14×pow2
13×associate-+r+ log-div
12×pow-unpow frac-add
11×inv-pow
9×associate-+l+ neg-sub0
8×rem-log-exp pow-pow
7×associate--l-
6×cube-div distribute-lft-neg-out hypot-def neg-log
5×cbrt-div distribute-frac-neg
4×rem-cbrt-cube
3×exp-diff log1p-udef log1p-expm1 expm1-log1p expm1-udef associate-+l-
2×rem-cube-cbrt sqrt-pow2 un-div-inv associate--r+
1×sqrt-undiv pow3 distribute-rgt-out associate--l+

localize1.2s (1.2%)

bsearch1.0s (0.9%)

end1.0ms (0.0%)

Profiling

Loading profile data...