Details

series13.0m (87.5%)

Calls

333 calls:

2.2m
(/ (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ (* (+ (log (+ x y)) (log z)) (+ (+ (log (+ x y)) (log z)) t)) (* t t)))
3.3s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (* j 27.0) (* (cbrt k) (cbrt k))) (cbrt k)))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))

sample51.5s (5.8%)

Algorithm
59×intervals
Results
12.2s264771×body80valid
9.0s21529×body1280valid
8.3s208304×body80nan
3.2s10904×body640valid
2.5s5262×body2560valid
1.0s5194×body320valid
489.0ms16512×pre80true
332.0ms2483×body160valid
69.0ms236×body5120valid

prune35.4s (4.0%)

regimes7.9s (0.9%)

Accuracy

Total 33.9b remaining (25.6%)

Threshold costs 2.1b (1.6%)

8.5b-13.2%Linear.Matrix:det33 from linear-1.19.1.3
5.0b82.3%NMSE problem 3.2.1
4.8b82%The quadratic formula (r1)
2.5b4.7%cos(2*x)/(cos^2(x)*sin^2(x))
2.1b37.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

simplify7.8s (0.9%)

Algorithm
158×egg-herbie

rewrite5.1s (0.6%)

Algorithm
100×rewrite-expression-head
Calls

335 calls:

274.0ms
(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
263.0ms
(/ (cos (* 2.0 x)) (* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))))
225.0ms
(/ (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ (* (+ (log (+ x y)) (log z)) (+ (+ (log (+ x y)) (log z)) t)) (* t t)))
155.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt (cbrt x)) (* (cbrt (cbrt x)) (* (cbrt (cbrt x)) (- (* y z) (* t a))))))
140.0ms
(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
3765×*-un-lft-identity
3542×add-sqr-sqrt
3139×times-frac
3091×add-exp-log
2722×add-cube-cbrt
2024×prod-exp
1104×add-cbrt-cube
959×pow1
844×prod-diff
595×distribute-rgt-neg-in
549×distribute-lft-neg-in
503×associate-*r*
501×cbrt-prod
451×pow-exp
449×sqrt-prod
447×add-log-exp
434×pow-to-exp
418×div-exp
406×cbrt-unprod
385×associate-*l*
351×distribute-lft-out--
348×distribute-rgt-in distribute-lft-in
336×log1p-expm1-u
335×expm1-log1p-u
293×difference-of-squares
288×associate-/l*
274×distribute-lft-out
253×associate-/r*
249×pow-prod-down
246×unpow-prod-down
218×log-pow
207×exp-prod
168×neg-mul-1
165×div-inv
158×cbrt-undiv
152×flip-- flip3--
140×fma-neg
129×cube-prod
126×associate-*r/
114×unswap-sqr
100×sub-neg
99×*-commutative
91×associate-*l/
83×fma-def
80×associate-/r/
79×tan-quot
77×associate-+r+
76×log-prod
72×cbrt-div
71×fma-udef
69×frac-times
67×flip-+ pow1/3 flip3-+
66×sqr-pow associate--r+
57×clear-num frac-2neg
50×sqrt-div
48×associate-/l/
46×1-exp
41×diff-log
40×frac-sub
36×swap-sqr exp-sum
34×rec-exp
29×rem-sqrt-square
28×pow1/2 sqrt-pow1
26×sin-mult
24×associate-+l+
22×sum-log
20×neg-sub0 cos-mult associate-+l-
19×pow-unpow
18×log-div
15×+-commutative div-sub
12×pow-prod-up sub-div pow-sqr
11×neg-log pow-flip
9×pow-pow associate--l-
8×cube-div distribute-frac-neg
7×inv-pow frac-add pow-plus associate--l+
6×rem-exp-log pow2 distribute-neg-frac
5×exp-diff rem-cube-cbrt unpow3 cube-mult
4×difference-cubes exp-neg
3×un-div-inv
2×cos-sum associate--r- tan-sum rem-log-exp
1×log1p-udef log1p-expm1 expm1-log1p unpow1/2 sqrt-unprod rem-cbrt-cube expm1-udef exp-to-pow associate-+r- log-rec

localize2.5s (0.3%)

bsearch1.4s (0.2%)

end1.0ms (0.0%)