Details

series5.5m (32.7%)

Calls

2447 calls:

1.9m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
762.0ms
(+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))
686.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* z (- t a)) (* x y))))
631.0ms
(/ (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i))) (- (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
579.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))

sample4.0m (23.7%)

Algorithm
539×intervals
Results
1.3m2650507×body80valid
19.7s518782×body80nan
17.1s47253×body1280valid
9.5s43336×body640valid
4.0s5729×body2560valid
3.5s24659×body320valid
1.3s13588×body160valid
758.0ms1561×body10240exit
134.0ms52×body5120valid
93.0ms639×body640nan
93.0ms494×body1280nan
40.0ms393×body320nan
16.0ms250×body160nan

prune3.5m (20.4%)

rewrite1.7m (10.1%)

Algorithm
863×rewrite-expression-head
Calls

2447 calls:

3.2s
(+ (/ (* (+ (* 2 (+ z y)) t) (* (- (+ (+ (+ y z) z) y) t) x)) (- (+ (+ (+ y z) z) y) t)) (* y 5.0))
2.8s
(/ (* (+ (* 2 (+ z y)) t) (* (- (+ (+ (+ y z) z) y) t) x)) (- (+ (+ (+ y z) z) y) t))
2.3s
(* (+ (* 2 (+ z y)) t) (* (- (+ (+ (+ y z) z) y) t) x))
2.1s
(+ (+ (+ (+ (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z) t) a) (* (- b 0.5) (log c)))
1.8s
(+ (+ (+ (+ (+ x y) y) x) z) x)
Rules
31249×times-frac
29892×*-un-lft-identity
29838×add-sqr-sqrt
19725×add-cube-cbrt
11152×add-exp-log
8764×add-cbrt-cube
7190×associate-*r*
6572×pow1
5180×cbrt-prod
4821×sqrt-prod
4152×associate-*l*
3920×add-log-exp
3511×prod-exp
3481×difference-of-squares
3155×distribute-lft-out--
2901×cbrt-unprod
2830×associate-/r*
2420×cbrt-div
2332×div-exp
2169×flip3-- flip--
2119×distribute-lft-out
1939×associate-/l*
1883×pow-prod-down
1873×associate-*r/
1786×cbrt-undiv
1736×associate-/r/
1734×frac-times
1638×associate-*l/
1615×div-inv
1597×log-prod
1365×flip-+ flip3-+
1361×unswap-sqr
1187×unpow-prod-down
1160×distribute-rgt-in distribute-lft-in
866×pow1/3
770×*-commutative
676×swap-sqr
673×sub-neg
544×sum-log
534×sqrt-div
514×sqrt-pow1
501×frac-sub
481×associate-/l/
476×clear-num frac-2neg
432×cube-prod
410×associate--l+
397×associate-+r+
374×associate-+l+
363×sqr-pow
330×log-pow
318×pow-prod-up
305×exp-prod
304×+-commutative
295×diff-log
291×pow1/2
269×1-exp
249×rec-exp
248×pow-sqr
192×frac-add
145×exp-sum
126×pow-exp
121×pow-plus
110×div-sub
108×pow-unpow
104×pow2
98×rem-sqrt-square
81×pow-flip
80×pow-to-exp
79×rem-log-exp
65×unpow2
64×inv-pow
57×log-div
56×distribute-rgt-out-- associate--r+
51×pow-pow
49×un-div-inv
36×distribute-rgt-neg-out
34×distribute-rgt-neg-in
33×associate-+l-
32×distribute-lft-neg-in
30×sinh-def
28×difference-cubes
27×unpow3 cube-mult
24×cube-div distribute-rgt-out
22×rem-cube-cbrt
20×sqrt-unprod sum-cubes tanh-def
19×associate-+r-
16×rem-square-sqrt
14×associate--l-
13×rem-exp-log unpow1/3 unsub-neg
12×sub-div
11×neg-mul-1
10×cosh-def
8×associate--r- rem-cbrt-cube
7×log-rec neg-sub0
6×exp-diff distribute-lft-neg-out distribute-rgt1-in cos-mult
5×distribute-lft1-in count-2 sin-mult exp-to-pow
4×sin-neg distribute-neg-in diff-cos
3×neg-log cos-diff sin-diff
2×tan-quot cos-sum
1×pow-div sqrt-undiv sin-cos-mult pow3 difference-of-sqr-1 distribute-frac-neg sqr-cos

simplify1.2m (6.9%)

Algorithm
1402×egg-herbie

regimes49.6s (4.9%)

Accuracy

Total 205.0b remaining (36.9%)

Threshold costs 22.5b (4%)

17.1b44.8%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
13.8b56.8%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.6b-5.9%Linear.Matrix:det44 from linear-1.19.1.3
10.3b-7.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.7b60.2%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

localize9.5s (0.9%)

bsearch3.7s (0.4%)

end5.0ms (0.0%)