Details

simplify4.4m (38.4%)

sample3.6m (31.2%)

Algorithm
60×intervals
Results
1.7m335278×body80valid
30.4s206643×body80nan
28.5s21295×body1280valid
12.6s10975×body640valid
6.1s5338×body2560valid
3.2s5075×body320valid
1.1s2574×body160valid
1.1s16512×pre80true
173.0ms208×body5120valid

prune1.6m (13.6%)

series49.8s (7.3%)

Calls

353 calls:

700.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
685.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
655.0ms
(/ (+ (* (* (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))) (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
635.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (log (exp (* (tan y) (tan z))))) (cos a)))
584.0ms
(/ (+ (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) (* (cbrt y) (cbrt y))) (cbrt y)) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

regimes30.5s (4.5%)

Accuracy

Total 49.7b remaining (31.4%)

Threshold costs 3.9b (2.4%)

12.2b-16.7%Linear.Matrix:det44 from linear-1.19.1.3
6.1b-1.6%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
5.3b5.7%Linear.Matrix:det33 from linear-1.19.1.3
5.2b81.5%NMSE problem 3.2.1
4.2b84.9%The quadratic formula (r1)

rewrite22.0s (3.2%)

Algorithm
104×rewrite-expression-head
Calls

353 calls:

2.0s
(/ (* x (* (sqrt (exp (+ (+ (* (log a) t) (- b)) (+ (* (log z) y) (* (- 1.0) (log a)))))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
1.3s
(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
1.1s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
808.0ms
(/ x (* (/ (cbrt y) (sqrt (exp (+ (- (* (log a) (- t 1.0)) b) (* y (log z)))))) (/ (cbrt y) (sqrt (exp (+ (- (* (log a) (- t 1.0)) b) (* y (log z))))))))
616.0ms
(* (* (/ (/ (- y z) (cbrt (- (+ t 1.0) z))) (cbrt (- (+ t 1.0) z))) (* (cbrt (/ (* (cbrt (- a x)) (cbrt (- a x))) (cbrt (- (+ t 1.0) z)))) (cbrt (/ (* (cbrt (- a x)) (cbrt (- a x))) (cbrt (- (+ t 1.0) z)))))) (cbrt (/ (* (cbrt (- a x)) (cbrt (- a x))) (cbrt (- (+ t 1.0) z)))))
Rules
4000×add-sqr-sqrt
3604×times-frac
3555×*-un-lft-identity
2273×add-cube-cbrt
1781×add-exp-log
1414×pow1
1386×add-cbrt-cube
1137×cbrt-prod
1097×associate-*l*
674×prod-exp
633×associate-*r*
616×add-log-exp
563×sqrt-prod
521×cbrt-unprod
495×flip3-- flip--
488×pow-prod-down
476×difference-of-squares
467×frac-times
442×distribute-lft-out--
414×sqrt-div
375×associate-*l/
362×associate-*r/
353×insert-posit16
352×frac-sub
326×div-exp
302×flip-+ flip3-+
277×associate-/r*
210×cbrt-undiv
206×associate-/l*
194×distribute-rgt-neg-in
193×unswap-sqr
180×cbrt-div
179×distribute-lft-neg-in
177×distribute-lft-out
172×div-inv
151×frac-add
143×log-prod
135×sub-neg
131×*-commutative
127×associate-/r/
122×distribute-rgt-in distribute-lft-in
120×swap-sqr
93×pow-prod-up
81×sum-log
79×diff-log
74×associate-/l/
71×pow1/3
60×sqrt-pow1 pow-sqr
57×exp-prod
56×1-exp pow1/2
54×rec-exp
53×frac-2neg clear-num neg-mul-1
51×log-pow
46×pow-plus
39×difference-of-sqr-1 tan-quot
37×associate-+l+ associate-+r+ rem-sqrt-square
35×exp-diff
34×sin-mult
33×associate--r+
32×associate--l+
28×cos-mult pow2 rem-exp-log
24×associate-+l-
23×pow-flip
21×exp-sum
20×+-commutative
18×pow-unpow
17×sub-div
15×div-sub
14×inv-pow
13×associate-+r-
12×neg-sub0 pow-div log-div
11×unpow-prod-down
9×pow-exp
8×distribute-lft-neg-out
7×neg-log
6×associate--l- unsub-neg sqr-pow pow-pow
5×sqrt-unprod pow-to-exp un-div-inv rem-log-exp
4×distribute-rgt-out-- distribute-frac-neg pow3 distribute-neg-frac
3×e-exp-1
2×tan-sum cos-sum
1×cos-2 exp-to-pow rem-square-sqrt remove-posit16

localize6.6s (1.0%)

bsearch5.4s (0.8%)

end1.0ms (0.0%)