Details

series4.6m (27.6%)

Calls

2569 calls:

7.1s
(/ (+ (* (* y (- (* (log z) (log z)) (* t t))) (+ (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)) (* (+ (log z) t) (* a (- (* (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z)))) (* b b))))) (* (+ (log z) t) (+ (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
3.6s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
2.8s
(/ (+ 2.0 (* (* (/ (* (sqrt 2.0) (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (+ (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
1.4s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y)))))
1.1s
(/ (+ x (/ (* y z) t)) (* (cbrt (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t))))) (cbrt (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))))

sample4.1m (24.4%)

Algorithm
539×intervals
Results
1.3m2656027×body80valid
21.2s539990×body80nan
17.2s47030×body1280valid
9.7s44431×body640valid
4.0s5567×body2560valid
3.6s25287×body320valid
1.3s14189×body160valid
749.0ms1592×body10240exit
120.0ms48×body5120valid
99.0ms688×body640nan
91.0ms525×body1280nan
41.0ms412×body320nan
15.0ms235×body160nan

prune4.0m (23.9%)

rewrite1.6m (9.7%)

Algorithm
898×rewrite-expression-head
Calls

2569 calls:

2.2s
(* (cbrt (+ (+ (+ (+ y z) z) y) t)) (cbrt (+ (+ (+ (+ y z) z) y) t)))
1.1s
(* x (+ (+ (+ (+ y z) z) y) t))
861.0ms
(/ (+ (* (* y (- (* (log z) (log z)) (* t t))) (+ (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)) (* (+ (log z) t) (* a (- (* (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z)))) (* b b))))) (* (+ (log z) t) (+ (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
848.0ms
(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* (cbrt (cbrt (sqrt 2.0))) (cbrt (cbrt (sqrt 2.0))))) (cbrt (cbrt (sqrt 2.0))))
799.0ms
(* (* (cbrt (- y x)) (* (* (cbrt (cbrt (- y x))) (cbrt (cbrt (- y x)))) (cbrt (cbrt (- y x))))) (* (cbrt (- y x)) (/ (- z t) (- a t))))
Rules
38861×times-frac
36039×*-un-lft-identity
33406×add-sqr-sqrt
23129×add-cube-cbrt
12015×add-exp-log
9052×add-cbrt-cube
8892×cbrt-prod
8465×cbrt-div
7299×associate-*r*
7179×pow1
4739×sqrt-prod
4707×frac-times
4014×add-log-exp
3918×prod-exp
3907×associate-*l*
3884×flip--
3882×flip3--
3584×distribute-lft-out
3451×difference-of-squares
3422×associate-*r/
3134×distribute-lft-out--
3038×cbrt-unprod
3018×associate-*l/
2747×associate-/r*
2688×div-exp
2438×flip-+ flip3-+
2302×associate-/l*
2227×pow-prod-down
2074×div-inv
2023×frac-sub
2002×associate-/r/
1793×cbrt-undiv
1529×unpow-prod-down
1459×log-prod
1438×unswap-sqr
1334×distribute-rgt-in distribute-lft-in
1020×pow1/3
974×swap-sqr
942×sqrt-div
795×*-commutative
742×sqrt-pow1
735×sub-neg
702×associate-/l/
534×sum-log
512×cube-prod
504×associate--l+
481×clear-num frac-2neg
414×frac-add
341×associate-+r+
332×log-pow
324×pow-prod-up
323×associate-+l+
320×pow-exp
314×pow1/2
307×sqr-pow
293×+-commutative
292×1-exp diff-log
267×rec-exp
265×pow-sqr
248×exp-prod
196×exp-sum
175×pow-to-exp
122×pow-unpow
117×rem-sqrt-square
109×pow-plus
102×pow2
99×unpow2
92×div-sub
76×tanh-def
68×sinh-def
65×un-div-inv
62×log-div
56×associate--r+
55×rem-log-exp
53×pow-pow
49×pow-flip
47×distribute-rgt-out--
46×inv-pow
44×associate-+l-
38×sub-div
37×distribute-rgt-neg-out
35×distribute-rgt-neg-in distribute-lft-neg-in
34×unpow3 cube-mult
28×rem-cube-cbrt
26×cube-div distribute-rgt-out
25×sin-mult
21×sqrt-unprod
19×unsub-neg neg-mul-1
18×pow-div
17×associate-+r-
16×rem-square-sqrt
15×rem-exp-log
14×cosh-def
13×rem-cbrt-cube
12×distribute-lft-neg-out
10×exp-diff
9×unpow1/3
7×exp-to-pow
6×distribute-rgt1-in distribute-lft1-in associate--r-
5×associate--l- count-2
4×difference-cubes diff-cos sum-cubes
3×cos-diff distribute-frac-neg log-rec
2×cos-sum sqrt-pow2 e-exp-1 exp-neg pow-sub neg-sub0 tan-quot mul-1-neg
1×pow3 neg-log

simplify1.2m (7.3%)

Algorithm
1437×egg-herbie

regimes53.0s (5.3%)

Accuracy

Total 215.8b remaining (39.4%)

Threshold costs 26.9b (4.9%)

13.3b57.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.8b-17.4%Linear.Matrix:det44 from linear-1.19.1.3
11.6b52.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
10.6b56.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.1b33%Development.Shake.Progress:decay from shake-0.15.5

localize10.6s (1.1%)

bsearch6.9s (0.7%)

end5.0ms (0.0%)