Details

simplify43.2m (62.5%)

sample9.0m (13.1%)

Algorithm
538×intervals
Results
3.6m2651439×body80valid
56.5s508913×body80nan
41.5s47482×body1280valid
23.0s42104×body640valid
9.4s25159×body320valid
8.4s5697×body2560valid
3.8s13973×body160valid
1.2s1563×body10240exit
152.0ms668×body640nan
150.0ms48×body5120valid
135.0ms490×body1280nan
127.0ms416×body320nan
24.0ms239×body160nan

series7.3m (10.5%)

Calls

2465 calls:

37.9s
(cbrt (sqrt (pow (* x (pow y 2)) 3)))
35.3s
(cbrt (sqrt (pow (* x (pow y 2)) 3)))
4.3s
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
4.1s
(cbrt (pow (log (- 1.0 (/ y x))) 2))
4.0s
(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))

prune5.5m (8.0%)

rewrite2.5m (3.6%)

Algorithm
877×rewrite-expression-head
Calls

2465 calls:

3.4s
(- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
3.4s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
3.3s
(* (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
2.6s
(* x (* (/ (pow 1.0 a) (exp (+ (* 1/2 (/ (* a (pow z 2)) (pow 1.0 2))) (+ (* a b) (+ (* t y) (* 1.0 (* a z))))))) (pow z y)))
1.8s
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
51580×times-frac
44423×add-sqr-sqrt
40841×*-un-lft-identity
26852×add-cube-cbrt
11003×add-exp-log
10921×cbrt-prod
9711×associate-*r*
8470×add-cbrt-cube
6631×pow1
6099×difference-of-squares
5713×sqrt-prod
5148×distribute-lft-out--
4167×associate-*l*
3889×associate-/r*
3746×add-log-exp
3177×prod-exp
2605×div-exp
2563×cbrt-unprod
2447×associate-/r/
2302×flip3-- flip--
2296×div-inv
2183×cbrt-div
2156×associate-/l*
1944×distribute-lft-out
1866×pow-prod-down
1708×cbrt-undiv
1618×associate-*r/
1598×unswap-sqr
1567×associate-*l/
1537×frac-times
1534×flip-+ flip3-+
1011×sqrt-div
967×log-prod
916×unpow-prod-down
900×swap-sqr
883×pow1/3
797×*-commutative
788×distribute-rgt-in distribute-lft-in
593×sub-neg
529×clear-num frac-2neg
523×associate-/l/
472×sqrt-pow1
435×sum-log
339×frac-sub
323×pow1/2
310×pow-prod-up
290×diff-log
285×1-exp associate-+r+
280×associate--l+
271×log-pow
270×rec-exp
266×+-commutative
258×pow-exp
247×pow-sqr
233×sqr-pow
220×frac-add
210×pow-to-exp
208×cube-prod
200×associate-+l+
129×pow-plus
122×pow-unpow rem-sqrt-square
115×div-sub
108×exp-prod
103×pow2
85×pow-flip
74×associate--r+
71×inv-pow
66×pow-pow
65×distribute-rgt-out--
61×tanh-def
54×unpow2
53×log-div
50×sinh-def
49×distribute-rgt-out
46×cube-div rem-log-exp
42×un-div-inv
40×associate-+l-
24×unpow3 cube-mult distribute-neg-frac
23×sub-div
20×distribute-rgt-neg-in distribute-lft-neg-in exp-sum
19×sqrt-unprod
18×rem-square-sqrt
17×associate-+r-
16×unsub-neg cosh-def distribute-rgt-neg-out
15×associate--l- associate--r-
14×distribute-lft-neg-out
12×rem-exp-log neg-mul-1
11×rem-cube-cbrt distribute-rgt1-in
10×unpow1/3
8×pow-div distribute-lft1-in
7×neg-sub0
6×cos-sum count-2 rem-cbrt-cube
5×difference-cubes cos-diff unpow-prod-up diff-cos
4×exp-diff sqrt-pow2 pow3 difference-of-sqr-1 neg-log
3×pow-sub sin-mult exp-to-pow
2×sin-neg exp-neg tan-quot cos-mult
1×acos-asin sin-diff

regimes1.2m (1.7%)

Accuracy

Total 208.7b remaining (36.6%)

Threshold costs 31.7b (5.6%)

13.4b57.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.0b37.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
10.9b53.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
10.2b-11.7%Linear.Matrix:det44 from linear-1.19.1.3
9.1b5.8%Data.Colour.Matrix:determinant from colour-2.3.3, A

localize15.7s (0.4%)

bsearch10.0s (0.2%)

end4.0ms (0.0%)