Date:Tuesday, March 3rd, 2020
Commit:ee6b458f on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020063
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.9m (45.3%)

Algorithm
56×intervals
16×halfpoints
Results
23.6s67697×body1280valid
17.4s17413×body2560valid
7.9s42665×body640valid
4.2s13434×body10240exit
2.9s92366×body80valid
2.4s20385×body320valid
2.0s64710×body80nan
1.3s2228×body1280nan
818.0ms10580×body160valid
793.0ms1874×body640nan
574.0ms47427×pre80true
247.0ms948×body320nan
126.0ms424×body5120valid
67.0ms459×body160nan

prune1.2m (29.0%)

Filtered
23169 candidates to 14748 candidates (63.7%)

series37.9s (15.2%)

Calls

417 calls:

561.0ms
(cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
556.0ms
(cbrt (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))))
549.0ms
(cbrt (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))))
517.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
515.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))

simplify13.1s (5.3%)

Algorithm
195×egg-herbie

rewrite5.7s (2.3%)

Algorithm
123×rewrite-expression-head
Calls

417 calls:

247.0ms
(/ (/ (cbrt 1) (/ (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (cbrt a)) c)) (cbrt a))
131.0ms
(/ (/ 1 (/ (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a) (cbrt c))) a)
66.0ms
(/ (/ 1 (/ (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) c)) a)
58.0ms
(/ (/ 1 (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) c)) a)
37.0ms
(* (/ 1 (sqrt (sqrt 2.0))) (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt (sqrt 2.0))))
Rules
41439×times-frac
23984×add-sqr-sqrt
23490×*-un-lft-identity
16981×add-cube-cbrt
9705×cbrt-prod
3938×sqrt-prod
3230×difference-of-squares
2703×distribute-lft-out--
2511×associate-/l*
1617×add-exp-log
1103×add-cbrt-cube
963×distribute-rgt-neg-in
773×add-log-exp
732×associate-*r*
714×pow1
624×unpow-prod-down
588×distribute-lft-out
556×div-inv
496×associate-*l*
441×prod-exp
407×log-prod
406×div-exp
329×associate-/r*
308×sqr-pow unswap-sqr
252×flip3-- flip--
244×cbrt-undiv
215×associate-/r/
213×cbrt-unprod
186×flip-+ flip3-+
168×log-pow
166×cube-prod
162×associate-*l/
154×exp-prod
140×sub-neg unpow2
132×diff-log
108×sqrt-div
96×pow-prod-down
89×associate-*r/
88×associate-/l/
86×pow-exp
85×cbrt-div
83×pow-to-exp
80×frac-times
78×frac-2neg clear-num
76×*-commutative
75×swap-sqr
62×sqrt-pow1
61×pow-unpow
59×tan-quot
57×sum-log
56×pow1/2
53×1-exp pow1/3 rec-exp
42×distribute-rgt-in distribute-lft-in
38×associate-+r+
36×div-sub frac-sub
35×rem-log-exp
34×frac-add log-div
33×+-commutative
30×rem-sqrt-square
29×difference-cubes
25×associate-+l+
24×complex-mul-def
22×pow-pow
21×associate--l+
16×neg-sub0 pow-prod-up
15×unpow3 pow-flip cube-mult
14×exp-to-pow associate--r+
13×associate--l- exp-sum
12×pow-sqr
11×neg-log associate-+l-
9×exp-diff
8×exp-lft-cube
7×sin-mult
6×cube-div rem-cube-cbrt un-div-inv inv-pow *.c-commutative
5×sqrt-unprod pow2 difference-of-sqr-1 pow-plus cos-mult
4×sum-cubes associate-+r- +.c-commutative complex-add-def
3×sin-cos-mult
2×cos-sum sqrt-undiv e-exp-1 rem-exp-log associate-+l+.c exp-neg sub-div pow-sub rem-square-sqrt associate-*l*.c tan-sum rem-cbrt-cube sin-sum
1×sqrt-pow2 diff-atan diff-cos quot-tan frac-2neg.c diff-sin

regimes3.1s (1.3%)

Accuracy

Total 31.2b remaining (11.1%)

Threshold costs 5.3b (1.9%)

5.5b34%expq3 (problem 3.4.2)
5.3b80.3%quadp (p42, positive)
3.2b88.3%quadm (p42, negative)
2.7b88.8%quad2p (problem 3.2.1, positive)
2.5b90.5%quad2m (problem 3.2.1, negative)

localize2.1s (0.8%)

bsearch2.0s (0.8%)

end1.0ms (0.0%)