Details

series14.5m (52.7%)

Calls

2382 calls:

3.9s
(pow (cbrt (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) z) (+ t a))))) 4)
3.8s
(/ (* z (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
3.7s
(pow (cbrt (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) z) (+ t a))))) 4)
3.7s
(pow (cbrt (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) z) (+ t a))))) 4)
3.7s
(pow (cbrt (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) z) (+ t a))))) 4)

prune5.3m (19.3%)

sample4.0m (14.7%)

Algorithm
538×intervals
Results
1.4m2633543×body80valid
20.2s512806×body80nan
17.4s46571×body1280valid
9.7s43920×body640valid
3.9s5522×body2560valid
3.6s24487×body320valid
1.4s13852×body160valid
794.0ms1512×body10240exit
103.0ms675×body640nan
99.0ms41×body5120valid
91.0ms494×body1280nan
47.0ms423×body320nan
18.0ms251×body160nan

simplify1.5m (5.3%)

Algorithm
1408×egg-herbie

rewrite1.2m (4.2%)

Algorithm
871×rewrite-expression-head
Calls

2385 calls:

1.1s
(* x (+ (+ (+ (+ y z) z) y) t))
888.0ms
(log (/ (cbrt x) (* (* (cbrt (cbrt (+ x y))) (* (* (cbrt (cbrt (cbrt (+ x y)))) (cbrt (cbrt (cbrt (+ x y))))) (cbrt (cbrt (cbrt (+ x y)))))) (cbrt (cbrt (+ x y))))))
770.0ms
(* (* (* x z) (* (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0)))) (pow (cbrt (cbrt (- y 1.0))) 4))) (cbrt (- y 1.0)))
729.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
529.0ms
(* (* (* (* (- y x) (sqrt 6.0)) (sqrt (sqrt 6.0))) (sqrt (sqrt 6.0))) z)
Rules
57598×times-frac
54011×*-un-lft-identity
51084×add-sqr-sqrt
36881×add-cube-cbrt
16002×prod-diff
12453×add-exp-log
7826×add-cbrt-cube
7605×frac-times
7091×frac-add
7004×cbrt-prod
6285×associate-/r/
5872×distribute-lft-out--
5831×pow1
5700×associate-*r*
5692×tanh-def
5343×difference-of-squares
5228×sqrt-prod
4116×prod-exp
3641×distribute-rgt-in distribute-lft-in
3403×associate-*l*
3394×div-exp
3330×div-inv
3308×associate-*r/
3250×add-log-exp
3207×cbrt-div
3194×associate-*l/
3186×distribute-lft-out
3106×associate-/r*
2389×expm1-log1p-u
2388×log1p-expm1-u
2252×associate-/l*
2217×cbrt-unprod
1910×flip-- flip3--
1681×unpow-prod-down
1620×cbrt-undiv
1503×pow-prod-down
1467×log-prod
1372×associate-+l+
1300×unswap-sqr
1275×flip-+ flip3-+
981×cube-prod
944×pow1/3
755×swap-sqr
716×fma-neg
645×*-commutative
635×pow-exp
631×associate-+r+
624×fma-def
547×associate--l+
504×clear-num frac-2neg
496×1-exp
492×sub-neg
481×rec-exp
416×associate-/l/
400×sqrt-div
388×sqr-pow
358×log-pow
334×fma-udef
318×sqrt-pow1
309×associate--r+
273×sum-log
256×pow-to-exp
240×pow-prod-up
212×distribute-rgt-neg-in
208×distribute-lft-neg-in diff-log
203×pow-sqr
199×pow-unpow
183×pow1/2
163×+-commutative
131×unpow3 cube-mult
122×frac-sub
108×unpow2
103×exp-sum
100×pow-plus
97×pow2
94×div-sub
84×pow-pow
80×cube-div
78×rem-sqrt-square
68×neg-mul-1 log-div
63×pow-flip
61×inv-pow exp-prod rem-log-exp
50×un-div-inv
45×distribute-rgt-neg-out
31×associate-+l-
27×sinh-def
25×distribute-rgt-out--
24×distribute-rgt-out
23×cos-sum
22×rem-cube-cbrt hypot-def
17×sqrt-unprod
15×distribute-lft-neg-out
14×rem-exp-log hypot-udef
13×unsub-neg
12×sub-div cosh-def associate-+r-
11×tan-quot
9×difference-cubes associate--l-
8×unpow1/3 rem-cbrt-cube
7×log1p-udef log1p-expm1 expm1-log1p expm1-udef rem-square-sqrt associate--r-
6×exp-diff distribute-lft1-in
5×distribute-rgt1-in count-2 sum-cubes
4×diff-cos distribute-neg-frac
3×sqrt-pow2 cos-diff neg-sub0
2×sqrt-undiv distribute-frac-neg neg-log exp-to-pow
1×pow3 exp-neg sin-mult cos-mult mul-1-neg

regimes47.2s (2.9%)

Accuracy

Total 182.4b remaining (35.7%)

Threshold costs 23.1b (4.5%)

14.7b53.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.5b-4.3%Linear.Matrix:det44 from linear-1.19.1.3
7.4b61.7%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.0b-6.4%Development.Shake.Progress:decay from shake-0.15.5
6.9b39.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

localize10.3s (0.6%)

bsearch6.5s (0.4%)

end7.0ms (0.0%)