Details

series2.8m (43.1%)

Calls

372 calls:

1.6m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
3.8s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.6s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.6s
(* (sqrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (sqrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))))
3.6s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

sample2.2m (33.7%)

Algorithm
60×intervals
Results
1.2m336857×body80valid
18.3s205756×body80nan
11.3s21492×body1280valid
4.1s10820×body640valid
3.5s5410×body2560valid
1.4s5040×body320valid
933.0ms16512×pre80true
478.0ms2452×body160valid
124.0ms228×body5120valid

prune47.5s (12.2%)

regimes13.9s (3.6%)

Accuracy

Total 36.7b remaining (23.9%)

Threshold costs 5.9b (3.8%)

13.2b-17.6%Linear.Matrix:det44 from linear-1.19.1.3
3.7b5%Linear.Matrix:det33 from linear-1.19.1.3
2.7b20.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.2b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite10.7s (2.8%)

Algorithm
107×rewrite-expression-head
Calls

372 calls:

638.0ms
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
627.0ms
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) (* a 4.0)))
431.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) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
358.0ms
(* (* (sqrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (sqrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
356.0ms
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
Rules
5553×times-frac
4418×*-un-lft-identity
4383×add-sqr-sqrt
3937×add-exp-log
3418×add-cube-cbrt
2361×prod-exp
1392×add-cbrt-cube
1065×pow1
859×div-exp
784×associate-*r*
722×flip3-- flip--
718×associate-*r/
716×associate-*l/
600×add-log-exp
582×pow-exp
570×distribute-rgt-neg-in
551×frac-times
534×distribute-lft-neg-in
530×associate-*l*
501×frac-sub
496×cbrt-unprod
478×pow-to-exp
452×cbrt-prod
428×unpow-prod-down
345×associate-/l*
321×sqrt-prod
299×exp-prod
293×div-inv
289×difference-of-squares
285×pow-prod-down
279×distribute-lft-out--
272×associate-/r*
244×sqrt-pow1
237×distribute-lft-out
235×cbrt-undiv
232×sqrt-div
209×cbrt-div
183×distribute-rgt-in distribute-lft-in
177×unswap-sqr
160×cube-prod log-prod
152×associate-/l/
149×neg-mul-1
147×flip-+ flip3-+
145×sub-neg
140×log-pow
139×associate-/r/
128×1-exp
124×*-commutative
102×pow1/2
98×rec-exp
96×pow-prod-up
82×pow1/3
65×swap-sqr
63×exp-sum
59×pow-unpow clear-num sum-log frac-2neg
58×diff-log
54×sqr-pow
50×pow-sqr
47×pow-pow
42×associate-+r+
37×associate-+l+
35×sin-mult
34×neg-sub0
33×rem-sqrt-square
32×cos-mult
28×pow-plus +-commutative
26×associate--r+
22×rem-exp-log
21×distribute-neg-in
20×neg-log
19×frac-add
17×associate-+l-
15×associate--l+ div-sub
14×pow-flip
13×exp-diff tan-quot pow2 distribute-neg-frac
12×inv-pow exp-neg sub-div log-div
11×distribute-frac-neg
10×unpow2
9×cube-div
8×rem-cube-cbrt unpow3 un-div-inv cube-mult
7×associate--l-
6×sqrt-unprod log-rec
5×exp-to-pow rem-log-exp
4×unpow-prod-up
3×distribute-lft-neg-out distribute-rgt-out-- rem-square-sqrt rem-cbrt-cube
2×pow3 pow-sub distribute-rgt-out cos-sum tan-sum distribute-rgt-neg-out associate-+r-
1×pow-neg sum-cubes cube-neg

simplify8.8s (2.3%)

Algorithm
167×egg-herbie

bsearch6.4s (1.6%)

localize2.7s (0.7%)

end1.0ms (0.0%)