Details

simplify26.9m (53.0%)

sample8.7m (17.2%)

Algorithm
539×intervals
Results
3.5m2663594×body80valid
57.1s518298×body80nan
38.5s46661×body1280valid
23.3s42447×body640valid
7.8s24380×body320valid
7.4s5632×body2560valid
2.7s13556×body160valid
1.4s1573×body10240exit
146.0ms654×body640nan
143.0ms405×body320nan
124.0ms441×body1280nan
108.0ms39×body5120valid
24.0ms219×body160nan

prune5.9m (11.6%)

series5.7m (11.3%)

Calls

2461 calls:

3.6s
(pow (+ (* t z) (+ (* a b) (* x y))) 3)
3.0s
(* (/ (- (pow 1.0 3) (pow (* (- 1.0 x) (/ y (+ y 1.0))) 3)) (- (* 1.0 (pow 1.0 3)) (* (pow (/ (* (- 1.0 x) y) (+ y 1.0)) (* 2 1)) (* (+ 1.0 (* (- 1.0 x) (/ y (+ y 1.0)))) (+ 1.0 (* (- 1.0 x) (/ y (+ y 1.0)))))))) (- (* 1.0 1.0) (* (* (- 1.0 x) (/ y (+ y 1.0))) (+ 1.0 (* (- 1.0 x) (/ y (+ y 1.0)))))))
2.1s
(* (/ 1 3.0) (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y)))))
1.9s
(/ (+ 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 (sqrt 5.0)) 2.0) (cos y)))))
1.7s
(cbrt (* (* x 1.0) (log (- 1.0 (/ y x)))))

rewrite2.0m (3.9%)

Algorithm
877×rewrite-expression-head
Calls

2461 calls:

2.0s
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
1.9s
(* x (+ (+ (+ (+ y z) z) y) t))
1.1s
(- (- (+ (+ x y) z) (* (log (sqrt t)) z)) (* z (log (sqrt t))))
942.0ms
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
839.0ms
(* (/ (- (* (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) 4.0) (* (- (* x y) (/ (* z t) 16.0)) (* a b))) (* (- (pow (* x y) 3) (pow (/ (* z t) 16.0) 3)) 4.0)) (+ (* (* x y) (* x y)) (+ (* (/ (* z t) 16.0) (/ (* z t) 16.0)) (* (* x y) (/ (* z t) 16.0)))))
Rules
50068×times-frac
39005×*-un-lft-identity
38063×add-sqr-sqrt
27777×add-cube-cbrt
12422×add-exp-log
9085×add-cbrt-cube
9008×cbrt-div
7018×associate-*r*
6795×pow1
5962×frac-times
5700×associate-*r/
5257×cbrt-prod
5242×sqrt-prod
4297×frac-sub
4245×associate-*l*
3877×prod-exp
3710×associate-/r*
3687×add-log-exp
3260×difference-of-squares
3190×flip--
3189×flip3--
3109×distribute-lft-out--
2928×div-exp
2874×cbrt-unprod
2661×distribute-lft-out tanh-def
2621×associate-/l*
2486×div-inv
2228×associate-*l/
2014×pow-prod-down
1936×cbrt-undiv
1882×associate-/r/
1669×flip-+
1668×flip3-+
1486×unpow-prod-down
1424×unswap-sqr
983×sqrt-div
978×log-prod
941×distribute-rgt-in distribute-lft-in
832×pow1/3
795×*-commutative
794×swap-sqr
695×sub-neg
627×sqrt-pow1
529×clear-num frac-2neg
502×associate-/l/
428×pow-exp
426×1-exp
418×associate--l+
409×sum-log
390×rec-exp
385×sqr-pow
338×pow1/2
335×associate-+r+
322×pow-prod-up
321×cube-prod
278×diff-log
264×associate-+l+
262×+-commutative
252×pow-sqr
201×pow-to-exp
188×log-pow
171×pow-unpow
163×frac-add
129×exp-prod exp-sum
121×distribute-rgt-neg-in
117×distribute-lft-neg-in
111×pow-plus
110×div-sub
107×rem-sqrt-square
96×pow2
93×unpow2
81×pow-flip
78×pow-pow
75×inv-pow
68×un-div-inv
59×log-div
53×associate--r+
46×cube-div
39×unpow3 cube-mult
36×distribute-rgt-out
35×associate-+l-
34×rem-log-exp
31×neg-mul-1 sinh-def
30×distribute-lft-neg-out
27×rem-cube-cbrt
25×sqrt-unprod
23×distribute-rgt-out--
20×distribute-rgt-neg-out
19×rem-square-sqrt
17×difference-cubes sub-div associate-+r-
16×unsub-neg
15×rem-exp-log unpow1/3
14×exp-diff associate--l-
12×rem-cbrt-cube
9×neg-sub0 cosh-def
8×diff-cos
7×tan-quot associate--r-
6×e-exp-1 distribute-rgt1-in
5×distribute-lft1-in pow-sub distribute-neg-frac count-2 pow-neg
4×sum-cubes
3×cos-diff sqrt-undiv sin-mult
2×cos-sum sqrt-pow2 sin-neg pow3 exp-neg acos-asin cos-mult
1×exp-to-pow neg-log cube-neg sin-diff

regimes1.1m (2.2%)

Accuracy

Total 215.1b remaining (38.9%)

Threshold costs 24.8b (4.5%)

12.4b60.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.0b-15.4%Linear.Matrix:det44 from linear-1.19.1.3
12.0b53.3%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
9.7b59%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.8b52.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1

localize17.1s (0.6%)

bsearch8.2s (0.3%)

end8.0ms (0.0%)