Details

simplify46.6m (58.1%)

series16.3m (20.3%)

Calls

2241 calls:

5.5s
(pow (cbrt (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))))))))) (+ 3 1))
4.3s
(* (cbrt (fma (/ (- t x) (- a z)) (- y z) x)) (cbrt (fma (/ (- t x) (- a z)) (- y z) x)))
3.7s
(fma (* (* (* t y) z) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))))
3.7s
(fma (* (* t y) (* z x)) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
3.5s
(fma (* (* (* t y) z) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))

sample8.5m (10.6%)

Algorithm
537×intervals
Results
3.1m2588265×body80valid
59.8s510036×body80nan
41.4s47180×body1280valid
24.2s43357×body640valid
11.5s25192×body320valid
7.4s5770×body2560valid
3.8s13949×body160valid
1.7s1650×body10240exit
214.0ms672×body640nan
203.0ms51×body5120valid
182.0ms512×body1280nan
114.0ms448×body320nan
89.0ms238×body160nan

prune6.0m (7.5%)

rewrite1.6m (2.0%)

Algorithm
848×rewrite-expression-head
Calls

2245 calls:

2.6s
(log (+ (- (pow (cbrt 1.0) 3) (/ y (pow (cbrt x) 3))) (+ (- (/ y (pow (cbrt x) 3))) (/ y (pow (cbrt x) 3)))))
948.0ms
(+ (* (* (- a x) (* (cbrt (/ (- y z) (- (+ t 1.0) z))) (cbrt (/ (- y z) (- (+ t 1.0) z))))) (cbrt (/ (- y z) (- (+ t 1.0) z)))) x)
916.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
826.0ms
(/ (- (pow (/ x (+ x y)) 3) (pow (/ y (+ x y)) 3)) (fma (/ x (+ x y)) (/ x (+ x y)) (* (/ y (+ x y)) (+ (/ x (+ x y)) (/ y (+ x y))))))
740.0ms
(* (* (* (* (- y x) (sqrt 6.0)) (sqrt (sqrt 6.0))) (sqrt (sqrt 6.0))) z)
Rules
83230×times-frac
67705×*-un-lft-identity
62788×add-sqr-sqrt
45059×add-cube-cbrt
17185×sqrt-prod
15160×prod-diff
9668×add-exp-log
7403×add-cbrt-cube
7348×difference-of-squares
6394×distribute-lft-out--
5638×pow1
5606×cbrt-prod
5398×distribute-lft-out
4795×associate-*r*
3949×div-inv
3207×associate-*l*
3202×associate-/r*
3040×add-log-exp
2776×associate-/r/
2743×unpow-prod-down
2736×distribute-rgt-in distribute-lft-in
2692×prod-exp
2346×div-exp
2247×expm1-log1p-u
2246×log1p-expm1-u
2156×associate-/l*
2045×cube-prod
2031×cbrt-unprod
1524×cbrt-undiv
1484×flip3-- flip--
1483×pow-prod-down
1362×fma-neg
1165×flip-+ flip3-+
1160×fma-def
1131×unswap-sqr
1077×log-prod
949×associate-*r/
826×pow1/3
824×cbrt-div
790×associate-*l/
757×swap-sqr
717×frac-times
624×sqr-pow
614×*-commutative
603×distribute-lft-neg-in
596×associate--l+
473×sqrt-pow1
470×clear-num frac-2neg
440×distribute-rgt-neg-in
431×sqrt-div
425×sub-neg
410×associate-+l+
389×distribute-rgt-out
334×1-exp
333×associate-/l/
329×associate-+r+
323×rec-exp
318×unpow3 cube-mult
285×fma-udef
261×log-pow
256×pow-prod-up
236×pow1/2
224×sum-log
218×diff-log
206×pow-sqr
176×exp-sum
153×pow-unpow
144×frac-sub
134×+-commutative
125×exp-prod
112×pow-pow pow-exp
94×div-sub
93×pow-plus
86×pow2
82×rem-sqrt-square
80×pow-to-exp
76×pow-flip
75×distribute-rgt-out--
65×inv-pow
62×frac-add
49×un-div-inv neg-mul-1 log-div
48×tanh-def
42×associate--r+
40×rem-log-exp
38×cos-sum
33×cube-div
32×unpow-prod-up
29×rem-cube-cbrt distribute-lft1-in
28×hypot-def sinh-def
27×associate-+l-
25×sqrt-unprod
24×cosh-def
19×difference-cubes hypot-udef
18×sub-div rem-square-sqrt
17×exp-diff neg-sub0
15×distribute-lft-neg-out associate-+r- distribute-neg-frac
13×distribute-rgt-neg-out associate--l-
12×rem-exp-log
11×unsub-neg
10×exp-neg sqrt-undiv
9×sum-cubes
7×rem-cbrt-cube
6×distribute-rgt1-in cos-diff count-2 tan-quot neg-log
5×sqrt-pow2 e-exp-1 unpow2 associate--r-
4×log1p-udef log1p-expm1 diff-cos
3×pow-sub expm1-log1p unpow1/2 expm1-udef
2×sub0-neg exp-to-pow
1×distribute-frac-neg

regimes56.0s (1.2%)

Accuracy

Total 197.0b remaining (38.2%)

Threshold costs 27.6b (5.4%)

18.1b13.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.3b54.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
7.4b9.6%Numeric.Signal:interpolate from hsignal-0.2.7.1
7.3b62.8%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.2b63.2%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

localize15.9s (0.3%)

bsearch6.1s (0.1%)

end4.0ms (0.0%)