Details

series11.1m (57.2%)

Calls

323 calls:

1.9m
(fma (- (* y0 c) (* y1 a)) (- (* x y2) (* z y3)) (* (- (* x y) (* z t)) (- (* a b) (* c i))))
5.4s
(sqrt (fma i c (fma a b (fma x y (* z t)))))
5.3s
(sqrt (fma i c (fma a b (fma x y (* z t)))))
1.0s
(fma (- (* y z) (* t a)) x (fma b (- (* i a) (* c z)) (* (* (cbrt j) (cbrt j)) (* (* (cbrt (cbrt j)) (cbrt (cbrt j))) (* (cbrt (cbrt j)) (- (* c t) (* i y)))))))
984.0ms
(cbrt (fma (log t) (- a 0.5) (- (+ (log (+ x y)) (log z)) t)))

simplify4.4m (23.0%)

sample1.9m (9.8%)

Algorithm
59×intervals
Results
33.8s264300×body80valid
23.8s207380×body80nan
18.4s21308×body1280valid
8.1s11271×body640valid
4.4s5370×body2560valid
2.3s4959×body320valid
857.0ms2643×body160valid
828.0ms16512×pre80true
153.0ms242×body5120valid

prune1.3m (6.6%)

regimes20.1s (1.7%)

Accuracy

Total 30.7b remaining (23.1%)

Threshold costs 5.0b (3.8%)

8.7b-8.5%Linear.Matrix:det33 from linear-1.19.1.3
4.1b85.7%NMSE problem 3.2.1
3.2b86.7%The quadratic formula (r1)
3.1b38.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.7b59.3%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite11.7s (1.0%)

Algorithm
99×rewrite-expression-head
Calls

325 calls:

442.0ms
(/ (fma 2.0 (/ (* a c) b) (* -2 b)) (* 2.0 a))
380.0ms
(* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (* x (pow sin (/ 2.0 2)))) (pow cos (/ 2.0 2))))
355.0ms
(/ (cos (* 2.0 x)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (* x (pow sin (/ 2.0 2)))) (pow cos (/ 2.0 2)))))
304.0ms
(* (* (cbrt j) (cbrt j)) (* (* (cbrt (cbrt j)) (cbrt (cbrt j))) (* (cbrt (cbrt j)) (- (* c t) (* i y)))))
285.0ms
(* (pow cos (/ 2.0 2)) (* (* x (pow sin (/ 2.0 2))) (* (* x (pow sin (/ 2.0 2))) (pow cos (/ 2.0 2)))))
Rules
4933×add-exp-log
4384×times-frac
4321×*-un-lft-identity
4213×add-sqr-sqrt
3805×prod-exp
3305×add-cube-cbrt
1268×sqrt-prod
1133×add-cbrt-cube
988×prod-diff
903×pow-exp pow-to-exp
850×pow1
543×div-exp
471×add-log-exp
451×associate-*r*
441×cbrt-prod
425×cbrt-unprod
412×distribute-rgt-neg-in
391×distribute-lft-neg-in
359×exp-sum
326×expm1-log1p-u log1p-expm1-u
325×associate-/r*
318×difference-of-squares
311×associate-*l*
301×associate-/l*
277×distribute-lft-out--
248×distribute-lft-out
241×div-inv
237×pow-prod-down
188×fma-neg
153×flip3-- flip--
147×cbrt-undiv
134×log-prod
133×distribute-rgt-in distribute-lft-in
129×neg-mul-1
107×unswap-sqr
94×sqrt-div fma-def
93×sub-neg
87×*-commutative
85×associate-+r+
80×cbrt-div associate-/r/ associate-*l/
76×associate-*r/
73×tan-quot
72×swap-sqr
67×pow1/3
63×fma-udef
59×exp-prod
58×frac-2neg clear-num
56×sqrt-pow1
53×pow1/2
50×diff-log
49×frac-times
40×associate-/l/
39×rem-sqrt-square
32×flip-+ flip3-+ unpow-prod-down log-pow
31×frac-sub
28×pow-prod-up
26×associate--l+
23×rem-exp-log
22×sum-log pow-sqr
20×1-exp rec-exp sin-mult
17×associate-+l+ exp-diff pow-plus
14×cos-mult +-commutative
13×neg-sub0
12×pow2 sqr-pow div-sub associate-+l- distribute-rgt-out
11×neg-log
10×log-div
9×pow-flip sub-div frac-add
7×associate--l-
6×un-div-inv
5×distribute-lft-neg-out inv-pow
4×pow-unpow exp-to-pow
3×distribute-rgt-neg-out associate--r+
2×expm1-log1p expm1-udef associate-+r- log1p-expm1 log1p-udef distribute-frac-neg sqrt-unprod pow-pow tan-sum distribute-neg-frac cos-sum
1×pow3 rem-square-sqrt sqr-neg rem-log-exp

localize5.9s (0.5%)

bsearch1.6s (0.1%)

end1.0ms (0.0%)