Details

simplify26.5m (51.1%)

sample8.9m (17.2%)

Algorithm
539×intervals
Results
3.5m2650820×body80valid
58.9s526878×body80nan
38.0s46480×body1280valid
23.2s44410×body640valid
9.0s25052×body320valid
6.9s5559×body2560valid
3.6s13641×body160valid
1.9s1597×body10240exit
230.0ms681×body640nan
159.0ms499×body1280nan
124.0ms44×body5120valid
80.0ms401×body320nan
26.0ms227×body160nan

prune6.7m (12.9%)

series5.8m (11.2%)

Calls

2497 calls:

3.0s
(/ (- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0))))
2.7s
(- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
1.2s
(* (cbrt (+ (* y 5.0) (+ (* (* 2 x) (+ y z)) (* t x)))) (cbrt (+ (* y 5.0) (+ (* (* 2 x) (+ y z)) (* t x)))))
1.2s
(+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)))
1.2s
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))

rewrite2.4m (4.6%)

Algorithm
885×rewrite-expression-head
Calls

2497 calls:

4.1s
(* (* (* (* (cbrt (- z t)) (* (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (cbrt (- z t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (cbrt x) (cbrt y))) (cbrt (- z t)))
3.6s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log (sqrt c)))) (* (- b 0.5) (log (sqrt c))))
3.3s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
3.1s
(+ (+ (+ (+ (+ x y) y) x) z) x)
1.9s
(+ (- (- x (/ (* (- (pow y 3) (pow 1.0 3)) z) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
Rules
53583×times-frac
41158×add-sqr-sqrt
40988×*-un-lft-identity
28936×add-cube-cbrt
12422×add-exp-log
10419×cbrt-div
9127×add-cbrt-cube
8665×associate-*r*
7792×frac-times
7179×pow1
6290×cbrt-prod
6261×unpow-prod-down
6081×flip3-- flip--
6025×associate-*l/
4636×associate-*l*
4270×sqrt-prod
4131×associate-*r/
4124×difference-of-squares
3907×distribute-lft-out--
3880×add-log-exp
3862×prod-exp
3841×associate-/r*
3117×div-exp
2911×cbrt-unprod
2665×associate-/l*
2348×div-inv
2303×distribute-lft-out
2145×pow-prod-down
1890×associate-/r/
1842×cbrt-undiv
1692×flip-+ flip3-+
1528×unswap-sqr
1396×frac-sub
1231×log-prod
1116×sqr-pow
1057×sqrt-div
1017×swap-sqr
1001×exp-sum
970×distribute-rgt-in distribute-lft-in
895×associate-/l/
856×pow1/3
816×*-commutative
809×distribute-rgt-neg-in
808×distribute-lft-neg-in
753×sqrt-pow1
650×sub-neg
546×clear-num frac-2neg
513×sum-log
437×1-exp
429×pow-exp
414×rec-exp
349×pow1/2
339×associate-+r+
338×associate--l+
331×pow-prod-up
326×log-pow
292×cube-prod
285×+-commutative
282×diff-log
279×frac-add
271×pow-sqr
209×associate-+l+
204×pow-to-exp
169×neg-mul-1
137×pow-unpow
120×pow-plus
113×div-sub
109×rem-sqrt-square
103×pow2
100×unpow2
93×pow-flip
76×inv-pow
73×pow-pow
63×tanh-def
62×distribute-rgt-out
59×exp-prod
57×log-div
48×un-div-inv
45×sinh-def
44×associate--r+
40×associate-+l-
38×rem-log-exp
30×cube-div
29×distribute-rgt-out-- sub-div
20×sqrt-unprod distribute-rgt1-in difference-of-sqr-1 associate-+r-
19×unpow3 cube-mult distribute-rgt-neg-out
17×rem-square-sqrt distribute-neg-frac
16×distribute-lft-neg-out
14×exp-to-pow associate--l-
13×rem-cube-cbrt
12×rem-exp-log associate--r- cosh-def
11×unsub-neg
10×unpow1/3 sqrt-undiv cos-mult
6×exp-diff sum-cos tan-quot
5×sqrt-pow2 distribute-lft1-in count-2 neg-sub0 rem-cbrt-cube
4×difference-cubes sum-cubes sqr-cos sin-mult
3×cos-diff diff-cos
2×cos-sum pow-neg pow-sub distribute-frac-neg acos-asin
1×pow-div pow3 exp-neg *-inverses

regimes1.1m (2.2%)

Accuracy

Total 204.1b remaining (37.8%)

Threshold costs 28.1b (5.2%)

14.8b43%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
12.9b-26.1%Linear.Matrix:det44 from linear-1.19.1.3
12.3b61.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.8b59.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.8b13.8%Data.Colour.Matrix:determinant from colour-2.3.3, A

localize17.3s (0.6%)

bsearch8.0s (0.3%)

end6.0ms (0.0%)