Date:Friday, July 10th, 2020
Commit:a8193a33 on movability-off
Hostname:warfa with Racket 7.5
Seed:2020192
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

sample37.4s (36.7%)

Algorithm
73×intervals
Results
11.2s238076×body80valid
6.2s14243×body1280valid
2.8s3677×body2560valid
2.7s16781×body160valid
2.7s9200×body640valid
2.2s99272×pre80true
1.9s14565×body80invalid
1.1s6757×body320valid
1.0s411×body5120exit
129.0ms265×body640invalid
123.0ms226×body5120valid
93.0ms113×body1280invalid
90.0ms1773×body80nan
55.0ms173×body320invalid
41.0ms20×body2560invalid
18.0ms93×body160invalid
4.0ms100×pre80false

analyze21.7s (21.4%)

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

prune16.8s (16.5%)

Filtered
8966 candidates to 6155 candidates (31.4%)

simplify9.3s (9.2%)

Algorithm
180×egg-herbie

regimes6.6s (6.5%)

Accuracy

Total 22.5b remaining (16.7%)

Threshold costs 3.9b (2.9%)

6.1b69.9%Compound Interest
5.4b74.6%Kahan p9 Example
2.2b25.5%Complex division, real part
1.4b94.1%The quadratic formula (r1)
1.2b0%Complex division, imag part

series4.7s (4.7%)

Calls

310 calls:

91.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))))
75.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
73.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))
73.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))
72.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))

rewrite3.4s (3.3%)

Algorithm
110×rewrite-expression-head
Calls

310 calls:

53.0ms
(+ (/ 1.0 (pow x 5)) (- (/ 1 x) (/ 1.0 (pow x 3))))
47.0ms
(- (* (/ 1 (sqrt (+ (* x1 x1) 1.0))) (* (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))) (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (sqrt (+ (* x1 x1) 1.0))))) (* 6.0 (* x1 x1)))
39.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
39.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))))
38.0ms
(* (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))) (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (sqrt (+ (* x1 x1) 1.0))))
Rules
2711×add-sqr-sqrt
2557×*-un-lft-identity
1912×times-frac
1479×add-cube-cbrt
1388×add-exp-log
1236×add-cbrt-cube
784×pow1
690×add-log-exp
661×associate-*r*
489×difference-of-squares
484×prod-exp
429×associate-*l*
424×cbrt-unprod
415×sqrt-prod
335×cbrt-prod
299×distribute-lft-out
285×associate-*r/
265×distribute-lft-out--
263×frac-times
260×unpow-prod-down
258×div-exp
252×flip-+ flip3-+
251×pow-prod-down
243×flip-- flip3--
220×cbrt-undiv
217×associate-/l*
202×associate-/r*
172×associate-/r/
146×associate-*l/
143×sqr-pow
138×div-inv
137×sum-log
127×cube-prod
123×cbrt-div
113×frac-sub sub-neg
110×unswap-sqr
99×sqrt-div
93×exp-prod
88×distribute-rgt-in distribute-lft-in
78×exp-neg diff-log
74×swap-sqr
72×*-commutative
65×neg-sub0
61×exp-diff
56×log-prod associate-/l/
55×sqrt-pow1 pow1/2
51×log-pow
48×+-commutative clear-num frac-2neg
40×pow1/3
37×frac-add
29×associate-+l+
27×rem-sqrt-square
26×associate-+r+
24×cube-div
22×cube-mult un-div-inv
21×pow-unpow unpow3
19×pow-prod-up
18×distribute-rgt-neg-in 1-exp rec-exp
15×exp-sum div-sub pow-sqr
14×pow-exp
13×pow-to-exp associate-+r- pow-pow
12×log-div
10×associate--r+
9×sqrt-unprod
8×rem-log-exp pow-plus rem-cbrt-cube
7×associate--l- pow2 neg-log rem-exp-log
5×rem-cube-cbrt
4×inv-pow pow-flip
3×difference-cubes
2×distribute-lft-neg-in neg-mul-1 rem-square-sqrt distribute-rgt-out unsub-neg distribute-rgt1-in associate--l+ distribute-rgt-neg-out associate-+l-
1×exp-to-pow sub-div distribute-rgt-out-- unpow2

localize1.3s (1.3%)

bsearch457.0ms (0.4%)

end1.0ms (0.0%)

Profiling

Loading profile data...