Date:Monday, March 2nd, 2020
Commit:957f66ec on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020062
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

series14.2m (59.2%)

Calls

2274 calls:

6.1s
(pow (fma (- (log 1.0) (+ (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)) b)) a (* y (- (log z) t))) 3)
3.9s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* t i)))))
3.7s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (+ (* b (* c z)) (* b (- (* t i))))))
3.1s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
3.0s
(cbrt (* (log (- 1.0 (/ y x))) (log (- 1.0 (/ y x)))))

prune3.9m (16.1%)

sample3.4m (14.1%)

Algorithm
538×intervals
Results
1.2m2577549×body80valid
21.0s515392×body80nan
17.2s46863×body1280valid
9.9s43637×body640valid
3.9s5726×body2560valid
3.5s24056×body320valid
1.3s13816×body160valid
795.0ms1619×body10240exit
110.0ms44×body5120valid
95.0ms646×body640nan
88.0ms480×body1280nan
44.0ms415×body320nan
18.0ms229×body160nan

simplify1.2m (5.2%)

Algorithm
1381×egg-herbie

regimes44.4s (3.1%)

Accuracy

Total 177.6b remaining (37.8%)

Threshold costs 21.6b (4.6%)

13.5b38.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.0b62.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.9b26.5%Development.Shake.Progress:decay from shake-0.15.5
8.8b-13.8%Data.Colour.Matrix:determinant from colour-2.3.3, A
8.0b29.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite20.0s (1.4%)

Algorithm
844×rewrite-expression-head
Calls

2276 calls:

393.0ms
(* (/ (cbrt 1.0) (/ y (cbrt 1.0))) (/ (/ (cbrt 1.0) x) (sqrt (fma z z 1.0))))
263.0ms
(- (/ x (- z y)) (/ y (- z y)))
198.0ms
(* (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt x) (/ (- y t) 2.0)))
177.0ms
(cbrt (- x (/ (fabs (- y x)) 2.0)))
114.0ms
(* (/ 1 (sqrt (fma z z 1.0))) (/ (/ (/ 1.0 x) (sqrt (fma z z 1.0))) y))
Rules
44812×times-frac
42290×*-un-lft-identity
39956×add-sqr-sqrt
29146×add-cube-cbrt
11162×add-exp-log
9412×prod-diff
7684×add-cbrt-cube
7391×cbrt-prod
5537×associate-*r*
5174×pow1
3897×distribute-lft-out--
3858×difference-of-squares
3853×sqrt-prod
3276×prod-exp
3271×associate-*l*
3171×div-exp
3035×add-log-exp
2971×distribute-lft-out
2685×associate-/r*
2410×div-inv
2343×cbrt-unprod
2340×distribute-rgt-in distribute-lft-in
2281×expm1-log1p-u
2280×log1p-expm1-u
2132×associate-/l*
2050×unpow-prod-down
1969×cbrt-undiv
1857×associate-/r/
1465×flip3-- flip--
1344×log-prod
1330×cbrt-div
1239×pow-prod-down
1174×unswap-sqr
1147×cube-prod
1003×flip-+ flip3-+
947×frac-times
880×associate-*r/
813×pow1/3
774×associate-*l/
642×fma-neg
561×*-commutative
516×sqr-pow
504×swap-sqr
488×log-pow
480×fma-def
469×clear-num frac-2neg
429×sub-neg
398×associate-+r+
393×1-exp
390×associate-+l+
382×associate-/l/
339×fma-udef
336×associate--l+
333×exp-prod
329×pow-exp
290×sqrt-pow1
267×rec-exp
231×exp-sum
204×diff-log
203×sum-log
177×pow-to-exp
171×pow-prod-up
162×sqrt-div
159×pow1/2
150×pow-sqr
137×+-commutative
126×unpow2
122×unpow3 cube-mult
109×div-sub
105×pow-unpow
101×associate--r+
90×unpow-prod-up
88×distribute-rgt-neg-in distribute-lft-neg-in
86×frac-sub
78×frac-add
74×log-div
73×pow-plus
71×pow2
68×rem-sqrt-square
59×pow-flip
52×inv-pow rem-log-exp
51×pow-pow
47×un-div-inv
34×distribute-rgt-out
33×distribute-rgt-neg-out
32×neg-mul-1
29×tanh-def
23×cos-sum
21×cosh-def
20×rem-cube-cbrt
18×difference-of-sqr-1
17×distribute-rgt-out--
16×associate-+l- unsub-neg
15×cube-div sinh-def
13×rem-exp-log
11×associate-+r- distribute-lft-neg-out
10×sqrt-unprod count-2 hypot-udef hypot-def
9×sub-div expm1-log1p neg-sub0 expm1-udef distribute-neg-frac
8×exp-diff difference-cubes log1p-udef associate--l- log1p-expm1 cos-mult
7×distribute-lft1-in distribute-rgt1-in rem-square-sqrt tan-quot
6×unpow1/3 associate--r- rem-cbrt-cube
5×exp-to-pow
4×sqrt-pow2 sqr-cos
3×pow-div sin-neg cos-diff diff-cos distribute-frac-neg neg-log sin-diff
2×expm1-def exp-neg pow-sub mul-1-neg
1×log-rec sum-cos

localize9.2s (0.6%)

bsearch3.9s (0.3%)

end6.0ms (0.0%)