Details

series21.1m (60.5%)

Calls

2333 calls:

4.8m
(pow (fma z (/ t 16.0) (fma y x (fma (- (/ a 4.0)) b c))) 3)
1.6m
(* (fma (- (tanh (/ x y))) 1 (* (tanh (/ x y)) 1)) (* y z))
7.4s
(fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* (- t 1.0) a)))
3.8s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* t i)))))
3.7s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (+ (* b (* c z)) (* b (- (* t i))))))

prune5.3m (15.3%)

sample5.3m (15.2%)

Algorithm
538×intervals
Results
2.5m2587730×body80valid
42.5s522852×body80nan
22.1s47596×body1280valid
12.9s43482×body640valid
5.3s5758×body2560valid
5.0s24494×body320valid
2.0s13941×body160valid
1.0s1513×body10240exit
146.0ms704×body640nan
125.0ms43×body5120valid
112.0ms472×body1280nan
70.0ms419×body320nan
28.0ms255×body160nan
8.0ms89×body80overflowed

simplify1.5m (4.2%)

Algorithm
1402×egg-herbie

regimes43.6s (2.1%)

Accuracy

Total 170.4b remaining (36.5%)

Threshold costs 27.6b (5.9%)

13.1b58.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.6b51.2%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
11.3b9.1%Development.Shake.Progress:decay from shake-0.15.5
7.3b6.8%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.2b13.7%Numeric.Signal:interpolate from hsignal-0.2.7.1

rewrite41.0s (2.0%)

Algorithm
865×rewrite-expression-head
Calls

2335 calls:

1.7s
(* (* 3.0 (- (+ (/ (/ (pow (cbrt 1.0) 3) 9.0) x) y) 1.0)) (sqrt x))
1.7s
(* 3.0 (- (+ (/ (/ (pow (cbrt 1.0) 3) 9.0) x) y) 1.0))
489.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
483.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
480.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
Rules
96109×times-frac
67919×*-un-lft-identity
64898×add-sqr-sqrt
50725×add-cube-cbrt
28052×sqrt-prod
12538×prod-diff
9769×add-exp-log
7576×add-cbrt-cube
6101×pow1
5761×distribute-lft-out--
5581×difference-of-squares
5522×associate-*r*
5355×cbrt-prod
4082×div-inv
3178×associate-*l*
3154×add-log-exp
3134×associate-/r*
3100×distribute-lft-out
2718×associate-/l*
2654×distribute-rgt-in distribute-lft-in
2640×associate-/r/
2563×prod-exp
2403×div-exp
2340×log1p-expm1-u
2338×expm1-log1p-u
2181×flip3-- flip--
1988×cbrt-unprod
1845×associate-*r/
1663×associate-*l/
1576×cbrt-undiv
1536×unpow-prod-down
1521×pow-prod-down
1464×cbrt-div
1311×fma-neg
1245×unswap-sqr
1239×flip-+ flip3-+
1157×frac-times
1144×log-prod
841×fma-def
789×pow1/3
766×cube-prod
711×sqrt-div
687×sqrt-pow1
674×swap-sqr
666×frac-sub
615×*-commutative
599×distribute-rgt-neg-in
597×distribute-lft-neg-in
546×associate-+r+
534×associate--l+
531×exp-sum
530×associate-/l/
506×clear-num frac-2neg
480×sqr-pow
472×sub-neg
428×log-pow
426×associate-+l+
340×1-exp
327×rec-exp
321×fma-udef
318×pow-prod-up
315×pow1/2
277×sum-log
269×neg-mul-1
234×pow-sqr
211×unpow2
180×diff-log
164×pow-exp
161×+-commutative
152×exp-prod
149×cube-mult unpow3
117×pow-flip
115×associate--r+
114×pow-to-exp
111×pow-plus
107×div-sub
105×pow-unpow
102×rem-sqrt-square
97×pow2
87×frac-add
83×inv-pow
69×log-div
67×pow-pow
62×tanh-def
51×distribute-rgt-out--
48×un-div-inv
45×rem-log-exp
34×distribute-rgt-neg-out
33×distribute-rgt-out hypot-def
23×cos-sum sinh-def
21×sqrt-unprod
19×unsub-neg
18×distribute-lft-neg-out rem-square-sqrt associate-+l-
17×rem-cube-cbrt associate-+r-
16×cube-div rem-exp-log sub-div
15×unpow1/3
13×associate--r- cosh-def
12×rem-cbrt-cube
10×difference-cubes neg-sub0
8×log1p-udef log1p-expm1 hypot-udef
7×exp-diff expm1-log1p expm1-udef distribute-neg-frac
6×distribute-frac-neg
5×sin-neg distribute-lft1-in distribute-rgt1-in count-2
4×sqrt-pow2 exp-to-pow tan-quot sin-diff
3×associate--l- exp-neg cos-diff mul-1-neg
2×pow3 neg-log sum-cos
1×sqrt-undiv diff-cos log-rec

localize9.8s (0.5%)

bsearch5.8s (0.3%)

end6.0ms (0.0%)