Date:Friday, June 12th, 2020
Commit:9c248b13 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020164
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

sample13.4min (66.5%)

Algorithm
539×intervals
Results
1.3min2098399×body80valid
25.7s256031×body80invalid
18.9s40820×body1280valid
12.3s41948×body640valid
4.5s5641×body2560valid
4.5s22404×body320valid
4.1s54974×body80nan
2.0s6586×body1280invalid
1.5s11851×body160valid
1.3s6566×body640invalid
548.0ms3716×body320invalid
220.0ms2303×body160invalid
196.0ms1096×body640nan
180.0ms859×body1280nan
152.0ms57×body5120valid
84.0ms623×body320nan
32.0ms568×body80overflowed
27.0ms318×body160nan
sampling

Space saved by range analysis: 0%

Space saved by search: 15.664176%

Guaranteed chance to sample good point: 76.91227%

prune2.2min (11.0%)

Filtered
87919 candidates to 57238 candidates (34.9%)

regimes1.7min (8.4%)

Accuracy

Total 230.5b remaining (39.4%)

Threshold costs 22.9b (3.9%)

19.1b18%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
11.8b62.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b58.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.4b52.6%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2
9.1b-4%Linear.Matrix:det44 from linear-1.19.1.3

simplify1.2min (6.1%)

Algorithm
1426×egg-herbie

series59.6s (4.9%)

Calls

2524 calls:

2.1s
(cbrt (* (/ (- y z) (- a z)) (- t x)))
2.0s
(cbrt (* (/ (- y z) (- a z)) (- t x)))
2.0s
(cbrt (* (/ (- y z) (- a z)) (- t x)))
1.8s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
1.8s
(pow (cbrt (pow (+ (+ (* x y) (* z t)) (* a b)) 3)) 3)

rewrite23.7s (2.0%)

Algorithm
887×rewrite-expression-head
Calls

2524 calls:

329.0ms
(* (/ (cbrt (- x 2.0)) (/ (* (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (cbrt (- x 2.0)))) (/ (cbrt (- x 2.0)) (/ (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))))
212.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
114.0ms
(* (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0))) (/ (cbrt x) (/ (- y t) (sqrt 2.0))))
107.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
99.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (* (cbrt (* (cbrt (- y x)) (/ z t))) (cbrt (* (cbrt (- y x)) (/ z t)))) (cbrt (* (cbrt (- y x)) (/ z t)))))
Rules
35992×times-frac
34769×*-un-lft-identity
33174×add-sqr-sqrt
22195×add-cube-cbrt
13904×cbrt-div
13331×add-exp-log
9268×frac-times
8735×add-cbrt-cube
7003×pow1
6769×associate-*r*
5804×flip-- flip3--
5417×cbrt-prod
5148×associate-*l/
4550×prod-exp
4222×associate-*l*
4107×div-exp
4024×associate-*r/
3933×add-log-exp
3705×sqrt-prod
3697×distribute-lft-out--
3595×difference-of-squares
3581×associate-/r*
2753×distribute-lft-out
2566×cbrt-unprod
2128×associate-/l*
2065×pow-prod-down
1954×flip-+ flip3-+
1928×div-inv
1912×associate-/r/
1765×cbrt-undiv
1710×unpow-prod-down
1474×unswap-sqr
1445×log-prod
1306×distribute-rgt-in distribute-lft-in
1085×sqrt-div
1017×pow-exp
975×pow1/3
927×1-exp
891×swap-sqr
809×*-commutative
771×frac-add
746×sqrt-pow1
647×sub-neg
600×associate-/l/
566×frac-sub
532×cube-prod
525×clear-num frac-2neg
503×sum-log
440×pow-to-exp
425×rec-exp
385×pow-prod-up
383×associate-+l+
335×pow1/2
312×associate-+r+
299×+-commutative
284×diff-log
281×pow-sqr
220×log-pow
215×associate--l+
189×sqr-pow
181×exp-sum
147×exp-prod
140×distribute-neg-frac
133×pow-plus
126×pow-unpow
117×div-sub
112×pow2 rem-sqrt-square
106×pow-flip
85×inv-pow
66×cube-div
65×log-div unpow2
62×tanh-def
60×associate--r+
59×un-div-inv
56×pow-pow
44×cube-mult unpow3
42×distribute-rgt-neg-out
40×rem-log-exp
36×sinh-def
35×distribute-rgt-out--
34×associate-+r-
32×associate-+l-
27×unsub-neg
26×sub-div
25×cosh-def
24×distribute-lft-neg-in distribute-rgt-neg-in sqrt-unprod
23×rem-cube-cbrt
20×diff-cos sum-cubes
19×distribute-rgt-out
17×rem-exp-log
16×rem-square-sqrt rem-cbrt-cube
15×distribute-lft-neg-out
14×exp-diff
10×log-rec
9×associate--r-
8×associate--l- cos-sum tan-quot
7×neg-mul-1
6×neg-sub0 cos-diff exp-to-pow unpow1/3 pow3 distribute-rgt1-in
5×distribute-lft1-in count-2 neg-log
2×distribute-neg-in sqrt-pow2 distribute-neg-out

localize9.4s (0.8%)

bsearch5.6s (0.5%)

end5.0ms (0.0%)

Profiling

Loading profile data...