Details

series14.0m (47.1%)

Calls

2215 calls:

10.7s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
6.0s
(pow (fma (- (log 1.0) (+ (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)) b)) a (* y (- (log z) t))) 3)
5.9s
(pow (fma (- (log 1.0) (+ (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)) b)) a (* y (- (log z) t))) 3)
3.1s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* t i)))))
2.2s
(/ (/ (fma z (+ x y) (- (* (+ t y) a) (* y b))) (cbrt (+ (+ x t) y))) (cbrt (+ (+ x t) y)))

prune8.2m (27.7%)

sample3.8m (12.8%)

Algorithm
538×intervals
Results
1.4m2586555×body80valid
22.7s515836×body80nan
21.2s47086×body1280valid
11.5s43731×body640valid
4.3s5512×body2560valid
4.2s24882×body320valid
1.5s13402×body160valid
790.0ms1555×body10240exit
104.0ms671×body640nan
98.0ms39×body5120valid
97.0ms463×body1280nan
49.0ms420×body320nan
20.0ms240×body160nan

simplify1.2m (4.1%)

Algorithm
1368×egg-herbie

regimes1.2m (3.9%)

Accuracy

Total 171.8b remaining (36.1%)

Threshold costs 24.8b (5.2%)

13.3b57.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.7b47.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.1b-15.4%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3
8.1b12.8%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.7b13.9%Numeric.Signal:interpolate from hsignal-0.2.7.1

rewrite1.1m (3.6%)

Algorithm
831×rewrite-expression-head
Calls

2219 calls:

1.3s
(* (* (* (* (- y x) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0)))) (cbrt (sqrt 6.0))) (sqrt 6.0)) z)
1.2s
(* (/ (cbrt 1.0) (/ (sqrt (+ 1.0 (* z z))) (cbrt 1.0))) (/ (/ (/ (cbrt 1.0) y) x) (sqrt (+ 1.0 (* z z)))))
1.1s
(* x (+ (+ (+ (+ y z) z) y) t))
703.0ms
(* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
668.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
Rules
63359×times-frac
53488×*-un-lft-identity
49261×add-sqr-sqrt
36768×add-cube-cbrt
10514×prod-diff
10477×cbrt-prod
9564×add-exp-log
7354×add-cbrt-cube
5657×pow1
5471×associate-*r*
4837×sqrt-prod
4642×distribute-lft-out--
4504×difference-of-squares
4290×distribute-lft-out
3368×associate-*l*
3179×associate-/r*
2976×div-inv
2972×add-log-exp
2699×distribute-rgt-in distribute-lft-in
2646×prod-exp
2627×unpow-prod-down
2441×associate-/l*
2338×div-exp
2221×log1p-expm1-u
2220×expm1-log1p-u
2219×cbrt-unprod
2067×associate-/r/
1670×cbrt-div
1550×pow-prod-down
1549×cbrt-undiv
1446×flip3-- flip--
1405×log-prod
1347×unswap-sqr
1268×associate-*r/
1253×fma-neg
1194×cube-prod
945×frac-times
889×flip-+ flip3-+
848×pow1/3
808×fma-def
790×swap-sqr
779×associate-+r+
755×associate-*l/
601×*-commutative
585×fma-udef
565×sqrt-div
555×exp-sum
550×sqr-pow
474×associate--l+
472×sqrt-pow1
453×clear-num frac-2neg
442×sub-neg
418×associate-/l/
332×1-exp
330×associate-+l+
317×frac-sub
305×log-pow
290×rec-exp
269×pow-prod-up
268×pow1/2
249×tanh-def
218×sum-log
204×pow-sqr
196×diff-log
164×associate--r+
158×cos-sum
155×unpow2
139×pow-unpow unpow3 cube-mult
127×pow-exp
126×+-commutative
100×div-sub
94×pow-to-exp
88×pow-flip
86×pow-plus
85×pow2
81×distribute-rgt-neg-in
78×distribute-lft-neg-in exp-prod
77×rem-sqrt-square
71×cosh-def
70×pow-pow
66×inv-pow frac-add
62×distribute-rgt-out--
51×log-div
41×un-div-inv
34×rem-log-exp
30×cube-div
27×sinh-def
24×sqrt-unprod
23×distribute-rgt-out
22×distribute-rgt-neg-out
20×exp-neg mul-1-neg
17×rem-cube-cbrt hypot-def associate-+l- neg-mul-1
15×difference-cubes
14×distribute-lft-neg-out
13×rem-square-sqrt associate-+r-
12×rem-exp-log
11×sub-div unsub-neg
9×associate--l-
7×unpow1/3 tan-quot rem-cbrt-cube
6×cos-diff hypot-udef
5×sqrt-pow2 distribute-lft1-in distribute-rgt1-in diff-cos count-2 neg-sub0 associate--r-
4×sum-cubes neg-log cos-mult exp-to-pow
3×distribute-neg-frac
2×exp-diff expm1-udef log1p-udef log1p-expm1 sqr-sin expm1-log1p sqr-cos
1×e-exp-1 sin-neg sin-sum remove-double-div distribute-frac-neg sin-mult sum-cos sin-diff

localize9.1s (0.5%)

bsearch5.4s (0.3%)

end6.0ms (0.0%)