Details

simplify3.9m (39.0%)

sample2.8m (28.6%)

Algorithm
60×intervals
Results
1.1m335929×body80valid
25.5s206764×body80nan
19.9s21353×body1280valid
7.1s10886×body640valid
5.2s5275×body2560valid
2.2s5178×body320valid
839.0ms16512×pre80true
683.0ms2548×body160valid
131.0ms227×body5120valid

prune1.2m (11.6%)

series1.1m (11.1%)

Calls

371 calls:

3.4s
(/ (+ (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (- (* (cbrt t) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))))) (* (cbrt t) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0)))))
3.3s
(+ (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (- (* (cbrt t) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))))
822.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
768.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) (/ 471841060772561.0 17179869184.0)) y) (/ 7925469156333415.0 34359738368.0)) y) t))
752.0ms
(cbrt (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))

rewrite29.6s (5.0%)

Algorithm
106×rewrite-expression-head
Calls

371 calls:

4.1s
(* (* (- y z) (/ (/ 1 (* (* (cbrt (- (+ t 1.0) z)) (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))))) (cbrt (cbrt (- (+ t 1.0) z))))) (cbrt (- (+ t 1.0) z)))) (- a x))
1.3s
(/ (+ (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (- (* (cbrt t) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))))) (* (cbrt t) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0)))))
1.3s
(* (* (- y z) (/ (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z)))) (- a x))
789.0ms
(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
711.0ms
(+ (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (- (* (cbrt t) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))))
Rules
4137×add-sqr-sqrt
4115×times-frac
3904×*-un-lft-identity
2748×add-cube-cbrt
2222×add-exp-log
1311×add-cbrt-cube
1014×prod-exp
1003×pow1
907×associate-*r/
865×associate-*r*
744×associate-*l/
691×sqrt-prod
643×flip-- flip3--
617×associate-*l*
563×add-log-exp
472×frac-times
446×difference-of-squares
429×cbrt-unprod
407×associate-/r*
402×cbrt-prod
396×div-exp
362×distribute-lft-out--
304×distribute-rgt-neg-in
301×frac-sub
300×pow-prod-down
294×associate-/l*
277×distribute-lft-neg-in
227×distribute-neg-frac
226×frac-add distribute-lft-out
209×unswap-sqr
200×div-inv
198×cbrt-undiv
166×pow-exp
164×associate-/l/
159×pow-to-exp
155×distribute-rgt-in distribute-lft-in
145×unpow-prod-down
144×flip-+ flip3-+
143×associate-/r/
140×sub-neg
135×cbrt-div
133×*-commutative
130×sqrt-div
94×log-prod
87×pow1/3
74×neg-mul-1
73×tan-quot
65×1-exp
64×clear-num swap-sqr frac-2neg
59×rec-exp
55×associate-+r+ sum-log
52×sqrt-pow1
50×diff-log
49×sin-mult
48×pow1/2
45×cos-mult
42×exp-sum
40×rem-sqrt-square
37×sqr-pow
31×pow-unpow
29×exp-prod
27×log-pow
26×+-commutative
24×pow-prod-up pow-sqr
21×associate--r+
20×neg-sub0
18×associate-+l+ distribute-neg-in sub-div pow-flip associate-+l-
16×neg-log
14×inv-pow cube-prod associate--l+ div-sub
13×pow-pow
12×pow-plus
11×un-div-inv unpow2
9×pow2
7×rem-exp-log
6×distribute-lft-neg-out log-div
5×sqrt-unprod
4×associate-+r- exp-neg associate--l-
3×exp-diff distribute-rgt-out-- exp-to-pow rem-log-exp mul-1-neg
2×cube-div unpow3 unpow1/3 unpow-prod-up pow-sub unsub-neg cube-mult distribute-frac-neg cos-sum tan-sum log-rec
1×rem-cube-cbrt rem-cbrt-cube distribute-rgt-neg-out

regimes18.1s (3.0%)

Accuracy

Total 70.2b remaining (37.8%)

Threshold costs 3.3b (1.8%)

23.2b-1738.7%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2
9.7b-11.3%Linear.Matrix:det44 from linear-1.19.1.3
6.5b7.5%Linear.Matrix:det33 from linear-1.19.1.3
6.2b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
4.9b-0%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

localize4.9s (0.8%)

bsearch4.9s (0.8%)

end1.0ms (0.0%)