Date:Saturday, February 29th, 2020
Commit:c75aaa3c on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020060
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

series18.8m (62.3%)

Calls

2361 calls:

2.1m
(/ (+ (fma x y (* z (- t a))) (* (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))) z)) (+ y (* z (- b y))))
1.9m
(* (+ (fma x y (* z (- t a))) (* (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))) z)) (/ 1 (+ y (* z (- b y)))))
6.9s
(pow (fma (- (log z) t) y (fma a (log 1.0) (- (fma a b (* 1.0 (* a z)))))) 3)
4.3s
(* (cbrt (* (/ (+ (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))) (/ (- (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))))) (cbrt (* (/ (+ (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))) (/ (- (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))))))
4.0s
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))

prune5.3m (17.4%)

sample3.5m (11.5%)

Algorithm
538×intervals
Results
1.2m2584058×body80valid
21.0s512252×body80nan
17.5s46774×body1280valid
9.8s44084×body640valid
4.0s5580×body2560valid
3.7s25050×body320valid
1.4s14203×body160valid
750.0ms1518×body10240exit
103.0ms710×body640nan
94.0ms495×body1280nan
93.0ms34×body5120valid
46.0ms429×body320nan
14.0ms206×body160nan

simplify1.3m (4.4%)

Algorithm
1407×egg-herbie

regimes40.4s (2.2%)

Accuracy

Total 174.0b remaining (36.1%)

Threshold costs 25.3b (5.2%)

20.2b8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.8b56.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.8b-23.2%Linear.Matrix:det33 from linear-1.19.1.3
7.7b-5.7%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.4b10.7%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

rewrite25.3s (1.4%)

Algorithm
870×rewrite-expression-head
Calls

2363 calls:

2.0s
(* (/ (cbrt y) (/ (/ (/ (fabs (cbrt (sqrt (- (* z z) (* t a))))) (cbrt z)) (cbrt z)) (cbrt y))) (/ x (sqrt (sqrt (- (* z z) (* t a))))))
495.0ms
(* (/ (/ 1 (* (cbrt 1) (cbrt 1))) y) (/ (/ 1 (cbrt 1)) (/ 1 (/ x y))))
196.0ms
(* (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt x) (/ (- y t) 2.0)))
133.0ms
(+ (/ (/ (- z t) (- a t)) (/ 1 y)) x)
126.0ms
(* (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt 1) (/ (* (cbrt (- y t)) (cbrt (- y t))) (sqrt 2.0))))
Rules
82585×times-frac
60496×*-un-lft-identity
56373×add-sqr-sqrt
45320×add-cube-cbrt
22348×cbrt-prod
11075×add-exp-log
9968×prod-diff
8473×associate-*l*
7783×add-cbrt-cube
6013×associate-*r*
5920×pow1
4406×distribute-lft-out
4033×sqrt-prod
3721×div-inv
3543×associate-/r*
3492×distribute-lft-out--
3399×difference-of-squares
3226×div-exp
3201×add-log-exp
2960×prod-exp
2651×distribute-rgt-in distribute-lft-in
2610×unpow-prod-down
2366×log1p-expm1-u expm1-log1p-u
2330×associate-/r/
2270×cbrt-unprod
2187×associate-*l/
2162×associate-/l*
2158×associate-*r/
2086×flip-- flip3--
1834×cbrt-div
1710×cbrt-undiv
1602×frac-times
1555×pow-prod-down
1413×log-prod
1406×unswap-sqr
1185×flip-+ flip3-+
1173×fma-def
1154×frac-sub
1070×log-pow
1048×cube-prod
943×pow1/3
753×exp-prod
727×fma-neg
670×associate-/l/
613×swap-sqr
612×fma-udef
609×*-commutative
607×distribute-rgt-neg-in
600×distribute-lft-neg-in
571×sqrt-div
555×associate-+r+
492×clear-num frac-2neg
479×1-exp
460×sqr-pow
458×associate-+l+
455×rec-exp
425×sub-neg
411×exp-sum
270×sum-log
253×associate--l+
249×sqrt-pow1
248×pow-prod-up
203×diff-log
202×pow-sqr
188×tanh-def
164×pow-unpow
154×+-commutative
152×pow-exp
146×frac-add
139×pow1/2
117×pow-to-exp
112×pow-plus
110×neg-mul-1
102×associate--r+
101×div-sub
99×pow2
98×unpow3 cube-mult
86×pow-flip
77×pow-pow
70×inv-pow
65×log-div
60×rem-log-exp
58×rem-sqrt-square
50×un-div-inv
46×unpow2
45×distribute-rgt-neg-out
43×distribute-rgt-out--
41×cube-div
31×rem-cube-cbrt
29×hypot-def
25×associate-+r- distribute-rgt-out
24×sinh-def
23×cos-sum
16×difference-cubes
15×distribute-lft-neg-out associate-+l-
13×unsub-neg rem-cbrt-cube
12×hypot-udef
11×cosh-def
10×rem-exp-log sqrt-unprod sub-div
9×pow-div rem-square-sqrt
8×exp-diff unpow1/3 associate--r- expm1-udef
7×distribute-lft1-in expm1-log1p tan-quot
6×log1p-udef log1p-expm1
5×associate--l- distribute-rgt1-in count-2 diff-cos
4×neg-sub0 distribute-neg-frac
3×sqrt-pow2 exp-neg cos-diff neg-log sin-mult mul-1-neg
2×sqrt-undiv pow3 distribute-neg-in distribute-frac-neg cos-mult sum-cubes exp-to-pow

localize9.7s (0.5%)

bsearch4.1s (0.2%)

end6.0ms (0.0%)