Details

series3.7m (47.4%)

Calls

347 calls:

1.7m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
1.4m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* (* c i) c) i))
742.0ms
(pow (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) 3)
633.0ms
(/ (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i))) (- (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
615.0ms
(/ (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* (* c i) c) i)) (- (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

prune1.7m (21.4%)

sample1.3m (16.3%)

Algorithm
60×intervals
Results
30.2s337242×body80valid
9.3s21522×body1280valid
9.1s208633×body80nan
3.3s11060×body640valid
2.8s5290×body2560valid
1.0s5152×body320valid
523.0ms16512×pre80true
335.0ms2406×body160valid
72.0ms224×body5120valid

regimes35.2s (7.4%)

Accuracy

Total 45.6b remaining (28.8%)

Threshold costs 3.9b (2.5%)

11.6b-5.3%Linear.Matrix:det44 from linear-1.19.1.3
7.6b13.5%Linear.Matrix:det33 from linear-1.19.1.3
4.2b85.4%NMSE problem 3.2.1
4.1b55.3%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
3.2b89%The quadratic formula (r1)

rewrite18.0s (3.8%)

Algorithm
101×rewrite-expression-head
Calls

347 calls:

1.3s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
811.0ms
(+ (- (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) t) (* (- a 0.5) (log t)))
750.0ms
(* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
727.0ms
(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
529.0ms
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
6191×times-frac
4634×*-un-lft-identity
4578×add-sqr-sqrt
3702×add-cube-cbrt
2268×add-exp-log
1555×cbrt-prod
1305×add-cbrt-cube
1099×pow1
1088×prod-exp
700×distribute-rgt-neg-in
682×unpow-prod-down
677×distribute-lft-neg-in
676×associate-*r*
578×cbrt-unprod
556×cube-prod
536×add-log-exp
482×associate-*l*
377×div-exp
351×pow-prod-down
345×associate-/l*
316×flip3-- flip--
308×associate-/r*
293×div-inv
258×distribute-lft-out
249×distribute-lft-out--
248×difference-of-squares
246×frac-times
230×sqrt-prod cbrt-undiv
222×associate-*r/
218×neg-mul-1
186×frac-sub
179×associate-*l/
162×exp-prod
158×unswap-sqr
155×log-pow
153×pow-exp
142×distribute-rgt-in distribute-lft-in
141×pow-to-exp log-prod
133×cbrt-div flip-+ flip3-+ sub-neg
125×*-commutative
110×associate-/r/
100×sqrt-div
83×pow1/3
70×associate-/l/
62×clear-num frac-2neg
60×sum-log
55×swap-sqr sin-mult
54×diff-log
49×neg-sub0
48×cos-mult
46×sqr-pow
44×associate-+l+
43×associate-+r+
35×exp-diff pow-prod-up sqrt-pow1
34×pow1/2 exp-neg
30×1-exp exp-sum
28×rec-exp associate--r+
27×pow-sqr
26×+-commutative associate-+l-
23×tan-quot
22×rem-sqrt-square
21×sub-div associate--l+
19×pow-plus
18×unpow3 cube-mult log-div
17×inv-pow pow-flip div-sub
16×pow-unpow
15×frac-add
12×pow2 neg-log
10×log-rec distribute-neg-in pow-pow
9×cube-div distribute-lft-neg-out
7×distribute-frac-neg rem-exp-log
6×associate--l- associate-+r-
5×un-div-inv
4×distribute-rgt-out-- distribute-neg-frac
3×rem-cube-cbrt rem-cbrt-cube rem-log-exp
2×cos-sum sqrt-unprod pow3 tan-sum distribute-rgt-neg-out
1×sqrt-pow2 rem-square-sqrt quot-tan

simplify8.3s (1.7%)

Algorithm
161×egg-herbie

bsearch6.9s (1.4%)

localize2.6s (0.5%)

end1.0ms (0.0%)