Details

sample1.1m (35.8%)

Algorithm
60×intervals
Results
24.5s335312×body80valid
8.9s21460×body1280valid
8.5s210464×body80nan
3.1s10856×body640valid
2.4s5300×body2560valid
951.0ms5080×body320valid
440.0ms16512×pre80true
348.0ms2595×body160valid
60.0ms221×body5120valid

series46.0s (23.9%)

Calls

327 calls:

2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.7s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.7s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.3s
(pow (fma (log (/ 1 z)) y (fma (log (/ 1 a)) t b)) 3)
660.0ms
(cbrt (fma (log t) (- a 0.5) (+ (+ (log (+ x y)) (log z)) (- t))))

prune44.8s (23.2%)

regimes13.2s (6.9%)

Accuracy

Total 43.1b remaining (27.8%)

Threshold costs 3.1b (2%)

12.6b-21.2%Linear.Matrix:det44 from linear-1.19.1.3
7.9b21.4%Linear.Matrix:det33 from linear-1.19.1.3
4.4b84.6%NMSE problem 3.2.1
2.5b35.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.4b61%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

simplify8.4s (4.4%)

Algorithm
162×egg-herbie

bsearch4.5s (2.3%)

rewrite4.3s (2.2%)

Algorithm
102×rewrite-expression-head
Calls

327 calls:

128.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
116.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i))
87.0ms
(* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))
87.0ms
(/ (cos (* 2.0 x)) (* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
77.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
Rules
6305×times-frac
5526×*-un-lft-identity
5176×add-sqr-sqrt
4253×add-cube-cbrt
2121×add-exp-log
1561×prod-diff
1082×add-cbrt-cube
929×prod-exp
724×pow1
709×distribute-rgt-neg-in
681×distribute-lft-neg-in
606×associate-*l*
532×sqrt-prod
531×div-exp
487×associate-*r*
448×add-log-exp
345×distribute-lft-out associate-/r*
340×distribute-lft-out--
327×log1p-expm1-u expm1-log1p-u
326×div-inv
309×cbrt-unprod
302×associate-/l*
299×flip3-- flip--
291×difference-of-squares
290×unpow-prod-down
279×distribute-rgt-in distribute-lft-in
269×cbrt-prod
239×fma-neg
218×neg-mul-1
209×associate-/r/
194×cbrt-undiv
181×pow-exp
159×pow-prod-down
148×pow-to-exp
147×frac-times
135×unswap-sqr associate-*r/
124×cbrt-div
120×associate-+r+ sub-neg
113×1-exp
108×flip-+ flip3-+
105×associate-*l/
102×*-commutative
96×sqrt-div
82×fma-udef
77×rec-exp
70×fma-def
68×associate--r+
63×clear-num pow1/3 exp-sum frac-2neg
53×log-pow
52×log-prod
50×frac-sub
47×associate-/l/ sqr-pow
44×diff-log
41×sqrt-pow1
28×swap-sqr
27×pow1/2
24×rem-sqrt-square sum-log sin-mult
21×cube-prod
20×exp-prod
18×tan-quot cos-mult
17×pow-unpow
16×neg-sub0
15×associate-+l-
14×associate-+l+ pow-prod-up
13×sub-div +-commutative div-sub log-div
12×associate--l+
11×pow-flip neg-log
10×inv-pow associate--l-
9×pow-pow pow-plus
8×pow-sqr
6×rem-exp-log un-div-inv
5×pow2 unpow-prod-up unpow3 cube-mult distribute-neg-in rem-log-exp
4×distribute-neg-frac
3×exp-diff distribute-lft-neg-out associate-+r- distribute-frac-neg
2×cos-sum tan-sum rem-cbrt-cube
1×cube-div rem-cube-cbrt unpow1/3 pow3 exp-neg frac-add pow-sub unsub-neg log-rec sqrt-unprod distribute-rgt-out--

localize2.5s (1.3%)

end1.0ms (0.0%)