Details

simplify2.4hr (64.6%)

prune25.1m (11.1%)

series23.5m (10.4%)

Calls

2339 calls:

50.4s
(* (cbrt (fma y (- (log z) t) (* (- (- (log 1.0) (fma 1/2 (* (/ z 1.0) (/ z 1.0)) (* z 1.0))) b) a))) (cbrt (fma y (- (log z) t) (* (- (- (log 1.0) (fma 1/2 (* (/ z 1.0) (/ z 1.0)) (* z 1.0))) b) a))))
13.1s
(* (cbrt (- y (fma (+ 0.5 y) (log y) z))) (cbrt (- y (fma (+ 0.5 y) (log y) z))))
7.8s
(* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
6.1s
(cbrt (fma y (- (log z) t) (* (- (- (log 1.0) (fma 1/2 (* (/ z 1.0) (/ z 1.0)) (* z 1.0))) b) a)))
5.7s
(cbrt (fma y (- (log z) t) (* (- (- (log 1.0) (fma 1/2 (* (/ z 1.0) (/ z 1.0)) (* z 1.0))) b) a)))

sample22.4m (9.9%)

Algorithm
536×intervals
Results
10.1m2570563×body80valid
3.4m498176×body80nan
1.9m47063×body1280valid
1.1m43261×body640valid
25.5s24405×body320valid
15.8s1539×body10240exit
14.2s5525×body2560valid
10.8s13648×body160valid
3.7s669×body640nan
1.7s430×body1280nan
289.0ms412×body320nan
172.0ms35×body5120valid
62.0ms241×body160nan

regimes4.3m (1.9%)

Accuracy

Total 194.5b remaining (37.7%)

Threshold costs 25.2b (4.9%)

14.4b53.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.4b52.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.9b-23.8%Data.Colour.Matrix:determinant from colour-2.3.3, A
8.5b29.2%Development.Shake.Progress:decay from shake-0.15.5
8.2b5.7%Numeric.Signal:interpolate from hsignal-0.2.7.1

rewrite3.1m (1.4%)

Algorithm
859×rewrite-expression-head
Calls

2342 calls:

3.1s
(cbrt (* (* (cbrt (- (* z y) (* a t))) (* (* (cbrt (cbrt (- (* z y) (* a t)))) (cbrt (cbrt (- (* z y) (* a t))))) (cbrt (cbrt (- (* z y) (* a t)))))) (cbrt (- (* z y) (* a t)))))
2.5s
(/ (- (* (* x x) x) (* (* (* (* 4.0 y) z) (* (* 4.0 y) z)) (* (* 4.0 y) z))) (fma x (+ x (* (* 4.0 y) z)) (* (* (* 4.0 y) z) (* (* 4.0 y) z))))
2.2s
(* (- x z) y)
1.9s
(cbrt (* (* (cbrt (- (* z y) (* a t))) (* (* (cbrt (cbrt (- (* z y) (* a t)))) (cbrt (cbrt (- (* z y) (* a t))))) (cbrt (cbrt (- (* z y) (* a t)))))) (cbrt (- (* z y) (* a t)))))
1.6s
(* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0))
Rules
88389×times-frac
68921×*-un-lft-identity
63549×add-sqr-sqrt
50987×add-cube-cbrt
21869×prod-diff
12415×sqrt-prod
9416×add-exp-log
7863×add-cbrt-cube
6593×pow1
4906×distribute-lft-out--
4832×div-inv
4810×associate-*r*
4573×cbrt-prod
4492×difference-of-squares
4406×cbrt-div
4306×distribute-lft-out
4177×distribute-rgt-in distribute-lft-in
3647×associate-/r/
3073×add-log-exp
3046×associate-*l*
3028×associate-/r*
2581×flip-- flip3--
2398×prod-exp
2350×expm1-log1p-u
2346×log1p-expm1-u
2325×div-exp
2146×associate-/l*
2100×cbrt-unprod
2085×frac-times
1807×cbrt-undiv
1760×pow-prod-down
1730×associate-+r+
1631×associate-+l+
1414×flip-+ flip3-+
1208×swap-sqr
1199×associate-*r/
1191×associate-*l/
1129×associate--r+
1091×unswap-sqr
1031×pow1/3
993×log-prod
796×sqrt-pow1
750×fma-neg
584×fma-def
557×*-commutative
548×pow-prod-up
545×log-pow
499×clear-num frac-2neg
453×sqrt-div
377×sub-neg
363×fma-udef
330×associate-/l/
323×pow1/2
316×associate--l+
305×pow-sqr
258×1-exp rec-exp
216×diff-log
197×pow-plus
186×exp-sum
175×sum-log
147×pow2
120×+-commutative
105×rem-sqrt-square
98×frac-sub
95×div-sub
90×pow-flip
82×inv-pow
78×distribute-rgt-out
68×exp-prod
63×unpow-prod-down
57×distribute-rgt-out--
54×pow3 frac-add
51×sinh-def
47×un-div-inv rem-log-exp
44×log-div
30×cosh-def
25×sub-div
24×cos-sum
22×distribute-rgt-neg-out
20×sqrt-unprod
19×sqrt-undiv pow-exp
18×associate-+l-
17×rem-exp-log hypot-def
16×distribute-lft1-in
15×distribute-rgt1-in associate-+r-
14×expm1-udef expm1-log1p rem-square-sqrt tanh-def
13×count-2
12×difference-cubes
11×distribute-lft-neg-in associate--l- distribute-rgt-neg-in
10×unsub-neg rem-cbrt-cube
9×pow-unpow sqr-pow neg-mul-1
8×log1p-udef log1p-expm1 diff-cos cube-prod exp-to-pow
7×pow-to-exp pow-pow associate--r-
6×exp-diff neg-sub0
5×sin-mult
4×distribute-lft-neg-out cube-unmult cos-diff tan-quot
3×pow-div sin-neg hypot-udef sin-diff
2×sqr-sin exp-neg sum-cubes
1×unpow1/3 mul0 cos-neg sin-sum

localize1.1m (0.5%)

bsearch19.5s (0.1%)

end225.0ms (0.0%)