Details

series4.5m (27.7%)

Calls

2530 calls:

2.3s
(sqrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
2.3s
(sqrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
1.1s
(+ (* (log (pow y 1/3)) (+ 1.0 (* 2 y))) (* (log (cbrt y)) (+ y 0.5)))
980.0ms
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
965.0ms
(* (/ (cbrt (- z t)) (cbrt (- a t))) (/ y (cbrt (- a t))))

sample4.0m (24.8%)

Algorithm
538×intervals
Results
1.3m2645558×body80valid
19.2s506302×body80nan
16.9s46464×body1280valid
9.1s42526×body640valid
4.0s5611×body2560valid
3.4s24448×body320valid
1.3s13462×body160valid
730.0ms1561×body10240exit
100.0ms40×body5120valid
96.0ms677×body640nan
78.0ms450×body1280nan
44.0ms427×body320nan
14.0ms229×body160nan

prune3.9m (24.1%)

rewrite1.5m (9.5%)

Algorithm
878×rewrite-expression-head
Calls

2530 calls:

2.0s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
2.0s
(* (cbrt (+ (+ (+ (+ y z) z) y) t)) (cbrt (+ (+ (+ (+ y z) z) y) t)))
1.2s
(* x (+ (+ (+ (+ y z) z) y) t))
635.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
634.0ms
(- (+ (* x (log y)) (- (* z (log 1.0)) (+ (* 1.0 (* z y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))) t)
Rules
47089×times-frac
40403×*-un-lft-identity
38406×add-sqr-sqrt
26227×add-cube-cbrt
11503×add-exp-log
8874×add-cbrt-cube
7704×cbrt-prod
7455×sqrt-prod
7427×associate-*r*
6182×pow1
4410×difference-of-squares
4337×associate-*l*
4090×associate-/r*
4054×distribute-lft-out--
3895×add-log-exp
3389×distribute-lft-out
3387×prod-exp
3241×flip-- flip3--
2891×associate-*r/
2785×associate-*l/
2782×div-exp
2576×cbrt-unprod
2280×div-inv
2245×frac-times
2221×associate-/l*
2154×cbrt-div
1937×associate-/r/
1932×sqrt-div cbrt-undiv
1867×flip-+ flip3-+
1614×pow-prod-down
1590×log-prod
1498×distribute-rgt-in distribute-lft-in
1483×unswap-sqr
1467×unpow-prod-down
1131×frac-sub
927×pow1/3
762×*-commutative
734×swap-sqr
686×frac-add sub-neg
685×cube-prod
661×associate-/l/
613×distribute-rgt-neg-in
599×distribute-lft-neg-in
517×clear-num frac-2neg
506×sum-log
462×sqr-pow
456×sqrt-pow1
392×associate--l+
391×associate-+l+
358×exp-sum
348×associate-+r+
316×+-commutative
293×1-exp
290×log-pow
286×rec-exp
276×pow-prod-up
273×pow1/2
255×pow-exp
250×diff-log
214×pow-sqr
189×exp-prod
175×pow-to-exp
174×pow-unpow
155×neg-mul-1
125×log-div
116×div-sub
112×pow-plus
105×rem-sqrt-square
101×unpow2
97×pow2
75×tanh-def
73×pow-flip
70×pow-pow
66×inv-pow
52×distribute-rgt-out--
47×un-div-inv
46×associate--r+
44×distribute-rgt-neg-out
40×cube-div
38×unpow3 cube-mult
35×sinh-def
34×rem-log-exp
33×associate-+l-
30×rem-cube-cbrt
29×exp-diff
26×distribute-rgt-out
25×difference-cubes
22×unsub-neg associate-+r-
20×sqrt-unprod
19×distribute-lft-neg-out
17×rem-exp-log
16×rem-square-sqrt distribute-neg-frac
14×sub-div
13×cos-diff cosh-def rem-cbrt-cube
12×diff-cos
10×cos-sum associate--l-
8×neg-sub0 associate--r-
7×unpow1/3 tan-quot sum-cubes
6×distribute-rgt1-in
5×distribute-lft1-in count-2 neg-log log-rec
4×exp-to-pow
3×distribute-neg-out sqrt-pow2 pow3
2×pow-div exp-neg sqr-sin sin-mult mul-1-neg
1×sqrt-undiv distribute-frac-neg

simplify1.2m (7.5%)

Algorithm
1415×egg-herbie

regimes46.4s (4.8%)

Accuracy

Total 211.1b remaining (38.2%)

Threshold costs 26.7b (4.8%)

16.6b23.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.7b45.8%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
11.8b61.9%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.0b-4.7%Linear.Matrix:det44 from linear-1.19.1.3
9.4b59.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

localize9.7s (1.0%)

bsearch6.3s (0.7%)

end5.0ms (0.0%)