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.6min (21.5%)

Algorithm
539×intervals
Results
1.2min2098693×body80valid
25.9s289180×body80invalid
18.3s40543×body1280valid
11.8s41602×body640valid
6.2s89222×body80nan
4.3s5699×body2560valid
4.3s22794×body320valid
1.9s6532×body1280invalid
1.4s11734×body160valid
1.3s6654×body640invalid
542.0ms3752×body320invalid
224.0ms2322×body160invalid
188.0ms913×body1280nan
172.0ms1042×body640nan
156.0ms55×body5120valid
77.0ms624×body320nan
44.0ms820×body80overflowed
31.0ms382×body160nan

analyze3.5min (21.3%)

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.1min (18.5%)

prune2.4min (14.4%)

Filtered
82566 candidates to 55066 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

series57.8s (5.8%)

Calls

2620 calls:

1.8s
(pow (+ (* x y) (+ (* z t) (* a b))) 3)
1.3s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
1.3s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
551.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))))
497.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))

simplify50.9s (5.1%)

Algorithm
1424×egg-herbie

rewrite22.6s (2.3%)

Algorithm
885×rewrite-expression-head
Calls

2620 calls:

68.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))))))
67.0ms
(* (cbrt (/ x (- y t))) (/ (cbrt (/ x (- y t))) (- y z)))
61.0ms
(+ x (/ (/ 1 z) (/ 1 (- y x))))
60.0ms
(* (/ y (* (cbrt (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)) (cbrt (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)))) (/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (cbrt (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))))
57.0ms
(+ x (- (/ (/ (/ t z) 3.0) y) (/ y (* z 3.0))))
Rules
28037×add-sqr-sqrt
28023×*-un-lft-identity
26060×times-frac
18683×add-cube-cbrt
12347×add-exp-log
9267×add-cbrt-cube
7840×associate-*r*
7643×pow1
5953×cbrt-prod
4883×associate-*r/
4612×associate-*l*
4193×prod-exp
3868×add-log-exp
3783×sqrt-prod
3737×frac-times
3355×flip-- flip3--
3194×cbrt-unprod
2693×distribute-lft-out--
2685×difference-of-squares
2570×associate-/r*
2519×div-exp
2418×pow-prod-down
2128×distribute-lft-out
1943×associate-*l/
1896×cbrt-div
1871×associate-/l*
1785×associate-/r/
1783×flip-+ flip3-+
1578×cbrt-undiv
1563×unswap-sqr
1461×div-inv
1165×unpow-prod-down
1004×pow1/3
989×log-prod
909×*-commutative
892×swap-sqr
776×distribute-rgt-in distribute-lft-in
712×sqrt-div
645×sub-neg
592×sqrt-pow1
488×cube-prod
470×sum-log
458×clear-num frac-2neg
426×associate-/l/
371×1-exp
370×rec-exp
359×exp-prod
352×log-pow
349×pow1/2
335×pow-prod-up
319×associate-+r+
299×+-commutative
266×associate--l+
265×frac-add
262×pow-sqr
257×pow-exp
226×diff-log
223×pow-to-exp frac-sub
192×pow-unpow
190×sqr-pow
168×pow-pow
145×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 sin-mult rem-exp-log
20×neg-sub0
18×rem-cbrt-cube
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 cos-mult

localize9.2s (0.9%)

end10.0ms (0.0%)

Profiling

Loading profile data...