Details

series14.5m (53.3%)

Calls

2322 calls:

5.9s
(sqrt (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))
5.7s
(sqrt (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))
3.6s
(/ (* z (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
2.9s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
2.8s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))

sample4.9m (18.1%)

Algorithm
538×intervals
Results
2.3m2585878×body80valid
33.0s509873×body80nan
22.6s47368×body1280valid
13.3s43395×body640valid
5.4s23878×body320valid
5.0s5682×body2560valid
2.0s13838×body160valid
177.0ms698×body640nan
158.0ms510×body1280nan
113.0ms40×body5120valid
113.0ms1593×body80overflowed
77.0ms420×body320nan
30.0ms256×body160nan

prune4.8m (17.6%)

simplify1.3m (4.8%)

Algorithm
1397×egg-herbie

rewrite44.3s (2.7%)

Algorithm
860×rewrite-expression-head
Calls

2325 calls:

4.2s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
3.2s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
781.0ms
(- (- 1.0 (/ (/ (pow (cbrt 1.0) 3) x) 9.0)) (/ y (* 3.0 (sqrt x))))
771.0ms
(* (/ (/ (sqrt 1.0) 1) (sqrt (fma z z 1.0))) (/ (/ (/ (sqrt 1.0) x) (sqrt (fma z z 1.0))) y))
684.0ms
(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
Rules
49462×times-frac
47609×*-un-lft-identity
44958×add-sqr-sqrt
33212×add-cube-cbrt
13549×prod-diff
8641×add-exp-log
7054×add-cbrt-cube
6915×frac-add
6602×frac-times
6086×sqrt-prod
5553×pow1
5463×tanh-def
5407×associate-/r/
4843×cbrt-prod
4838×associate-*r*
4332×difference-of-squares
4271×distribute-lft-out--
3307×associate-*l*
3298×distribute-lft-out
3164×associate-/r*
3153×add-log-exp
3101×distribute-rgt-in distribute-lft-in
3057×unpow-prod-down
2950×associate-*r/
2779×div-inv
2640×associate-*l/
2328×log1p-expm1-u expm1-log1p-u
2254×associate-/l*
2161×prod-exp
1955×div-exp
1776×cbrt-unprod
1465×cube-prod
1415×cbrt-undiv
1352×log-prod
1331×pow-prod-down
1330×flip-- flip3--
1142×unswap-sqr
977×fma-def
934×flip-+ flip3-+
902×associate--l+
880×fma-neg
866×log-pow
804×pow1/3
714×swap-sqr
692×associate-+r+
659×cbrt-div
601×sqr-pow
597×fma-udef
574×*-commutative
522×exp-sum
521×exp-prod
484×clear-num frac-2neg
483×sqrt-div
432×sub-neg
410×sqrt-pow1
401×associate-/l/ associate-+l+
243×pow1/2
238×sum-log
223×1-exp diff-log
217×pow-prod-up
203×rec-exp
194×associate--r+
187×unpow3 cube-mult
175×pow-sqr
150×+-commutative
147×distribute-rgt-neg-in
135×distribute-lft-neg-in frac-sub
128×pow-exp
119×pow-unpow
113×rem-sqrt-square
111×div-sub
91×unpow-prod-up
78×distribute-rgt-out
77×pow-plus
74×pow2
73×log-div
70×unpow2
66×pow-to-exp pow-flip
60×cube-div pow-pow
54×inv-pow neg-mul-1
43×rem-log-exp
41×distribute-rgt-neg-out
37×un-div-inv
34×distribute-rgt-out--
27×associate-+l-
26×cos-sum
25×difference-cubes sinh-def
23×sum-cubes
21×distribute-lft-neg-out
20×unsub-neg
19×sqrt-unprod
17×rem-exp-log
16×hypot-udef
14×rem-square-sqrt hypot-def
13×rem-cube-cbrt sub-div distribute-neg-frac associate-+r-
12×associate--l-
11×e-exp-1 cosh-def
9×associate--r-
7×expm1-log1p expm1-udef
6×exp-diff diff-cos neg-sub0
5×log1p-udef distribute-lft1-in distribute-rgt1-in log1p-expm1 count-2 exp-to-pow rem-cbrt-cube
4×sqrt-pow2 unpow1/3 neg-log
3×sin-sum cos-diff
2×sqrt-undiv pow-sub distribute-frac-neg tan-quot
1×sin-cos-mult exp-neg mul-1-neg

regimes43.7s (2.7%)

Accuracy

Total 156.9b remaining (34.7%)

Threshold costs 24.4b (5.4%)

11.2b50.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
7.2b0.2%Data.Colour.Matrix:determinant from colour-2.3.3, A
5.6b29.5%Numeric.Signal:interpolate from hsignal-0.2.7.1
5.6b33.5%Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisTick from plot-0.2.3.4, B
5.3b34.3%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

localize9.7s (0.6%)

bsearch3.9s (0.2%)

end7.0ms (0.0%)