Details

sample1.2m (36.9%)

Algorithm
60×intervals
Results
23.6s337456×body80valid
8.5s21243×body1280valid
8.0s207726×body80nan
3.1s11043×body640valid
2.4s5321×body2560valid
945.0ms5150×body320valid
407.0ms16512×pre80true
337.0ms2591×body160valid
64.0ms241×body5120valid

series42.6s (21.4%)

Calls

343 calls:

636.0ms
(cbrt (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
560.0ms
(/ (+ (* (* z (sqrt (+ t a))) (+ b c)) (- (* (* t (- (* b b) (* c c))) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))))))) (* t (+ b c)))
513.0ms
(+ (* (* z (sqrt (+ t a))) (+ b c)) (- (* (* t (- (* b b) (* c c))) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))))))
506.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
501.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (/ (* (sin y) (tan z)) (cos y))) (cos a)))

prune41.8s (21.0%)

regimes13.4s (6.7%)

Accuracy

Total 40.7b remaining (26.1%)

Threshold costs 3.5b (2.2%)

14.3b-29.1%Linear.Matrix:det44 from linear-1.19.1.3
4.2b41.1%Linear.Matrix:det33 from linear-1.19.1.3
3.5b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
3.1b-6.6%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
2.7b21.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite13.1s (6.6%)

Algorithm
102×rewrite-expression-head
Calls

343 calls:

709.0ms
(* (/ 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))))
325.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
294.0ms
(* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- a x) (cbrt (- (+ t 1.0) z))))
247.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
201.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
Rules
4847×add-exp-log
3343×*-un-lft-identity
3182×add-sqr-sqrt
2786×prod-exp
2784×times-frac
2073×add-cube-cbrt
1785×div-exp
1347×pow-exp
1245×add-cbrt-cube
946×associate-*r*
895×associate-*l*
852×pow1
631×sqrt-prod
561×cbrt-prod
529×add-log-exp
440×associate-*r/
438×pow-to-exp
407×cbrt-unprod
400×unpow-prod-down
390×distribute-lft-out--
389×flip-- flip3--
348×1-exp
341×rec-exp
339×distribute-rgt-neg-in
317×difference-of-squares
312×frac-times
269×flip-+ flip3-+
265×distribute-lft-neg-in
262×associate-/r*
256×associate-*l/
226×associate-/l*
223×distribute-lft-out
217×pow-prod-down
212×cbrt-undiv
207×unswap-sqr
205×associate-/r/
198×sqrt-div
193×cbrt-div
175×swap-sqr
157×frac-add
154×distribute-rgt-in distribute-lft-in
153×div-inv
142×associate-/l/
137×distribute-neg-frac
136×log-prod
129×*-commutative
123×sub-neg
104×sqr-pow
83×frac-sub
66×neg-mul-1
61×clear-num frac-2neg
57×sqrt-pow1
56×pow1/2 sum-log
55×pow1/3
47×associate-+l+
46×diff-log
44×log-pow
43×tan-quot associate-+r+ exp-prod
41×unpow2
35×rem-sqrt-square
29×neg-sub0
27×pow-unpow
26×+-commutative cos-mult
24×neg-log
22×sin-mult
19×unpow3 cube-mult cube-prod pow-prod-up
18×associate--r+
17×pow-pow associate-+l-
16×div-sub exp-sum
15×pow-sqr
14×unpow-prod-up associate--l-
13×distribute-rgt-out-- pow-flip log-div
12×un-div-inv
10×rem-exp-log inv-pow
9×sub-div associate--l+
7×pow-plus
6×exp-diff pow2
4×rem-cube-cbrt distribute-neg-in distribute-frac-neg rem-log-exp
3×sqrt-unprod associate-+r- pow-sub distribute-rgt-neg-out
2×cube-div distribute-lft-neg-out unsub-neg rem-square-sqrt tan-sum cos-sum log-rec
1×e-exp-1 pow-neg unpow1/3 exp-neg +-inverses exp-to-pow mul-1-neg

simplify8.8s (4.4%)

Algorithm
162×egg-herbie

bsearch3.5s (1.8%)

localize2.4s (1.2%)

end0.0ms (0.0%)