Details

simplify38.8m (58.4%)

series8.1m (12.3%)

Calls

2560 calls:

2.3m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
2.1s
(/ (+ 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.1s
(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))))

prune7.8m (11.7%)

sample7.7m (11.6%)

Algorithm
539×intervals
Results
3.7m2657865×body80valid
57.0s514607×body80nan
38.6s47406×body1280valid
25.7s42928×body640valid
9.4s24447×body320valid
6.8s5564×body2560valid
3.4s13909×body160valid
1.8s1561×body10240exit
205.0ms688×body640nan
171.0ms490×body1280nan
97.0ms454×body320nan
81.0ms31×body5120valid
35.0ms244×body160nan

regimes1.7m (2.6%)

Accuracy

Total 207.4b remaining (38.5%)

Threshold costs 26.5b (4.9%)

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.7m (2.5%)

Algorithm
898×rewrite-expression-head
Calls

2560 calls:

4.2s
(* (* (/ 1 (* (* (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))))) (* (cbrt (cbrt (- (+ t 1.0) z))) (cbrt (cbrt (- (+ t 1.0) z)))))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- x))
1.6s
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
1.6s
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (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))))))
1.1s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- x))
Rules
35955×times-frac
35441×*-un-lft-identity
32971×add-sqr-sqrt
22330×add-cube-cbrt
11503×add-exp-log
9280×add-cbrt-cube
8331×cbrt-prod
7661×pow1
5921×associate-*r*
5309×associate-*l*
4280×sqrt-prod
3985×add-log-exp
3864×cbrt-div
3576×distribute-lft-out--
3478×frac-times
3453×prod-exp
3393×difference-of-squares
3328×flip3-- flip-- associate-*r/
3325×distribute-lft-out
3206×associate-/r*
2917×cbrt-unprod
2560×insert-posit16
2507×div-exp
2250×associate-/l*
2180×associate-*l/
2151×pow-prod-down
2021×flip-+ flip3-+
2007×associate-/r/
1943×cbrt-undiv
1897×div-inv
1778×log-prod
1447×unswap-sqr
1403×swap-sqr
1237×distribute-rgt-in distribute-lft-in
1008×frac-add
944×pow1/3
815×*-commutative
755×sub-neg
734×sqrt-pow1
665×associate-/l/
659×sqrt-div
610×frac-sub
595×associate--l+
541×pow-prod-up
539×frac-2neg clear-num
498×sum-log
382×associate-+r+
377×log-pow
367×pow-sqr
357×pow1/2
306×diff-log
279×1-exp
271×sub-div
270×+-commutative
260×rec-exp
237×associate-+l+
224×pow-plus
181×exp-prod
171×pow2
168×exp-sum
140×unpow-prod-down
130×div-sub
126×associate--r+
96×rem-sqrt-square
83×cube-unmult
81×pow-unpow
76×log-div
75×pow-flip
68×pow3
67×rem-log-exp
65×pow-exp tanh-def
63×inv-pow
55×sqr-pow
53×distribute-rgt-out
49×pow-to-exp
48×distribute-neg-frac
46×sinh-def
44×difference-cubes pow-pow
43×un-div-inv
40×associate-+r-
34×associate-+l-
32×distribute-lft-neg-in distribute-rgt-neg-in
29×distribute-rgt-out--
28×distribute-lft-neg-out
26×distribute-rgt-neg-out cosh-def
24×sqrt-unprod
23×rem-cbrt-cube
22×rem-exp-log
20×unsub-neg
19×rem-square-sqrt
17×associate--r-
14×unpow1/3
12×sum-cubes neg-mul-1 distribute-rgt1-in
11×distribute-lft1-in count-2
8×diff-cos
7×exp-diff associate--l- exp-to-pow
6×cos-mult difference-of-sqr-1 sqr-cos
5×tan-quot
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

localize27.2s (0.7%)

bsearch8.8s (0.2%)

end6.0ms (0.0%)