Date:Monday, March 2nd, 2020
Commit:76ce2b17 on master
Hostname:warfa with Racket 7.5
Seed:2020062
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 (44.8%)

Algorithm
56×intervals
16×halfpoints
Results
23.5s67350×body1280valid
17.9s17538×body2560valid
7.7s41981×body640valid
4.1s12837×body10240exit
2.9s92318×body80valid
2.4s20682×body320valid
1.8s65103×body80nan
1.4s2335×body1280nan
839.0ms11176×body160valid
794.0ms1885×body640nan
573.0ms47342×pre80true
448.0ms958×body320nan
156.0ms481×body5120valid
77.0ms492×body160nan

prune1.0m (24.7%)

series46.3s (18.9%)

Calls

394 calls:

2.7s
(cbrt (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))))
2.7s
(cbrt (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))))
1.7s
(* (* (cbrt (* (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)))) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)))
1.5s
(cbrt (* (+ (sqrt (exp (* a x))) (sqrt 1.0)) (* (+ (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))))))
1.3s
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b)))))

simplify14.8s (6.0%)

Algorithm
192×egg-herbie

rewrite7.2s (2.9%)

Algorithm
120×rewrite-expression-head
Calls

394 calls:

340.0ms
(/ (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (/ (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))) (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))))
102.0ms
(* (/ 1 x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) x))
98.0ms
(- (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt x) (cbrt x)))
36.0ms
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))))) (cbrt x))
35.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
Rules
57621×sqrt-prod
49025×times-frac
44535×*-un-lft-identity
20588×add-sqr-sqrt
17808×add-cube-cbrt
14343×distribute-lft-out
1658×associate-/r/
1506×sqrt-div
1418×add-exp-log
1217×difference-of-squares
1065×add-cbrt-cube
1019×div-inv
987×associate-*r*
918×flip-+ flip3-+
881×unpow-prod-down
811×distribute-lft-out--
784×associate-/r*
750×pow1
731×add-log-exp
595×associate-/l*
465×associate-*l*
428×sqr-pow
414×cbrt-prod
390×cube-prod
383×log-prod
378×flip3-- flip--
351×div-exp
339×prod-exp
326×cbrt-div
322×associate-*l/
303×frac-times
270×unswap-sqr
222×cbrt-undiv
218×cbrt-unprod
171×log-pow
159×associate-*r/
152×unpow2
140×diff-log
135×sub-neg
121×pow-prod-down
104×exp-prod
91×associate-/l/
84×distribute-rgt-neg-in
83×tan-quot
81×swap-sqr
75×pow-exp
74×*-commutative pow1/3
72×pow-to-exp frac-2neg clear-num
55×frac-add
52×associate-+r+
48×sum-log
40×sqrt-pow1
37×distribute-rgt-in distribute-lft-in
36×pow1/2 1-exp
35×log-div
33×pow-unpow rec-exp
31×rem-sqrt-square
29×frac-sub rem-log-exp
26×div-sub
25×+-commutative
24×complex-mul-def
23×associate-+l+
21×associate--l+
20×difference-cubes
18×unpow3 pow-sqr cube-mult neg-sub0 pow-prod-up associate--r+
16×associate--l-
14×rem-cube-cbrt cos-mult
13×pow-pow neg-log
12×sin-mult
10×cube-div
9×pow-plus
8×pow-flip exp-sum associate-+l- pow2
6×exp-diff inv-pow *.c-commutative
5×sum-cubes associate-+r- difference-of-sqr-1 sub-div
4×un-div-inv sqrt-unprod +.c-commutative complex-add-def
3×sqrt-undiv exp-to-pow
2×distribute-lft-neg-in rem-exp-log associate-+l+.c exp-neg associate-*l*.c neg-mul-1 tan-sum cos-sum frac-2neg.c distribute-neg-frac sin-sum
1×diff-atan sin-cos-mult diff-cos unsub-neg diff-sin rem-cbrt-cube

regimes3.4s (1.4%)

Accuracy

Total 23.4b remaining (10.4%)

Threshold costs 7.4b (3.3%)

4.7b83.6%quadm (p42, negative)
3.2b0%expq3 (problem 3.4.2)
2.0b81.9%2nthrt (problem 3.4.6)
1.5b85.8%2cos (problem 3.3.5)
1.2b94.9%quadp (p42, positive)

localize2.0s (0.8%)

bsearch1.3s (0.5%)

end1.0ms (0.0%)