Details

simplify40.4m (57.4%)

prune11.1m (15.8%)

sample7.8m (11.1%)

Algorithm
539×intervals
Results
3.7m2646305×body80valid
59.6s510604×body80nan
40.8s46226×body1280valid
23.7s42370×body640valid
8.8s24239×body320valid
6.6s5691×body2560valid
3.7s13823×body160valid
1.8s1422×body10240exit
442.0ms427×body320nan
283.0ms674×body640nan
222.0ms451×body1280nan
142.0ms54×body5120valid
33.0ms210×body160nan

series5.8m (8.3%)

Calls

2562 calls:

9.5s
(/ (* (* y z) (- (* (tanh (/ t y)) (* (tanh (/ t y)) (tanh (/ t y)))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
4.2s
(- (* (+ (* (/ z 16.0) t) (* x y)) (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y)))) (* (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (/ (* a b) 4.0)))
2.4s
(+ (* (log (pow x 2/3)) (- x 0.5)) (+ (- (* (log (cbrt x)) (- x 0.5)) x) 0.91893853320467))
1.2s
(+ (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y))) (* (/ a (/ 4.0 b)) (+ (+ (* (/ z 16.0) t) (* x y)) (/ a (/ 4.0 b)))))
887.0ms
(/ (/ (+ x y) (+ (sqrt 1.0) (/ (sqrt y) (sqrt z)))) (- (sqrt 1.0) (/ (sqrt y) (sqrt z))))

rewrite2.9m (4.1%)

Algorithm
892×rewrite-expression-head
Calls

2562 calls:

11.4s
(* (* (/ 1 (* (* (cbrt (cbrt (- (+ t 1.0) z))) (cbrt (cbrt (- (+ t 1.0) z)))) (* (cbrt (cbrt (- (+ t 1.0) z))) (cbrt (- (+ t 1.0) z))))) (/ (- y z) (cbrt (* (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))) (cbrt (- (+ t 1.0) z)))))) (- a x))
3.6s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
3.4s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (sqrt c)) (- b 0.5))) (* (log (sqrt c)) (- b 0.5)))
2.0s
(/ (* (* y z) (- (* (tanh (/ t y)) (* (tanh (/ t y)) (tanh (/ t y)))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
1.9s
(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
Rules
42109×times-frac
39337×*-un-lft-identity
35839×add-sqr-sqrt
31134×frac-times
24457×add-cube-cbrt
19840×associate-*r/
17576×tanh-def
11095×add-exp-log
9700×sqrt-prod
9075×add-cbrt-cube
8901×associate-*l/
8689×frac-sub
8068×frac-add
7228×pow1
6704×cbrt-prod
6401×associate-*r*
5863×associate-/r/
5449×cbrt-div
5055×associate-*l*
4829×associate-/l/
4311×distribute-lft-out
4181×flip-+ flip3-+
4106×add-log-exp
3646×distribute-lft-out--
3583×difference-of-squares
3348×prod-exp
3042×associate-/r*
2827×cbrt-unprod
2677×sqrt-div
2562×insert-posit16
2445×flip3-- flip--
2388×associate-/l*
2271×div-exp
2148×div-inv
1952×pow-prod-down
1752×cbrt-undiv
1652×log-prod
1485×unswap-sqr
1319×swap-sqr
1044×pow1/3
990×distribute-rgt-in distribute-lft-in
859×log-pow
848×*-commutative
742×exp-prod
682×sub-neg
592×sum-log
586×sqrt-pow1
515×frac-2neg clear-num
510×pow-prod-up
380×pow1/2
340×pow-sqr
304×diff-log
303×associate--l+
299×associate-+r+
289×+-commutative
242×1-exp
235×rec-exp
217×pow-plus
193×associate-+l+
174×pow2
153×unpow-prod-down
147×rem-sqrt-square
118×div-sub
99×associate--r+
92×exp-sum
87×log-div
82×rem-log-exp
66×pow-flip pow-unpow
65×sqr-pow
64×distribute-rgt-out-- cube-unmult
63×distribute-lft-neg-in distribute-rgt-neg-in
61×inv-pow
52×pow-exp
47×pow3 distribute-rgt-out
46×exp-diff
44×associate-+l-
41×rem-exp-log pow-to-exp
40×associate-+r-
32×un-div-inv
31×sub-div neg-mul-1
24×distribute-lft-neg-out sqrt-unprod
23×pow-pow
22×sin-mult
20×sum-cubes
18×difference-cubes count-2
16×rem-square-sqrt
14×cos-mult sinh-def
13×unsub-neg associate--r-
12×associate--l- distribute-rgt-neg-out
11×exp-to-pow unpow1/3
8×sqr-cos
7×rem-cbrt-cube
6×distribute-rgt1-in
5×distribute-lft1-in tan-quot
4×cosh-def diff-cos
3×sqrt-undiv cos-diff
2×neg-sub0 remove-posit16 sqr-sin cos-sum
1×pow-div exp-neg distribute-frac-neg

regimes1.8m (2.5%)

Accuracy

Total 197.2b remaining (37.1%)

Threshold costs 30.8b (5.8%)

17.4b39.4%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
12.6b60.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.1b-3.8%Linear.Matrix:det44 from linear-1.19.1.3
10.7b46.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.1b58.7%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

localize26.9s (0.6%)

bsearch6.1s (0.1%)

end6.0ms (0.0%)