Details

simplify5.1m (43.1%)

sample3.0m (25.2%)

Algorithm
60×intervals
Results
1.2m336284×body80valid
25.7s207529×body80nan
19.3s21276×body1280valid
9.2s11136×body640valid
4.4s5272×body2560valid
2.8s5091×body320valid
841.0ms16512×pre80true
628.0ms2515×body160valid
165.0ms217×body5120valid

series1.4m (11.7%)

Calls

361 calls:

5.4s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
5.3s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
2.0s
(/ (- (* (* (* z (sqrt (+ t a))) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))) (* t 3.0)) (* (* t (- b c)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (* t 3.0)) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))))) (* (* (* (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)) t) 3.0) t))
1.3s
(- (* (* (* z (sqrt (+ t a))) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))) (* t 3.0)) (* (* t (- b c)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (* t 3.0)) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))))))
1.3s
(* (sqrt (+ (sqrt x) (sqrt 1.0))) (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt x)))

prune1.2m (10.5%)

rewrite32.4s (4.6%)

Algorithm
107×rewrite-expression-head
Calls

361 calls:

3.3s
(* (pow (/ 1 (pow a 1.0)) 1.0) (* (/ x y) (exp (- (- (- (log (* (pow a t) (pow z y))))) b))))
1.6s
(/ (- (* (* (* z (sqrt (+ t a))) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))) (* t 3.0)) (* (* t (- b c)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (* t 3.0)) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))))) (* (* (* (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)) t) 3.0) t))
1.5s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
1.4s
(* (/ x y) (exp (- (- (- (log (* (pow a t) (pow z y))))) b)))
1.1s
(* (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
Rules
3800×add-exp-log
3391×*-un-lft-identity
3389×add-sqr-sqrt
2982×times-frac
2532×prod-exp
2192×add-cube-cbrt
1681×cbrt-prod
1344×add-cbrt-cube
1045×associate-*r/
872×pow1
811×associate-*l/
801×associate-*l*
761×associate-*r*
641×pow-exp
634×frac-sub
609×pow-to-exp
578×div-exp
561×flip-+ flip3-+
559×add-log-exp
521×frac-times
482×flip-- flip3--
470×cbrt-unprod
437×distribute-rgt-neg-in
371×distribute-lft-neg-in
327×distribute-lft-out--
326×sqrt-div
312×difference-of-squares
275×associate-/r*
268×sqrt-prod
250×pow-prod-down
245×swap-sqr
230×unswap-sqr
222×distribute-lft-out
221×associate-/l/
214×cbrt-undiv
181×associate-/l*
174×cbrt-div
160×unpow-prod-down
153×sub-neg
145×div-inv
135×distribute-rgt-in distribute-lft-in
132×*-commutative
115×associate-/r/
100×neg-mul-1
98×log-prod
96×pow1/3
60×associate-+l+ diff-log
58×clear-num frac-2neg
56×sqr-pow sum-log
50×associate-+r+
42×sqrt-pow1
41×pow1/2
38×frac-add tan-quot
35×exp-prod
31×associate--l+
27×rem-sqrt-square
24×log-pow 1-exp +-commutative rec-exp exp-sum
22×pow-unpow
20×sin-mult cos-mult
18×pow-prod-up cube-prod associate--r+
17×associate-+l-
16×pow-sqr div-sub
14×unpow-prod-up
12×rem-log-exp log-div
11×sub-div
10×pow-sub
8×exp-diff pow-pow pow2 pow-plus
7×rem-exp-log
6×associate-+r- neg-sub0
5×neg-log sqrt-unprod
4×distribute-frac-neg associate--l-
3×inv-pow distribute-rgt-out-- pow-flip distribute-rgt-out distribute-neg-frac
2×cube-div sub0-neg unpow3 e-exp-1 distribute-neg-in cube-mult cos-sum tan-sum rem-cbrt-cube exp-to-pow unpow2
1×rem-cube-cbrt un-div-inv distribute-lft1-in pow3 rem-square-sqrt acos-asin distribute-rgt-neg-out

regimes23.4s (3.3%)

Accuracy

Total 44.1b remaining (27.6%)

Threshold costs 3.4b (2.1%)

12.2b-14.6%Linear.Matrix:det44 from linear-1.19.1.3
8.0b16.9%Linear.Matrix:det33 from linear-1.19.1.3
3.3b45%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
2.8b32.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.6b-37.5%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2

bsearch6.4s (0.9%)

localize4.6s (0.6%)

end0.0ms (0.0%)