Details

simplify24.4m (47.8%)

sample8.6m (16.9%)

Algorithm
537×intervals
Results
3.5m2642650×body80valid
55.3s507359×body80nan
37.0s46742×body1280valid
23.1s42100×body640valid
7.6s24278×body320valid
6.5s5418×body2560valid
2.6s13488×body160valid
2.2s1498×body10240exit
171.0ms688×body640nan
163.0ms475×body1280nan
124.0ms414×body320nan
122.0ms212×body160nan
112.0ms39×body5120valid

prune7.0m (13.7%)

series6.8m (13.3%)

Calls

2624 calls:

18.0s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
15.1s
(* (/ (sqrt (- x y)) (+ (sqrt 2.0) (sqrt (+ x y)))) (/ (sqrt (- x y)) (- (sqrt 2.0) (sqrt (+ x y)))))
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))))))) (* (cbrt t) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0)))))
2.7s
(+ (* (* 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)))))))
2.0s
(/ (sqrt (- x y)) (+ (sqrt 2.0) (sqrt (+ x y))))

rewrite2.6m (5.2%)

Algorithm
900×rewrite-expression-head
Calls

2624 calls:

3.3s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
3.0s
(* (cbrt (+ (+ (+ (+ y z) z) y) t)) (cbrt (+ (+ (+ (+ y z) z) y) t)))
1.9s
(- (/ (/ 1 1) (/ (/ y x) (/ 1 y))) 3.0)
1.8s
(* (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (cbrt (- t x)) (* (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))))) (/ (cbrt (- t x)) (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))) (/ (cbrt (- t x)) (cbrt (cbrt (- a z)))))
1.6s
(* (* (* (cbrt (sqrt (+ (* 2 (+ x y)) (+ x z)))) (cbrt (sqrt (+ (* 2 (+ x y)) (+ x z))))) (cbrt (sqrt (+ (* 2 (+ x y)) (+ x z))))) (sqrt (+ (* 2 (+ x y)) (+ x z))))
Rules
51661×times-frac
40735×*-un-lft-identity
40185×add-sqr-sqrt
28844×add-cube-cbrt
13330×add-exp-log
9736×add-cbrt-cube
9420×cbrt-div
9163×sqrt-div
9045×associate-*r/
8877×flip-+ flip3-+
8489×associate-*r*
8037×frac-times
7580×cbrt-prod
7314×pow1
6520×frac-add
5050×associate-*l*
5043×sqrt-prod
4139×prod-exp
4079×add-log-exp
3676×associate-*l/
3635×associate-/r*
3612×difference-of-squares
3385×distribute-lft-out--
3367×div-exp
3237×cbrt-unprod
2774×div-inv
2771×distribute-lft-out
2638×flip3-- flip--
2390×associate-/l*
2224×associate-/r/
2218×cbrt-undiv
2111×pow-prod-down
1771×log-prod
1724×unswap-sqr
1456×unpow-prod-down
1440×distribute-rgt-in distribute-lft-in
1021×pow1/3
946×swap-sqr
818×*-commutative
729×sqrt-pow1
694×associate-/l/
670×sub-neg
567×cube-prod
558×frac-sub
550×sum-log
538×clear-num frac-2neg
465×sqr-pow
445×1-exp
429×pow-prod-up
354×associate-+l+
352×associate-+r+
346×pow1/2
324×+-commutative
322×rec-exp
321×pow-sqr
312×associate--l+
289×pow-exp
268×diff-log
236×log-pow
213×pow-to-exp
210×distribute-rgt-neg-in
206×distribute-neg-frac
197×pow-unpow exp-sum
184×distribute-lft-neg-in
153×pow-plus
138×unpow2
134×pow2
111×div-sub
110×exp-prod
97×rem-sqrt-square
83×cube-div
80×log-div
72×pow-flip
68×pow-pow
59×inv-pow
54×rem-log-exp
50×un-div-inv
44×unpow3 cube-mult tanh-def associate--r+
38×sinh-def
35×sum-cubes
34×distribute-rgt-neg-out
32×associate-+l-
27×distribute-rgt-out-- cosh-def
26×sqrt-unprod
24×associate-+r- sub-div
22×difference-cubes unsub-neg distribute-rgt-out
21×rem-square-sqrt
18×neg-mul-1
16×distribute-neg-in
15×rem-cube-cbrt rem-exp-log
14×neg-sub0
13×distribute-lft-neg-out
10×exp-diff
9×associate--l-
7×diff-cos
6×unpow1/3 distribute-rgt1-in neg-log
5×sqrt-pow2 distribute-lft1-in count-2 sin-mult
4×associate--r- difference-of-sqr-1 cos-mult exp-to-pow rem-cbrt-cube
3×sin-neg cos-diff pow-sub distribute-frac-neg unpow-prod-up mul-1-neg
2×pow-div cos-sum log-rec tan-quot sin-diff
1×sqrt-undiv exp-sqrt pow3 exp-neg sin-cos-mult

regimes1.1m (2.1%)

Accuracy

Total 363.7b remaining (49%)

Threshold costs 17.8b (2.4%)

23.2b-1738.7%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2, A
21.3b-97.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
17.4b14.9%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.4b56.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.3b-266.9%Diagrams.Backend.Cairo.Internal:setTexture from diagrams-cairo-1.3.0.3

localize18.3s (0.6%)

bsearch9.4s (0.3%)

end6.0ms (0.0%)