Details

simplify39.2m (48.2%)

series13.8m (17.0%)

Calls

2175 calls:

6.2m
(pow (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c))) 3)
12.7s
(- (fma c b (* (* (* x 18.0) y) (* t z))) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))
12.4s
(- (fma c b (* x (* (* 18.0 y) (* t z)))) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))
5.5s
(/ (* (cbrt (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t)) (cbrt (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t))) (* (cbrt (fma (fma (fma (+ y a) y b) y c) y i)) (cbrt (fma (fma (fma (+ y a) y b) y c) y i))))
3.3s
(* (cbrt (fma b (- (+ y t) 2.0) (fma z (- 1.0 y) (fma a (- 1.0 t) x)))) (cbrt (fma b (- (+ y t) 2.0) (fma z (- 1.0 y) (fma a (- 1.0 t) x)))))

sample11.7m (14.4%)

Algorithm
538×intervals
Results
4.7m2658993×body80valid
1.2m504642×body80nan
54.6s47437×body1280valid
28.0s42557×body640valid
10.6s24793×body320valid
10.2s5682×body2560valid
4.7s13758×body160valid
2.8s1560×body10240exit
328.0ms493×body1280nan
289.0ms667×body640nan
156.0ms42×body5120valid
114.0ms426×body320nan
39.0ms242×body160nan

prune11.6m (14.2%)

regimes2.3m (2.9%)

Accuracy

Total 195.9b remaining (37.5%)

Threshold costs 24.9b (4.8%)

16.6b20.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.6b-0.9%Linear.Matrix:det44 from linear-1.19.1.3
13.0b58.8%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.4b-7.9%Numeric.Signal:interpolate from hsignal-0.2.7.1
8.7b31.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite1.9m (2.4%)

Algorithm
838×rewrite-expression-head
Calls

2175 calls:

5.2s
(* (* 3.0 (sqrt x)) (- (+ y (/ (/ (/ 1.0 x) (sqrt 9.0)) (sqrt 9.0))) 1.0))
1.5s
(* (- a x) (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))))
1.4s
(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (pow E (/ (* t t) 2.0)))
1.2s
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
774.0ms
(+ (* (- a x) (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z)))) x)
Rules
65201×times-frac
54236×*-un-lft-identity
52149×add-sqr-sqrt
38954×add-cube-cbrt
13448×prod-diff
10044×add-exp-log
7614×add-cbrt-cube
5881×cbrt-prod
5690×distribute-lft-out--
5287×difference-of-squares
5148×pow1
4951×associate-*r*
4495×sqrt-prod
4260×distribute-rgt-in distribute-lft-in
4006×associate-/r*
3494×div-inv
3350×flip-- flip3--
3234×associate-*l*
2923×frac-times
2916×associate-/r/
2885×add-log-exp
2877×prod-exp
2541×cbrt-div
2496×div-exp
2482×distribute-lft-out
2349×associate-/l*
2189×cbrt-unprod
2177×log1p-expm1-u
2176×expm1-log1p-u
1662×unpow-prod-down
1633×associate-*r/
1561×cbrt-undiv
1449×associate-*l/
1428×associate-+l+
1290×pow-prod-down
1102×associate--l+
1091×fma-def
1072×unswap-sqr
690×pow1/3
663×log-prod
624×flip-+ sqr-pow flip3-+
613×*-commutative
569×associate-+r+
565×fma-neg
557×swap-sqr
496×cube-prod
484×clear-num frac-2neg
466×fma-udef
465×sub-neg
394×1-exp
364×associate-/l/
356×rec-exp
347×unpow-prod-up
281×log-pow
209×sqrt-div sum-log
198×sqrt-pow1
188×pow1/2 diff-log
180×exp-sum
177×pow-prod-up
170×pow-exp
144×frac-add
141×pow-sqr
128×+-commutative
111×pow-to-exp
110×pow-unpow
107×div-sub
104×frac-sub
95×unpow3 cube-mult
84×pow-flip
80×rem-sqrt-square
74×inv-pow
71×pow-plus
66×unpow2
65×difference-cubes pow2
63×pow-pow
62×distribute-lft-neg-in
61×distribute-rgt-neg-in
55×un-div-inv
52×tanh-def log-div
39×rem-log-exp
30×distribute-rgt-out
23×exp-prod cos-sum distribute-rgt-out--
21×associate-+l-
20×cube-div
19×distribute-rgt-neg-out associate--r+
18×sqrt-unprod hypot-udef neg-mul-1
15×sub-div
14×distribute-neg-frac sinh-def
13×rem-cube-cbrt rem-square-sqrt
12×distribute-lft-neg-out cosh-def
11×e-exp-1 associate-+r-
10×hypot-def
9×unsub-neg
8×rem-cbrt-cube
7×associate--r-
6×rem-exp-log
5×exp-diff associate--l- diff-cos
4×expm1-log1p expm1-udef
3×unpow1/3 cos-diff
2×log1p-udef pow3 log1p-expm1 distribute-lft1-in pow-sub neg-sub0 sqrt-undiv tan-quot sin-mult cos-mult
1×sqrt-pow2 pow-neg exp-neg remove-double-div exp-to-pow

localize28.6s (0.6%)

bsearch22.8s (0.5%)

end7.0ms (0.0%)