Details

sample2.0m (47.0%)

Algorithm
60×intervals
Results
1.0m335708×body80valid
16.0s208850×body80nan
10.4s21319×body1280valid
3.8s11010×body640valid
3.1s5238×body2560valid
1.2s4985×body320valid
930.0ms16512×pre80true
441.0ms2490×body160valid
92.0ms200×body5120valid

prune51.3s (20.3%)

series44.1s (17.5%)

Calls

340 calls:

2.1s
(/ (- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.9s
(- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
643.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
607.0ms
(sqrt (+ (+ (* x y) (* z t)) (* a b)))
468.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

regimes12.3s (4.9%)

Accuracy

Total 37.4b remaining (24.1%)

Threshold costs 5.5b (3.6%)

10.4b-25.8%Linear.Matrix:det44 from linear-1.19.1.3
5.1b4.7%Linear.Matrix:det33 from linear-1.19.1.3
3.2b88.1%NMSE problem 3.2.1
2.9b50.4%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
2.9b87.9%The quadratic formula (r1)

rewrite11.2s (4.4%)

Algorithm
101×rewrite-expression-head
Calls

340 calls:

1.9s
(* (* (* (* (cbrt (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))))) (cbrt (/ (cbrt (- y z)) (cbrt (- (+ t 1.0) z))))) (cbrt (/ (- y z) (- (+ t 1.0) z)))) (cbrt (/ (- y z) (- (+ t 1.0) z)))) (- a x))
1.4s
(* (- a x) (* (* (* (cbrt (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))))) (cbrt (/ (cbrt (- y z)) (cbrt (- (+ t 1.0) z))))) (cbrt (/ (- y z) (- (+ t 1.0) z)))) (cbrt (/ (- y z) (- (+ t 1.0) z)))))
392.0ms
(/ (- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0))))
232.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
219.0ms
(/ 1 (- (/ f (- (+ f n))) (/ n (- (+ f n)))))
Rules
4235×*-un-lft-identity
3784×times-frac
3638×add-sqr-sqrt
2516×add-cube-cbrt
2267×add-exp-log
1976×associate-*l/
1465×associate-*r/
1393×frac-times
1320×flip-- flip3--
1296×add-cbrt-cube
1226×frac-sub
1005×prod-exp
877×pow1
744×cbrt-prod
670×associate-*r*
623×distribute-rgt-neg-in
596×associate-*l*
577×add-log-exp
576×sqrt-div
521×div-exp
518×distribute-lft-neg-in
478×distribute-lft-out--
414×cbrt-unprod
397×flip-+ flip3-+
385×associate-/l/
369×associate-/r*
367×difference-of-squares
360×distribute-lft-out
292×cbrt-div
279×associate-/l*
242×cbrt-undiv
239×sqrt-prod
232×pow-prod-down
213×associate-/r/
209×swap-sqr
195×div-inv
159×pow-exp
156×unswap-sqr
153×distribute-rgt-in distribute-lft-in
141×pow-to-exp
139×log-prod
130×sub-neg
129×neg-mul-1
127×unpow-prod-down
115×*-commutative
93×cube-prod
80×1-exp
74×sum-log
73×pow1/3
67×diff-log
66×clear-num frac-2neg
63×sin-mult
60×distribute-neg-frac
59×cos-mult
48×rec-exp
47×log-pow
42×pow1/2 sqrt-pow1
41×frac-add
38×associate-+r+
34×exp-prod
32×tan-quot associate-+l+
30×rem-sqrt-square
27×associate--r+
24×+-commutative pow-prod-up
23×sub-div
22×pow-sqr
19×neg-sub0
18×associate-+l-
17×pow-unpow sqr-pow neg-log
15×cube-div rem-exp-log distribute-rgt-out-- associate--l+
13×associate--l-
12×pow-plus pow-flip
11×inv-pow
10×pow-pow pow2
9×un-div-inv div-sub
8×exp-sum log-div
6×rem-cube-cbrt associate-+r-
5×unpow3 cube-mult log-rec
4×exp-diff distribute-lft-neg-out
2×cos-sum sqrt-unprod distribute-neg-in unpow-prod-up distribute-frac-neg tan-sum rem-cbrt-cube distribute-rgt-neg-out exp-to-pow rem-log-exp
1×exp-neg pow-sub rem-square-sqrt

simplify8.5s (3.4%)

Algorithm
161×egg-herbie

bsearch3.6s (1.4%)

localize2.7s (1.1%)

end0.0ms (0.0%)