Date:Saturday, June 27th, 2020
Commit:6b86a4bc on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020179
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

sample3.5min (21.0%)

Algorithm
539×intervals
Results
1.2min2098693×body80valid
25.4s289180×body80invalid
17.9s40543×body1280valid
11.7s41602×body640valid
6.3s89222×body80nan
4.4s22794×body320valid
4.3s5699×body2560valid
1.9s6532×body1280invalid
1.4s11734×body160valid
1.3s6654×body640invalid
531.0ms3752×body320invalid
417.0ms2322×body160invalid
186.0ms913×body1280nan
166.0ms1042×body640nan
151.0ms55×body5120valid
78.0ms624×body320nan
44.0ms820×body80overflowed
30.0ms382×body160nan

analyze3.4min (20.8%)

Algorithm
539×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
2.2%97.6%0.1%1
4.3%95.4%0.3%2
10.5%88.3%1.3%3
15.4%81.8%2.8%4
23.5%72.8%3.7%5
29.2%65.3%5.4%6
36.5%56.2%7.3%7
40.6%50.9%8.4%8
45.7%44.5%9.8%9
49.5%39.1%11.3%10
53%34.9%12.1%11
55.7%31.3%13%12
58.7%27.3%14%13
60.6%25.1%14.4%14

bsearch3.0min (18.4%)

prune2.6min (15.5%)

Filtered
82576 candidates to 55060 candidates (33.3%)

regimes1.7min (10.0%)

Accuracy

Total 229.9b remaining (42.1%)

Threshold costs 27.8b (5.1%)

20.7b3.2%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.2b-8.9%Linear.Matrix:det44 from linear-1.19.1.3
11.5b62%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.1b57%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.7b56.6%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

series60.0s (6.0%)

Calls

2620 calls:

1.8s
(pow (+ (* x y) (+ (* z t) (* a b))) 3)
1.6s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
1.4s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
563.0ms
(/ (+ 2.0 (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))))) (* 3.0 (+ 1.0 (/ (/ (+ (* (cos x) (* (+ 5.0 (* 3.0 (+ 3.0 (sqrt 5.0)))) (- 5.0 (* 1.0 1.0)))) (* (cos y) (* (- (pow 3.0 3) (* 5.0 (sqrt 5.0))) (+ (sqrt 5.0) 1.0)))) (* (+ 5.0 (* 3.0 (+ 3.0 (sqrt 5.0)))) (+ (sqrt 5.0) 1.0))) 2.0))))
504.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))

simplify50.6s (5.1%)

Algorithm
1424×egg-herbie

rewrite22.6s (2.3%)

Algorithm
885×rewrite-expression-head
Calls

2620 calls:

199.0ms
(* (/ x (+ y x)) (/ 1 (* (/ (+ y x) y) (+ y (+ x 1.0)))))
197.0ms
(* (+ t y) a)
70.0ms
(* (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))))) (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))))))
64.0ms
(* (cbrt (/ x (- y t))) (/ (cbrt (/ x (- y t))) (- y z)))
63.0ms
(+ x (/ (/ 1 z) (/ 1 (- y x))))
Rules
28038×add-sqr-sqrt
28028×*-un-lft-identity
26063×times-frac
18684×add-cube-cbrt
12364×add-exp-log
9279×add-cbrt-cube
7835×associate-*r*
7650×pow1
5953×cbrt-prod
4878×associate-*r/
4616×associate-*l*
4204×prod-exp
3866×add-log-exp
3783×sqrt-prod
3737×frac-times
3355×flip-- flip3--
3200×cbrt-unprod
2694×distribute-lft-out--
2686×difference-of-squares
2571×associate-/r*
2521×div-exp
2423×pow-prod-down
2128×distribute-lft-out
1943×associate-*l/
1896×cbrt-div
1874×associate-/l*
1785×associate-/r/
1781×flip-+ flip3-+
1580×cbrt-undiv
1562×unswap-sqr
1462×div-inv
1165×unpow-prod-down
1004×pow1/3
989×log-prod
909×*-commutative
892×swap-sqr
775×distribute-rgt-in distribute-lft-in
712×sqrt-div
645×sub-neg
592×sqrt-pow1
488×cube-prod
468×sum-log
459×clear-num frac-2neg
426×associate-/l/
373×1-exp
370×rec-exp
359×exp-prod
352×log-pow
349×pow1/2
335×pow-prod-up
319×associate-+r+
298×+-commutative
265×associate--l+
264×frac-add
262×pow-sqr
257×pow-exp
227×diff-log
223×pow-to-exp frac-sub
192×pow-unpow
190×sqr-pow
168×pow-pow
146×associate-+l+
108×pow-flip
107×pow-plus
102×pow2
99×rem-sqrt-square
90×cube-div
88×div-sub
86×inv-pow
69×distribute-rgt-neg-out
68×cube-mult unpow3
67×tanh-def-b tanh-def-a tanh-def-c
66×un-div-inv
65×log-div
56×exp-sum
49×associate-+r- sum-cubes
47×rem-log-exp
39×distribute-lft-neg-in distribute-rgt-neg-in
36×sinh-def
35×associate--r+ rem-cube-cbrt
28×distribute-rgt-out
27×sqrt-unprod
25×unpow2
23×associate-+l- pow-sub
22×rem-square-sqrt unsub-neg pow-neg
21×unpow-prod-up rem-exp-log
20×neg-sub0
18×rem-cbrt-cube sin-mult
16×cosh-def
15×distribute-rgt-out--
14×difference-of-sqr-1
13×exp-diff
12×sub-div
10×neg-mul-1 diff-cos unpow1/3
9×distribute-rgt1-in
7×distribute-lft1-in tan-quot
6×count-2 associate--r-
5×associate--l- sqrt-pow2
3×cos-diff sqrt-undiv pow3
2×e-exp-1 exp-to-pow remove-double-div pow-div
1×acos-asin cos-sum neg-log

localize9.6s (1.0%)

end11.0ms (0.0%)

Profiling

Loading profile data...