Details

simplify5.8m (33.2%)

sample3.8m (21.9%)

Algorithm
60×intervals
Results
1.8m336127×body80valid
34.5s209394×body80nan
30.4s21584×body1280valid
11.1s10807×body640valid
7.4s5357×body2560valid
3.6s5080×body320valid
1.4s16512×pre80true
931.0ms2455×body160valid
297.0ms237×body5120valid

series3.4m (19.4%)

Calls

354 calls:

2.5m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
948.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)))
812.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
729.0ms
(/ (- (* (sqrt (+ a t)) (* z (* (- a (/ 5.0 6.0)) (* t 3.0)))) (* (- b c) (* (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* 2.0 (- a (/ 5.0 6.0)))) t))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
723.0ms
(- (+ (log (+ x y)) (log z)) (- t (* (- a 0.5) (log t))))

prune3.4m (19.1%)

regimes29.3s (2.8%)

Accuracy

Total 45.3b remaining (29.2%)

Threshold costs 5.2b (3.4%)

11.5b-17.5%Linear.Matrix:det44 from linear-1.19.1.3
5.8b1.3%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
4.9b82.3%The quadratic formula (r1)
4.8b12.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
4.5b-2.1%Linear.Matrix:det33 from linear-1.19.1.3

rewrite25.5s (2.4%)

Algorithm
104×rewrite-expression-head
Calls

354 calls:

2.3s
(+ x (+ (* a (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z))))) (* (- x) (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))))))
1.1s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
1.1s
(/ (- (* (sqrt (+ a t)) (* z (* (- a (/ 5.0 6.0)) (* t 3.0)))) (* (- b c) (* (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* 2.0 (- a (/ 5.0 6.0)))) t))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
933.0ms
(- (* (sqrt (+ a t)) (* z (* (- a (/ 5.0 6.0)) (* t 3.0)))) (* (- b c) (* (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* 2.0 (- a (/ 5.0 6.0)))) t)))
878.0ms
(* (- x) (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))))
Rules
3963×*-un-lft-identity
3920×times-frac
3803×add-sqr-sqrt
3218×associate-*l/
2784×associate-*r/
2603×add-cube-cbrt
1946×frac-sub
1912×flip3-- flip--
1805×frac-times
1780×add-exp-log
1464×add-cbrt-cube
1177×pow1
931×cbrt-prod
844×sqrt-div
819×flip-+ flip3-+
630×associate-*r*
604×associate-*l*
600×prod-exp
580×associate-/l/
558×add-log-exp
509×cbrt-unprod
462×distribute-rgt-neg-in
422×distribute-lft-neg-in
396×difference-of-squares
387×div-exp
385×pow-prod-down
377×distribute-lft-out--
354×insert-posit16
325×associate-/r*
310×associate-/l*
308×sqrt-prod
265×cbrt-undiv
257×distribute-lft-out
206×div-inv
200×swap-sqr
182×unswap-sqr
150×associate-/r/
137×cbrt-div
130×sub-div
122×*-commutative
116×log-prod
113×neg-mul-1
111×sub-neg
94×pow1/3
88×distribute-rgt-in distribute-lft-in
71×frac-2neg clear-num diff-log
62×associate-+r+
60×1-exp
58×tan-quot sin-mult
52×pow-prod-up
51×sum-log
50×cos-mult
48×pow-unpow
44×rec-exp
42×exp-prod
41×pow-sqr
36×sqrt-pow1 pow1/2
33×pow-plus
29×log-pow
27×associate-+l+
25×rem-sqrt-square
24×div-sub
23×unpow-prod-down
21×frac-add
20×+-commutative associate--r+
19×associate--l+
18×pow2 log-div
17×associate-+l-
16×neg-sub0 difference-of-sqr-1
15×pow-flip rem-exp-log
14×exp-sum pow-pow
13×exp-diff
11×associate--l- neg-log inv-pow
10×associate-+r- cube-prod
8×sqr-pow distribute-neg-frac
7×pow-exp
6×pow-to-exp cube-div cos-2
5×distribute-frac-neg
4×sqrt-unprod un-div-inv
3×distribute-lft-neg-out
2×pow3 tan-sum distribute-rgt-out-- cos-sum rem-log-exp distribute-neg-in
1×cube-unmult pow-neg unpow3 sqr-sin exp-neg cube-mult unsub-neg associate--r- pow-sub

bsearch6.9s (0.6%)

localize6.6s (0.6%)

end1.0ms (0.0%)