Details

series9.4m (41.6%)

Calls

2602 calls:

4.3m
(+ (pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3) (pow c 3))
7.7s
(/ (* (cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3))) (cbrt (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))))) (* (cbrt (+ (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (* x z))))) (cbrt (- (* (- 1.0 x) y) (* x z)))))
5.5s
(* (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))) (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
3.6s
(+ (* c (- c (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))) (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))))
3.4s
(pow (pow (log (- 1.0 (/ y x))) 3) 3)

sample5.5m (24.6%)

Algorithm
538×intervals
Results
2.8m2654277×body80valid
32.6s506417×body80nan
22.6s47075×body1280valid
13.4s43078×body640valid
5.2s24362×body320valid
5.1s5564×body2560valid
2.0s13836×body160valid
185.0ms686×body640nan
162.0ms491×body1280nan
133.0ms44×body5120valid
113.0ms1589×body80overflowed
87.0ms406×body320nan
28.0ms216×body160nan

prune4.3m (19.2%)

simplify1.3m (5.8%)

Algorithm
1441×egg-herbie

rewrite51.8s (3.8%)

Algorithm
904×rewrite-expression-head
Calls

2602 calls:

1.0s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
992.0ms
(* (/ 1 (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (/ (- x 2.0) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))) (/ (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))))
734.0ms
(/ (- (pow (+ (/ y t) (/ x t)) 3) (pow (/ z t) 3)) (+ (* (+ (/ y t) (/ x t)) (+ (+ (/ y t) (/ x t)) (/ z t))) (* (/ z t) (/ z t))))
658.0ms
(/ (+ (pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3) (pow c 3)) (+ (* c (- c (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))) (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))))
622.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
41588×times-frac
37636×*-un-lft-identity
37283×add-sqr-sqrt
24404×add-cube-cbrt
11595×add-exp-log
9473×cbrt-prod
8923×add-cbrt-cube
8625×associate-*r*
7886×cbrt-div
7224×pow1
7120×sqrt-prod
4554×associate-*l*
4289×frac-times
4284×difference-of-squares
4101×flip3-- flip--
4087×distribute-lft-out--
3924×add-log-exp
3464×prod-exp
3228×associate-/r*
3167×associate-*r/
2762×associate-*l/
2756×distribute-lft-out
2643×cbrt-unprod
2592×div-exp
2360×associate-/r/
2132×associate-/l*
2080×pow-prod-down
2047×sqrt-div
2026×div-inv
1943×flip-+ flip3-+
1843×cbrt-undiv
1652×log-prod
1610×unswap-sqr
1595×unpow-prod-down
1097×pow1/3
1071×distribute-rgt-in distribute-lft-in
1040×swap-sqr
967×cube-prod
809×*-commutative
724×frac-sub
648×frac-add
631×sqrt-pow1
629×sub-neg
620×associate-/l/
522×clear-num frac-2neg
474×sum-log
409×pow-prod-up
381×sqr-pow
329×1-exp
324×pow-sqr
323×rec-exp
306×pow1/2
290×associate--l+
281×diff-log
280×associate-+r+
277×log-pow
270×+-commutative
269×associate-+l+
262×pow-exp
249×exp-sum
147×pow-plus
143×pow-unpow
139×exp-prod
129×pow2
126×div-sub
123×pow-to-exp
115×distribute-rgt-out--
91×pow-flip
90×rem-sqrt-square
89×un-div-inv
82×distribute-rgt-neg-in
81×distribute-lft-neg-in
80×unpow2
74×pow-pow
71×log-div
68×inv-pow
67×cosh-def
52×cube-div associate-+l-
48×rem-log-exp
47×distribute-rgt-neg-out
46×associate--r+ unpow3 cube-mult
43×tanh-def
33×sub-div
32×sinh-def
29×rem-cube-cbrt
23×sum-cubes
22×associate-+r-
21×sqrt-unprod distribute-neg-frac
20×unsub-neg
19×rem-square-sqrt distribute-rgt-out
18×difference-cubes distribute-lft-neg-out
14×neg-mul-1 associate--r- rem-cbrt-cube
12×rem-exp-log
10×exp-diff
9×associate--l-
8×tan-quot
7×log-rec
6×unpow1/3 distribute-rgt1-in
5×distribute-lft1-in count-2 neg-sub0 exp-to-pow
4×e-exp-1 pow3 distribute-neg-in diff-cos neg-log sin-mult
3×cos-diff
2×cos-sum cos-mult remove-double-div
1×sqrt-pow2 sqrt-undiv

regimes50.8s (3.8%)

Accuracy

Total 204.5b remaining (36.6%)

Threshold costs 30.0b (5.4%)

14.4b32%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.6b48.4%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
13.0b59.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.5b-12.4%Linear.Matrix:det44 from linear-1.19.1.3
10.2b57.1%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

localize10.2s (0.8%)

bsearch7.2s (0.5%)

end5.0ms (0.0%)