Details

simplify47.3m (54.1%)

series16.2m (18.6%)

Calls

2291 calls:

3.3s
(* (cbrt (fma (/ y (- a t)) (- z t) x)) (cbrt (fma (/ y (- a t)) (- z t) x)))
2.2s
(/ (fma (cos y) (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) 1.0)) (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (* 0.0625 (sin x))) (- (cos x) (cos y))) 2.0) 3.0))
2.1s
(/ (fma (cos y) (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) 1.0)) (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) 3.0))
2.0s
(/ (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) 3.0) (fma (cos y) (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) 1.0)))
1.7s
(* (cbrt (fma (log c) (- b 0.5) (+ a (+ (fma x (log y) z) t)))) (cbrt (fma (log c) (- b 0.5) (+ a (+ (fma x (log y) z) t)))))

prune12.0m (13.7%)

sample8.6m (9.8%)

Algorithm
538×intervals
Results
3.2m2588262×body80valid
58.6s514084×body80nan
40.4s46830×body1280valid
24.2s42437×body640valid
9.2s5541×body2560valid
8.9s24791×body320valid
4.4s13783×body160valid
1.4s1582×body10240exit
216.0ms694×body640nan
184.0ms512×body1280nan
66.0ms385×body320nan
64.0ms24×body5120valid
28.0ms262×body160nan

rewrite2.0m (2.3%)

Algorithm
863×rewrite-expression-head
Calls

2293 calls:

14.4s
(* (sqrt (pow z y)) (sqrt (/ (/ (pow z y) (/ (* (cbrt (exp b)) (cbrt (exp b))) (pow (* (cbrt a) (cbrt a)) (- t 1.0)))) (/ (cbrt (exp b)) (pow (cbrt a) (- t 1.0))))))
8.5s
(/ (* x (* (sqrt (pow z y)) (sqrt (/ (/ (pow z y) (/ (* (cbrt (exp b)) (cbrt (exp b))) (pow (* (cbrt a) (cbrt a)) (- t 1.0)))) (/ (cbrt (exp b)) (pow (cbrt a) (- t 1.0))))))) (* y (sqrt (/ (exp b) (pow a (- t 1.0))))))
3.2s
(- (+ (- (* (* (* x 18.0) y) (* t z)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
1.8s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
1.4s
(* (fma 1.0 1.0 (* (* (fma 0.04481 x 0.99229) x) (- (* (fma 0.04481 x 0.99229) x) 1.0))) (+ (- (/ (fma 0.27061 x 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))) (/ (fma 0.27061 x 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))))
Rules
136394×times-frac
84531×add-sqr-sqrt
82309×*-un-lft-identity
64609×add-cube-cbrt
32741×prod-diff
25268×associate-*r*
24530×sqrt-prod
21324×unpow-prod-up
18117×cbrt-prod
17305×unpow-prod-down
9174×add-exp-log
7270×add-cbrt-cube
6705×difference-of-squares
5937×distribute-lft-out--
5742×sqr-pow
5526×pow1
4594×div-inv
4405×associate-/r/
3541×associate-/r*
3306×associate-*l*
3023×add-log-exp
2966×distribute-lft-out
2727×distribute-rgt-in distribute-lft-in
2407×prod-exp
2351×sub-neg
2308×associate-/l*
2298×log1p-expm1-u
2297×expm1-log1p-u
2109×div-exp
1960×flip3-- flip--
1920×cbrt-unprod
1697×unswap-sqr
1422×cbrt-undiv
1385×pow-prod-down
1260×log-prod
1110×pow-sub
1015×fma-def
887×flip-+ flip3-+
876×cbrt-div
848×associate-*r/
768×pow1/3
743×fma-neg
732×associate-*l/
683×frac-times
662×difference-of-sqr-1
628×swap-sqr
605×*-commutative associate--l+
515×clear-num frac-2neg
436×associate-+l+
418×sqrt-pow1
360×associate-/l/
345×log-pow
327×exp-sum
309×associate-+r+
300×fma-udef
266×pow1/2
264×1-exp
258×rec-exp
246×pow-prod-up
230×cube-prod pow-exp
208×sum-log
192×diff-log
179×pow-sqr
173×distribute-lft-neg-in
172×pow-to-exp
168×distribute-rgt-neg-in
162×exp-prod
138×+-commutative
137×sqrt-div
128×pow-unpow
122×unpow2
117×div-sub
92×pow-pow
91×frac-add
86×rem-sqrt-square
83×pow-flip
82×pow-plus
78×inv-pow
74×pow2
67×frac-sub
59×rem-log-exp
56×distribute-rgt-out
52×distribute-rgt-out--
42×unpow3 cube-mult log-div
38×un-div-inv
33×sum-cubes tanh-def
32×sinh-def
31×neg-mul-1
28×associate--r+
27×sqrt-unprod
24×associate-+l-
23×cos-sum
20×cube-div
16×distribute-neg-frac
15×rem-exp-log rem-cube-cbrt
14×sub-div cosh-def
13×rem-square-sqrt distribute-rgt-neg-out expm1-udef
12×unsub-neg expm1-log1p hypot-def
11×exp-diff distribute-lft-neg-out hypot-udef
10×neg-sub0 associate-+r-
9×sqrt-pow2 distribute-lft1-in associate--l-
8×log1p-udef log1p-expm1 diff-cos
7×distribute-neg-in associate--r-
6×rem-cbrt-cube
5×difference-cubes distribute-rgt1-in exp-neg count-2
4×unpow1/3 distribute-frac-neg
3×pow-div cos-diff sqrt-undiv tan-quot neg-log
2×e-exp-1 sin-mult
1×exp-to-pow

regimes53.2s (1.0%)

Accuracy

Total 187.2b remaining (39.3%)

Threshold costs 26.4b (5.5%)

13.1b58.8%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.8b46.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.2b10.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
8.2b33.7%Development.Shake.Progress:decay from shake-0.15.5
8.1b0%Data.Colour.Matrix:determinant from colour-2.3.3, A

localize17.2s (0.3%)

bsearch6.1s (0.1%)

end6.0ms (0.0%)