Details

simplify45.4m (57.1%)

series16.3m (20.4%)

Calls

2240 calls:

5.3s
(pow (cbrt (cbrt (fma (log c) (- b 0.5) (+ a (+ (fma x (log y) z) t))))) 4)
5.0s
(pow (cbrt (cbrt (fma (log c) (- b 0.5) (+ a (+ (fma x (log y) z) t))))) 4)
3.4s
(+ (* (+ y 0.5) (fma 2/3 (log y) (log (sqrt (cbrt y))))) (* (+ y 0.5) (log (sqrt (cbrt y)))))
3.3s
(- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k)))
3.1s
(* (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)))))))) (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)))))))))

sample8.7m (10.9%)

Algorithm
539×intervals
Results
3.1m2588071×body80valid
1.1m527145×body80nan
43.6s46248×body1280valid
24.4s43633×body640valid
10.5s25372×body320valid
7.8s5518×body2560valid
2.9s13361×body160valid
1.7s1546×body10240exit
205.0ms482×body1280nan
189.0ms691×body640nan
138.0ms49×body5120valid
122.0ms425×body320nan
30.0ms225×body160nan

prune6.1m (7.6%)

rewrite1.8m (2.3%)

Algorithm
851×rewrite-expression-head
Calls

2244 calls:

18.4s
(- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k)))
1.9s
(* x (+ (+ (+ (+ y z) z) y) t))
1.0s
(* (* (+ (- (/ (/ 1.0 x) 9.0) 1.0) y) (sqrt x)) 3.0)
863.0ms
(* (+ (- (/ (/ 1.0 x) 9.0) 1.0) y) (sqrt x))
741.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
Rules
69234×times-frac
54543×*-un-lft-identity
53979×add-sqr-sqrt
40737×add-cube-cbrt
12758×prod-diff
9190×add-exp-log
8095×cbrt-prod
7299×add-cbrt-cube
5790×pow1
5497×associate-*r*
5193×difference-of-squares
4994×sqrt-prod
4651×distribute-lft-out--
3929×distribute-rgt-in distribute-lft-in
3705×div-inv
3444×associate-*l*
3352×associate-/r*
2984×add-log-exp
2651×associate-/l*
2454×distribute-lft-out
2369×prod-exp
2272×div-exp
2247×log1p-expm1-u
2246×expm1-log1p-u
2163×associate-/r/
1919×cbrt-unprod
1575×cbrt-undiv
1573×pow-prod-down
1487×flip3-- flip--
1252×unswap-sqr
1224×log-prod
1134×unpow-prod-down
945×flip-+ flip3-+
928×fma-def
859×associate-*r/
841×associate--l+
816×associate-*l/
787×frac-times
766×pow1/3
765×associate-+l+
763×cbrt-div
716×swap-sqr
614×sqrt-div
603×cube-prod
602×fma-neg
587×*-commutative
575×sqrt-pow1
492×clear-num frac-2neg
445×associate-+r+
391×sub-neg
390×associate-/l/
329×sqr-pow
317×log-pow
312×fma-udef
306×pow1/2
274×pow-prod-up
270×1-exp
256×rec-exp
220×sum-log
209×pow-sqr
208×pow-unpow
201×diff-log
167×unpow-prod-up
147×pow-exp
125×pow-to-exp +-commutative
119×frac-add
118×div-sub
99×distribute-rgt-neg-in
98×pow-pow
97×unpow3 cube-mult
95×distribute-lft-neg-in
92×frac-sub
88×pow-plus
84×log-div
82×rem-sqrt-square
80×pow2
74×pow-flip
67×inv-pow
62×rem-log-exp
57×unpow2
55×exp-sum
47×exp-prod
44×associate--r+
40×un-div-inv
33×neg-mul-1
32×tanh-def
30×sqrt-unprod associate-+l-
23×distribute-rgt-out cos-sum
22×associate-+r-
19×rem-square-sqrt distribute-rgt-out-- sinh-def
17×sub-div
16×cosh-def
15×rem-cube-cbrt hypot-def
12×distribute-neg-frac
11×distribute-lft-neg-out neg-sub0
10×cube-div associate--l- unsub-neg
9×hypot-udef
8×expm1-udef associate--r- rem-cbrt-cube
7×difference-cubes sqrt-pow2 sum-cubes
6×exp-diff distribute-lft1-in distribute-rgt1-in count-2 neg-log
5×rem-exp-log log1p-udef unpow1/3 log1p-expm1 expm1-log1p
4×diff-cos
3×cos-diff pow-sub distribute-frac-neg
2×sin-mult cos-mult distribute-rgt-neg-out cube-unmult exp-to-pow tan-quot
1×sqrt-undiv sin-cos-mult pow3 exp-neg

regimes54.5s (1.1%)

Accuracy

Total 192.5b remaining (37.5%)

Threshold costs 23.4b (4.6%)

13.1b45.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.1b48.2%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
12.3b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.9b-9.5%Data.Colour.Matrix:determinant from colour-2.3.3, A
8.0b58.2%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

localize15.2s (0.3%)

bsearch6.3s (0.1%)

end5.0ms (0.0%)