Date:Thursday, May 7th, 2020
Commit:0fcb7b8e on separate-biginterval
Hostname:warfa with Racket 7.5
Seed:2020128
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.5m (43.1%)

Algorithm
45×intervals
16×halfpoints
Results
18.9s48741×body1280valid
11.6s8728×body2560valid
6.6s30853×body640valid
2.1s15357×body320valid
1.7s49419×body80valid
1.3s1186×body1280nan
1.1s32442×body80nan
915.0ms9371×body80overflowed
693.0ms47382×pre80true
669.0ms930×body640nan
636.0ms7265×body160valid
198.0ms460×body320nan
57.0ms253×body160nan
15.0ms10×body5120valid

prune45.9s (22.2%)

Filtered
25915 candidates to 11824 candidates (45.6%)

series45.2s (21.8%)

Calls

396 calls:

4.8s
(cbrt (/ (+ (pow (sqrt (exp (* a x))) 3) (pow (sqrt 1.0) 3)) (/ (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- (pow (exp (* a x)) 3/2) (pow (sqrt 1.0) 3)))))
1.6s
(* (/ (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) 2) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))))
742.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
563.0ms
(/ (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
556.0ms
(/ (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- (pow (exp (* a x)) (/ 3 2)) (pow (sqrt 1.0) 3)))

simplify14.3s (6.9%)

Algorithm
183×egg-herbie

rewrite7.2s (3.5%)

Algorithm
122×rewrite-expression-head
Calls

396 calls:

188.0ms
(/ (/ (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
165.0ms
(/ (cbrt (pow (- (/ 1 (pow b 2)) (/ 1 (pow a 2))) 3)) (- (/ 1 b) (/ 1 a)))
163.0ms
(/ (+ (/ (neg (/ 1 a)) a) (/ (/ 1 b) b)) (- (/ 1 b) (/ 1 a)))
143.0ms
(+ (/ (neg (/ 1 a)) a) (/ (/ 1 b) b))
93.0ms
(cbrt (/ (+ (pow (sqrt (exp (* a x))) 3) (pow (sqrt 1.0) 3)) (/ (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- (pow (exp (* a x)) 3/2) (pow (sqrt 1.0) 3)))))
Rules
40663×times-frac
33892×*-un-lft-identity
28357×add-sqr-sqrt
26336×sqrt-prod
10924×add-cube-cbrt
8389×difference-of-squares
7858×distribute-lft-out
7071×unpow-prod-down
5194×cbrt-prod
4172×cube-prod
2944×sqr-pow
2635×distribute-lft-out--
1687×unpow2
1554×div-inv
1276×add-exp-log
1235×associate-/l*
978×add-cbrt-cube
817×pow1
768×associate-*l*
730×add-log-exp
720×associate-*r*
657×associate-/r/
567×associate-/r*
513×sqrt-div
404×flip-+ flip3-+
377×log-prod
295×prod-exp
294×div-exp
289×flip-- flip3--
252×log-pow
230×unswap-sqr
225×distribute-rgt-neg-in
187×cbrt-undiv
177×associate-*l/
174×cbrt-unprod
145×sum-cubes
141×sub-neg
131×cbrt-div
129×diff-log
126×exp-prod
117×pow-prod-down
106×associate-/l/
103×sqrt-pow1
96×associate-*r/
93×frac-times
84×log-div
71×clear-num frac-2neg
67×pow-exp
66×*-commutative
65×associate--l+
64×pow-to-exp
61×sum-log
54×frac-add
52×distribute-lft-neg-in
50×pow1/2 distribute-rgt-in distribute-lft-in
46×associate-+r+ pow1/3
45×swap-sqr
42×associate-+l-
41×frac-sub
40×tan-quot
39×pow-pow
38×+-commutative
37×pow-unpow exp-sum
34×unpow3 cube-mult
33×rem-sqrt-square 1-exp rec-exp
28×div-sub
27×rem-log-exp
25×unpow-prod-up
24×complex-mul-def
20×associate-+l+ associate--r+
16×difference-cubes
15×neg-sub0 pow-prod-up
14×cos-mult
13×cube-div pow-sqr
12×exp-diff
11×rem-cube-cbrt associate--l- pow-flip
7×inv-pow distribute-rgt-out-- neg-log
6×un-div-inv associate-+r- *.c-commutative pow-plus exp-to-pow
5×pow2
4×sqrt-unprod sub-div pow-sub difference-of-sqr-1 +.c-commutative complex-add-def neg-mul-1 sin-mult
2×cos-sum sin-cos-mult e-exp-1 rem-exp-log pow-div associate-+l+.c exp-neg associate-*l*.c tan-sum rem-cbrt-cube sin-sum
1×sqrt-pow2 associate--r- diff-atan diff-cos rem-square-sqrt distribute-frac-neg distribute-neg-frac diff-sin

regimes3.4s (1.7%)

Accuracy

Total 8.6b remaining (5.9%)

Threshold costs 5.4b (3.7%)

2.2b78.8%2nthrt (problem 3.4.6)
1.1b94.9%expax (section 3.5)
0.9b0%expq2 (section 3.11)
0.7b0%Euler formula imaginary part (p55)
0.6b0%exp2 (problem 3.3.7)

localize1.9s (0.9%)

bsearch42.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...