Details

simplify19.1m (83.8%)

sample1.1m (4.8%)

Algorithm
328×intervals
Results
36.5s618682×body80valid
2.6s5883×body640valid
2.5s6107×body1280valid
1.5s16531×body80nan
814.0ms3777×body320valid
620.0ms1541×body2560valid
343.0ms2374×body160valid
30.0ms36×body10240exit
11.0ms3×body5120valid
4.0ms17×body1280nan
3.0ms12×body640nan
2.0ms14×body320nan
1.0ms7×body160nan

prune55.2s (4.0%)

rewrite51.1s (3.7%)

Algorithm
431×rewrite-expression-head
Calls

1013 calls:

958.0ms
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
854.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
782.0ms
(* (sqrt (+ (+ (/ x 2.0) (* y x)) z)) (sqrt (+ (+ (/ x 2.0) (* y x)) z)))
698.0ms
(/ (+ (pow (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) 3) (pow t 3)) (+ (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (* t t)))
664.0ms
(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
Rules
9735×add-sqr-sqrt
9588×*-un-lft-identity
9096×times-frac
6470×add-cube-cbrt
3862×add-exp-log
3395×add-cbrt-cube
2506×pow1
1915×associate-*r*
1826×add-log-exp
1556×associate-*l*
1134×associate-/r*
1099×prod-exp
1005×distribute-lft-out--
994×difference-of-squares cbrt-unprod
979×cbrt-prod
884×sqrt-prod
825×flip3-- flip--
747×associate-/l*
717×div-exp
698×pow-prod-down
623×distribute-lft-out
606×log-prod associate-*r/
604×distribute-rgt-in distribute-lft-in
599×flip-+ flip3-+
590×associate-*l/
573×cbrt-undiv
524×div-inv
502×frac-times
496×cbrt-div
488×unswap-sqr
406×sub-neg
368×associate-/r/
360×*-commutative
336×swap-sqr
307×sum-log
266×pow1/3
232×associate-/l/
225×sqrt-div
205×clear-num frac-2neg
182×+-commutative
166×associate--l+
154×diff-log
153×unpow-prod-down
150×associate-+r+
147×exp-sum
133×associate-+l+
130×frac-sub
97×sqrt-pow1
93×pow1/2
89×pow-prod-up
84×frac-add
75×pow-sqr
64×log-pow
62×1-exp
60×cube-prod
54×div-sub
52×rec-exp
38×associate--r+
36×pow2 pow-plus
32×rem-sqrt-square
28×associate-+l-
23×log-div
20×sqr-pow
15×pow-unpow distribute-rgt-out distribute-rgt-neg-out
14×sum-cubes rem-log-exp
13×cube-div
12×sub-div
10×distribute-rgt-out-- pow-flip
9×sqrt-undiv sqrt-unprod rem-square-sqrt pow-exp associate-+r-
8×inv-pow unsub-neg tanh-def pow-pow
7×distribute-rgt-neg-in
6×unpow3 distribute-lft-neg-in associate--l- pow-to-exp cube-mult exp-prod associate--r- cosh-def
5×rem-cube-cbrt distribute-lft1-in distribute-rgt1-in count-2
4×rem-exp-log sinh-def
3×un-div-inv distribute-lft-neg-out cos-diff
2×exp-diff tan-quot neg-mul-1 cos-sum rem-cbrt-cube
1×difference-cubes sqrt-pow2 pow3 diff-cos difference-of-sqr-1 exp-to-pow

series38.4s (2.8%)

Calls

462 calls:

415.0ms
(* (+ y 0.5) (log y))
348.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
334.0ms
(+ x (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
300.0ms
(* y (log y))
297.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

localize7.8s (0.6%)

regimes3.2s (0.2%)

Accuracy

Total 14.0b remaining (81.6%)

Threshold costs 2.7b (15.7%)

5.3b28.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, I
4.4b-33.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, E
1.6b0%Numeric.Histogram:binBounds from Chart-1.5.3
1.0b45.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, H
0.7b80.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, A

bsearch15.0ms (0.0%)

end2.0ms (0.0%)