Details

series5.8m (31.7%)

Calls

2487 calls:

1.9m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
894.0ms
(* (/ (cbrt (- x y)) (- z y)) t)
740.0ms
(/ (/ 1 (+ y (* z (- b y)))) (/ 1 (+ (* x y) (* z (- t a)))))
737.0ms
(* (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))))
731.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))

prune4.4m (24.1%)

sample4.1m (22.3%)

Algorithm
539×intervals
Results
1.4m2659886×body80valid
20.5s517365×body80nan
16.9s46121×body1280valid
9.3s42138×body640valid
4.0s5605×body2560valid
3.4s24062×body320valid
1.3s13683×body160valid
332.0ms6732×body80overflowed
104.0ms42×body5120valid
102.0ms705×body640nan
91.0ms493×body1280nan
45.0ms440×body320nan
19.0ms248×body160nan

rewrite1.6m (8.8%)

Algorithm
887×rewrite-expression-head
Calls

2487 calls:

6.8s
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (* (log (/ 1 a)) (* (cbrt t) (cbrt t))) (cbrt t)) b))))) (/ 1 y))
1.7s
(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (* (log (/ 1 a)) (* (cbrt t) (cbrt t))) (cbrt t)) b))))) y)
1.2s
(* x (+ (+ (+ (+ y z) z) y) t))
751.0ms
(* t (- (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* 18.0 y))) z) (* a 4.0)))
651.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
Rules
89042×times-frac
76635×*-un-lft-identity
60218×sqrt-prod
52117×add-sqr-sqrt
40517×add-cube-cbrt
16020×distribute-lft-out
11057×cbrt-prod
11012×add-exp-log
9341×cbrt-div
8681×add-cbrt-cube
6509×pow1
6434×associate-*r*
4713×associate-*l*
4114×difference-of-squares
3925×frac-times
3916×distribute-lft-out--
3871×flip-+ flip3-+
3786×associate-/r/
3725×add-log-exp
3536×associate-/r*
3140×div-inv
3052×prod-exp
2880×associate-*r/
2722×associate-/l*
2690×div-exp
2607×cbrt-unprod
2501×flip-- flip3--
2153×associate-*l/
2003×cbrt-undiv
1967×sqrt-div
1817×pow-prod-down
1580×unpow-prod-down
1493×unswap-sqr
1435×log-prod
1153×distribute-rgt-in distribute-lft-in
1122×swap-sqr
1027×pow1/3
754×*-commutative
610×sub-neg
582×sqr-pow cube-prod
538×associate-/l/
522×clear-num frac-2neg
490×frac-add
432×sum-log frac-sub
417×sqrt-pow1
336×associate--l+
333×pow-prod-up
291×associate-+r+
282×associate-+l+
259×pow-sqr
258×+-commutative
256×1-exp diff-log
254×log-pow
249×unpow2
233×pow1/2
230×rec-exp
208×pow-exp
166×pow-plus
140×pow-to-exp
139×exp-prod
122×pow-unpow
116×pow2
114×div-sub
104×rem-sqrt-square
99×exp-sum
90×unpow-prod-up
81×tanh-def
68×log-div
67×distribute-lft-neg-in distribute-rgt-neg-in
63×associate--r+
60×pow-pow
54×pow-flip
53×inv-pow
48×rem-log-exp
47×distribute-rgt-out--
44×distribute-rgt-neg-out
41×unpow3 cube-mult
37×associate-+l-
33×un-div-inv
30×difference-cubes
23×cube-div associate-+r- distribute-rgt-out
22×unsub-neg
21×sub-div sinh-def
15×rem-exp-log
13×rem-cube-cbrt sqrt-unprod neg-mul-1
12×distribute-neg-in
11×unpow1/3 pow3 neg-sub0 distribute-neg-frac cosh-def
10×rem-square-sqrt
9×associate--l- neg-log
7×cos-diff tan-quot
6×cos-sum distribute-lft-neg-out distribute-rgt1-in sqrt-undiv rem-cbrt-cube
5×exp-diff distribute-lft1-in diff-cos count-2 associate--r-
2×sqrt-pow2 exp-to-pow pow-sub log-rec
1×distribute-neg-out sin-neg sin-diff

simplify1.3m (7.2%)

Algorithm
1426×egg-herbie

regimes49.7s (4.5%)

Accuracy

Total 218.3b remaining (38.2%)

Threshold costs 28.1b (4.9%)

17.4b19.2%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.7b56%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
13.4b-22.6%Linear.Matrix:det44 from linear-1.19.1.3
11.6b59.6%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
10.4b56.1%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

localize10.1s (0.9%)

bsearch5.4s (0.5%)

end5.0ms (0.0%)