Date:Tuesday, June 16th, 2020
Commit:4389a0c9 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020168
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

sample12.1min (64.4%)

Algorithm
539×intervals
Results
1.2min2092038×body80valid
18.4s40374×body1280valid
13.5s202056×body80invalid
11.9s42044×body640valid
4.3s5676×body2560valid
4.2s22412×body320valid
3.9s55132×body80nan
2.1s6668×body1280invalid
1.5s11929×body160valid
1.3s6582×body640invalid
568.0ms3825×body320invalid
214.0ms2208×body160invalid
187.0ms1093×body640nan
177.0ms830×body1280nan
113.0ms43×body5120valid
86.0ms696×body320nan
30.0ms368×body160nan
28.0ms518×body80overflowed
sampling

Space saved by range analysis: 16.158204%

Space saved by search: 0.515667%

Guaranteed chance to sample good point: 0%

prune2.2min (11.5%)

Filtered
87253 candidates to 56335 candidates (35.4%)

regimes1.7min (9.0%)

Accuracy

Total 208.1b remaining (37.7%)

Threshold costs 24.8b (4.5%)

18.4b17%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.4b57.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.8b58.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.0b4.7%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3
9.0b28.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

simplify1.2min (6.4%)

Algorithm
1430×egg-herbie

series1.0min (5.4%)

Calls

2556 calls:

2.0s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite23.3s (2.1%)

Algorithm
891×rewrite-expression-head
Calls

2556 calls:

507.0ms
(* (/ (cbrt (- y x)) (/ (* (cbrt (- a t)) (cbrt (- a t))) (cbrt (- y x)))) (/ (cbrt (- y x)) (/ (cbrt (- a t)) (- z t))))
131.0ms
(* (- y z) (/ 1 (/ 1 (/ (- t x) (- a z)))))
102.0ms
(* (/ (sqrt (- x y)) (sqrt (- 2.0 (+ x y)))) (/ (sqrt (- x y)) (sqrt (- 2.0 (+ x y)))))
97.0ms
(* (/ x (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z)))) (/ y (/ (cbrt (sqrt (- (* z z) (* t a)))) (cbrt z))))
59.0ms
(- x (/ 1 (/ (/ a y) (- z t))))
Rules
36671×times-frac
36321×*-un-lft-identity
34104×add-sqr-sqrt
22256×add-cube-cbrt
12916×add-exp-log
8684×add-cbrt-cube
7277×associate-*r*
6972×pow1
6958×sqrt-prod
6641×cbrt-prod
4485×prod-exp
4401×associate-*l*
4156×distribute-lft-out--
4012×add-log-exp
3996×difference-of-squares
3811×div-exp
3267×associate-*r/
3112×associate-/r*
3092×distribute-lft-out
2559×flip-- flip3--
2526×cbrt-unprod
2494×associate-*l/
2483×frac-times
2301×associate-/l*
2066×cbrt-div
2002×pow-prod-down
1882×associate-/r/
1876×flip-+ flip3-+
1802×div-inv
1677×cbrt-undiv
1571×log-prod
1497×unswap-sqr
1454×frac-sub
1444×distribute-rgt-in distribute-lft-in
1173×swap-sqr
1149×sqrt-div
1003×pow-exp
936×unpow-prod-down
905×associate-/l/
873×pow1/3
861×1-exp
827×*-commutative
791×tanh-def
698×sub-neg
584×sqrt-pow1
514×sum-log
513×clear-num frac-2neg
482×frac-add
423×pow-to-exp
406×associate-+l+
370×associate-+r+
360×rec-exp
344×pow1/2
325×cube-prod
324×pow-prod-up
322×associate--l+
310×diff-log
298×+-commutative
271×log-pow
264×pow-sqr
167×sqr-pow
136×exp-prod
119×pow-plus
117×rem-sqrt-square
116×pow-unpow div-sub
104×pow2
88×log-div pow-flip
85×un-div-inv
76×rem-log-exp
73×inv-pow
72×distribute-lft-neg-in distribute-rgt-neg-in
71×exp-sum
69×pow-pow
63×associate--r+
62×cube-div
52×unpow2
48×distribute-rgt-neg-out
41×associate-+l-
36×associate-+r-
34×distribute-rgt-out
32×sinh-def
31×sqrt-unprod
30×cube-mult unpow3
25×unsub-neg exp-diff
22×sub-div
20×rem-square-sqrt
19×distribute-rgt-out-- rem-cube-cbrt
17×cosh-def
12×associate--l- distribute-lft-neg-out
11×distribute-rgt1-in
10×unpow1/3 log-rec rem-cbrt-cube rem-exp-log
8×neg-mul-1 tan-quot sin-mult
7×sqrt-undiv exp-to-pow associate--r-
6×neg-sub0 sqrt-pow2
5×difference-cubes distribute-lft1-in count-2
4×diff-cos neg-log distribute-neg-frac
3×cos-diff sum-cubes
2×cos-sum cos-mult distribute-neg-out
1×unpow-prod-up remove-double-div

localize9.7s (0.9%)

bsearch3.9s (0.3%)

end4.0ms (0.0%)

Profiling

Loading profile data...