Details

simplify49.6m (72.4%)

prune7.6m (11.1%)

series6.1m (8.9%)

Calls

2368 calls:

4.3s
(* (fma (/ y t) z x) (* (cbrt (/ 1 (+ (fma (/ y t) b a) 1.0))) (cbrt (/ 1 (+ (fma (/ y t) b a) 1.0)))))
2.9s
(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))))))))
2.2s
(fma z (/ (- 1 (pow (log t) 3)) (fma (log t) (+ 1 (log t)) 1)) (fma (- a 0.5) b (+ x y)))
1.8s
(pow (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.3s
(/ (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) 3.0) (fma (cos y) (/ (- 3.0 (sqrt 5.0)) 2.0) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) 1.0)))

sample2.8m (4.2%)

Algorithm
380×intervals
Results
1.3m1101469×body80valid
17.4s142746×body80nan
15.1s18497×body1280valid
7.7s16356×body640valid
4.5s3435×body2560valid
3.4s9545×body320valid
1.2s5298×body160valid
151.0ms42×body5120valid
34.0ms41×body10240exit
24.0ms20×body640nan
4.0ms9×body1280nan
3.0ms16×body320nan
1.0ms4×body160nan

rewrite1.7m (2.4%)

Algorithm
873×rewrite-expression-head
Calls

2368 calls:

1.9s
(* x (+ (+ (+ (+ y z) z) y) t))
1.0s
(* (/ (* (cbrt x) (cbrt x)) z) (* (* (/ (cbrt x) z) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0))))) (cbrt (/ y (+ z 1.0)))))
1.0s
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
848.0ms
(- (cbrt (pow (/ x (- 2.0 (+ x y))) 3)) (/ y (- 2.0 (+ x y))))
825.0ms
(+ (+ (+ (+ y z) z) y) t)
Rules
84109×times-frac
67107×*-un-lft-identity
63187×add-sqr-sqrt
49118×add-cube-cbrt
19586×prod-diff
10002×add-exp-log
7736×add-cbrt-cube
7074×cbrt-prod
6525×associate-*r*
6147×unpow-prod-down
6110×pow1
5610×distribute-lft-out--
5482×difference-of-squares
5278×sqrt-prod
4461×associate-/r*
4448×unpow-prod-up
3988×distribute-lft-out
3690×div-inv
3241×associate-*l*
3211×add-log-exp
2745×prod-exp
2712×associate-/r/
2635×distribute-rgt-in distribute-lft-in
2434×associate-/l*
2399×div-exp
2373×log1p-expm1-u
2372×expm1-log1p-u
2223×cbrt-unprod
1892×sqr-pow
1622×pow-prod-down
1609×flip3-- flip--
1585×cbrt-undiv
1272×cube-prod
1231×associate-*r/
1155×fma-def
1150×unswap-sqr
1110×flip-+ flip3-+
1040×associate--l+
986×fma-neg
883×log-prod
823×frac-times
810×sub-neg
792×associate-*l/
775×pow1/3
770×cbrt-div
672×swap-sqr
644×associate-+r+
621×sqrt-pow1
609×*-commutative
572×sqrt-div
560×distribute-rgt-neg-in
559×distribute-lft-neg-in
507×clear-num frac-2neg
383×log-pow
371×associate-/l/
314×1-exp
311×fma-udef
310×pow-prod-up
301×pow1/2
294×rec-exp
263×associate-+l+
255×sum-log
241×pow-unpow
229×pow-sqr
218×diff-log
189×associate--r+
162×frac-sub
156×pow-exp
151×exp-prod
149×+-commutative
136×pow-to-exp
126×pow-pow pow-sub
109×unpow3 cube-mult
108×neg-mul-1
101×div-sub
100×rem-sqrt-square
99×pow-plus
97×frac-add
93×pow-flip unpow2
87×inv-pow
85×pow2
79×exp-sum
63×tanh-def
55×sinh-def
50×difference-of-sqr-1
49×un-div-inv
47×rem-log-exp
44×log-div
41×distribute-rgt-out--
35×rem-cube-cbrt
29×associate-+l-
27×cube-div
26×sum-cubes
25×distribute-rgt-neg-out
24×sqrt-unprod sub-div associate-+r-
23×cos-sum
22×distribute-lft-neg-out distribute-rgt-out
18×unsub-neg rem-square-sqrt
16×distribute-neg-frac
15×rem-exp-log
12×cosh-def
10×hypot-udef expm1-log1p rem-cbrt-cube expm1-udef associate--l-
9×hypot-def associate--r-
8×neg-sub0
7×sqrt-pow2
6×log1p-udef unpow1/3 log1p-expm1
5×exp-diff distribute-lft1-in distribute-rgt1-in count-2
4×diff-cos distribute-frac-neg neg-log
3×difference-cubes cos-diff
2×pow-div sqrt-undiv tan-quot sin-mult
1×sin-cos-mult exp-neg

regimes22.9s (0.6%)

Accuracy

Total 12.4b remaining (11.6%)

Threshold costs 5.0b (4.7%)

4.5b0%Codec.Picture.Jpg.FastDct:referenceDct from JuicyPixels-3.2.6.1
1.8b0%Numeric.SpecFunctions:choose from math-functions-0.1.5.2
1.2b0%Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2
1.0b0%Data.Random.Distribution.Triangular:triangularCDF from random-fu-0.2.6.2, A
1.0b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, B

localize18.1s (0.4%)

bsearch35.0ms (0.0%)

end1.0ms (0.0%)