Details

simplify30.4m (45.8%)

series16.3m (24.6%)

Calls

2240 calls:

19.8s
(pow (fma b (- (+ y t) 2.0) (fma z (- 1.0 y) (fma a (- 1.0 t) x))) 3)
14.6s
(/ (/ (- x y) (+ (sqrt 2.0) (sqrt (+ x y)))) (- (sqrt 2.0) (sqrt (+ x y))))
2.2s
(cbrt (* (- y x) (/ (- z t) (- a t))))
2.2s
(cbrt (* (- y x) (/ (- z t) (- a t))))
2.1s
(cbrt (* (- y x) (/ (- z t) (- a t))))

sample8.4m (12.7%)

Algorithm
538×intervals
Results
3.1m2583126×body80valid
1.0m529318×body80nan
40.1s47190×body1280valid
23.9s44022×body640valid
9.3s25114×body320valid
8.0s5589×body2560valid
3.8s14121×body160valid
1.3s1600×body10240exit
248.0ms471×body1280nan
207.0ms693×body640nan
142.0ms43×body5120valid
70.0ms410×body320nan
28.0ms260×body160nan

prune7.9m (11.9%)

rewrite2.0m (3.0%)

Algorithm
847×rewrite-expression-head
Calls

2242 calls:

19.5s
(* x (+ (fma y (/ 1 z) (- (pow (/ (cbrt t) (cbrt (- 1.0 z))) 3))) (+ (- (pow (/ (cbrt t) (cbrt (- 1.0 z))) 3)) (pow (/ (cbrt t) (cbrt (- 1.0 z))) 3))))
3.6s
(* x (+ (+ (/ y z) (- (/ (/ t (cbrt (- 1.0 z))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))) (fma (/ t (cbrt (- 1.0 z))) (/ -1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (/ (/ t (cbrt (- 1.0 z))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))))
2.9s
(+ (+ (+ (+ (+ x y) y) x) z) x)
1.8s
(- (/ (/ (/ 1 1) y) (/ 1 (/ x y))) 3.0)
1.7s
(* x (+ (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (/ t (- 1.0 z)))) (+ (- (/ t (- 1.0 z))) (/ t (- 1.0 z)))))
Rules
107174×times-frac
74048×add-sqr-sqrt
73275×*-un-lft-identity
58819×add-cube-cbrt
21956×prod-diff
12076×add-exp-log
9690×cbrt-prod
7801×add-cbrt-cube
6601×sqrt-prod
5903×associate-*r*
5560×difference-of-squares
5478×div-inv
5428×pow1
4877×distribute-lft-out--
4477×cbrt-div
4308×distribute-rgt-in distribute-lft-in
3839×prod-exp
3426×div-exp
3239×associate-*l*
3185×associate-/r/
3147×fma-neg
3106×associate-/r*
2969×add-log-exp
2961×flip3-- flip--
2632×associate-/l*
2629×frac-times
2484×distribute-lft-out
2301×cbrt-unprod
2244×log1p-expm1-u
2242×expm1-log1p-u
1870×cbrt-undiv
1815×unpow-prod-down
1621×associate-*r/
1509×associate-*l/
1381×pow-prod-down
1309×associate-+r+
1218×unswap-sqr
1158×cube-prod
1042×log-prod
945×associate--l+
778×flip-+ flip3-+
729×pow1/3
638×associate-+l+
618×swap-sqr
593×*-commutative
586×fma-def
552×1-exp
518×rec-exp
490×clear-num frac-2neg
459×sub-neg
427×associate-/l/
392×sqrt-pow1
350×log-pow
319×exp-sum
315×frac-sub
304×sqrt-div
297×fma-udef
294×pow-exp
286×sqr-pow
268×pow1/2
244×tanh-def
237×pow-prod-up
233×pow-to-exp
232×exp-prod
206×sum-log
196×diff-log
178×pow-unpow
165×pow-sqr
129×cube-mult unpow3
123×+-commutative
113×div-sub
109×pow-pow
100×rem-sqrt-square
99×unpow-prod-up
84×pow-plus
79×pow-flip
71×inv-pow frac-add unpow2
70×distribute-rgt-neg-in
67×pow2
65×distribute-lft-neg-in
51×log-div
50×rem-log-exp
42×un-div-inv
40×rem-cube-cbrt
29×cube-div
27×sinh-def
26×distribute-rgt-out--
24×associate--r+
23×cos-sum associate-+l-
22×distribute-rgt-neg-out
19×sqrt-unprod sub-div distribute-rgt-out
16×associate-+r-
15×exp-diff neg-mul-1
14×rem-exp-log rem-cbrt-cube
13×rem-square-sqrt
11×unsub-neg
10×cosh-def
9×neg-sub0 distribute-neg-frac
8×pow-sub
7×sum-cubes associate--l- distribute-lft-neg-out
6×hypot-def associate--r-
5×pow-neg distribute-lft1-in distribute-rgt1-in count-2 sin-mult
4×sqrt-pow2
3×cos-diff diff-cos
2×e-exp-1 exp-neg expm1-log1p neg-log expm1-udef exp-to-pow tan-quot
1×sqrt-undiv sin-cos-mult difference-cubes log1p-udef log1p-expm1

regimes58.4s (1.5%)

Accuracy

Total 202.9b remaining (39.4%)

Threshold costs 26.7b (5.2%)

15.3b51.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
13.8b46.6%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
12.7b47.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.3b33.2%Development.Shake.Progress:decay from shake-0.15.5
7.8b60.8%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

localize15.7s (0.4%)

bsearch6.3s (0.2%)

end5.0ms (0.0%)