Details

series4.3m (28.4%)

Calls

2520 calls:

2.3s
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
2.2s
(- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
2.0s
(/ (+ 2.0 (* (log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
1.8s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
1.8s
(/ (+ 2.0 (* (log (exp (* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))

prune3.9m (25.9%)

sample3.6m (24.1%)

Algorithm
538×intervals
Results
1.4m2652741×body80valid
20.0s503147×body80nan
17.6s46678×body1280valid
9.5s42823×body640valid
4.0s5466×body2560valid
3.7s25070×body320valid
1.3s13704×body160valid
780.0ms1562×body10240exit
110.0ms41×body5120valid
100.0ms682×body640nan
87.0ms464×body1280nan
38.0ms363×body320nan
14.0ms218×body160nan

simplify1.2m (8.2%)

Algorithm
1424×egg-herbie

rewrite53.7s (6.0%)

Algorithm
887×rewrite-expression-head
Calls

2520 calls:

1.1s
(* (cbrt (+ (+ (+ (+ y z) z) y) t)) (cbrt (+ (+ (+ (+ y z) z) y) t)))
762.0ms
(* t (- (* (* (* (* x 18.0) (* (cbrt y) (cbrt y))) (cbrt y)) z) (* a 4.0)))
675.0ms
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
658.0ms
(/ (* (sqrt (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (sqrt (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) y)
642.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
38230×times-frac
35001×*-un-lft-identity
33004×add-sqr-sqrt
22967×add-cube-cbrt
11426×add-exp-log
9093×add-cbrt-cube
7316×pow1
6247×associate-*r*
6042×cbrt-prod
4167×associate-*l*
3899×add-log-exp
3603×distribute-lft-out--
3413×associate-/r*
3357×prod-exp
3311×difference-of-squares
2819×cbrt-unprod
2786×sqrt-prod
2653×distribute-lft-out
2552×div-exp
2527×associate-/l*
2271×flip3-- flip--
2270×associate-*r/
2258×pow-prod-down
2209×log-prod
2042×div-inv
1908×associate-/r/
1886×associate-*l/
1858×cbrt-undiv
1617×distribute-rgt-in distribute-lft-in
1602×cbrt-div
1565×flip-+ flip3-+
1530×frac-times
1418×unpow-prod-down
1379×unswap-sqr
1128×exp-sum
1013×sqrt-pow1
912×swap-sqr
804×pow1/3
802×*-commutative
752×associate-/l/
719×sqrt-div
713×sub-neg
646×frac-sub
554×clear-num frac-2neg
483×sum-log
410×pow1/2
394×pow-prod-up
390×associate-+l+
353×associate-+r+
308×associate--l+
307×1-exp
298×diff-log
293×log-pow
292×rec-exp
286×+-commutative
272×sqr-pow
270×pow-sqr
238×frac-add
206×distribute-rgt-neg-in
204×distribute-lft-neg-in
193×exp-prod
187×cube-prod
136×pow-exp
134×pow-unpow
132×div-sub
124×distribute-rgt-out--
107×pow-plus
92×pow2
90×rem-sqrt-square
81×pow-flip tanh-def
77×pow-to-exp
72×associate--r+
71×inv-pow
68×unpow2
67×log-div
61×pow-pow
53×rem-log-exp
50×un-div-inv
44×distribute-rgt-neg-out
40×associate-+l-
34×neg-mul-1
31×sub-div
27×cube-div associate-+r-
26×unpow3
25×sqrt-unprod
24×rem-cube-cbrt distribute-rgt-out
23×cosh-def
22×cube-mult sum-cubes
21×rem-square-sqrt
20×unsub-neg
17×difference-cubes
14×rem-exp-log
13×associate--l- sinh-def
11×unpow1/3 distribute-lft-neg-out
10×neg-sub0
9×associate--r-
8×tan-quot
7×distribute-lft1-in sin-mult
6×exp-diff distribute-rgt1-in neg-log cos-mult
5×count-2 log-rec
4×rem-cbrt-cube sin-neg diff-cos distribute-neg-frac
3×sqrt-pow2 e-exp-1 exp-to-pow cos-diff sin-diff
2×cos-sum exp-neg acos-asin mul-1-neg
1×pow3 unpow-prod-up remove-double-div sqrt-undiv

regimes51.1s (5.7%)

Accuracy

Total 191.0b remaining (34.1%)

Threshold costs 24.8b (4.4%)

13.9b54.8%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
13.2b-18.1%Linear.Matrix:det44 from linear-1.19.1.3
9.8b59.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.1b22.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.3b62.9%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

localize9.7s (1.1%)

bsearch6.2s (0.7%)

end5.0ms (0.0%)