Date:Monday, June 29th, 2020
Commit:6b86a4bc on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020181
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.7min (23.4%)

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

sample3.6min (22.8%)

Algorithm
539×intervals
Results
1.2min2098847×body80valid
26.0s288924×body80invalid
18.9s40666×body1280valid
12.3s41653×body640valid
6.2s89021×body80nan
4.5s22416×body320valid
4.4s5666×body2560valid
2.0s6582×body1280invalid
1.5s11846×body160valid
1.3s6557×body640invalid
534.0ms3671×body320invalid
207.0ms2199×body160invalid
186.0ms890×body1280nan
185.0ms1048×body640nan
84.0ms673×body320nan
74.0ms26×body5120valid
50.0ms853×body80overflowed
33.0ms370×body160nan

bsearch2.4min (15.3%)

prune2.1min (13.1%)

Filtered
80540 candidates to 53847 candidates (33.1%)

regimes1.7min (10.6%)

Accuracy

Total 224.4b remaining (41.2%)

Threshold costs 29.9b (5.5%)

18.5b20.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.4b2.7%Linear.Matrix:det44 from linear-1.19.1.3
14.2b55.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.1b58.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.5b11.4%Linear.Matrix:det33 from linear-1.19.1.3

series55.9s (6.0%)

Calls

2583 calls:

2.3s
(- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
587.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))
565.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))
556.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))
460.0ms
(* (sqrt (sqrt (+ (* x y) (+ (- (* t (/ z 16.0)) (* b (/ a 4.0))) c)))) (sqrt (sqrt (+ (* x y) (+ (- (* t (/ z 16.0)) (* b (/ a 4.0))) c)))))

simplify50.2s (5.3%)

Algorithm
1424×egg-herbie

rewrite22.2s (2.4%)

Algorithm
885×rewrite-expression-head
Calls

2583 calls:

196.0ms
(* (/ y (cbrt (- a t))) (/ (/ (- t z) (cbrt (- a t))) (cbrt (- a t))))
56.0ms
(* (/ 1 (sqrt (+ x y))) (- (/ x (sqrt (+ x y))) (/ y (sqrt (+ x y)))))
55.0ms
(* (/ (/ (- y z) (* (cbrt (+ t (- 1.0 z))) (cbrt (+ t (- 1.0 z))))) (cbrt (- (+ t 1.0) z))) (- a x))
52.0ms
(* y (/ (/ (+ (* z (+ (* z 0.0692910599291889) 0.4917317610505968)) 0.279195317918525) (sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))) (sqrt (+ (* z (+ z 6.012459259764103)) 3.350343815022304))))
51.0ms
(/ (+ (* x (+ (* (* x (* (cbrt (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) (cbrt (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)))) (cbrt (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416))) y)) z) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
Rules
28403×*-un-lft-identity
27383×add-sqr-sqrt
24140×times-frac
17637×add-cube-cbrt
11119×add-exp-log
8700×add-cbrt-cube
8469×associate-*r*
7270×pow1
6323×cbrt-prod
4915×sqrt-prod
4357×associate-*l*
3853×add-log-exp
3572×prod-exp
3158×associate-*r/
2970×difference-of-squares
2957×distribute-lft-out--
2722×cbrt-unprod
2589×distribute-lft-out
2298×flip-+ flip3-+
2297×frac-times
2251×associate-/r*
2230×cbrt-div pow-prod-down
2176×flip-- flip3--
2174×div-exp
1808×associate-/l*
1790×associate-*l/
1672×associate-/r/
1546×unswap-sqr
1462×cbrt-undiv
1408×div-inv
1366×unpow-prod-down
1087×swap-sqr
1084×sqrt-div
1025×pow1/3
887×log-prod
865×*-commutative
794×sqrt-pow1
734×distribute-rgt-in distribute-lft-in
653×sub-neg
632×associate-/l/
477×frac-add
457×sum-log
454×clear-num frac-2neg
453×cube-prod
408×pow1/2
384×pow-prod-up
313×associate-+r+
294×+-commutative
290×1-exp
284×rec-exp
280×pow-sqr
261×sqr-pow
259×diff-log
247×frac-sub
222×pow-exp
190×pow-to-exp associate--l+
182×pow-unpow
163×log-pow
124×associate-+l+
111×pow-plus pow-pow
106×pow2
103×div-sub
102×distribute-lft-neg-in distribute-rgt-neg-in
101×rem-sqrt-square
96×exp-prod
89×pow-flip
71×log-div
70×inv-pow un-div-inv
59×cube-div distribute-rgt-neg-out
52×associate-+r-
48×cube-mult unpow3
44×sqrt-unprod
38×distribute-rgt-out--
36×rem-log-exp
34×sinh-def rem-cube-cbrt
33×tanh-def-b tanh-def-a tanh-def-c
30×neg-mul-1
27×unsub-neg associate--r+
25×sum-cubes
24×unpow-prod-up cosh-def rem-square-sqrt
21×distribute-rgt-out
17×associate-+l- unpow2
16×sub-div
12×associate--l- distribute-neg-frac
11×rem-cbrt-cube difference-of-sqr-1
10×associate--r- pow-sub
9×rem-exp-log
7×exp-sum sqrt-pow2 unpow1/3 tan-quot
6×distribute-rgt1-in distribute-frac-neg exp-diff
5×difference-cubes distribute-lft1-in count-2
4×diff-cos
3×distribute-lft-neg-out cos-diff
2×neg-sub0 sqrt-undiv
1×e-exp-1 cos-sum pow3 remove-double-div

localize9.7s (1.0%)

end10.0ms (0.0%)

Profiling

Loading profile data...