Date:Wednesday, February 26th, 2020
Commit:2c6cda94 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020057
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

series15.1m (56.4%)

Calls

2423 calls:

16.6s
(* (* y z) (/ (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3)) (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))))
7.3s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
7.2s
(fma (- (* c a) (* y i)) j (- (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (fma y z (- (* a t))))) (* x (fma (- a) t (* a t)))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
3.6s
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
3.6s
(/ (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3)) (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y)))))

prune5.0m (18.8%)

Filtered
111184 candidates to 67134 candidates (60.4%)

sample3.5m (13.0%)

Algorithm
538×intervals
Results
1.2m2584239×body80valid
21.0s518680×body80nan
17.9s47118×body1280valid
9.8s43010×body640valid
4.3s5393×body2560valid
3.7s24890×body320valid
1.3s13841×body160valid
755.0ms1540×body10240exit
112.0ms43×body5120valid
105.0ms691×body640nan
84.0ms469×body1280nan
44.0ms420×body320nan
15.0ms216×body160nan

simplify1.4m (5.3%)

Algorithm
1435×egg-herbie

rewrite46.4s (2.9%)

Algorithm
898×rewrite-expression-head
Calls

2425 calls:

1.3s
(* (fma (/ (* x y) 2.0) (- (/ (* x y) 2.0) 1.0) (* 1.0 1.0)) (+ (- (/ y (+ (pow 1.0 3) (pow (/ (* x y) 2.0) 3)))) (/ y (+ (pow 1.0 3) (pow (/ (* x y) 2.0) 3)))))
786.0ms
(* 0.5 (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (/ z (/ y z))))
660.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
566.0ms
(sqrt (* (* (* x 3.0) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (cbrt x)))
502.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
Rules
84431×times-frac
68541×*-un-lft-identity
65107×add-sqr-sqrt
46854×add-cube-cbrt
15304×prod-diff
14752×sqrt-prod
12347×add-exp-log
7869×add-cbrt-cube
7603×difference-of-squares
6709×cbrt-prod
6477×distribute-lft-out--
6033×pow1
5231×cbrt-div
5012×associate-*r*
4710×distribute-lft-out
4155×unpow-prod-down
4105×associate-/r*
4065×div-exp
4017×distribute-rgt-in distribute-lft-in
3935×div-inv
3924×flip-- flip3--
3597×associate-*l*
3481×associate-*r/
3360×add-log-exp
3310×frac-times
3216×prod-exp
3147×associate-/r/
2895×associate-/l*
2512×cube-prod
2431×expm1-log1p-u
2429×log1p-expm1-u
2307×associate-*l/
2106×cbrt-unprod
1788×cbrt-undiv
1476×pow-prod-down
1296×associate-+r+
1264×log-prod
1262×sqrt-div
1186×unswap-sqr
1177×flip-+ flip3-+
948×fma-def
895×pow1/3
761×sqr-pow
709×swap-sqr
698×frac-sub
675×fma-neg
667×log-pow
653×associate--l+
622×*-commutative
598×associate-+l+
578×associate-/l/
571×fma-udef
537×pow-exp
509×clear-num frac-2neg
489×sqrt-pow1
475×sub-neg
456×exp-sum
418×1-exp
371×rec-exp
304×exp-prod
297×associate--r+
285×pow-prod-up
282×sum-log
273×pow1/2
247×distribute-lft-neg-in
230×diff-log
215×distribute-rgt-out
212×pow-sqr
194×unpow3
193×cube-mult
185×pow-to-exp
180×distribute-rgt-neg-in
171×unpow2
161×+-commutative
146×pow-unpow
110×div-sub
92×pow-plus
88×pow2
80×pow-flip
75×rem-sqrt-square
71×pow-pow
70×cube-div
68×inv-pow
67×frac-add
60×rem-log-exp
58×log-div
44×neg-mul-1
43×hypot-def tanh-def
42×distribute-rgt-neg-out
34×un-div-inv
29×rem-cube-cbrt difference-cubes
27×sum-cubes sinh-def
23×rem-exp-log cos-sum
20×distribute-rgt-out--
19×sqrt-unprod distribute-lft-neg-out
18×cosh-def
16×distribute-lft1-in
15×unpow1/3 unsub-neg rem-square-sqrt
13×associate-+r-
12×associate-+l- rem-cbrt-cube
11×sub-div
10×expm1-log1p expm1-udef
9×log1p-udef log1p-expm1 associate--r-
8×tan-quot
6×exp-diff sin-neg associate--l- diff-cos neg-sub0
5×sqrt-undiv distribute-rgt1-in count-2 hypot-udef sin-mult
3×cos-diff sin-diff
2×exp-to-pow exp-neg unpow-prod-up distribute-frac-neg cos-mult mul-1-neg
1×sqrt-pow2 pow3 neg-log distribute-neg-frac log-rec

regimes44.8s (2.8%)

Accuracy

Total 179.1b remaining (36.8%)

Threshold costs 22.2b (4.6%)

14.5b53.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.4b53.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.0b28.8%Development.Shake.Progress:decay from shake-0.15.5
7.9b-0.4%Linear.Matrix:det33 from linear-1.19.1.3
7.2b63.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

localize10.1s (0.6%)

bsearch3.8s (0.2%)

end6.0ms (0.0%)