Date:Thursday, March 19th, 2020
Commit:2b8af9a1 on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020079
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.6m (47.0%)

Algorithm
56×intervals
12×halfpoints
Results
23.5s67953×body1280valid
17.3s17055×body2560valid
7.8s42554×body640valid
4.0s12972×body10240exit
3.0s92078×body80valid
2.4s20460×body320valid
1.8s65520×body80nan
1.3s2168×body1280nan
820.0ms10886×body160valid
769.0ms1919×body640nan
560.0ms47473×pre80true
230.0ms957×body320nan
147.0ms431×body5120valid
67.0ms480×body160nan

series43.2s (21.3%)

Calls

403 calls:

1.3s
(cbrt (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))))
1.1s
(cbrt (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))))
935.0ms
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))

prune40.3s (19.9%)

Filtered
19691 candidates to 10685 candidates (54.3%)

simplify11.8s (5.8%)

Algorithm
185×egg-herbie

rewrite5.4s (2.6%)

Algorithm
121×rewrite-expression-head
Calls

403 calls:

188.0ms
(/ (/ (/ 1.0 (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
53.0ms
(/ (/ 1 (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) c)) a)
51.0ms
(* (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))))
45.0ms
(+ (/ 1 (pow x 5)) (/ 1 (pow x 3)))
44.0ms
(* (/ 1.0 x) (- (/ 1 n) (/ (log (/ 1 x)) (pow n 2))))
Rules
23050×sqrt-prod
22697×times-frac
21876×*-un-lft-identity
12426×add-sqr-sqrt
9453×add-cube-cbrt
6196×distribute-lft-out
1433×add-exp-log
1318×associate-/l*
1204×difference-of-squares
1007×add-cbrt-cube
997×unpow-prod-down
941×associate-*r*
775×distribute-lft-out--
750×add-log-exp
713×pow1
709×sqrt-div
637×associate-*l*
523×cube-prod
512×sqr-pow
492×associate-/r/
399×associate-/r*
389×unswap-sqr
375×prod-exp
374×div-inv
320×flip-+ flip3-+
306×div-exp
292×log-pow
279×log-prod
235×cbrt-prod
227×flip3-- flip--
198×exp-prod
185×cbrt-undiv
176×cbrt-unprod
146×unpow2
141×pow-exp
136×pow-to-exp
120×distribute-rgt-neg-in
115×diff-log
112×sub-neg
96×cbrt-div
85×pow-prod-down *-commutative
81×associate-/l/
80×associate-*r/
76×sum-log
74×frac-2neg clear-num
70×sqrt-pow1
67×distribute-lft-neg-in
59×frac-times
57×pow1/3
56×associate-*l/
54×unpow3 cube-mult log-div
52×pow1/2
44×+-commutative
40×cube-div pow-pow tan-quot frac-add
39×pow-unpow
38×distribute-rgt-in distribute-lft-in exp-sum
37×associate-+r+
36×div-sub swap-sqr
33×rec-exp 1-exp
32×associate-+l+
28×neg-sub0
27×rem-sqrt-square
26×associate--l+
25×frac-sub
24×rem-log-exp
23×difference-cubes
21×exp-diff
17×inv-pow pow-flip
16×associate-+l- associate--r+
15×pow-prod-up
14×rem-cube-cbrt
13×associate--l- neg-log
11×pow-sqr
9×exp-neg neg-mul-1
7×sin-mult
6×cos-mult
5×un-div-inv sqrt-unprod associate-+r- distribute-frac-neg
4×sum-cubes associate--r- pow2 difference-of-sqr-1 pow-plus
3×rem-exp-log log-rec
2×cos-sum +.c-commutative tan-sum rem-cbrt-cube frac-2neg.c sin-sum
1×sin-cos-mult diff-atan sub-div diff-cos unsub-neg rem-square-sqrt distribute-rgt-neg-out diff-sin distribute-neg-frac exp-to-pow

regimes3.4s (1.7%)

Accuracy

Total 29.0b remaining (14.8%)

Threshold costs 5.2b (2.7%)

5.1b82.1%quadp (p42, positive)
5.1b81.3%quad2m (problem 3.2.1, negative)
4.6b45.2%expq3 (problem 3.4.2)
2.9b89.8%quad2p (problem 3.2.1, positive)
2.2b81.1%2nthrt (problem 3.4.6)

localize1.8s (0.9%)

bsearch1.6s (0.8%)

end1.0ms (0.0%)