Date:Saturday, February 22nd, 2020
Commit:72c1b946 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020053
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.8%)

Algorithm
56×intervals
16×halfpoints
Results
24.5s66436×body1280valid
17.3s17417×body2560valid
8.5s42211×body640valid
3.8s12550×body10240exit
3.0s94383×body80valid
2.6s20396×body320valid
1.7s63722×body80nan
916.0ms10697×body160valid
583.0ms47463×pre80true
305.0ms669×body1280nan
227.0ms700×body640nan
136.0ms437×body5120valid
77.0ms386×body320nan
25.0ms199×body160nan

series37.7s (18.4%)

Calls

400 calls:

484.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
482.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
467.0ms
(cbrt (* (cbrt (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))) (cbrt (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))))))
438.0ms
(/ (+ (pow (sqrt (exp (* 2.0 x))) 3) (pow (sqrt 1.0) 3)) (- (+ (exp (* 2.0 x)) 1.0) (* (sqrt (exp (* 2.0 x))) (sqrt 1.0))))
372.0ms
(- (+ (/ (sin x) (* (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (cos x))) (/ (sin eps) (* (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (cos eps)))) (/ (sin x) (cos x)))

prune32.5s (15.9%)

Filtered
12391 candidates to 8177 candidates (66.0%)

simplify10.1s (4.9%)

Algorithm
193×egg-herbie

rewrite7.4s (3.6%)

Algorithm
121×rewrite-expression-head
Calls

400 calls:

357.0ms
(- (+ (/ (sin x) (* (- 1 (log (exp (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))))) (cos x))) (/ (sin eps) (* (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (cos eps)))) (/ (sin x) (cos x)))
241.0ms
(- (+ (/ (sin x) (* (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (cos x))) (/ (sin eps) (* (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (cos eps)))) (/ (sin x) (cos x)))
203.0ms
(* (* 1/6 (* eps (* (* eps eps) b))) (pow b (/ 2 2)))
183.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
176.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 4.0 (* a c))) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b)) (* 2.0 a))
Rules
5489×*-un-lft-identity
4915×add-sqr-sqrt
4598×times-frac
2882×add-cube-cbrt
1459×sqrt-prod
1364×add-exp-log
1003×add-cbrt-cube
826×difference-of-squares
787×distribute-lft-out
733×add-log-exp
698×pow1
689×cbrt-prod
664×associate-*r*
612×unpow-prod-down
609×distribute-lft-out--
521×associate-*l*
484×associate-/l*
445×log-prod
383×prod-exp
351×associate-/r*
290×sqr-pow
255×div-exp
233×flip-- flip3--
225×associate-/r/
224×div-inv
215×unswap-sqr
204×cbrt-unprod
195×cube-prod
188×flip-+ flip3-+
187×log-pow
178×exp-prod
173×cbrt-undiv
168×associate-*l/
134×swap-sqr
121×sub-neg
119×diff-log
102×associate-/l/
101×cbrt-div
98×unpow2
90×pow-prod-down
86×sqrt-div
83×associate-*r/
79×pow-exp
77×pow-to-exp
76×clear-num *-commutative frac-2neg
72×pow1/3
65×frac-add
56×sum-log
52×frac-times
51×pow-unpow
44×sqrt-pow1
41×frac-sub
40×pow1/2 distribute-rgt-neg-in
38×log-div
34×rem-log-exp
33×exp-sum
30×1-exp rec-exp
29×+-commutative div-sub
28×distribute-rgt-in distribute-lft-in
26×rem-sqrt-square
24×complex-mul-def
23×distribute-rgt-out-- associate--l+
21×difference-cubes
19×associate-+l+
17×unpow3 cube-mult neg-sub0
15×pow-prod-up associate-+l-
14×pow-pow tan-quot sin-mult
13×pow-sqr exp-to-pow
12×neg-log
11×associate--l- cos-mult associate--r+
9×exp-diff un-div-inv sub-div pow-flip
8×associate-+r+
7×inv-pow
6×cube-div rem-exp-log pow2 *.c-commutative pow-plus exp-lft-cube
5×rem-cube-cbrt associate-+r-
4×sin-cos-mult sqrt-unprod +.c-commutative complex-add-def sum-cubes
2×cos-sum associate-+l+.c exp-neg difference-of-sqr-1 unsub-neg associate-*l*.c tan-sum rem-cbrt-cube sin-sum
1×sub0-neg sqrt-pow2 exp-lft-sqr diff-atan diff-cos rem-square-sqrt distribute-frac-neg +-inverses distribute-rgt-neg-out frac-2neg.c diff-sin

regimes3.1s (1.5%)

Accuracy

Total 26.3b remaining (9.6%)

Threshold costs 6.2b (2.3%)

5.7b78.5%quad2m (problem 3.2.1, negative)
4.2b85.3%quadp (p42, positive)
3.3b57.2%expq3 (problem 3.4.2)
1.6b84.2%2cos (problem 3.3.5)
1.5b82.3%2nthrt (problem 3.4.6)

localize2.0s (1.0%)

bsearch1.7s (0.9%)

end1.0ms (0.0%)