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

prune33.0s (29.5%)

Filtered
12411 candidates to 7862 candidates (63.3%)

sample32.1s (28.7%)

Algorithm
73×intervals
Results
9.7s293487×body80valid
5.1s14169×body1280valid
2.6s3940×body2560valid
1.9s9513×body640valid
1.8s16882×body160valid
1.4s100664×pre80true
1.1s2288×body10240exit
751.0ms6916×body320valid
560.0ms19541×body80nan
94.0ms244×body5120valid
3.0ms100×pre80false

series25.9s (23.2%)

Calls

330 calls:

419.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))
414.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))
404.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
402.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
400.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))

simplify10.3s (9.2%)

Algorithm
183×egg-herbie

rewrite4.3s (3.8%)

Algorithm
113×rewrite-expression-head
Calls

330 calls:

288.0ms
(* (/ 1 (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v)))))) (/ 1 (/ (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v))))) (pow (fabs (* w r)) 2))))
174.0ms
(- 2.0 (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (+ 1.0 (/ 1.0 t)) (/ (cbrt 2.0) t))))
49.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
37.0ms
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
36.0ms
(/ (* (/ (/ PI 2.0) (+ b a)) 1.0) (/ (- b a) (- (/ 1.0 a) (/ 1.0 b))))
Rules
6819×times-frac
5275×add-sqr-sqrt
4906×*-un-lft-identity
3336×add-cube-cbrt
1764×add-exp-log
1734×sqrt-prod
1325×add-cbrt-cube
1170×associate-*r*
806×unpow-prod-down
737×add-log-exp
723×pow1
632×associate-*l*
575×associate-/r*
535×prod-exp
531×difference-of-squares
489×div-exp
451×associate-*r/
433×associate-/r/
394×distribute-lft-out--
391×distribute-lft-out
380×associate-/l*
377×cbrt-unprod
341×sqr-pow
340×div-inv
337×flip-- flip3--
307×unswap-sqr
276×cbrt-undiv
274×flip-+ flip3-+
232×unpow2
184×frac-times sqrt-div
167×pow-prod-down
152×sum-log
150×associate-*l/
133×distribute-rgt-neg-in
127×frac-sub
105×cbrt-prod sub-neg
99×distribute-lft-neg-in
95×associate-/l/
93×swap-sqr
89×*-commutative
87×distribute-rgt-in distribute-lft-in
82×diff-log
78×exp-neg
77×cube-prod sqrt-pow1
75×neg-sub0
71×pow-to-exp pow-exp
66×clear-num frac-2neg
64×rec-exp 1-exp
62×frac-add
61×exp-diff
55×pow1/2 log-prod
48×rem-sqrt-square +-commutative
34×un-div-inv
33×associate-+r+ div-sub
32×associate-+l+
31×neg-mul-1
27×exp-prod
21×pow-prod-up
20×cbrt-div
19×pow-unpow
18×associate--l+
16×unpow3 cube-mult
15×log-pow
14×neg-log
13×pow-sqr pow1/3
12×associate--r+
9×pow-plus pow2 associate--l-
8×cube-div inv-pow pow-flip
7×associate-+r- pow-pow log-div
6×unsub-neg distribute-frac-neg distribute-neg-frac
5×difference-cubes rem-exp-log rem-cbrt-cube
4×distribute-rgt-out exp-sum associate-+l- rem-log-exp
3×distribute-lft1-in distribute-lft-neg-out
2×pow-div distribute-rgt-neg-out
1×rem-cube-cbrt sqrt-unprod distribute-rgt1-in cube-unmult distribute-rgt-out-- rem-square-sqrt associate--r- sum-cubes exp-to-pow

regimes3.7s (3.3%)

Accuracy

Total 26.9b remaining (6.3%)

Threshold costs 3.1b (0.7%)

5.6b71.5%Kahan p9 Example
5.5b69.2%Compound Interest
3.9b86.1%The quadratic formula (r2)
2.6b90.9%The quadratic formula (r1)
2.0b40.7%Complex division, imag part

localize1.5s (1.3%)

bsearch1.1s (0.9%)

end1.0ms (0.0%)