Date:Wednesday, March 4th, 2020
Commit:96d2f482 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020064
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 (56.0%)

Algorithm
56×intervals
16×halfpoints
Results
23.9s67788×body1280valid
18.3s17617×body2560valid
7.8s42406×body640valid
4.1s13149×body10240exit
2.8s92166×body80valid
2.4s20656×body320valid
1.8s63844×body80nan
1.3s2225×body1280nan
801.0ms10522×body160valid
737.0ms1878×body640nan
568.0ms47483×pre80true
226.0ms923×body320nan
135.0ms480×body5120valid
70.0ms461×body160nan

series35.7s (17.9%)

Calls

401 calls:

1.4s
(sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (/ (+ (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (sqrt (exp (* 2.0 x)))) (sqrt (sqrt 1.0)))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (pow (- (sqrt (sqrt (exp (* 2.0 x)))) (sqrt (sqrt 1.0))) 3))))))
1.3s
(sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (/ (+ (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (sqrt (exp (* 2.0 x)))) (sqrt (sqrt 1.0)))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (sqrt (exp (* 2.0 x)))) (sqrt (sqrt 1.0)))))))
702.0ms
(* (cbrt (/ (/ 1 2.0) (sqrt 2.0))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
674.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
484.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))

prune31.1s (15.6%)

Filtered
12840 candidates to 8214 candidates (64.0%)

simplify11.1s (5.6%)

Algorithm
194×egg-herbie

rewrite3.8s (1.9%)

Algorithm
122×rewrite-expression-head
Calls

401 calls:

61.0ms
(sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (/ (+ (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (sqrt (exp (* 2.0 x)))) (sqrt (sqrt 1.0)))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (pow (- (sqrt (sqrt (exp (* 2.0 x)))) (sqrt (sqrt 1.0))) 3))))))
48.0ms
(* (/ (sqrt 1.0) (/ (+ x 1.0) (- 0 (* 1.0 1.0)))) (/ (sqrt 1.0) (* x 1.0)))
46.0ms
(sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (/ (+ (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (sqrt (exp (* 2.0 x)))) (sqrt (sqrt 1.0)))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (sqrt (exp (* 2.0 x)))) (sqrt (sqrt 1.0)))))))
44.0ms
(sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (exp x) 1.0) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)))))
40.0ms
(+ (/ 1 (pow x 5)) (/ 1 (pow x 3)))
Rules
5477×*-un-lft-identity
5312×add-sqr-sqrt
5034×times-frac
2974×add-cube-cbrt
1536×sqrt-prod
1366×add-exp-log
1004×add-cbrt-cube
940×difference-of-squares
765×add-log-exp
763×pow1
714×distribute-lft-out--
706×associate-*r*
698×associate-*l*
644×unpow-prod-down
608×distribute-lft-out
435×associate-/r*
410×cbrt-prod
408×associate-/l*
348×div-exp
324×log-prod
304×prod-exp
299×flip-- flip3--
284×div-inv
279×sqr-pow
249×unswap-sqr
239×associate-/r/
233×log-pow
225×exp-prod
199×cbrt-undiv
182×cbrt-unprod
180×sqrt-pow1
164×unpow2
154×flip-+ flip3-+
152×sub-neg
145×associate-*l/
142×diff-log sqrt-div
115×exp-sum
113×pow1/2
98×cube-prod associate-*r/
92×associate-/l/
90×pow-prod-down
86×pow-to-exp swap-sqr pow-exp
81×frac-times
80×distribute-rgt-neg-in
75×frac-2neg clear-num
74×pow-unpow
71×frac-add *-commutative
68×cbrt-div
63×distribute-rgt-in distribute-lft-in
60×1-exp rec-exp sum-log
58×pow-prod-up
52×log-div
39×rem-sqrt-square
36×pow1/3
32×associate-+l+ +-commutative associate--l+
31×associate-+r+
29×rem-log-exp
24×pow-sqr complex-mul-def
23×exp-diff div-sub frac-sub
21×associate--r+
20×neg-sub0
19×pow-flip
18×tan-quot associate--l-
17×inv-pow
14×neg-log pow-pow
12×pow-plus
9×rem-exp-log associate-+l-
8×unpow3 sqrt-unprod cube-mult sin-mult cos-mult
6×*.c-commutative pow2
5×difference-cubes exp-to-pow
4×pow-div un-div-inv distribute-rgt-out-- +.c-commutative complex-add-def
3×associate--r- difference-of-sqr-1 rem-square-sqrt sub-div
2×cube-div associate-+l+.c associate-+r- exp-neg pow-sub associate-*l*.c tan-sum cos-sum distribute-rgt-neg-out pow-neg sin-sum log-rec
1×rem-cube-cbrt diff-atan sin-cos-mult diff-cos unsub-neg frac-2neg.c diff-sin rem-cbrt-cube

regimes2.9s (1.5%)

Accuracy

Total 28.7b remaining (12.5%)

Threshold costs 5.2b (2.3%)

4.2b84.5%quadp (p42, positive)
3.4b86.9%quadm (p42, negative)
3.4b88%quad2m (problem 3.2.1, negative)
3.4b0%expq3 (problem 3.4.2)
3.3b87.8%quad2p (problem 3.2.1, positive)

localize1.8s (0.9%)

bsearch1.2s (0.6%)

end1.0ms (0.0%)