Details

sample5.4m (32.9%)

Algorithm
539×intervals
Results
2.8m2656776×body80valid
32.5s511033×body80nan
22.0s47102×body1280valid
12.9s42910×body640valid
5.2s24734×body320valid
5.0s5709×body2560valid
1.9s13480×body160valid
170.0ms671×body640nan
150.0ms479×body1280nan
119.0ms42×body5120valid
108.0ms1563×body80overflowed
85.0ms462×body320nan
31.0ms234×body160nan

series4.2m (25.2%)

Calls

2516 calls:

8.4s
(/ (* (cbrt (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))) (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))) (* (cbrt (+ (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (- (* (* a b) (* a b)) (* (+ (* x y) (* z t)) (* a b))))) (cbrt (- (+ (* x y) (* z t)) (* a b)))))
993.0ms
(* (cbrt (+ (- (- (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))) (cbrt (+ (- (- (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))))
990.0ms
(* (cbrt (+ (- (- (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))) (cbrt (+ (- (- (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))))
985.0ms
(* (cbrt (+ (- (- (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))) (cbrt (+ (- (- (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))))
977.0ms
(* (cbrt (+ (- (- (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))) (cbrt (+ (- (- (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))))

prune3.9m (23.4%)

simplify1.2m (7.4%)

Algorithm
1424×egg-herbie

regimes48.6s (4.9%)

Accuracy

Total 248.7b remaining (44.4%)

Threshold costs 24.7b (4.4%)

19.3b7.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.3b22.3%Data.HyperLogLog.Type:size from hyperloglog-0.3.4, A
13.2b48.2%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
13.2b57.9%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.9b57%Diagrams.ThreeD.Transform:aboutX from diagrams-lib-1.3.0.3, B

rewrite45.4s (4.6%)

Algorithm
885×rewrite-expression-head
Calls

2516 calls:

1.8s
(* (* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ 1 y))
626.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
444.0ms
(/ (* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
304.0ms
(* (/ (cbrt (- y x)) (/ (* (cbrt t) (cbrt t)) (cbrt (- y x)))) (/ (cbrt (- y x)) (/ (cbrt t) z)))
300.0ms
(+ (- (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) y) z) (log t))
Rules
38440×times-frac
34453×add-sqr-sqrt
34346×*-un-lft-identity
22918×add-cube-cbrt
10578×add-exp-log
8562×add-cbrt-cube
7088×associate-*r*
6981×pow1
6325×cbrt-prod
5106×associate-*l/
4141×associate-*l*
4119×difference-of-squares
4032×flip--
4031×flip3--
3925×cbrt-div
3896×add-log-exp
3798×distribute-lft-out--
3503×sqrt-prod
3394×associate-/r*
2863×prod-exp
2474×cbrt-unprod
2413×div-exp
2313×associate-/l*
2258×frac-times
2175×associate-*r/
2070×frac-add
2007×distribute-lft-out
2003×associate-/r/
1974×div-inv
1916×pow-prod-down
1891×flip-+
1890×flip3-+
1812×cbrt-undiv
1484×unswap-sqr
1380×frac-sub
1169×log-prod
1132×unpow-prod-down
1099×distribute-rgt-in distribute-lft-in
1034×sqrt-div
1004×distribute-neg-frac
937×pow1/3
834×swap-sqr
770×*-commutative
669×sqrt-pow1
661×cube-prod
635×sub-neg
560×associate-/l/
534×clear-num frac-2neg
513×sum-log
459×pow-prod-up
383×log-pow
359×associate-+l+
338×pow-sqr associate-+r+
333×pow1/2
332×exp-prod
328×sqr-pow
309×+-commutative
298×associate--l+
259×diff-log
258×1-exp
230×rec-exp
181×pow-plus
171×pow-exp
150×pow2
136×pow-unpow
112×div-sub
109×pow-to-exp
103×unpow2
94×rem-sqrt-square
92×distribute-rgt-neg-in
85×pow-pow
79×distribute-lft-neg-in
74×cube-div
71×pow-flip
67×inv-pow
52×sum-cubes log-div
49×tanh-def
46×distribute-rgt-out-- associate--r+
45×sinh-def
43×distribute-rgt-neg-out
41×cosh-def
38×rem-log-exp
37×distribute-rgt-out
32×exp-sum
31×unpow3 cube-mult
29×associate-+l-
28×rem-cube-cbrt
25×un-div-inv
23×sqrt-unprod
22×associate-+r- unsub-neg
21×rem-square-sqrt neg-mul-1
19×difference-cubes
18×sub-div
16×distribute-lft-neg-out
15×unpow1/3
14×exp-neg mul-1-neg
13×rem-exp-log
8×cos-sum distribute-rgt1-in tan-quot log-rec
7×exp-diff distribute-lft1-in rem-cbrt-cube
6×cos-diff count-2
5×sqrt-pow2 diff-cos neg-log
4×associate--l- neg-sub0 associate--r-
2×exp-to-pow pow3 sqrt-undiv
1×e-exp-1 unpow-prod-up

localize9.8s (1.0%)

bsearch6.3s (0.6%)

end5.0ms (0.0%)