Details

simplify1.9hr (62.9%)

series25.9m (14.4%)

Calls

2340 calls:

7.3m
(fma (* (cbrt x) (cbrt x)) (cbrt x) (+ (* (/ (- y z) (- (+ t 1.0) z)) (fma 1 a (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* (/ (- y z) (- (+ t 1.0) z)) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))))
1.4m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
2.7s
(/ (fma (* (- (sin x) (/ (sin y) 16.0)) (* (- (cos x) (cos y)) (sqrt 2.0))) (- (sin y) (/ (sin x) 16.0)) 2.0) (fma (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (cos y) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) 1.0)))
2.6s
(* (/ (+ 1.0 x) (+ (* (+ (/ x y) 1.0) (fma (/ 1 (* (cbrt y) (cbrt y))) (/ x (cbrt y)) (- (* (sqrt 1.0) (sqrt 1.0))))) (* (fma 1.0 -1 1.0) (+ (/ x y) 1.0)))) (- (/ x y) 1.0))
2.6s
(* (/ 1 (fma (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) 1.0))) (/ (fma (* (- (sin x) (/ (sin y) 16.0)) (* (- (cos x) (cos y)) (sqrt 2.0))) (- (sin y) (/ (sin x) 16.0)) 2.0) 3.0))

prune21.0m (11.7%)

sample9.8m (5.5%)

Algorithm
536×intervals
Results
4.0m2573051×body80valid
1.0m466581×body80nan
48.9s47250×body1280valid
30.4s44209×body640valid
13.9s24612×body320valid
7.1s5509×body2560valid
4.8s14112×body160valid
2.0s1578×body10240exit
375.0ms685×body640nan
213.0ms479×body1280nan
177.0ms47×body5120valid
133.0ms419×body320nan
43.0ms243×body160nan

regimes5.0m (2.8%)

Accuracy

Total 178.6b remaining (36.4%)

Threshold costs 23.8b (4.9%)

13.0b57.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.4b34%Development.Shake.Progress:decay from shake-0.15.5
7.5b11.3%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3
7.5b61.7%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2
7.1b63.3%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite3.2m (1.8%)

Algorithm
869×rewrite-expression-head
Calls

2342 calls:

3.9s
(* x (+ (+ (+ (+ y z) z) y) t))
2.8s
(* (/ (/ (* (sqrt 2.0) (* (cbrt x) (cbrt x))) (cbrt (- y t))) (cbrt (- y t))) (/ (/ (sqrt 2.0) (/ z (cbrt x))) (cbrt (- y t))))
1.8s
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
1.6s
(* (* (* (* (/ x (cbrt z)) (cbrt y)) (cbrt y)) (/ (cbrt y) (cbrt z))) (/ 1 (cbrt z)))
1.3s
(* (sqrt (+ (sqrt 1.0) (sqrt (- z (log z))))) (* (sqrt (+ (sqrt 1.0) (sqrt (- z (log z))))) (* (- (sqrt 1.0) (sqrt (- z (log z)))) y)))
Rules
62405×times-frac
52691×*-un-lft-identity
48026×add-sqr-sqrt
37468×add-cube-cbrt
12039×prod-diff
10928×sqrt-prod
9913×add-exp-log
8101×cbrt-prod
7926×add-cbrt-cube
6409×pow1
5281×associate-*r*
4013×distribute-lft-out
3982×associate-*l*
3946×distribute-lft-out--
3648×difference-of-squares
3263×div-inv
3133×add-log-exp
3109×associate-/r*
2861×prod-exp
2584×associate-/r/
2453×associate-/l*
2350×expm1-log1p-u
2344×log1p-expm1-u
2342×insert-posit16
2304×cbrt-unprod
2226×div-exp
1955×distribute-rgt-in distribute-lft-in
1780×cbrt-div
1701×flip3-- flip--
1681×pow-prod-down
1678×cbrt-undiv
1277×flip-+ flip3-+
1274×frac-times
1147×associate-*r/
1126×unswap-sqr
1111×associate-*l/
1009×pow1/3
992×sqrt-div
977×log-prod
966×swap-sqr
862×log-pow
834×sqrt-pow1
800×fma-def
773×fma-neg
597×*-commutative
499×frac-2neg clear-num
465×exp-prod
440×pow-prod-up
393×associate-/l/
380×sub-neg
361×fma-udef
306×associate--l+
304×associate-+l+
302×pow-sqr
291×pow1/2
287×1-exp
279×rec-exp
215×diff-log
212×sum-log
191×pow-plus
175×associate-+r+
139×pow2
125×+-commutative
108×div-sub
98×exp-sum
93×rem-sqrt-square
76×pow-flip
74×frac-add
64×frac-sub
63×rem-log-exp
60×inv-pow
57×associate--r+ log-div
46×un-div-inv
45×distribute-rgt-out
34×distribute-rgt-out--
32×hypot-def
29×pow-unpow
27×unpow-prod-down
26×associate-+l-
24×exp-diff
23×cos-sum
22×rem-exp-log
21×cube-unmult
19×sqrt-unprod
18×unpow-prod-up
17×pow-exp sub-div distribute-rgt-neg-in
16×distribute-lft-neg-out distribute-lft-neg-in pow3
15×distribute-rgt-neg-out cosh-def sinh-def
14×pow-pow unsub-neg
13×pow-to-exp rem-square-sqrt
12×exp-to-pow
11×cos-mult sqr-pow count-2
10×rem-cbrt-cube
9×expm1-log1p expm1-udef distribute-lft1-in unpow1/3
8×associate--l- sqrt-undiv log1p-expm1 tanh-def tan-quot diff-cos log1p-udef
7×distribute-rgt1-in difference-cubes associate--r-
6×associate-+r- difference-of-sqr-1
5×neg-mul-1
4×sqr-cos
3×cos-diff sin-mult
2×neg-sub0 expm1-def
1×neg-log pow-sub hypot-udef remove-double-div exp-neg

localize1.7m (0.9%)

bsearch6.9s (0.1%)

end7.0ms (0.0%)