Date:Tuesday, February 18th, 2020
Commit:5d186d9c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020049
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.5m (54.3%)

Calls

2360 calls:

3.9s
(fma (- (* c a) (* y i)) j (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))) (+ (* b (- (* z c) (* t i))) (* b (fma (- i) t (* i t))))))
3.8s
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* z c) (* t i))) (* b (fma (- i) t (* i t))))))
3.7s
(+ (+ (* (/ (- y x) (- a t)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1)))) (/ (* (fma (- t) 1 t) (- y x)) (- a t))) x)
3.0s
(fma t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

prune5.2m (19.5%)

sample3.5m (13.1%)

Algorithm
537×intervals
Results
1.2m2582033×body80valid
20.8s501625×body80nan
18.3s47021×body1280valid
10.1s43550×body640valid
4.4s5557×body2560valid
3.8s24933×body320valid
1.4s13722×body160valid
830.0ms1608×body10240exit
109.0ms41×body5120valid
98.0ms506×body1280nan
98.0ms623×body640nan
54.0ms448×body320nan
18.0ms224×body160nan

simplify1.6m (6.0%)

Algorithm
1404×egg-herbie

rewrite54.8s (3.4%)

Algorithm
869×rewrite-expression-head
Calls

2362 calls:

6.1s
(+ (+ (/ t (/ (- a z) (- y z))) (- (/ x (/ (- a z) (- y z))))) x)
4.0s
(* (+ (* 2.0 2.0) (+ (* (+ x y) (+ x y)) (* 2.0 (+ x y)))) (- (/ x (- (pow 2.0 3) (pow (+ x y) 3))) (/ y (- (pow 2.0 3) (pow (+ x y) 3)))))
628.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
590.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ 1 (/ (- 1.0 z) t)))))
429.0ms
(* (/ (* (cbrt (+ (- y z) 1.0)) (cbrt (+ (- y z) 1.0))) (* (cbrt z) (cbrt z))) (/ x (/ (cbrt z) (cbrt (+ (- y z) 1.0)))))
Rules
96458×times-frac
95543×*-un-lft-identity
94680×add-sqr-sqrt
53118×add-cube-cbrt
36056×prod-diff
23487×difference-of-squares
19386×unpow-prod-down
18639×cube-prod
17655×distribute-rgt-in distribute-lft-in
15999×distribute-lft-out--
10059×add-exp-log
9331×sqr-pow
7783×distribute-lft-out
7584×add-cbrt-cube
6766×sqrt-prod
6381×pow1
5323×associate-*r*
5175×cbrt-prod
4027×div-inv
3802×associate-*l*
3751×associate-/r*
3260×associate-/r/
3240×add-log-exp
2717×prod-exp
2502×div-exp
2367×expm1-log1p-u
2363×log1p-expm1-u
2169×associate-/l*
2127×cbrt-unprod
2069×flip-- flip3--
1644×cbrt-undiv
1583×pow-prod-down
1322×log-prod
1266×unswap-sqr
1215×cbrt-div
1191×associate-*r/
1173×flip-+ flip3-+
1137×pow1/3
1134×difference-cubes
1006×associate-+r+
954×log-pow
896×frac-times
863×fma-def
846×swap-sqr
818×associate-*l/
757×associate--l+
682×sqrt-div
618×fma-neg
616×*-commutative
572×sub-neg
569×sqrt-pow1
550×associate-+l+
512×clear-num frac-2neg
429×pow-prod-up
405×associate-/l/
351×pow1/2
345×exp-sum
323×pow-sqr
311×fma-udef
281×sum-log
275×1-exp
241×rec-exp
202×diff-log
192×pow-exp
183×+-commutative
154×pow-plus
145×pow2
126×unpow2
121×frac-add
120×pow-to-exp
116×exp-prod distribute-rgt-neg-in
114×rem-sqrt-square
111×div-sub
110×frac-sub
95×associate--r+
90×distribute-rgt-out--
87×pow-unpow
74×log-div
67×pow-flip
61×distribute-lft-neg-in
60×inv-pow
59×cube-mult unpow3
50×rem-log-exp pow-pow
44×distribute-rgt-neg-out
33×un-div-inv
28×cube-div hypot-def
25×sqrt-unprod associate--r-
24×distribute-rgt-out cos-sum sinh-def
23×sub-div
21×neg-mul-1
18×rem-square-sqrt tanh-def
17×unsub-neg
16×rem-exp-log associate-+l-
15×associate-+r-
14×rem-cube-cbrt distribute-lft-neg-out
12×associate--l- hypot-udef
11×cosh-def
8×sum-cubes log1p-udef unpow1/3 rem-cbrt-cube
7×expm1-udef neg-sub0
6×sqrt-pow2 log1p-expm1 tan-quot
5×distribute-lft1-in distribute-rgt1-in count-2 expm1-log1p difference-of-sqr-1
4×exp-diff diff-cos
3×sqrt-undiv cos-diff neg-log
2×sub0-neg pow3 distribute-neg-in distribute-frac-neg
1×expm1-def e-exp-1 sin-neg sqr-sin exp-neg sin-sum unpow-prod-up sin-mult exp-to-pow sin-diff mul-1-neg

regimes43.7s (2.7%)

Accuracy

Total 168.4b remaining (34.8%)

Threshold costs 22.9b (4.7%)

11.4b10.7%Development.Shake.Progress:decay from shake-0.15.5
8.8b54.8%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.9b31.8%Numeric.Signal:interpolate from hsignal-0.2.7.1
7.1b0.8%Data.Colour.Matrix:determinant from colour-2.3.3, A
6.9b14.5%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

localize9.7s (0.6%)

bsearch5.0s (0.3%)

end6.0ms (0.0%)