Details

simplify31.7m (46.5%)

series18.5m (27.2%)

Calls

2298 calls:

2.3m
(+ (log (sqrt (+ x y))) (/ (+ (pow (log (sqrt (+ x y))) 3) (pow (log z) 3)) (fma (log (sqrt (+ x y))) (log (sqrt (+ x y))) (* (log z) (- (log z) (log (sqrt (+ x y))))))))
2.0m
(fma (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)) (* (- (* x y) (* z t)) (- (* a b) (* c i))))
4.4s
(* (cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t)) (cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t)))
4.2s
(cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t))
3.6s
(cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t))

sample8.4m (12.3%)

Algorithm
537×intervals
Results
3.1m2586408×body80valid
59.1s511085×body80nan
41.6s47698×body1280valid
23.0s42940×body640valid
9.2s24093×body320valid
6.4s5461×body2560valid
2.8s13212×body160valid
2.2s1583×body10240exit
199.0ms495×body1280nan
178.0ms632×body640nan
171.0ms49×body5120valid
85.0ms421×body320nan
33.0ms240×body160nan

prune6.8m (9.9%)

rewrite1.4m (2.1%)

Algorithm
869×rewrite-expression-head
Calls

2299 calls:

967.0ms
(* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (/ (fabs y) (sqrt (fabs (- x y)))))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (/ (fabs y) (sqrt (fabs (- x y)))))))
700.0ms
(/ (sqrt (/ 1.0 (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))) (/ (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))) (sqrt (/ 1.0 (sqrt (+ (sqrt x) (sqrt (+ x 1.0))))))))
607.0ms
(* (sqrt x) (- (+ y (/ (/ 1.0 9.0) x)) 1.0))
572.0ms
(* 3.0 (* (sqrt x) (- (+ y (/ (/ 1.0 9.0) x)) 1.0)))
558.0ms
(* (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ t (- 1.0 z))) x)
Rules
103310×times-frac
92432×*-un-lft-identity
65995×add-sqr-sqrt
64833×sqrt-prod
52459×add-cube-cbrt
17215×distribute-lft-out
14989×prod-diff
10037×add-exp-log
7560×add-cbrt-cube
6780×cbrt-prod
5664×pow1
5419×associate-*r*
4917×distribute-lft-out--
4712×difference-of-squares
4114×div-inv
3740×associate-*l*
3505×associate-/r/
3422×associate-/r*
3007×add-log-exp
2995×distribute-rgt-in distribute-lft-in
2813×prod-exp
2529×associate-/l*
2473×unpow-prod-down
2443×div-exp
2308×log1p-expm1-u
2301×expm1-log1p-u
2082×cbrt-unprod
1779×sqrt-div
1623×flip3-- flip--
1599×cbrt-undiv
1511×cube-prod
1508×flip-+ flip3-+
1423×pow-prod-down
1353×cbrt-div
1310×unswap-sqr
1199×swap-sqr
1007×associate--l+
917×associate-*r/
884×frac-times
876×pow1/3
848×log-prod
828×associate-*l/
710×fma-neg
604×*-commutative
602×fma-def
545×sqr-pow
488×clear-num frac-2neg
471×sqrt-pow1
427×associate-/l/
417×sub-neg
404×associate-+r+
375×log-pow
350×unpow-prod-up
336×fma-udef
322×1-exp
304×rec-exp
295×pow-prod-up
254×pow1/2
239×associate-+l+
206×pow-sqr
204×sum-log
194×pow-exp
190×diff-log
162×pow-unpow
155×unpow3 cube-mult
148×pow-to-exp
132×distribute-neg-in +-commutative
125×div-sub
103×pow-plus
100×frac-sub
91×exp-prod pow-pow
88×pow2
87×unpow2
77×rem-sqrt-square
69×un-div-inv
66×pow-flip
64×inv-pow log-div
60×frac-add distribute-rgt-out
55×distribute-lft-neg-in
53×distribute-rgt-neg-in
48×associate--r+
46×sinh-def
42×rem-log-exp
29×distribute-rgt-out--
28×exp-sum
27×associate-+r- tanh-def
26×distribute-rgt-neg-out
25×associate-+l-
24×difference-cubes
23×cos-sum rem-cube-cbrt
22×sub-div
21×cube-div sqrt-unprod
20×neg-mul-1
17×hypot-def
16×unsub-neg
14×associate--l-
13×rem-square-sqrt
12×distribute-lft-neg-out expm1-log1p expm1-udef
11×cosh-def
10×pow-neg log1p-udef log1p-expm1 distribute-frac-neg rem-cbrt-cube
9×sqrt-undiv distribute-lft1-in hypot-udef sum-cubes
7×tan-quot
6×unpow1/3 pow-sub neg-sub0
5×distribute-rgt1-in count-2 associate--r-
4×sqrt-pow2 diff-cos rem-exp-log distribute-neg-frac exp-to-pow
3×cos-diff
2×exp-diff pow3 neg-log sin-mult cos-mult

regimes55.5s (1.4%)

Accuracy

Total 187.2b remaining (37%)

Threshold costs 26.8b (5.3%)

13.3b41.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.2b61.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.3b14.1%Data.Colour.Matrix:determinant from colour-2.3.3, A
9.0b29.1%Development.Shake.Progress:decay from shake-0.15.5
8.1b59.5%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

localize17.0s (0.4%)

bsearch6.7s (0.2%)

end5.0ms (0.0%)