Date:Thursday, July 23rd, 2020
Commit:528fe40a on cleanup
Hostname:warfa with Racket 7.5
Seed:2020205
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

Time bar (total: 1.9min)

sample37.4s (33.1%)

Algorithm
73×intervals
Results
11.2s237919×body80valid
6.2s14144×body1280valid
3.0s3933×body2560valid
2.7s16770×body160valid
2.5s9380×body640valid
2.1s99272×pre80true
1.9s14604×body80invalid
1.1s6573×body320valid
972.0ms200×body5120exit
126.0ms249×body640invalid
103.0ms135×body1280invalid
93.0ms241×body5120valid
87.0ms1695×body80nan
60.0ms194×body320invalid
20.0ms11×body2560invalid
17.0ms91×body160invalid
16.0ms211×body80overflowed
4.0ms100×pre80false

prune29.0s (25.7%)

analyze21.9s (19.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

simplify9.7s (8.6%)

Algorithm
179×egg-herbie

regimes5.0s (4.5%)

Accuracy

Total 23.7b remaining (17.4%)

Threshold costs 3.1b (2.3%)

6.0b6956.3%Compound Interest
5.1b7410.4%Kahan p9 Example
3.1b0%Complex division, real part
2.7b889.1%Complex division, imag part
1.3b0%Rosa's DopplerBench

series4.6s (4.1%)

Calls

304 calls:

94.0ms
(cbrt (- (* (/ (- (+ (* 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)) (* x1 4.0)))) (* (* x1 x1) 6.0)))
91.0ms
(cbrt (- (* (/ (- (+ (* 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)) (* x1 4.0)))) (* (* x1 x1) 6.0)))
91.0ms
(cbrt (- (* (/ (- (+ (* 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)) (* x1 4.0)))) (* (* x1 x1) 6.0)))
74.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
73.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite3.4s (3%)

Algorithm
109×rewrite-expression-head
Rules
4137×times-frac
4109×add-sqr-sqrt
4062×*-un-lft-identity
2397×add-cube-cbrt
1480×add-exp-log
1292×add-cbrt-cube
864×associate-*r*
706×pow1
689×add-log-exp
656×difference-of-squares
531×sqrt-prod
489×prod-exp
480×distribute-lft-out
479×associate-*l*
424×associate-/l*
405×cbrt-unprod
383×distribute-lft-out--
324×cbrt-prod
310×div-exp
270×associate-/r*
263×flip-+ flip3-+
258×unpow-prod-down
256×cbrt-undiv
244×associate-/r/
217×flip-- flip3--
203×div-inv
198×associate-*r/
185×pow-prod-down
169×frac-times
133×sum-log
127×distribute-rgt-neg-in
124×distribute-lft-neg-in
122×unswap-sqr
118×sqr-pow
117×associate-*l/
110×frac-sub
106×sub-neg
101×sqrt-div
98×diff-log
91×cube-prod
74×*-commutative
73×associate-/l/
72×exp-neg
62×cbrt-div
60×clear-num frac-2neg
59×neg-sub0
54×exp-diff
50×neg-mul-1
47×frac-add swap-sqr
42×distribute-rgt-in distribute-lft-in
38×log-prod
37×pow-exp
36×pow-unpow
34×+-commutative
33×sqrt-pow1
32×rem-sqrt-square
31×pow1/2
28×pow-to-exp
26×pow1/3 unpow2
24×un-div-inv
23×div-sub
22×associate--l+
20×1-exp rec-exp
19×associate-+l+
18×cube-div log-pow
17×associate-+r+ cube-mult pow-pow unpow3
12×associate--l- pow-plus pow-prod-up
10×log-div
9×rem-cube-cbrt
8×pow2 pow-sqr
6×rem-log-exp distribute-frac-neg
5×rem-cbrt-cube
4×associate--r+
3×difference-cubes inv-pow pow3 sum-cubes exp-prod distribute-rgt-out-- pow-flip
1×associate-+r- distribute-rgt-out sub-div neg-log
Calls

304 calls:

54.0ms
(- (* (/ 1 (* (cbrt (+ (* x1 x1) 1.0)) (cbrt (+ (* 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) (cbrt (+ (* x1 x1) 1.0))))) (* 6.0 (* x1 x1)))
45.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)))
41.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) (cbrt (+ (* x1 x1) 1.0))))
40.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))))
39.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))))

localize1.3s (1.2%)

bsearch516.0ms (0.5%)

end1.0ms (0%)

Profiling

Loading profile data...