Details

sample1.1m (31.9%)

Algorithm
60×intervals
Results
22.3s321236×body80valid
8.8s21312×body1280valid
8.4s207585×body80nan
3.2s11165×body640valid
2.4s5321×body2560valid
1.0s5167×body320valid
426.0ms16512×pre80true
368.0ms2660×body160valid
60.0ms230×body5120valid

prune55.1s (26.7%)

series51.5s (25.0%)

Calls

359 calls:

3.4s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* z c) (* a i))) (* b (fma (- a) i (* a i))))))
2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.8s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.8s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
708.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))

regimes12.3s (6.0%)

Accuracy

Total 33.7b remaining (25.8%)

Threshold costs 2.7b (2%)

9.1b-21.7%Linear.Matrix:det33 from linear-1.19.1.3
4.5b84.3%NMSE problem 3.2.1
3.8b86.7%The quadratic formula (r1)
3.3b23.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))

simplify9.2s (4.5%)

Algorithm
165×egg-herbie

rewrite5.3s (2.6%)

Algorithm
105×rewrite-expression-head
Calls

359 calls:

280.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
172.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) 0) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
162.0ms
(* (+ (* (+ (* (+ (* (* (* (fma x y z) (cbrt y)) (cbrt y)) (cbrt y)) 27464.7644705) y) 230661.510616) y) t) (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)))
162.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
98.0ms
(* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))
Rules
6786×times-frac
5421×*-un-lft-identity
5204×add-sqr-sqrt
4125×add-cube-cbrt
2214×add-exp-log
1200×unpow-prod-down
1126×add-cbrt-cube
967×prod-exp
882×associate-*l/
869×associate-*r/
837×pow1
731×flip-- flip3--
728×prod-diff
645×distribute-rgt-neg-in
638×associate-*r*
620×associate-/r*
567×frac-sub
562×distribute-lft-neg-in
544×cbrt-prod
508×div-exp
502×add-log-exp
472×sqrt-prod
444×frac-times
402×distribute-lft-out--
399×difference-of-squares
360×log1p-expm1-u
359×fma-udef expm1-log1p-u
356×cbrt-unprod
345×associate-*l*
343×exp-sum
300×sqrt-div
292×distribute-lft-out
252×div-inv
241×associate-/l*
226×pow-exp
209×associate-/l/
190×flip-+ flip3-+
189×pow-prod-down
168×cube-prod
167×cbrt-undiv
166×neg-mul-1
164×fma-neg
162×pow-to-exp
136×distribute-rgt-in distribute-lft-in
130×associate-/r/
128×unswap-sqr
105×log-pow
104×sqr-pow *-commutative
94×sub-neg
90×cbrt-div
86×pow1/3
75×fma-def
74×associate--r+
67×1-exp
58×rec-exp
56×clear-num frac-2neg log-prod
54×pow-unpow
53×diff-log
52×exp-prod
46×tan-quot associate-+r+
34×sqrt-pow1
31×swap-sqr
28×pow1/2
26×rem-sqrt-square
25×neg-sub0
23×sum-log
22×sin-mult
20×distribute-neg-frac
19×neg-log
18×distribute-neg-in
16×cos-mult
15×cube-div associate-+l-
14×associate-+l+ div-sub
13×unpow-prod-up
12×+-commutative associate--l+
11×rem-exp-log pow-pow associate--l-
10×frac-add pow-flip
9×pow-prod-up sub-div pow-sqr log-div
8×rem-cube-cbrt inv-pow unpow3 cube-mult
6×exp-diff distribute-frac-neg
5×pow-plus un-div-inv pow2
4×unpow2
2×e-exp-1 pow-neg log1p-udef cos-sum exp-neg pow-sub associate-+r- tan-sum rem-cbrt-cube rem-log-exp
1×distribute-lft-neg-out log1p-expm1 expm1-log1p sqrt-unprod cube-neg expm1-udef

bsearch4.2s (2.0%)

localize2.7s (1.3%)

end0.0ms (0.0%)