Details

simplify23.5m (45.3%)

sample8.9m (17.1%)

Algorithm
539×intervals
Results
3.5m2658885×body80valid
55.8s521078×body80nan
40.5s47710×body1280valid
24.2s43775×body640valid
8.6s25013×body320valid
8.3s5595×body2560valid
2.7s13231×body160valid
2.4s1580×body10240exit
195.0ms636×body640nan
139.0ms460×body1280nan
128.0ms40×body5120valid
91.0ms414×body320nan
65.0ms208×body160nan

series8.7m (16.9%)

Calls

2635 calls:

2.0m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
14.9s
(/ (/ (- x y) (+ (sqrt 2.0) (sqrt (+ x y)))) (- (sqrt 2.0) (sqrt (+ x y))))
4.3s
(- (pow (* 4.0 (+ (* x y) (/ (* z t) 16.0))) 3) (pow (* a b) 3))
3.7s
(cbrt (* (- y z) (/ (- t x) (- a z))))
3.3s
(- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))

prune6.5m (12.6%)

rewrite2.6m (5.0%)

Algorithm
911×rewrite-expression-head
Calls

2635 calls:

5.5s
(* (* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ 1 y))
3.1s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
2.0s
(* x (+ (+ (+ (+ y z) z) y) t))
1.5s
(+ x (/ (/ 1 1) (/ (/ 1 (- z t)) (/ y a))))
1.3s
(+ x (+ (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (* (/ (cbrt (- y z)) (cbrt (- (+ t 1.0) z))) a)) (* (/ (- y z) (- (+ t 1.0) z)) (- x))))
Rules
76851×times-frac
54629×*-un-lft-identity
52569×add-sqr-sqrt
37939×add-cube-cbrt
12305×add-exp-log
9386×add-cbrt-cube
7498×pow1
7386×associate-*r*
7287×cbrt-prod
6374×sqrt-prod
5412×difference-of-squares
5167×distribute-lft-out--
4863×associate-*l*
4144×add-log-exp
4055×associate-/r*
3845×div-inv
3520×prod-exp
3445×distribute-lft-out
3093×div-exp
2973×associate-/r/
2962×flip-- flip3--
2882×cbrt-unprod
2557×associate-/l*
2317×associate-*r/
2314×cbrt-div
2205×pow-prod-down
1949×frac-times
1926×associate-*l/
1909×unpow-prod-down
1908×cbrt-undiv
1775×flip-+ flip3-+
1595×unswap-sqr
1354×log-prod
1262×distribute-rgt-in distribute-lft-in
1017×pow1/3
949×swap-sqr
948×sqrt-div
909×distribute-lft-neg-in distribute-rgt-neg-in
832×*-commutative
804×cube-prod
678×sqrt-pow1
677×associate-/l/
674×sub-neg
661×frac-sub
560×sum-log
551×clear-num frac-2neg
450×1-exp
428×pow-prod-up
378×pow1/2
376×rec-exp
362×sqr-pow
317×pow-sqr
316×+-commutative
305×neg-mul-1
301×associate-+l+
288×associate-+r+
280×diff-log
267×associate--l+
260×log-pow
196×frac-add
194×pow-exp
161×pow-plus
129×pow-to-exp
128×rem-sqrt-square
126×pow2
114×div-sub
112×pow-unpow
106×sum-cubes
105×unpow2
86×exp-sum
85×exp-prod pow-pow
78×associate--r+ pow-flip
75×inv-pow
60×log-div
52×distribute-rgt-out--
47×cube-div
45×tanh-def
42×un-div-inv distribute-rgt-neg-out
41×unpow3
39×associate-+l- rem-log-exp
37×cube-mult
31×sinh-def
29×sqrt-unprod
27×distribute-rgt-out
25×associate-+r-
23×cosh-def
22×distribute-lft-neg-out sub-div
21×rem-cube-cbrt unsub-neg distribute-neg-frac
20×rem-square-sqrt
18×unpow-prod-up
17×difference-cubes
14×rem-exp-log
10×associate--l-
8×exp-to-pow
7×sqrt-pow2 distribute-lft1-in neg-sub0 log-rec
6×rem-cbrt-cube associate--r-
5×pow3 distribute-rgt1-in diff-cos count-2
4×neg-log exp-diff sin-mult tan-quot
3×cos-diff distribute-frac-neg
2×distribute-neg-out cos-mult cos-sum
1×pow-div sqrt-undiv mul-1-neg pow-sub

regimes1.2m (2.3%)

Accuracy

Total 355.2b remaining (48.6%)

Threshold costs 21.2b (2.9%)

26.8b-1826.8%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2, A
17.4b15.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
16.9b46.3%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
14.8b-31.7%Numeric.Signal:interpolate from hsignal-0.2.7.1
13.2b-14.4%Linear.Matrix:det44 from linear-1.19.1.3

localize17.8s (0.6%)

bsearch8.9s (0.3%)

end5.0ms (0.0%)