Details

series7.9m (40.6%)

Calls

2365 calls:

1.8m
(/ (+ (fma x y (* z (- t a))) (* (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))) z)) (+ y (* z (- b y))))
1.7m
(* (+ (fma x y (* z (- t a))) (* (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))) z)) (/ 1 (+ y (* z (- b y)))))
7.0s
(pow (fma (- (log z) t) y (fma a (log 1.0) (- (fma a b (* 1.0 (* a z)))))) 3)
3.5s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* z c) (* a i))) (* b (fma (- a) i (* a i))))))
3.4s
(* (cbrt (* (/ (+ (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))) (/ (- (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))))) (cbrt (* (/ (+ (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))) (/ (- (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))))))

prune5.0m (25.4%)

sample3.6m (18.6%)

Algorithm
539×intervals
Results
1.4m2642194×body80valid
20.9s512252×body80nan
17.6s46774×body1280valid
9.9s44084×body640valid
4.2s5580×body2560valid
3.7s25050×body320valid
1.4s14203×body160valid
766.0ms1518×body10240exit
105.0ms710×body640nan
93.0ms495×body1280nan
86.0ms34×body5120valid
45.0ms429×body320nan
14.0ms206×body160nan

simplify1.3m (6.6%)

Algorithm
1410×egg-herbie

regimes45.7s (3.9%)

Accuracy

Total 180.7b remaining (35.6%)

Threshold costs 24.6b (4.8%)

20.2b8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.8b56.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.0b-21.7%Linear.Matrix:det33 from linear-1.19.1.3
7.7b-5.7%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.5b61.7%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite41.2s (3.5%)

Algorithm
871×rewrite-expression-head
Calls

2365 calls:

3.1s
(* (/ (cbrt y) (/ (/ (/ (fabs (cbrt (sqrt (- (* z z) (* t a))))) (cbrt z)) (cbrt z)) (cbrt y))) (/ x (sqrt (sqrt (- (* z z) (* t a))))))
1.2s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
644.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
346.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
317.0ms
(* (sqrt x) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
Rules
73371×times-frac
56414×*-un-lft-identity
51928×add-sqr-sqrt
41530×add-cube-cbrt
20884×cbrt-prod
10072×prod-diff
9874×add-exp-log
8416×associate-*l*
7687×add-cbrt-cube
5903×pow1
4718×associate-*r*
4360×distribute-lft-out
3888×sqrt-prod
3484×distribute-lft-out--
3388×difference-of-squares
3344×div-inv
3305×associate-/r*
3190×add-log-exp
2880×distribute-rgt-in distribute-lft-in
2720×prod-exp
2485×unpow-prod-down
2368×log1p-expm1-u expm1-log1p-u
2308×div-exp
2279×associate-/r/
2278×cbrt-unprod
2161×flip-- flip3--
2148×associate-*r/
2144×associate-*l/
2143×associate-/l*
1747×cbrt-div
1619×frac-times
1596×cbrt-undiv
1551×pow-prod-down
1454×log-prod
1269×unswap-sqr
1209×fma-def
1129×flip-+ flip3-+
1125×frac-sub
1066×log-pow
907×pow1/3
873×cube-prod
750×exp-prod
710×fma-neg
691×associate-+r+
661×associate-/l/
620×fma-udef
615×*-commutative
578×sqrt-div
550×swap-sqr
484×clear-num frac-2neg
456×associate-+l+
447×sub-neg
432×sqr-pow
411×exp-sum
287×1-exp
267×sum-log
263×rec-exp
255×sqrt-pow1
253×associate--l+
238×pow-prod-up
199×diff-log
192×pow-sqr
188×tanh-def
184×pow-exp
173×pow-unpow
154×+-commutative
140×pow1/2
137×pow-to-exp
129×frac-add
107×pow-plus
103×div-sub
102×associate--r+
94×pow2
93×unpow3 cube-mult
84×pow-flip
82×pow-pow
70×inv-pow
65×log-div
59×rem-sqrt-square rem-log-exp
53×distribute-rgt-neg-in
52×unpow2
51×un-div-inv
50×distribute-lft-neg-in
44×distribute-rgt-neg-out
43×distribute-rgt-out--
34×cube-div
29×hypot-def
28×rem-cube-cbrt
25×distribute-rgt-out sinh-def
24×associate-+r-
23×cos-sum
20×neg-mul-1
16×difference-cubes distribute-lft-neg-out associate-+l-
12×unsub-neg rem-cbrt-cube
11×hypot-udef cosh-def
10×rem-exp-log sqrt-unprod sub-div
9×pow-div rem-square-sqrt expm1-udef
8×exp-diff unpow1/3 expm1-log1p associate--r-
7×distribute-lft1-in tan-quot
6×log1p-udef log1p-expm1
5×associate--l- unpow-1 distribute-rgt1-in count-2 diff-cos
4×neg-sub0
3×sqrt-pow2 cos-diff
2×pow3 distribute-neg-in neg-log sin-mult cos-mult sum-cubes exp-to-pow
1×sqrt-undiv exp-neg distribute-frac-neg mul-1-neg

localize9.7s (0.8%)

bsearch6.4s (0.5%)

end5.0ms (0.0%)