Details

simplify39.0m (55.8%)

sample10.4m (14.9%)

Algorithm
539×intervals
Results
5.2m2657865×body80valid
1.3m514607×body80nan
57.0s47406×body1280valid
35.1s42928×body640valid
12.7s24447×body320valid
9.2s5564×body2560valid
4.9s13909×body160valid
2.1s1561×body10240exit
714.0ms688×body640nan
228.0ms490×body1280nan
123.0ms31×body5120valid
123.0ms454×body320nan
64.0ms244×body160nan

series8.4m (12.0%)

Calls

2569 calls:

2.4m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
2.3s
(/ (+ 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)))))
2.0s
(cbrt (* (- y x) (/ (- z t) (- a t))))
2.0s
(cbrt (* (- y x) (/ (- z t) (- a t))))
1.9s
(cbrt (* (- y x) (/ (- z t) (- a t))))

prune8.0m (11.4%)

regimes1.8m (2.6%)

Accuracy

Total 201.8b remaining (38%)

Threshold costs 27.2b (5.1%)

12.3b61.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.8b-17%Linear.Matrix:det44 from linear-1.19.1.3
11.1b46.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.3b57.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.0b25.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite1.6m (2.3%)

Algorithm
898×rewrite-expression-head
Calls

2569 calls:

1.8s
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
1.7s
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
1.7s
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (* (cbrt (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))) (cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))))
1.1s
(cbrt (* (* (cbrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))) (cbrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i))))) (cbrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i))))))
944.0ms
(* (cbrt x) (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))))
Rules
36082×times-frac
35468×*-un-lft-identity
33082×add-sqr-sqrt
22369×add-cube-cbrt
11454×add-exp-log
9289×add-cbrt-cube
8360×cbrt-prod
7686×pow1
6147×associate-*r*
5179×associate-*l*
4249×sqrt-prod
4222×cbrt-div
3969×add-log-exp
3645×frac-times
3574×distribute-lft-out--
3467×associate-*r/
3408×prod-exp
3393×difference-of-squares
3324×flip3-- flip--
3320×distribute-lft-out
3205×associate-/r*
2919×cbrt-unprod
2569×insert-posit16
2491×div-exp
2235×associate-/l*
2208×associate-*l/
2167×pow-prod-down
2149×flip-+ flip3-+
1991×associate-/r/
1944×cbrt-undiv
1901×div-inv
1662×log-prod
1471×unswap-sqr
1406×swap-sqr
1171×distribute-rgt-in distribute-lft-in
1028×frac-add
958×pow1/3
821×*-commutative
744×sub-neg
736×sqrt-pow1
687×sqrt-div
663×associate-/l/
609×frac-sub
554×associate--l+
541×pow-prod-up
536×frac-2neg clear-num
489×sum-log
370×log-pow
367×pow-sqr
359×pow1/2
345×associate-+r+
299×diff-log
273×1-exp
272×sub-div
267×+-commutative
254×rec-exp
224×associate-+l+ pow-plus
181×exp-prod
171×pow2
168×exp-sum
134×unpow-prod-down
130×div-sub
113×associate--r+
98×rem-sqrt-square
81×pow-unpow cube-unmult
76×log-div
75×pow-flip
70×pow3
67×rem-log-exp
65×pow-exp tanh-def
63×inv-pow
53×sqr-pow
51×un-div-inv
49×pow-to-exp
48×distribute-neg-frac
46×sinh-def
44×difference-cubes pow-pow
38×distribute-rgt-out
34×associate-+l-
31×associate-+r-
30×distribute-rgt-out--
28×distribute-lft-neg-out
26×cosh-def
24×distribute-lft-neg-in distribute-rgt-neg-out sqrt-unprod distribute-rgt-neg-in
23×rem-cbrt-cube
22×rem-exp-log
19×rem-square-sqrt unsub-neg
18×associate--r-
14×unpow1/3
12×sum-cubes
10×neg-mul-1 count-2 distribute-rgt1-in
9×distribute-lft1-in
8×diff-cos
7×exp-diff associate--l- exp-to-pow
6×cos-mult sqr-cos
5×tan-quot
4×difference-of-sqr-1
3×unpow-prod-up neg-sub0 cos-diff
2×pow-div neg-log remove-double-div cos-sum
1×remove-posit16 pow-sub sqrt-pow2 exp-neg acos-asin e-exp-1

localize28.1s (0.7%)

bsearch10.2s (0.2%)

end5.0ms (0.0%)