Details

series10.5m (83.5%)

Calls

317 calls:

850.0ms
(* (+ 0 (* 4.0 (* a c))) (/ 1 (- (- b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))))
827.0ms
(* (sqrt (+ (sqrt x) (sqrt 1.0))) (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt x)))
663.0ms
(/ (+ 0 (* 4.0 (* a c))) (- (- b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
535.0ms
(* (/ 1 x) (/ y (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))))
459.0ms
(* (* (- y z) (/ 1 (- (+ t 1.0) z))) (- a x))

sample55.0s (7.3%)

Algorithm
59×intervals
Results
11.5s262978×body80valid
8.8s21683×body1280valid
7.9s207422×body80nan
3.0s10806×body640valid
2.4s5317×body2560valid
979.0ms5132×body320valid
424.0ms16512×pre80true
326.0ms2533×body160valid
61.0ms227×body5120valid

prune37.6s (5.0%)

rewrite12.9s (1.7%)

Algorithm
98×rewrite-expression-head
Calls

321 calls:

699.0ms
(* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
676.0ms
(cbrt (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t)))
503.0ms
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
459.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
432.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))
Rules
7429×times-frac
5561×*-un-lft-identity
5392×add-sqr-sqrt
4591×add-cube-cbrt
1900×add-exp-log
1234×cbrt-prod
1095×unpow-prod-down
1084×add-cbrt-cube
992×prod-diff
866×prod-exp
811×distribute-rgt-neg-in
799×pow1
775×distribute-lft-neg-in
763×associate-*r*
544×cube-prod
478×add-log-exp
394×associate-*l*
386×div-exp
384×associate-/r*
363×sqrt-prod
354×div-inv
345×cbrt-unprod
332×associate-/l*
321×log1p-expm1-u expm1-log1p-u
274×distribute-lft-out
253×neg-mul-1
249×distribute-lft-out--
224×pow-prod-down
223×distribute-rgt-in distribute-lft-in
221×difference-of-squares
216×fma-neg
209×flip3-- flip--
186×pow-exp
183×associate-+r+
181×fma-udef
173×exp-sum
165×cbrt-undiv
146×pow-to-exp
144×unswap-sqr
128×associate-/r/
108×associate-*r/
100×fma-def
95×*-commutative
92×associate-*l/
89×sub-neg
86×sqr-pow
82×sqrt-div
76×frac-times
75×log-pow
73×flip-+ flip3-+
65×associate--r+
62×clear-num frac-2neg
61×log-prod
55×diff-log
52×cbrt-div
51×1-exp
50×associate-/l/
48×pow1/3
45×rec-exp
43×sqrt-pow1
40×associate-+l+
38×frac-sub
37×pow1/2
36×exp-prod
31×sum-log
29×rem-sqrt-square
28×pow-unpow sin-mult
20×neg-sub0 cos-mult
17×tan-quot neg-log
16×unpow3 cube-mult swap-sqr associate-+l-
14×+-commutative
12×frac-add sub-div
10×rem-exp-log distribute-neg-in div-sub associate--l- log-div
9×pow-pow un-div-inv associate--l+
8×pow-flip
7×inv-pow pow-prod-up
5×exp-diff unpow-prod-up pow-sqr associate-+r- unpow2
4×sqrt-unprod pow2 hypot-def distribute-neg-frac
3×cube-div pow-plus distribute-frac-neg distribute-rgt-neg-out exp-to-pow
2×cos-sum rem-cube-cbrt exp-neg distribute-rgt-out tan-sum rem-log-exp
1×distribute-neg-out e-exp-1 pow-neg unpow1/3 pow-sub unsub-neg rem-cbrt-cube

simplify8.7s (1.1%)

Algorithm
156×egg-herbie

regimes7.2s (1.0%)

Accuracy

Total 29.9b remaining (23.4%)

Threshold costs 5.0b (3.9%)

5.9b-6.2%Linear.Matrix:det33 from linear-1.19.1.3
4.3b84.7%NMSE problem 3.2.1
3.7b86.1%The quadratic formula (r1)
2.4b49.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.3b0%cos(2*x)/(cos^2(x)*sin^2(x))

localize2.2s (0.3%)

bsearch1.3s (0.2%)

end1.0ms (0.0%)