Details

simplify2.3hr (64.5%)

prune23.4m (10.9%)

series23.3m (10.9%)

Calls

2336 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)))

sample21.0m (9.8%)

Algorithm
536×intervals
Results
9.1m2570563×body80valid
3.2m498176×body80nan
1.8m47063×body1280valid
1.1m43261×body640valid
25.6s24405×body320valid
15.8s1539×body10240exit
14.0s5525×body2560valid
8.7s13648×body160valid
3.7s669×body640nan
1.7s430×body1280nan
289.0ms412×body320nan
163.0ms35×body5120valid
62.0ms241×body160nan

regimes4.1m (1.9%)

Accuracy

Total 194.2b remaining (37.8%)

Threshold costs 25.0b (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.0m (1.4%)

Algorithm
859×rewrite-expression-head
Calls

2339 calls:

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)
2.2s
(cbrt (* (* (* (* (cbrt (cbrt (- (* z y) (* a t)))) (cbrt (cbrt (- (* z y) (* a t))))) (cbrt (cbrt (- (* z y) (* a t))))) (cbrt (- (* z y) (* a t)))) (cbrt (- (* z y) (* a t)))))
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.7s
(- (/ x (+ x y)) (/ y (+ x y)))
Rules
88358×times-frac
68834×*-un-lft-identity
63461×add-sqr-sqrt
50871×add-cube-cbrt
21731×prod-diff
12422×sqrt-prod
9459×add-exp-log
7889×add-cbrt-cube
6598×pow1
4922×distribute-lft-out--
4829×div-inv
4822×associate-*r*
4563×cbrt-prod
4507×difference-of-squares
4406×cbrt-div
4305×distribute-lft-out
4148×distribute-rgt-in distribute-lft-in
3662×associate-/r/
3066×add-log-exp
3038×associate-/r*
3002×associate-*l*
2587×flip3-- flip--
2422×prod-exp
2347×expm1-log1p-u
2343×log1p-expm1-u
2337×div-exp
2146×associate-/l*
2114×cbrt-unprod
2091×frac-times
1814×cbrt-undiv
1766×pow-prod-down
1730×associate-+r+
1631×associate-+l+
1413×flip-+ flip3-+
1271×associate-*l/
1208×swap-sqr
1129×associate--r+
1124×associate-*r/
1089×unswap-sqr
1031×pow1/3
1023×log-prod
796×sqrt-pow1
744×fma-neg
584×fma-def
556×*-commutative
548×pow-prod-up
544×log-pow
499×clear-num frac-2neg
455×sqrt-div
371×sub-neg
362×fma-udef
324×associate-/l/
322×pow1/2
315×associate--l+
305×pow-sqr
261×1-exp rec-exp
214×diff-log
197×pow-plus
186×exp-sum
175×sum-log
147×pow2
120×+-commutative
105×rem-sqrt-square
98×frac-sub
96×div-sub
90×pow-flip
82×inv-pow
76×distribute-rgt-out
68×exp-prod
63×unpow-prod-down
57×distribute-rgt-out--
54×pow3 frac-add
51×sinh-def
49×un-div-inv
47×rem-log-exp
46×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 distribute-lft-neg-in expm1-log1p rem-square-sqrt distribute-rgt-neg-in tanh-def
13×count-2
12×difference-cubes
11×associate--l-
10×unsub-neg neg-mul-1 rem-cbrt-cube
9×pow-unpow sqr-pow
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×distribute-lft-neg-out sin-mult
4×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 acos-asin mul0 cos-neg sin-sum

localize1.1m (0.5%)

bsearch19.2s (0.1%)

end272.0ms (0.0%)