Date:Thursday, June 25th, 2020
Commit:6ce91957 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020177
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

analyze3.8min (19.0%)

Algorithm
538×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
2%97.6%0.3%2
8.3%90.5%1.3%3
13.2%84%2.8%4
21.2%75%3.7%5
27%67.6%5.4%6
34.3%58.4%7.3%7
38.4%53.1%8.4%8
43.5%46.7%9.8%9
47.4%41.3%11.3%10
50.9%37%12.2%11
53.6%33.4%13%12
56.6%29.4%14%13
60.7%24.9%14.4%14

sample3.7min (18.4%)

Algorithm
538×intervals
Results
1.3min2087970×body80valid
22.7s261808×body80invalid
19.2s40382×body1280valid
12.9s41699×body640valid
6.4s88425×body80nan
4.8s5721×body2560valid
4.5s22744×body320valid
2.0s6723×body1280invalid
1.5s11633×body160valid
1.4s6874×body640invalid
586.0ms3919×body320invalid
236.0ms2421×body160invalid
222.0ms928×body1280nan
204.0ms1052×body640nan
134.0ms44×body5120valid
100.0ms688×body320nan
58.0ms849×body80overflowed
32.0ms347×body160nan

series3.4min (17.0%)

Calls

2569 calls:

6.8s
(* (/ (- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c)) (- (pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3) (pow c 3))) (+ (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (+ (* c c) (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))))
2.2s
(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))
2.2s
(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))
2.2s
(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))
703.0ms
(/ (- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c)) (- (pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3) (pow c 3)))

bsearch2.9min (14.5%)

prune2.4min (11.9%)

Filtered
89856 candidates to 58946 candidates (34.4%)

regimes1.8min (9.2%)

Accuracy

Total 206.9b remaining (38.3%)

Threshold costs 27.6b (5.1%)

19.5b8.2%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.2b61.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.8b59.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.7b11.9%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3
7.6b61.5%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

simplify1.4min (6.8%)

Algorithm
1441×egg-herbie

rewrite26.5s (2.2%)

Algorithm
904×rewrite-expression-head
Calls

2570 calls:

100.0ms
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (/ (cbrt (- a t)) (cbrt y))))
98.0ms
(+ x (/ 1 (/ (/ (- a t) (- z t)) y)))
89.0ms
(* (/ (/ 1 (/ (+ x y) x)) (+ x y)) (/ y (+ (+ x y) 1.0)))
85.0ms
(* (/ (- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c)) (- (pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3) (pow c 3))) (+ (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (+ (* c c) (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))))
84.0ms
(* (/ (- y z) (pow (cbrt (cbrt (- a z))) 8)) (/ (- t x) (cbrt (cbrt (- a z)))))
Rules
49393×times-frac
41300×*-un-lft-identity
38892×add-sqr-sqrt
28022×add-cube-cbrt
10513×add-exp-log
8602×add-cbrt-cube
7010×associate-*r*
6733×pow1
6577×sqrt-prod
6137×cbrt-prod
4149×associate-*l*
4057×add-log-exp
3753×difference-of-squares
3678×distribute-lft-out--
3576×associate-/r*
3248×distribute-lft-out
2987×cbrt-div
2706×prod-exp
2690×associate-/l*
2463×div-exp
2313×cbrt-unprod
2311×div-inv
2204×flip-- flip3--
2030×flip-+ flip3-+
1991×associate-*r/
1960×frac-times
1894×associate-/r/
1817×pow-prod-down
1784×cbrt-undiv
1737×log-prod
1677×unpow-prod-down
1559×associate-*l/
1477×unswap-sqr
1439×distribute-rgt-in distribute-lft-in
1053×swap-sqr
953×pow1/3
777×*-commutative
727×sqrt-div
686×sub-neg
605×cube-prod
596×sqrt-pow1
568×associate-+l+
566×associate-/l/
546×clear-num frac-2neg
529×sum-log
448×associate-+r+
418×frac-add
395×pow-prod-up
390×exp-prod
384×log-pow
381×frac-sub
361×sqr-pow
346×associate--l+
329×+-commutative
316×pow1/2
297×pow-sqr
291×diff-log
269×1-exp
261×rec-exp
226×exp-sum
166×unpow-prod-up
145×pow-exp
141×pow-unpow
138×pow-plus
121×pow2 div-sub
107×unpow2
102×pow-to-exp
91×rem-sqrt-square
80×pow-flip
79×pow-pow
75×cube-div
72×log-div
71×tanh-def
70×inv-pow
59×distribute-lft-neg-out
56×distribute-lft-neg-in distribute-rgt-neg-in
55×distribute-rgt-neg-out
52×log-rec
51×cube-mult unpow3
43×unsub-neg exp-diff
42×associate-+r- un-div-inv rem-cube-cbrt
40×rem-log-exp
37×associate-+l-
33×distribute-rgt-out-- associate--r+
30×rem-exp-log
28×sqrt-unprod
24×distribute-neg-frac
22×cosh-def sinh-def
20×distribute-rgt-out
18×rem-cbrt-cube
17×rem-square-sqrt
16×sum-cubes distribute-neg-out
12×difference-cubes associate--r-
10×neg-mul-1
9×sub-div
7×associate--l- neg-sub0
6×exp-to-pow unpow1/3 distribute-rgt1-in
5×distribute-lft1-in diff-cos count-2 neg-log tan-quot pow-sub
4×distribute-neg-in
3×cos-diff sqrt-pow2
2×cos-sum sqrt-undiv difference-of-sqr-1 pow-div
1×e-exp-1 mul-1-neg pow3 distribute-frac-neg cos-mult sin-mult remove-double-div

localize10.6s (0.9%)

end12.0ms (0.0%)

Profiling

Loading profile data...