Details

series11.0m (75.4%)

Calls

333 calls:

40.5s
(/ (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ (* (+ (log (+ x y)) (log z)) (+ (+ (log (+ x y)) (log z)) t)) (* t t)))
2.7s
(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)))))
2.5s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.5s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.4s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

prune1.7m (11.8%)

sample1.2m (8.6%)

Algorithm
59×intervals
Results
22.8s264771×body80valid
15.4s208304×body80nan
11.8s21529×body1280valid
4.3s10904×body640valid
3.2s5262×body2560valid
1.4s5194×body320valid
1.4s16512×pre80true
464.0ms2483×body160valid
118.0ms236×body5120valid

regimes22.1s (2.5%)

Accuracy

Total 29.0b remaining (22.1%)

Threshold costs 2.0b (1.5%)

4.9b82.6%NMSE problem 3.2.1
4.8b82%The quadratic formula (r1)
3.9b-8%Linear.Matrix:det33 from linear-1.19.1.3
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.6s (0.9%)

Algorithm
158×egg-herbie

rewrite4.7s (0.5%)

Algorithm
100×rewrite-expression-head
Calls

335 calls:

257.0ms
(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
247.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))))
215.0ms
(/ (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ (* (+ (log (+ x y)) (log z)) (+ (+ (log (+ x y)) (log z)) t)) (* t t)))
140.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
134.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
3575×*-un-lft-identity
3327×add-sqr-sqrt
2990×add-exp-log
2987×times-frac
2549×add-cube-cbrt
1960×prod-exp
1070×add-cbrt-cube
892×pow1
713×prod-diff
523×distribute-rgt-neg-in
520×associate-*r*
489×distribute-lft-neg-in
449×pow-exp
441×add-log-exp
433×pow-to-exp
431×cbrt-prod
409×div-exp
371×associate-*l*
360×sqrt-prod
343×cbrt-unprod
337×log1p-expm1-u
335×expm1-log1p-u
333×distribute-lft-out--
285×distribute-lft-out
278×associate-/l*
275×difference-of-squares
228×associate-/r*
225×unpow-prod-down
218×log-pow
208×exp-prod
190×pow-prod-down
178×flip3-- flip--
171×distribute-rgt-in distribute-lft-in
166×div-inv
153×cbrt-undiv
148×neg-mul-1
135×fma-neg
129×cube-prod
123×associate-*r/
120×cbrt-div
113×unswap-sqr
108×associate-*l/
101×frac-times
99×*-commutative
84×sqrt-div
79×tan-quot
77×associate-+r+ fma-def
76×log-prod
75×fma-udef
72×flip-+ flip3-+
71×sub-neg
69×associate-/r/
68×pow1/3
66×associate--r+
57×sqr-pow
54×clear-num frac-2neg
48×associate-/l/
46×frac-sub
45×sqrt-pow1
44×1-exp
39×diff-log
38×exp-sum
32×rec-exp
30×pow1/2
26×swap-sqr sin-mult
25×rem-sqrt-square
24×associate-+l+
20×sum-log cos-mult
19×pow-prod-up
18×associate-+l- log-div
17×neg-sub0
16×pow-unpow
14×+-commutative div-sub
13×pow-sqr
12×sub-div pow-plus
10×pow-flip
9×neg-log associate--l+
8×cube-div distribute-frac-neg associate--l-
7×rem-exp-log pow-pow pow2 frac-add
6×inv-pow distribute-neg-frac
5×exp-diff rem-cube-cbrt unpow3 cube-mult
4×difference-cubes un-div-inv exp-neg
3×hypot-def
2×cos-sum associate--r- expm1-log1p tan-sum expm1-udef exp-to-pow rem-log-exp
1×log1p-udef pow3 log1p-expm1 log-rec sqrt-unprod rem-cbrt-cube associate-+r-

localize1.9s (0.2%)

bsearch730.0ms (0.1%)

end1.0ms (0.0%)