Details

series6.8m (38.2%)

Calls

2482 calls:

1.9m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
5.1s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
5.0s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
4.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
3.9s
(* (sqrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (sqrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))))

prune4.0m (22.3%)

sample3.7m (20.6%)

Algorithm
538×intervals
Results
1.4m2661142×body80valid
19.9s504096×body80nan
18.1s47512×body1280valid
9.5s42587×body640valid
4.1s5596×body2560valid
3.6s24551×body320valid
1.3s13523×body160valid
748.0ms1552×body10240exit
105.0ms40×body5120valid
99.0ms658×body640nan
91.0ms473×body1280nan
46.0ms421×body320nan
18.0ms238×body160nan

simplify1.2m (7.0%)

Algorithm
1415×egg-herbie

rewrite59.7s (5.6%)

Algorithm
878×rewrite-expression-head
Calls

2482 calls:

1.2s
(* (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.2s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.1s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (sqrt c)) (- b 0.5))) (* (log (sqrt c)) (- b 0.5)))
687.0ms
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
679.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
42829×times-frac
36323×*-un-lft-identity
35565×add-sqr-sqrt
25192×add-cube-cbrt
10846×add-exp-log
8474×add-cbrt-cube
6547×pow1
6153×cbrt-prod
6016×associate-*r*
4220×associate-*l*
4127×cbrt-div
3723×add-log-exp
3514×difference-of-squares
3485×associate-/r*
3474×sqrt-prod
3437×distribute-lft-out--
3202×prod-exp
2952×distribute-lft-neg-in distribute-rgt-neg-in
2846×associate-*r/
2749×frac-times
2585×associate-*l/
2571×cbrt-unprod
2527×associate-/l*
2524×flip-- flip3--
2462×div-exp
2362×flip-+ flip3-+
2305×distribute-lft-out
1953×div-inv
1925×associate-/r/
1836×pow-prod-down
1665×cbrt-undiv
1598×log-prod
1443×unpow-prod-down
1385×unswap-sqr
1378×distribute-rgt-in distribute-lft-in
937×swap-sqr
901×pow1/3
855×frac-sub
852×sqrt-div
841×neg-mul-1
785×*-commutative
699×associate-/l/
681×sub-neg
588×sqrt-pow1
513×clear-num frac-2neg
458×log-pow
454×exp-prod
422×sum-log
371×associate-+l+
341×pow-prod-up
340×pow1/2
320×pow-exp
293×sqr-pow
269×1-exp
268×associate-+r+
266×diff-log
262×rec-exp
260×cube-prod
250×exp-sum
249×+-commutative
237×pow-sqr
236×associate--l+
228×pow-unpow
194×frac-add
160×pow-to-exp
139×div-sub
120×rem-sqrt-square
109×pow-plus
95×pow2 pow-pow
90×unpow-prod-up
75×unpow2
70×cosh-def
65×pow-flip distribute-neg-frac
63×associate--r+
61×inv-pow
56×log-div
47×rem-log-exp
45×tanh-def
43×un-div-inv
42×distribute-rgt-out--
38×associate-+l-
28×rem-exp-log
22×sqrt-unprod unpow3 cube-mult distribute-rgt-out sinh-def
21×distribute-rgt-neg-out
19×cube-div
18×exp-diff sub-div
17×rem-square-sqrt
15×associate-+r-
13×unpow1/3 distribute-lft-neg-out
12×sum-cubes
11×difference-cubes associate--r-
10×rem-cube-cbrt unsub-neg
8×associate--l- neg-sub0
7×sqrt-undiv distribute-frac-neg rem-cbrt-cube
6×distribute-rgt1-in
5×distribute-lft1-in diff-cos count-2 log-rec
4×sqrt-pow2 distribute-neg-in pow-sub exp-to-pow
3×pow3 cos-diff
2×pow-div cos-sum e-exp-1 neg-log tan-quot
1×sin-cos-mult exp-lft-sqr exp-neg mul-1-neg

regimes50.6s (4.7%)

Accuracy

Total 214.4b remaining (36.3%)

Threshold costs 22.5b (3.8%)

17.5b17.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.5b51.8%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
13.2b-17.6%Linear.Matrix:det44 from linear-1.19.1.3
10.9b54.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.8b55.3%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

localize9.6s (0.9%)

bsearch7.7s (0.7%)

end5.0ms (0.0%)