Date:Thursday, April 9th, 2020
Commit:e7bf75bc on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020100
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.8m (53.7%)

Algorithm
56×intervals
16×halfpoints
Results
23.2s67798×body1280valid
18.1s17422×body2560valid
8.0s42167×body640valid
4.1s13002×body10240exit
2.8s92338×body80valid
2.4s20637×body320valid
1.8s63992×body80nan
1.3s2303×body1280nan
813.0ms10692×body160valid
762.0ms1867×body640nan
566.0ms47392×pre80true
229.0ms933×body320nan
135.0ms453×body5120valid
66.0ms463×body160nan

series41.3s (20.1%)

Calls

414 calls:

1.2s
(cbrt (* (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))))
1.1s
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
1.1s
(cbrt (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))))
1.0s
(* (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))))
978.0ms
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))

prune32.0s (15.6%)

Filtered
15284 candidates to 9658 candidates (63.2%)

simplify10.7s (5.2%)

Algorithm
195×egg-herbie

rewrite4.5s (2.2%)

Algorithm
123×rewrite-expression-head
Calls

414 calls:

166.0ms
(/ (+ (/ (- (/ 1 a)) a) (/ (/ 1 b) b)) (- (/ 1 b) (/ 1 a)))
144.0ms
(+ (/ (- (/ 1 a)) a) (/ (/ 1 b) b))
65.0ms
(- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2)))))
55.0ms
(/ (/ (cbrt a) (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) (cbrt a))
40.0ms
(- (pow (sqrt (pow (exp (* a x)) 3)) 3) (pow (pow 1.0 3/2) 3))
Rules
10376×times-frac
8923×*-un-lft-identity
8266×add-sqr-sqrt
4978×add-cube-cbrt
1628×cbrt-prod
1487×add-exp-log
1367×difference-of-squares
1120×sqrt-prod
1100×distribute-lft-out--
1099×add-cbrt-cube
814×associate-/l*
800×associate-*r*
796×distribute-lft-out
780×pow1
753×add-log-exp
748×unpow-prod-down
525×div-inv
494×associate-*l*
472×associate-/r*
433×distribute-rgt-neg-in
361×prod-exp
358×div-exp
335×log-prod
301×sqr-pow
280×flip3-- flip--
261×unswap-sqr
255×associate-/r/
240×cube-prod
221×cbrt-undiv
218×cbrt-div
216×flip-+ flip3-+
213×cbrt-unprod associate-*l/
174×unpow2
136×frac-times
128×associate-*r/
121×pow-prod-down
120×sub-neg
114×diff-log associate-/l/
112×swap-sqr
107×log-pow
93×exp-prod
92×frac-add
88×pow-exp
84×frac-2neg clear-num
82×pow-to-exp
80×*-commutative
75×pow1/3
74×sqrt-div
70×pow-unpow
67×sum-log
60×tan-quot
59×distribute-lft-neg-in
49×associate-+l+ associate-+r+
47×rec-exp 1-exp
39×pow1/2 distribute-rgt-in sqrt-pow1 distribute-lft-in
37×log-div frac-sub
32×+-commutative div-sub
27×pow-prod-up exp-sum
25×rem-sqrt-square unpow-prod-up pow-sqr
24×complex-mul-def
23×associate--l+
22×neg-sub0 rem-log-exp
21×pow-pow
19×associate--r+
18×cube-div pow-flip unpow3 cube-mult
15×distribute-rgt-out neg-log
13×inv-pow associate-+l-
12×rem-cube-cbrt rem-exp-log associate--l-
11×pow-plus
10×exp-to-pow
9×exp-diff pow2 sin-mult distribute-neg-frac
8×cos-mult
7×associate-+r- rem-cbrt-cube
6×un-div-inv pow-sub *.c-commutative
4×sqrt-unprod +.c-commutative unsub-neg complex-add-def neg-mul-1
2×pow-div cos-sum sin-cos-mult difference-cubes e-exp-1 pow-neg associate-+l+.c associate--r- exp-neg difference-of-sqr-1 associate-*l*.c tan-sum sin-sum
1×pow3 diff-atan distribute-neg-in sub-div diff-cos rem-square-sqrt distribute-frac-neg log-rec frac-2neg.c diff-sin

regimes3.5s (1.7%)

Accuracy

Total 23.3b remaining (10.4%)

Threshold costs 6.7b (3%)

3.6b86%quadm (p42, negative)
3.1b0%expq3 (problem 3.4.2)
2.0b91.7%quad2m (problem 3.2.1, negative)
2.0b82.4%2nthrt (problem 3.4.6)
1.9b80.8%2cos (problem 3.3.5)

localize1.8s (0.9%)

bsearch1.2s (0.6%)

end1.0ms (0.0%)