Date:Tuesday, May 26th, 2020
Commit:bdc69189 on cleanup
Hostname:warfa with Racket 7.5
Seed:2020147
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 (44.6%)

Algorithm
56×intervals
Results
24.7s67973×body1280valid
18.5s17416×body2560valid
8.6s42121×body640valid
3.4s92730×body80valid
2.6s20247×body320valid
2.2s63897×body80nan
1.2s1131×body1280nan
1.2s15862×body80overflowed
916.0ms10712×body160valid
640.0ms939×body640nan
636.0ms47638×pre80true
184.0ms474×body320nan
169.0ms501×body5120valid
46.0ms227×body160nan

prune37.0s (22.3%)

Filtered
11949 candidates to 7820 candidates (65.4%)

series35.3s (21.2%)

Calls

351 calls:

999.0ms
(pow (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) 4)
856.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
847.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
741.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0)))
679.0ms
(/ (* 1.0 (- (sqrt (+ x 1.0)) (sqrt x))) (* (sqrt x) (sqrt (+ x 1.0))))

simplify9.1s (5.5%)

Algorithm
165×egg-herbie

regimes5.2s (3.1%)

Accuracy

Total 28.5b remaining (22.8%)

Threshold costs 6.7b (5.4%)

4.5b83.3%quadp (p42, positive)
3.3b0%expq3 (problem 3.4.2)
3.2b88.2%quadm (p42, negative)
3.1b88.4%quad2m (problem 3.2.1, negative)
2.6b90%quad2p (problem 3.2.1, positive)

rewrite3.2s (1.9%)

Algorithm
109×rewrite-expression-head
Calls

351 calls:

45.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
33.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
31.0ms
(/ (/ (* (/ a (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (/ c (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) a)
29.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
29.0ms
(/ (/ a (/ (- (neg b_2) (exp (log (sqrt (- (* b_2 b_2) (* a c)))))) c)) a)
Rules
6112×*-un-lft-identity
5960×times-frac
5471×add-sqr-sqrt
3203×add-cube-cbrt
1113×sqrt-prod
1077×add-exp-log
970×difference-of-squares
825×add-cbrt-cube
767×distribute-lft-out
732×distribute-lft-out--
719×unpow-prod-down
673×add-log-exp
621×associate-*r*
612×associate-/l*
609×pow1
458×log-prod
399×cbrt-prod
386×associate-/r*
310×sqr-pow
276×flip-- flip3--
257×associate-*l*
250×div-exp
247×associate-/r/
226×cube-prod
215×unswap-sqr
213×div-inv
210×prod-exp
168×cbrt-undiv
149×flip-+ flip3-+ sub-neg
142×unpow2
139×associate-*l/ distribute-rgt-neg-in
124×log-pow
123×diff-log
118×cbrt-unprod
114×exp-sum
109×associate-/l/
91×swap-sqr
81×associate-*r/
72×cbrt-div exp-prod pow-exp
70×clear-num frac-2neg
69×pow-to-exp
66×sqrt-div
65×pow-prod-down
59×frac-times
57×sqrt-pow1
56×pow-unpow
54×frac-add *-commutative
53×pow1/2
50×distribute-rgt-in distribute-lft-in
44×sum-log
42×tan-quot
40×pow1/3
38×rem-log-exp
34×rem-sqrt-square
31×log-div
27×+-commutative
26×associate-+l+ div-sub associate--l+
24×unpow3 cube-mult frac-sub
19×1-exp rec-exp
18×cube-div pow-pow
16×pow-prod-up
15×neg-sub0
13×associate--l- associate--r+
12×pow-sqr
11×exp-diff neg-log
10×associate-+l-
8×rem-cube-cbrt
6×difference-cubes inv-pow pow-flip associate-+r+ cos-mult
5×rem-exp-log sqrt-unprod distribute-rgt-out-- sin-mult
4×sin-cos-mult mul-1-neg pow2 pow-plus rem-cbrt-cube exp-to-pow
3×un-div-inv associate-+r- sub-div
2×cos-sum distribute-lft-neg-in exp-neg difference-of-sqr-1 unsub-neg rem-square-sqrt neg-mul-1 distribute-neg-frac sin-sum tan-sum
1×sqrt-pow2 diff-atan diff-cos associate--r- diff-sin log-rec

localize1.2s (0.7%)

bsearch1.2s (0.7%)

end0.0ms (0.0%)

Profiling

Loading profile data...