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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune4.5m (29.3%)

series4.1m (27.1%)

Calls

2491 calls:

3.6s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.6s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.2s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
1.1s
(/ (/ 1 (cbrt (/ (+ 1.0 (sqrt (+ x 1.0))) x))) (cbrt (/ (+ 1.0 (sqrt (+ x 1.0))) x)))
839.0ms
(* (/ y (sqrt (sqrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))) (/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (sqrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))))

sample3.7m (24.3%)

Algorithm
539×intervals
Results
1.4m2649154×body80valid
21.4s515392×body80nan
17.2s46863×body1280valid
9.7s43637×body640valid
3.8s5726×body2560valid
3.5s24056×body320valid
1.3s13816×body160valid
793.0ms1619×body10240exit
109.0ms44×body5120valid
100.0ms646×body640nan
89.0ms480×body1280nan
50.0ms415×body320nan
16.0ms229×body160nan

simplify1.3m (8.4%)

Algorithm
1415×egg-herbie

regimes52.9s (5.8%)

Accuracy

Total 227.3b remaining (39.7%)

Threshold costs 22.9b (4%)

18.6b13.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.1b41.2%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
14.0b-27.3%Linear.Matrix:det44 from linear-1.19.1.3
12.5b60.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.2b57.1%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

rewrite29.5s (3.2%)

Algorithm
876×rewrite-expression-head
Calls

2491 calls:

1.1s
(* (/ (cbrt 1.0) (/ (sqrt (+ 1.0 (* z z))) (cbrt 1.0))) (/ (/ (/ (cbrt 1.0) y) x) (sqrt (+ 1.0 (* z z)))))
335.0ms
(/ (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (/ (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))) (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))))
210.0ms
(* (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt x) (/ (- y t) 2.0)))
206.0ms
(/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))
132.0ms
(* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) 1) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (/ (pow (/ (cbrt 1) a) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y))
Rules
84531×times-frac
74324×*-un-lft-identity
61371×sqrt-prod
49619×add-sqr-sqrt
38766×add-cube-cbrt
16340×distribute-lft-out
12055×add-exp-log
8952×add-cbrt-cube
8486×cbrt-prod
7335×associate-*r*
6472×cbrt-div
6273×pow1
4331×frac-times
4095×associate-*l*
3920×flip3-- flip--
3870×add-log-exp
3645×prod-exp
3506×difference-of-squares
3474×associate-/r*
3435×associate-*r/
3345×distribute-lft-out--
3237×associate-/r/
3019×div-exp
2985×associate-*l/
2900×cbrt-unprod
2719×div-inv
2523×sqrt-div
2469×flip-+ flip3-+
2370×associate-/l*
2139×cbrt-undiv
1980×log-prod
1720×pow-prod-down
1527×unpow-prod-down
1497×distribute-rgt-in distribute-lft-in
1434×unswap-sqr
973×frac-sub
857×pow1/3
762×*-commutative
725×associate-/l/
681×sub-neg
621×swap-sqr
530×sqrt-pow1
522×clear-num frac-2neg
464×log-pow
459×sum-log
431×exp-prod
395×sqr-pow
388×associate-+l+
346×cube-prod
319×associate-+r+
302×exp-sum
297×diff-log
289×1-exp
285×pow1/2 +-commutative associate--l+
250×pow-prod-up
248×pow-exp
223×rec-exp
212×frac-add
205×pow-sqr
193×tanh-def
134×div-sub
133×pow-to-exp
126×pow-unpow
118×rem-sqrt-square
99×pow-plus
90×unpow-prod-up
85×pow2
68×unpow2
64×pow-flip
58×inv-pow
55×associate--r+ rem-log-exp
54×log-div
53×pow-pow
49×un-div-inv distribute-rgt-out--
38×cube-div unpow3 cube-mult
30×distribute-rgt-out
29×distribute-rgt-neg-out
28×difference-cubes
23×associate-+l-
22×associate-+r-
21×unpow1/3 cosh-def
19×distribute-rgt-neg-in distribute-lft-neg-in sub-div
18×difference-of-sqr-1
17×unsub-neg
16×rem-exp-log
15×sum-cubes distribute-lft-neg-out sinh-def
13×exp-diff rem-cube-cbrt sqrt-unprod neg-mul-1
12×rem-square-sqrt
11×associate--l- associate--r-
8×log-rec exp-to-pow
7×distribute-lft1-in distribute-rgt1-in neg-sub0 tan-quot
6×diff-cos count-2 neg-log rem-cbrt-cube
4×pow-sub sqrt-undiv cos-mult
3×pow-div cos-diff
2×cos-sum sqrt-pow2 e-exp-1 exp-neg sqr-cos mul-1-neg
1×sum-cos

localize9.9s (1.1%)

bsearch7.0s (0.8%)

end5.0ms (0.0%)