Details

series4.5m (28.3%)

Calls

2521 calls:

3.0s
(/ (* (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))) (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))) (* (cbrt (- (+ (* x y) (* z t)) (* a b))) (cbrt (- (+ (* x y) (* z t)) (* a b)))))
3.0s
(/ (* (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))) (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))) (* (cbrt (- (+ (* x y) (* z t)) (* a b))) (cbrt (- (+ (* x y) (* z t)) (* a b)))))
1.3s
(pow (cbrt (cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))) 4)
1.0s
(/ (- (* (* (* (fabs (cbrt (+ t a))) z) (sqrt (cbrt (+ t a)))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.0s
(- (* (* (* (fabs (cbrt (+ t a))) z) (sqrt (cbrt (+ t a)))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))

prune4.2m (26.6%)

sample3.8m (24.2%)

Algorithm
538×intervals
Results
1.5m2654324×body80valid
21.1s508047×body80nan
17.9s47272×body1280valid
9.6s41607×body640valid
4.2s5704×body2560valid
3.7s24933×body320valid
1.4s13876×body160valid
415.0ms827×body10240exit
120.0ms44×body5120valid
93.0ms498×body1280nan
91.0ms614×body640nan
45.0ms401×body320nan
33.0ms787×body80overflowed
17.0ms248×body160nan

simplify1.2m (7.8%)

Algorithm
1420×egg-herbie

rewrite58.2s (6.1%)

Algorithm
883×rewrite-expression-head
Calls

2521 calls:

1.1s
(* (cbrt (+ (+ (+ (+ y z) z) y) t)) (cbrt (+ (+ (+ (+ y z) z) y) t)))
1.1s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.1s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
759.0ms
(/ (- (pow 1.0 3) (/ (pow (- x y) 3) (pow (- 1.0 y) 3))) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))
624.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
43157×times-frac
37401×*-un-lft-identity
37229×add-sqr-sqrt
24318×add-cube-cbrt
11180×add-exp-log
8714×add-cbrt-cube
6550×pow1
6434×associate-*r*
6240×cbrt-prod
5842×associate-*l/
5521×associate-*r/
5076×sqrt-prod
4876×cbrt-div
4797×flip-- flip3--
4764×difference-of-squares
4057×associate-*l*
4044×distribute-lft-out--
3907×add-log-exp
3796×frac-times
3670×associate-/r*
3200×prod-exp
2842×flip-+ flip3-+
2834×frac-sub
2736×distribute-lft-out
2720×div-exp
2627×cbrt-unprod
2330×unpow-prod-down
2302×associate-/l*
2075×associate-/r/
2047×div-inv
1893×pow-prod-down
1813×cbrt-undiv
1681×log-prod
1592×sqrt-div
1529×cube-prod
1344×unswap-sqr
1232×associate-/l/
1170×distribute-rgt-in distribute-lft-in
985×frac-add
952×pow1/3
794×sqr-pow
745×*-commutative
692×swap-sqr
689×sub-neg
524×clear-num frac-2neg
480×sum-log
474×sqrt-pow1
372×associate-+r+
336×associate--l+
335×1-exp
333×associate-+l+
304×diff-log
279×rec-exp
277×+-commutative
272×pow-exp
266×pow-prod-up
256×pow1/2
242×log-pow
227×exp-sum
219×pow-sqr
165×exp-prod
154×pow-unpow
132×sub-div pow-to-exp
118×div-sub
106×rem-sqrt-square
100×pow-plus
95×cube-div unpow3
93×cube-mult
90×pow2
87×pow-pow
76×associate--r+
74×pow-flip unpow2
63×inv-pow
54×log-div
51×tanh-def
49×distribute-rgt-out--
48×distribute-rgt-neg-out
45×rem-log-exp
44×associate-+l-
34×rem-cube-cbrt sinh-def
32×associate-+r-
31×un-div-inv
30×cosh-def
28×distribute-rgt-neg-in
27×sum-cubes
25×unsub-neg distribute-rgt-out
23×distribute-lft-neg-in
21×rem-exp-log
17×distribute-neg-frac
15×difference-cubes sqrt-unprod rem-cbrt-cube
14×rem-square-sqrt
13×unpow1/3
12×exp-diff tan-quot
11×associate--l- distribute-lft-neg-out
8×neg-mul-1
7×log-rec
6×distribute-rgt1-in distribute-lft1-in associate--r- exp-to-pow
5×count-2 neg-sub0
4×sqrt-pow2 diff-cos
3×neg-log cos-diff mul-1-neg
2×pow-div pow3 cos-sum cos-mult
1×sqrt-undiv exp-neg sin-mult

regimes50.1s (5.3%)

Accuracy

Total 194.1b remaining (35%)

Threshold costs 26.6b (4.8%)

13.0b58.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.7b-11.8%Linear.Matrix:det44 from linear-1.19.1.3
9.6b59.7%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.6b6.9%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3
7.4b14.7%Numeric.Signal:interpolate from hsignal-0.2.7.1

localize10.1s (1.1%)

bsearch5.1s (0.5%)

end5.0ms (0.0%)