Details

series8.4m (33.0%)

Calls

2435 calls:

1.9m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
1.9m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* (* c i) c) i))
38.2s
(/ (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (+ x (* (- y 1.0) z)) (* (- (pow t 3) (pow 1.0 3)) a))) (* (+ (* 1.0 (+ 1.0 t)) (* t t)) (+ x (* (- y 1.0) z))))
3.3s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
3.0s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (sqrt (/ (- (sqrt 5.0) 1.0) 2.0)) (* (sqrt (/ (- (sqrt 5.0) 1.0) 2.0)) (cos x)))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))

prune8.2m (32.3%)

sample4.0m (15.9%)

Algorithm
539×intervals
Results
1.6m2660444×body80valid
22.3s515836×body80nan
20.9s47086×body1280valid
11.3s43731×body640valid
4.2s24882×body320valid
4.1s5512×body2560valid
1.5s13402×body160valid
785.0ms1555×body10240exit
100.0ms671×body640nan
94.0ms39×body5120valid
91.0ms463×body1280nan
48.0ms420×body320nan
17.0ms240×body160nan

rewrite1.8m (7.2%)

Algorithm
870×rewrite-expression-head
Calls

2435 calls:

5.8s
(/ (- (* (* x (+ (+ (+ (+ y z) z) y) t)) (* x (+ (+ (+ (+ y z) z) y) t))) (* (* y 5.0) (* y 5.0))) (- (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))
3.0s
(* (pow (sqrt (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))) 3) (sqrt (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))))
2.3s
(* (* x (+ (+ (+ (+ y z) z) y) t)) (* x (+ (+ (+ (+ y z) z) y) t)))
2.0s
(* (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.8s
(- (* (* x (+ (+ (+ (+ y z) z) y) t)) (* x (+ (+ (+ (+ y z) z) y) t))) (* (* y 5.0) (* y 5.0)))
Rules
33105×times-frac
31675×*-un-lft-identity
31445×add-sqr-sqrt
20773×add-cube-cbrt
11371×add-exp-log
8758×add-cbrt-cube
7753×cbrt-div
7049×pow1
6639×associate-*r*
5575×cbrt-prod
5207×associate-*l*
4107×frac-times
4000×sqrt-prod
3845×add-log-exp
3523×distribute-lft-out--
3504×difference-of-squares
3457×prod-exp
3426×flip3-- flip--
3110×associate-/r*
2837×cbrt-unprod
2643×associate-*r/
2562×div-exp
2498×associate-/r/
2443×associate-*l/
2359×associate-/l*
2122×pow-prod-down
2109×distribute-lft-out
2080×flip-+ flip3-+
1768×log-prod
1751×div-inv
1724×cbrt-undiv
1606×unswap-sqr
1514×distribute-rgt-in distribute-lft-in
1296×unpow-prod-down
1278×distribute-rgt-neg-in distribute-lft-neg-in
1030×sqrt-div
931×swap-sqr
832×*-commutative
824×pow1/3
743×sub-neg
694×cube-prod
685×sqrt-pow1
619×associate-/l/
510×sum-log
500×clear-num frac-2neg
460×frac-sub
435×sqr-pow
425×associate-+l+
400×associate--l+
364×associate-+r+
363×pow1/2
360×pow-prod-up
293×+-commutative
290×frac-add
289×1-exp exp-sum
287×diff-log
281×log-pow
274×pow-sqr
267×rec-exp
224×neg-mul-1
195×pow-exp
140×pow-to-exp
131×unpow2
121×div-sub
119×pow-plus
116×rem-sqrt-square exp-prod
110×pow-unpow
109×pow2
80×pow-pow
76×associate--r+
75×cube-div pow-flip
74×distribute-rgt-out--
71×cosh-def
69×log-div
66×inv-pow
49×associate-+l-
45×un-div-inv
44×distribute-rgt-neg-out
39×rem-log-exp
37×tanh-def
34×unpow3 cube-mult
33×distribute-lft-neg-out
27×distribute-rgt-out sinh-def
25×unsub-neg
24×sqrt-unprod associate-+r-
21×difference-cubes mul-1-neg sum-cubes
20×exp-neg
19×rem-square-sqrt
18×rem-exp-log sub-div
17×rem-cube-cbrt distribute-neg-frac
15×associate--r-
14×associate--l-
10×exp-diff unpow1/3
9×log-rec
8×sqrt-pow2 distribute-rgt1-in tan-quot
7×distribute-lft1-in distribute-frac-neg
6×cos-diff count-2 neg-sub0
5×rem-cbrt-cube
4×cos-sum diff-cos exp-to-pow
3×sin-mult
2×sqr-sin sqrt-undiv neg-log
1×e-exp-1 unpow-prod-up remove-double-div

regimes1.4m (5.6%)

Accuracy

Total 216.8b remaining (38.6%)

Threshold costs 23.4b (4.2%)

14.0b45.4%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
13.3b57.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.6b44.2%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
11.6b-5.3%Linear.Matrix:det44 from linear-1.19.1.3
10.4b55.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

simplify1.2m (4.7%)

Algorithm
1409×egg-herbie

localize9.8s (0.6%)

bsearch9.2s (0.6%)

end5.0ms (0.0%)