Details

simplify22.2m (46.2%)

sample8.9m (18.4%)

Algorithm
539×intervals
Results
3.5m2670838×body80valid
56.2s515804×body80nan
38.2s48012×body1280valid
23.3s42454×body640valid
9.7s24511×body320valid
7.8s5676×body2560valid
3.1s13171×body160valid
1.9s1587×body10240exit
189.0ms484×body1280nan
169.0ms649×body640nan
140.0ms39×body5120valid
84.0ms440×body320nan
30.0ms239×body160nan

series6.5m (13.6%)

Calls

2534 calls:

4.6s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
4.0s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
1.9s
(* (cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z))))) (/ t (cbrt (- a z))))
1.9s
(+ (* (log (pow y 1/3)) (+ 1.0 (* 2 y))) (* (log (cbrt y)) (+ y 0.5)))
1.5s
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))

prune6.3m (13.0%)

rewrite2.5m (5.2%)

Algorithm
889×rewrite-expression-head
Calls

2534 calls:

3.3s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
3.2s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.7s
(* (cbrt (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))) (cbrt (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))))
1.6s
(* x (+ (+ (+ (+ y z) z) y) t))
1.6s
(* y (* (* (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y))))) (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))))
Rules
43641×times-frac
38276×*-un-lft-identity
36593×add-sqr-sqrt
25381×add-cube-cbrt
11263×add-exp-log
8977×associate-*r/
8876×add-cbrt-cube
8232×cbrt-prod
8013×associate-*r*
7661×cbrt-div
7255×sqrt-prod
6535×pow1
4698×frac-times
4620×frac-sub
4123×associate-*l*
3888×add-log-exp
3701×difference-of-squares
3475×distribute-lft-out--
3420×associate-/r*
3293×distribute-lft-out
3177×prod-exp
2690×div-exp
2666×cbrt-unprod
2655×tanh-def
2605×flip--
2604×flip3--
2431×associate-/l*
2156×div-inv
2014×associate-*l/
1974×cbrt-undiv
1886×associate-/r/
1858×flip-+
1857×flip3-+
1814×pow-prod-down
1698×log-prod
1539×unswap-sqr
1306×unpow-prod-down
1238×distribute-rgt-in distribute-lft-in
1028×pow1/3
846×swap-sqr
786×*-commutative
773×sqrt-div
751×cube-prod
653×sub-neg
638×sqrt-pow1
631×associate-/l/
512×clear-num frac-2neg
505×sum-log
438×associate-+r+
401×associate-+l+
344×log-pow
315×sqr-pow
312×pow-prod-up
308×pow1/2
288×associate--l+
281×1-exp
278×+-commutative
277×frac-add
273×diff-log
253×rec-exp
247×pow-sqr
193×exp-prod
170×pow-unpow
158×pow-exp
110×distribute-rgt-neg-in
109×pow-plus
108×div-sub
105×distribute-lft-neg-in
103×pow2
94×pow-to-exp
88×rem-sqrt-square
78×pow-pow
77×log-div
70×cube-div associate--r+
67×un-div-inv unpow2
62×unpow3 cube-mult
60×rem-log-exp
59×pow-flip
57×inv-pow
54×exp-sum
51×distribute-rgt-neg-out
47×associate-+l-
44×distribute-rgt-out--
41×sub-div
36×neg-mul-1
26×unsub-neg distribute-neg-frac
25×sinh-def
24×rem-cube-cbrt distribute-rgt-out
22×associate-+r-
21×difference-cubes sqrt-unprod
16×rem-square-sqrt cosh-def
12×associate--r-
11×associate--l-
10×rem-exp-log rem-cbrt-cube
9×sum-cubes distribute-lft-neg-out
8×neg-log neg-sub0
7×pow3 tan-quot
6×exp-diff sqrt-pow2 distribute-rgt1-in
5×exp-neg distribute-neg-in distribute-lft1-in count-2 mul-1-neg
4×pow-div log-rec
3×sqrt-undiv cos-diff sin-mult cos-mult sum-cos
2×cos-sum distribute-neg-out unpow1/3 diff-cos distribute-frac-neg exp-to-pow

regimes1.2m (2.5%)

Accuracy

Total 396.1b remaining (52.3%)

Threshold costs 19.8b (2.6%)

23.1b-1829.6%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2, A
19.1b12%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
17.6b-35.4%Linear.Matrix:det44 from linear-1.19.1.3
15.4b-142577.3%Statistics.Distribution.Poisson.Internal:probability from math-functions-0.1.5.2
12.7b-1037%Diagrams.Backend.Cairo.Internal:setTexture from diagrams-cairo-1.3.0.3

localize18.4s (0.6%)

bsearch13.5s (0.5%)

end6.0ms (0.0%)