Date:Wednesday, April 29th, 2020
Commit:293eb8dd on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020120
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 (54.8%)

Algorithm
56×intervals
16×halfpoints
Results
25.5s68088×body1280valid
18.0s17027×body2560valid
8.9s42485×body640valid
3.6s92236×body80valid
2.8s20482×body320valid
2.4s65466×body80nan
1.3s1187×body1280nan
1.1s10610×body160valid
1.0s15556×body80overflowed
748.0ms47267×pre80true
667.0ms967×body640nan
184.0ms471×body320nan
163.0ms443×body5120valid
45.0ms215×body160nan

prune39.2s (18.8%)

Filtered
17533 candidates to 10429 candidates (59.5%)

series32.6s (15.7%)

Calls

384 calls:

752.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/6 (pow (* eps a) 3)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0)))
600.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
568.0ms
(cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
491.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
486.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))

simplify11.7s (5.6%)

Algorithm
192×egg-herbie

rewrite4.6s (2.2%)

Algorithm
120×rewrite-expression-head
Calls

384 calls:

191.0ms
(/ (/ (/ a (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) c)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) a)
91.0ms
(- (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt x) (cbrt x)))
52.0ms
(/ (/ a (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) c)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
45.0ms
(* (/ 1.0 x) (- (/ 1 n) (/ (log (/ 1 x)) (pow n 2))))
45.0ms
(+ (/ 1 (pow x 5)) (/ 1 (pow x 3)))
Rules
21441×times-frac
14956×add-sqr-sqrt
13502×*-un-lft-identity
9076×add-cube-cbrt
7822×sqrt-prod
2594×difference-of-squares
1612×associate-/l*
1572×distribute-lft-out--
1508×add-exp-log
1057×associate-*r*
1022×add-cbrt-cube
824×unpow-prod-down
717×distribute-lft-out
680×add-log-exp
659×pow1
555×associate-*l*
426×associate-/r*
407×div-inv
403×prod-exp
378×sqr-pow
364×unswap-sqr
362×div-exp
303×log-prod
266×associate-/r/
250×flip-- flip3--
208×cbrt-undiv
201×unpow2
184×cbrt-unprod
169×cbrt-prod cube-prod
147×distribute-rgt-neg-in
145×pow-exp
138×pow-to-exp
136×log-pow
131×flip-+ flip3-+
129×exp-sum
125×sub-neg
119×diff-log
108×sqrt-div
85×associate-*r/
84×*-commutative
80×associate-/l/
77×clear-num frac-2neg
72×pow-prod-down associate-*l/
57×swap-sqr
53×cbrt-div
49×frac-times
48×distribute-rgt-in distribute-lft-in
47×log-div
45×unpow3 cube-mult sum-log
44×pow1/2 1-exp sqrt-pow1
43×rec-exp
39×exp-prod
38×pow1/3
37×frac-sub
35×associate--l+
32×frac-add
29×rem-sqrt-square
28×+-commutative
27×tan-quot
26×div-sub
25×unpow-prod-up
24×associate-+l+ complex-mul-def
22×pow-unpow pow-flip
21×neg-sub0
20×inv-pow
18×associate--r+
17×associate--l- rem-log-exp
12×exp-diff neg-log
10×cube-div
9×pow-pow pow-prod-up
8×distribute-lft-neg-in rem-cube-cbrt associate-+l-
7×pow-sqr pow-sub
6×*.c-commutative cos-mult
5×rem-exp-log difference-of-sqr-1 sin-mult
4×associate-+r+ sqrt-unprod associate--r- +.c-commutative complex-add-def neg-mul-1
3×un-div-inv associate-+r- distribute-rgt-out-- pow-plus sub-div pow2 pow-neg
2×e-exp-1 associate-+l+.c exp-neg distribute-neg-frac distribute-frac-neg associate-*l*.c tan-sum cos-sum exp-to-pow sin-sum rem-cbrt-cube
1×difference-cubes diff-atan sin-cos-mult diff-cos unsub-neg rem-square-sqrt diff-sin log-rec

regimes2.9s (1.4%)

Accuracy

Total 23.0b remaining (11.4%)

Threshold costs 5.2b (2.6%)

3.6b86.4%quadm (p42, negative)
3.3b0%expq3 (problem 3.4.2)
3.3b87.5%quad2m (problem 3.2.1, negative)
2.5b90.5%quad2p (problem 3.2.1, positive)
2.3b79.2%2nthrt (problem 3.4.6)

localize1.9s (0.9%)

bsearch1.3s (0.6%)

end1.0ms (0.0%)