Date:Wednesday, July 8th, 2020
Commit:0b6aac6b on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020190
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

sample36.6s (34.0%)

Algorithm
73×intervals
Results
11.1s237974×body80valid
6.1s14210×body1280valid
2.9s3855×body2560valid
2.6s16805×body160valid
2.4s9249×body640valid
2.1s99274×pre80true
1.8s14511×body80invalid
1.1s6658×body320valid
909.0ms200×body5120exit
127.0ms262×body640invalid
114.0ms144×body1280invalid
96.0ms209×body5120valid
84.0ms1740×body80nan
67.0ms212×body320invalid
18.0ms98×body160invalid
16.0ms9×body2560invalid
15.0ms194×body80overflowed
4.0ms100×pre80false

prune23.6s (21.9%)

Filtered
9790 candidates to 6499 candidates (33.6%)

analyze21.4s (19.8%)

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 (9.0%)

Algorithm
182×egg-herbie

regimes6.2s (5.8%)

Accuracy

Total 27.8b remaining (19.6%)

Threshold costs 4.4b (3.1%)

6.1b69.2%Compound Interest
4.7b76.8%Kahan p9 Example
4.5b84.1%The quadratic formula (r1)
3.2b87.6%The quadratic formula (r2)
3.0b0%Complex division, imag part

series4.9s (4.6%)

Calls

318 calls:

213.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 (- (* (/ (+ (* 3.0 (* x1 x1)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* (/ (+ (* 3.0 (* x1 x1)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* 4.0 4.0))) (* 6.0 6.0)))) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
89.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))
74.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
72.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))

rewrite3.4s (3.2%)

Algorithm
112×rewrite-expression-head
Calls

318 calls:

59.0ms
(* (* x1 (* x1 (* (cbrt (- (* (/ (+ (* 3.0 (* x1 x1)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 4.0) 6.0)) (cbrt (- (* (/ (+ (* 3.0 (* x1 x1)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 4.0) 6.0))))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
54.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 (- (* (/ (+ (* 3.0 (* x1 x1)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* (/ (+ (* 3.0 (* x1 x1)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* 4.0 4.0))) (* 6.0 6.0)))) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
52.0ms
(+ (/ 1.0 (pow x 5)) (- (/ 1 x) (/ 1.0 (pow x 3))))
45.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 (* (cbrt (- (* (/ (+ (* 3.0 (* x1 x1)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 4.0) 6.0)) (cbrt (- (* (/ (+ (* 3.0 (* x1 x1)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 4.0) 6.0))))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
42.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)))
Rules
3017×add-sqr-sqrt
2770×*-un-lft-identity
2463×times-frac
1810×add-exp-log
1660×add-cbrt-cube
1642×add-cube-cbrt
974×pow1
769×associate-*r/
750×prod-exp
739×add-log-exp
718×cbrt-unprod
691×difference-of-squares
529×associate-*r*
514×unpow-prod-down
432×flip-- flip3--
419×sqrt-prod
409×frac-times
394×pow-prod-down
379×cbrt-div
324×div-exp distribute-lft-out
316×associate-*l*
311×cube-prod
307×cbrt-prod
301×cbrt-undiv
288×distribute-lft-out--
286×associate-*l/
282×flip-+ flip3-+
251×sqr-pow
249×associate-/r/
247×associate-/r*
243×associate-/l*
191×div-inv
188×distribute-rgt-in distribute-lft-in
181×frac-add
180×sum-log
129×sub-neg
101×unswap-sqr
99×log-prod
93×frac-sub
92×sqrt-div
85×associate-+l+
80×exp-neg
78×*-commutative
69×diff-log
63×neg-sub0
61×associate-/l/
60×exp-diff
59×sqrt-pow1
57×+-commutative
53×clear-num frac-2neg
42×swap-sqr
39×pow1/2
36×cube-mult
35×unpow3
33×pow1/3
32×associate-+r+
26×cube-div rem-sqrt-square
24×un-div-inv
21×pow-unpow
18×pow-exp div-sub distribute-rgt-out--
17×pow-pow
16×pow-to-exp
15×pow-prod-up
13×1-exp rec-exp
10×difference-cubes pow-sqr
9×associate-+r-
8×associate--l- rem-log-exp associate--r+
7×rem-cbrt-cube
6×pow-plus log-pow exp-prod pow-flip
5×pow2 rem-cube-cbrt
4×distribute-rgt-neg-in inv-pow
3×distribute-rgt-out
2×log-div sqrt-pow2 neg-log distribute-rgt1-in
1×sqrt-undiv rem-square-sqrt sqrt-unprod sub-div unsub-neg

localize1.6s (1.4%)

bsearch415.0ms (0.4%)

end1.0ms (0.0%)

Profiling

Loading profile data...