Date:Tuesday, July 21st, 2020
Commit:e15f1dc1 on master
Hostname:warfa with Racket 7.5
Seed:2020203
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample38.2s (37.5%)

Algorithm
73×intervals
Results
11.3s238053×body80valid
6.2s14175×body1280valid
3.0s3775×body2560valid
2.8s16724×body160valid
2.5s9350×body640valid
2.2s99272×pre80true
1.9s14515×body80invalid
1.1s6676×body320valid
931.0ms200×body5120exit
143.0ms284×body640invalid
104.0ms133×body1280invalid
97.0ms207×body5120valid
90.0ms1755×body80nan
64.0ms194×body320invalid
42.0ms21×body2560invalid
18.0ms97×body160invalid
15.0ms187×body80overflowed
4.0ms100×pre80false

analyze22.0s (21.6%)

Algorithm
36×search
2×random
Search
TrueOtherFalseIter
0%60.5%39.5%0
1.4%59.2%39.5%1
5.6%55%39.5%2
11.1%47.4%41.5%3
13.9%43.5%42.6%4
19%38.1%42.8%5
20.7%35.1%44.2%6
24%30.1%45.9%7
26.5%26.9%46.6%8
29.4%22.8%47.8%9
31.8%19.6%48.6%10
33.4%17.3%49.2%11
35.7%14.6%49.7%12
40.6%9%50.4%13
41.2%8.2%50.6%14

prune17.0s (16.7%)

Filtered
9891 candidates to 6392 candidates (35.4%)

simplify8.8s (8.7%)

Algorithm
178×egg-herbie

regimes5.6s (5.6%)

Accuracy

Total 21.8b remaining (16.1%)

Threshold costs 5.9b (4.3%)

6.1b70.3%Compound Interest
4.3b78.3%Kahan p9 Example
3.1b0%Complex division, real part
1.3b0%Rosa's DopplerBench
1.1b96.1%The quadratic formula (r1)

series4.8s (4.7%)

Calls

314 calls:

230.0ms
(- (* (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* (cbrt (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))) (cbrt (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))))) (cbrt (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1))))) (* 6.0 (* x1 x1)))
86.0ms
(+ (* x (- (* (* y (* y 11.0)) (pow x 3)) (* x (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0))))
82.0ms
(/ (+ (* c a) (* d b)) (sqrt (sqrt (+ (* c c) (* d d)))))
82.0ms
(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* 6.0 (* x1 x1)))
75.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite3.4s (3.4%)

Algorithm
108×rewrite-expression-head
Calls

314 calls:

59.0ms
(/ (* (/ 1 (/ (+ b a) (/ PI 2.0))) (* (/ 1.0 (- b a)) (* 1.0 (- b a)))) (* a b))
53.0ms
(- (* (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* (cbrt (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))) (cbrt (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))))) (cbrt (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1))))) (* 6.0 (* x1 x1)))
48.0ms
(+ (/ 1.0 (pow x 5)) (- (/ 1 x) (/ 1.0 (pow x 3))))
41.0ms
(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1))))
37.0ms
(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* 6.0 (* x1 x1)))
Rules
3097×*-un-lft-identity
2992×add-sqr-sqrt
2797×times-frac
2493×add-exp-log
1949×add-cube-cbrt
1921×add-cbrt-cube
1042×prod-exp
999×pow1
818×cbrt-unprod
755×add-log-exp
754×sqrt-prod
669×associate-*r*
640×div-exp
419×cbrt-undiv
410×pow-prod-down
399×associate-*l*
389×distribute-lft-out
363×difference-of-squares
360×cbrt-prod
313×associate-*r/
306×associate-/r*
290×flip-+ flip3-+
250×associate-/l*
224×frac-times
223×distribute-lft-out--
213×flip-- flip3--
209×unpow-prod-down
207×associate-/r/
194×sum-log
167×div-inv
144×associate-*l/
138×cube-prod
131×unswap-sqr
119×sqrt-div
117×sub-neg
99×distribute-rgt-in distribute-lft-in
92×frac-sub
86×sqr-pow
82×associate-/l/
81×*-commutative
80×sqrt-pow1
76×exp-neg
72×diff-log
64×pow1/2
63×neg-sub0
59×exp-diff
57×clear-num frac-2neg
56×cbrt-div
54×+-commutative
51×1-exp rec-exp
49×swap-sqr
45×frac-add
39×log-prod log-pow
38×associate-+r+
34×rem-sqrt-square exp-prod
33×associate-+l+
32×pow1/3
29×cube-mult
28×unpow3
24×cube-div pow-prod-up
23×un-div-inv
18×pow-sqr
17×div-sub
14×pow-exp
13×pow-unpow distribute-rgt-neg-in
12×pow-to-exp
11×associate-+r-
10×sqrt-unprod pow-pow associate--r+
8×associate--l- pow-plus
7×pow2
6×rem-log-exp rem-cbrt-cube
5×neg-log pow-flip
4×log-div inv-pow associate--l+ rem-cube-cbrt
3×unpow-prod-up distribute-rgt-out associate-+l-
2×rem-square-sqrt distribute-rgt1-in
1×exp-sum sqrt-undiv sqrt-pow2 unsub-neg distribute-rgt-out--

localize1.4s (1.3%)

bsearch528.0ms (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...