Details

series5.5m (29.9%)

Calls

2508 calls:

16.9s
(/ (* y (* 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))))))
12.5s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
12.4s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
12.3s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
12.3s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))

prune4.8m (26.2%)

sample4.0m (21.9%)

Algorithm
539×intervals
Results
1.3m2658898×body80valid
19.9s516746×body80nan
17.6s47510×body1280valid
9.4s44209×body640valid
4.0s5694×body2560valid
3.5s25211×body320valid
1.2s13207×body160valid
761.0ms1614×body10240exit
125.0ms50×body5120valid
93.0ms672×body640nan
88.0ms486×body1280nan
37.0ms387×body320nan
14.0ms220×body160nan

rewrite1.7m (9.2%)

Algorithm
889×rewrite-expression-head
Calls

2508 calls:

4.4s
(* (/ (/ 1 (cbrt (/ (- z y) (- x y)))) (cbrt (/ (- z y) (- x y)))) (/ 1 (cbrt (/ (- z y) (- x y)))))
2.3s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.3s
(* (/ (/ (pow (/ 1 (sqrt a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y) (* (/ (pow (/ 1 (sqrt a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) x))
1.2s
(* x (+ (+ (+ (+ y z) z) y) t))
1.0s
(* (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))
Rules
60029×times-frac
48509×*-un-lft-identity
47214×add-sqr-sqrt
29966×add-cube-cbrt
16465×cbrt-div
14918×cbrt-prod
13851×frac-times
13096×frac-add
11775×add-exp-log
10126×associate-*r/
8801×add-cbrt-cube
8740×flip-+
8739×flip3-+
8555×associate-*l*
7062×associate-*r*
7054×pow1
6296×difference-of-squares
6081×distribute-lft-out--
5680×tanh-def
5644×associate-/r/
5390×sqrt-prod
4970×unpow-prod-down
4825×associate-*l/
3831×add-log-exp
3638×associate-/r*
3505×prod-exp
3330×distribute-lft-out
2779×div-exp
2767×cbrt-unprod
2620×flip--
2619×flip3--
2489×div-inv
2332×associate-/l*
2225×pow-prod-down
1853×cbrt-undiv
1713×unswap-sqr
1704×cube-prod
1536×log-prod
1261×distribute-rgt-in distribute-lft-in
1016×pow1/3
1011×swap-sqr
902×sqrt-div
802×*-commutative
712×frac-sub
710×sqrt-pow1
645×sqr-pow
563×sub-neg
502×sum-log
501×clear-num frac-2neg
500×associate-/l/
471×exp-sum
384×associate-+l+
363×associate-+r+
338×pow-prod-up
326×1-exp
324×rec-exp
310×pow-exp
304×associate--l+
291×+-commutative
288×pow1/2
260×pow-sqr
252×diff-log
214×log-pow
159×pow-to-exp
154×unpow3 cube-mult
115×pow-unpow
113×exp-prod
110×div-sub
108×pow-plus
100×pow2
95×cube-div
93×rem-sqrt-square
88×distribute-rgt-out-- unpow2
87×pow-flip
77×inv-pow
60×pow-pow
59×distribute-rgt-neg-out
58×associate--r+
53×distribute-rgt-neg-in distribute-lft-neg-in
52×un-div-inv
48×log-div
37×associate-+l- rem-log-exp
34×sinh-def
27×sub-div
26×sqrt-unprod
24×unsub-neg
22×associate-+r-
21×difference-cubes distribute-rgt-out
19×neg-mul-1
18×sum-cubes cosh-def
17×rem-square-sqrt
15×rem-cube-cbrt
12×unpow1/3 log-rec
11×associate--r-
9×distribute-lft-neg-out sqrt-undiv rem-cbrt-cube
8×associate--l-
7×pow-div rem-exp-log
6×distribute-rgt1-in distribute-lft1-in
5×count-2
4×exp-diff exp-neg diff-cos mul-1-neg
3×sqrt-pow2 cos-diff sin-mult cos-mult
2×neg-log pow3 neg-sub0 tan-quot cos-sum distribute-neg-frac exp-to-pow

simplify1.3m (7.1%)

regimes48.8s (4.4%)

Accuracy

Total 190.5b remaining (33.8%)

Threshold costs 26.5b (4.7%)

15.0b51.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.1b58%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.6b0%Linear.Matrix:det44 from linear-1.19.1.3
8.3b19.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.8b60.3%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

localize9.7s (0.9%)

bsearch4.3s (0.4%)

end5.0ms (0.0%)