Date:Wednesday, May 27th, 2020
Commit:9f65fd44 on doc-updates
Hostname:warfa with Racket 7.5
Seed:2020148
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.2m (42.6%)

Algorithm
56×intervals
Results
24.8s67901×body1280valid
18.7s17602×body2560valid
8.5s41958×body640valid
3.4s92537×body80valid
2.8s20604×body320valid
2.2s64412×body80nan
1.2s1122×body1280nan
1.0s15942×body80overflowed
901.0ms10658×body160valid
659.0ms961×body640nan
627.0ms47480×pre80true
186.0ms448×body320nan
161.0ms474×body5120valid
49.0ms220×body160nan

prune40.6s (23.3%)

Filtered
12913 candidates to 8229 candidates (63.7%)

series39.2s (22.5%)

Calls

360 calls:

1.3s
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (pow (* b eps) 3)) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b)))))
870.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
841.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
833.0ms
(log (/ (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (cbrt x))))
710.0ms
(/ (* 1.0 (- (sqrt (+ x 1.0)) (sqrt x))) (* (sqrt x) (sqrt (+ x 1.0))))

simplify9.2s (5.3%)

Algorithm
166×egg-herbie

regimes4.7s (2.7%)

Accuracy

Total 24.7b remaining (20.5%)

Threshold costs 6.1b (5.1%)

4.1b85.5%quadm (p42, negative)
3.4b88.2%quadp (p42, positive)
3.0b0%expq3 (problem 3.4.2)
2.6b90.1%quad2p (problem 3.2.1, positive)
1.8b83.3%2nthrt (problem 3.4.6)

rewrite3.5s (2.0%)

Algorithm
110×rewrite-expression-head
Calls

360 calls:

79.0ms
(* (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (- (pow (+ (* 1.0 x) (log 1.0)) 3) (pow (* 1/2 (/ (pow x 2) (pow 1.0 2))) 3))) (+ (* (+ (* 1.0 x) (log 1.0)) (+ (* 1.0 x) (log 1.0))) (+ (* (* 1/2 (/ (pow x 2) (pow 1.0 2))) (* 1/2 (/ (pow x 2) (pow 1.0 2)))) (* (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))))
33.0ms
(/ (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
31.0ms
(/ (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (neg x)) (exp (neg x)))) (- (- (exp x) 2.0) (exp (neg x))))
30.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
28.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
Rules
6578×times-frac
6467×*-un-lft-identity
5813×add-sqr-sqrt
3430×add-cube-cbrt
1736×add-exp-log
1535×sqrt-prod
1061×difference-of-squares
956×associate-*r/
908×add-cbrt-cube
826×distribute-lft-out
783×distribute-lft-out--
705×pow1
704×add-log-exp
662×frac-times
599×associate-/l*
593×prod-exp
561×frac-add
537×associate-*r*
506×unpow-prod-down
496×flip-+ flip3-+
493×div-exp
465×associate-*l/
405×flip-- associate-/r* flip3--
360×log-prod
330×associate-*l*
316×sqr-pow
297×associate-/r/
264×cbrt-prod
245×div-inv
221×unswap-sqr
207×pow-to-exp pow-exp
185×cbrt-undiv
176×frac-sub
170×associate-/l/
151×cbrt-unprod
146×sub-neg
133×log-pow
130×unpow2
126×distribute-rgt-neg-in
125×diff-log
123×exp-neg
114×neg-sub0
112×exp-diff
110×cube-prod
106×exp-prod
97×sqrt-pow1
94×pow-prod-down
88×sqrt-div
71×clear-num frac-2neg cbrt-div
70×pow1/2
58×pow-unpow
57×pow-prod-up *-commutative
52×log-div
48×sum-log
45×rem-log-exp
44×distribute-rgt-in distribute-lft-in
39×1-exp rec-exp
38×pow1/3
36×swap-sqr
31×pow-sqr
30×rem-sqrt-square
26×+-commutative associate--l+
24×associate-+r+
22×distribute-lft-neg-in associate-+l+
20×cube-div
19×tan-quot
18×un-div-inv
17×div-sub associate--r+
16×exp-sum
15×difference-cubes
13×distribute-rgt-out--
12×inv-pow pow-flip exp-to-pow
11×cos-mult
10×rem-exp-log neg-mul-1
9×unpow3 associate--l- cube-mult associate-+l-
7×pow-plus sin-mult
6×neg-log pow-pow sqrt-unprod pow2 log-rec
4×difference-of-sqr-1
3×associate-+r-
2×rem-cube-cbrt sub-div cos-sum tan-sum rem-cbrt-cube distribute-neg-frac sin-sum
1×sin-cos-mult associate--r- diff-atan diff-cos unsub-neg rem-square-sqrt +-inverses diff-sin

bsearch1.4s (0.8%)

localize1.3s (0.7%)

end1.0ms (0.0%)

Profiling

Loading profile data...