Details

simplify41.3m (58.7%)

prune10.2m (14.5%)

sample7.6m (10.8%)

Algorithm
540×intervals
Results
3.2m2623087×body80valid
57.9s521056×body80nan
39.4s46614×body1280valid
21.5s42405×body640valid
9.5s25177×body320valid
7.0s5716×body2560valid
2.7s13604×body160valid
2.5s1585×body10240exit
371.0ms41×body5120valid
194.0ms651×body640nan
159.0ms509×body1280nan
80.0ms445×body320nan
67.0ms221×body160nan

series6.5m (9.2%)

Calls

2487 calls:

42.8s
(cbrt (+ (* (* y (- (log z) t)) (* y (- (log z) t))) (- (* (* a (- (- (- (log 1.0) (* 1.0 z)) (/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))) b)) (* a (- (- (- (log 1.0) (* 1.0 z)) (/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))) b))) (* (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))) b))))))
3.7s
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
3.5s
(cbrt (+ (pow (* y (- (log z) t)) 3) (pow (* a (- (- (- (log 1.0) (* 1.0 z)) (/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))) b)) 3)))
1.9s
(cbrt (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))) b))))
1.8s
(cbrt (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))) b))))

regimes2.2m (3.1%)

Accuracy

Total 206.1b remaining (40%)

Threshold costs 27.4b (5.3%)

20.1b37.7%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
12.8b59.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.7b47.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
10.2b57.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.0b-4.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite2.0m (2.8%)

Algorithm
881×rewrite-expression-head
Calls

2487 calls:

2.4s
(cbrt (+ (* (* y (- (log z) t)) (* y (- (log z) t))) (- (* (* a (- (- (- (log 1.0) (* 1.0 z)) (/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))) b)) (* a (- (- (- (log 1.0) (* 1.0 z)) (/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))) b))) (* (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))) b))))))
2.3s
(* y (* z (* (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))))
1.4s
(+ (+ (+ (+ (* (- a 0.5) (log (cbrt t))) (* (- a 0.5) (log (cbrt t)))) (log (+ y x))) (- (log z) t)) (* (- a 0.5) (log (cbrt t))))
1.0s
(* (cbrt (+ (+ (+ y z) (+ y z)) t)) (cbrt (+ (+ (+ y z) (+ y z)) t)))
917.0ms
(/ (+ x (- (/ y (/ (- (* t z) x) z)) (/ x (- (* t z) x)))) (+ x 1.0))
Rules
71500×times-frac
55953×*-un-lft-identity
51569×add-sqr-sqrt
34205×add-cube-cbrt
18616×sqrt-prod
11782×add-exp-log
9570×associate-*r/
9540×add-cbrt-cube
9221×cbrt-div
8264×pow1
6942×difference-of-squares
6911×frac-times
6157×distribute-lft-out--
5940×associate-*r*
5081×frac-sub
5031×cbrt-prod
5011×distribute-lft-out
4710×flip3-- flip--
4418×associate-*l*
4339×associate-/r*
3920×add-log-exp
3379×prod-exp
3270×associate-*l/
2964×cbrt-unprod
2928×associate-/r/
2836×div-exp
2758×associate-/l*
2652×tanh-def
2607×div-inv
2432×flip-+ flip3-+
2307×pow-prod-down
2100×cbrt-undiv
1737×log-prod
1269×unswap-sqr
1268×distribute-rgt-in distribute-lft-in
1088×sqrt-div
972×frac-add
970×swap-sqr
873×pow-prod-up
861×associate-/l/
807×pow1/3
768×*-commutative
755×sub-neg
716×sqrt-pow1
575×frac-2neg clear-num
504×sum-log
490×exp-sum
467×pow-sqr
436×pow-plus
431×log-pow
385×associate-+r+
358×pow1/2
332×1-exp
313×diff-log
306×rec-exp
283×associate--l+
275×+-commutative
236×pow2
229×associate-+l+
180×exp-prod
147×unpow-prod-down
135×div-sub
126×pow3
115×cube-unmult
110×rem-sqrt-square
108×pow-flip
80×log-div
77×distribute-rgt-out--
72×inv-pow
70×rem-log-exp
68×sum-cubes
67×sub-div
58×associate--r+
50×associate-+l-
49×pow-exp
46×distribute-rgt-out
44×distribute-lft-neg-in distribute-rgt-neg-in
38×un-div-inv
35×associate-+r- difference-cubes
28×rem-exp-log
27×pow-unpow
24×cube-prod
20×sqrt-unprod cosh-def
19×distribute-lft-neg-out sqr-pow sinh-def
18×pow-to-exp
17×distribute-rgt-neg-out
15×neg-mul-1 rem-square-sqrt unsub-neg
14×exp-diff associate--l- pow-pow
13×associate--r-
12×cos-mult exp-to-pow rem-cbrt-cube
9×count-2
8×distribute-lft1-in cube-div distribute-rgt1-in
6×distribute-neg-in cos-diff unpow1/3
4×neg-sub0 cos-sum diff-cos
3×unpow-prod-up sqr-cos
2×sqrt-undiv distribute-frac-neg sin-mult exp-neg remove-double-div tan-quot pow-div
1×exp-cbrt sub0-neg neg-log pow-sub e-exp-1

localize28.4s (0.7%)

bsearch12.3s (0.3%)

end6.0ms (0.0%)