Details

simplify41.9m (63.8%)

sample8.4m (12.8%)

Algorithm
540×intervals
Results
3.8m2659793×body80valid
58.6s527145×body80nan
41.7s46248×body1280valid
26.2s43633×body640valid
10.6s25372×body320valid
7.8s5518×body2560valid
2.8s13361×body160valid
1.7s1546×body10240exit
266.0ms482×body1280nan
202.0ms691×body640nan
184.0ms49×body5120valid
140.0ms425×body320nan
78.0ms225×body160nan

series6.0m (9.2%)

Calls

2454 calls:

5.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
5.3s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
5.2s
(exp (log (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))))
5.1s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
5.0s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

prune5.4m (8.2%)

rewrite2.3m (3.6%)

Algorithm
877×rewrite-expression-head
Calls

2454 calls:

3.8s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (sqrt c)) (- b 0.5))) (* (log (sqrt c)) (- b 0.5)))
2.9s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.9s
(* x (+ (+ (+ (+ y z) z) y) t))
1.6s
(* (sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))
1.3s
(* (/ (/ (/ y (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))) (* (cbrt (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))) (cbrt (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))))) (/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (cbrt (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))))
Rules
44758×times-frac
39124×*-un-lft-identity
38039×add-sqr-sqrt
25076×add-cube-cbrt
11831×add-exp-log
9075×add-cbrt-cube
7127×associate-*r*
6575×pow1
5659×cbrt-prod
4781×associate-*l*
4718×distribute-lft-out--
4539×difference-of-squares
4468×sqrt-prod
4010×cbrt-div
3857×associate-/r*
3715×add-log-exp
3617×prod-exp
3229×associate-*r/
3023×flip-- flip3--
2818×cbrt-unprod
2804×div-exp
2681×frac-times
2426×distribute-lft-out
2423×associate-*l/
2359×associate-/r/
2353×associate-/l*
2230×div-inv
1982×cbrt-undiv
1920×pow-prod-down
1778×flip-+ flip3-+
1571×unswap-sqr
1034×sqrt-div
980×log-prod
933×distribute-rgt-in distribute-lft-in
924×swap-sqr
812×*-commutative pow1/3
788×unpow-prod-down
664×sub-neg
612×associate-/l/
554×sqrt-pow1
532×frac-sub
520×clear-num frac-2neg
497×frac-add
490×distribute-neg-frac
446×sum-log
409×distribute-lft-neg-in distribute-rgt-neg-in
315×1-exp
313×pow1/2
297×rec-exp
284×pow-prod-up
271×cube-prod
269×diff-log
268×associate--l+
262×+-commutative
247×tanh-def
243×associate-+r+
224×pow-sqr
222×pow-unpow
208×sqr-pow
204×associate-+l+
186×pow-exp
165×log-pow
153×pow-to-exp
124×div-sub
121×neg-mul-1
113×rem-sqrt-square
101×pow-plus
97×log-div
91×pow2
83×associate--r+
78×pow-pow
68×pow-flip
61×inv-pow
60×distribute-rgt-out--
58×exp-prod
45×distribute-rgt-out
43×rem-log-exp
42×associate-+l-
41×un-div-inv exp-sum
37×sub-div
34×unpow2
23×exp-diff distribute-rgt-neg-out
22×cube-div associate-+r-
21×sqrt-unprod difference-of-sqr-1 cosh-def
20×unpow3 cube-mult
19×sum-cubes
18×unsub-neg
17×rem-square-sqrt
16×unpow-prod-up pow-sub
15×sinh-def
14×neg-sub0
11×unpow1/3
10×associate--r-
9×rem-cube-cbrt associate--l-
8×rem-exp-log exp-neg rem-cbrt-cube
7×distribute-rgt1-in neg-log
6×difference-cubes distribute-lft1-in distribute-lft-neg-out count-2
4×sqrt-pow2 diff-cos
3×cos-diff
2×cos-sum pow3 cube-unmult tan-quot sin-mult cos-mult exp-to-pow
1×sqrt-undiv sin-cos-mult e-exp-1 distribute-frac-neg

regimes1.2m (1.8%)

Accuracy

Total 210.5b remaining (38.1%)

Threshold costs 31.5b (5.7%)

13.6b-20.8%Linear.Matrix:det44 from linear-1.19.1.3
12.3b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.2b56.8%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.7b50%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.5b19.8%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

localize15.1s (0.4%)

bsearch13.9s (0.4%)

end5.0ms (0.0%)