Details

series17.7m (63.2%)

Calls

2314 calls:

3.2m	(* (* y z) (fma (- (tanh (/ x y))) 1 (* (tanh (/ x y)) 1)))
7.0s	(fma (- (* c t) (* i y)) j (- (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (fma y z (- (* a t))))) (* x (fma (- a) t (* a t)))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
4.0s	(fma (- (* c a) (* y i)) j (- (* x (fma y z (- (* a t)))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
4.0s	(fma (- (* c a) (* y i)) j (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (fma y z (- (* a t))))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
4.0s	(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))

prune4.0m (14.3%)

sample3.5m (12.4%)

Algorithm

537×

intervals

Results

1.2m	2583524×	body	80	valid
20.9s	506870×	body	80	nan
17.7s	47122×	body	1280	valid
9.4s	42542×	body	640	valid
4.4s	5733×	body	2560	valid
3.6s	24474×	body	320	valid
1.3s	13722×	body	160	valid
801.0ms	1616×	body	10240	exit
103.0ms	39×	body	5120	valid
102.0ms	690×	body	640	nan
90.0ms	468×	body	1280	nan
45.0ms	426×	body	320	nan
16.0ms	229×	body	160	nan

simplify1.3m (4.7%)

Algorithm

1398×

egg-herbie

regimes42.5s (2.5%)

Accuracy

Total 179.3b remaining (36.9%)

Threshold costs 24.2b (5%)

13.1b	58.2%	Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.7b	46.6%	AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.3b	-33.4%	Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.6b	18.2%	Numeric.Signal:interpolate from hsignal-0.2.7.1
7.1b	10.4%	Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

rewrite33.9s (2.0%)

Algorithm

863×	rewrite-expression-head

Calls

2317 calls:

679.0ms	(* (* (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 2) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))) (cbrt (cbrt 3.0))) y)
639.0ms	(* x (+ (+ (+ (+ y z) z) y) t))
495.0ms	(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
284.0ms	(* (sqrt x) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
266.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))

Rules

40654×	`*-un-lft-identity`
40273×	`add-sqr-sqrt`
39713×	`times-frac`
28469×	`add-cube-cbrt`
12827×	`prod-diff`
10401×	`add-exp-log`
7429×	`add-cbrt-cube`
5945×	`pow1`
5463×	`cbrt-prod`
4665×	`associate-r`
4470×	`difference-of-squares`
4314×	`distribute-lft-out--`
3806×	`associate-l`
3152×	`prod-exp`
3120×	`add-log-exp`
2869×	`sqrt-prod`
2582×	`div-inv`
2565×	`distribute-rgt-in` `distribute-lft-in`
2542×	`associate-/r*`
2472×	`div-exp`
2318×	`expm1-log1p-u`
2317×	`log1p-expm1-u`
2108×	`cbrt-unprod`
2020×	`associate-/r/`
1958×	`distribute-lft-out`
1937×	`associate-/l*`
1734×	`unpow-prod-down`
1495×	`pow-prod-down`
1447×	`flip--` `flip3--`
1446×	`cbrt-undiv`
1398×	`log-prod`
1255×	`cbrt-div`
1213×	`cube-prod`
1158×	`unswap-sqr`
981×	`associate-*r/`
961×	`flip-+` `flip3-+`
854×	`pow1/3`
844×	`frac-times`
795×	`swap-sqr`
781×	`associate-*l/`
612×	`*-commutative`
607×	`fma-neg`
604×	`associate-+r+`
603×	`sqrt-pow1`
577×	`associate-+l+`
562×	`associate--l+`
505×	`log-pow`
459×	`clear-num` `frac-2neg`
435×	`fma-def`
415×	`pow-exp`
413×	`sub-neg`
399×	`sqr-pow`
372×	`exp-prod`
366×	`associate-/l/`
339×	`fma-udef`
322×	`pow-prod-up`
308×	`sqrt-div`
301×	`1-exp`
299×	`pow1/2`
287×	`rec-exp`
249×	`sum-log`
243×	`pow-sqr`
232×	`associate--r+`
195×	`distribute-lft-neg-in`
194×	`distribute-rgt-neg-in`
184×	`diff-log`
174×	`pow-to-exp`
162×	`+-commutative`
160×	`cube-mult` `unpow3`
148×	`pow-unpow`
117×	`frac-sub`
112×	`pow-plus`
111×	`div-sub`
110×	`exp-sum`
107×	`pow2`
101×	`pow-pow`
98×	`rem-sqrt-square`
94×	`frac-add`
90×	`unpow-prod-up`
73×	`log-div`
64×	`un-div-inv` `rem-log-exp`
58×	`pow-flip`
53×	`inv-pow`
49×	`unpow2`
40×	`neg-mul-1`
36×	`distribute-rgt-neg-out`
29×	`tanh-def` `sinh-def`
26×	`distribute-rgt-out`
25×	`rem-cube-cbrt`
23×	`sqrt-unprod` `cos-sum`
22×	`distribute-rgt-out--`
21×	`rem-exp-log`
20×	`distribute-lft-neg-out` `unsub-neg` `rem-square-sqrt`
16×	`associate-+l-`
15×	`difference-cubes`
13×	`cube-div` `sub-div`
12×	`hypot-udef`
11×	`associate-+r-` `hypot-def`
10×	`distribute-lft1-in` `associate--l-`
9×	`associate--r-` `cosh-def`
8×	`unpow1/3` `diff-cos`
7×	`rem-cbrt-cube` `tan-quot`
6×	`exp-diff` `neg-sub0` `distribute-neg-frac`
5×	`distribute-rgt1-in` `count-2`
4×	`expm1-udef` `sum-cubes` `exp-to-pow`
3×	`sqrt-pow2` `cos-diff` `expm1-log1p` `distribute-frac-neg` `neg-log` `sin-mult` `cos-mult`
2×	`pow-sub`
1×	`sqrt-undiv` `log1p-udef` `exp-neg` `log1p-expm1` `remove-double-div` `cube-neg` `mul-1-neg`

Details

series17.7m (63.2%)

prune4.0m (14.3%)

sample3.5m (12.4%)

simplify1.3m (4.7%)

regimes42.5s (2.5%)

rewrite33.9s (2.0%)

localize9.3s (0.6%)

bsearch4.3s (0.3%)

end6.0ms (0.0%)