rewrite339.0ms

Algorithm

rewrite-expression-head

Rules

86×	times-frac_binary64_9380
66×	flip3-+_binary64_9383 associate-/r/_binary64_9450 flip-+_binary64_9410
61×	add-cbrt-cube_binary64_9357 add-exp-log_binary64_9349
46×	add-sqr-sqrt_binary64_9370
44×	*-un-lft-identity_binary64_9385 frac-times_binary64_9377
34×	associate-*r/_binary64_9446
30×	add-cube-cbrt_binary64_9356
28×	difference-of-squares_binary64_9414
22×	prod-exp_binary64_9332 associate-*l/_binary64_9447 cbrt-unprod_binary64_9354
19×	cbrt-undiv_binary64_9355 div-exp_binary64_9334
16×	pow1_binary64_9327
14×	associate-/l*_binary64_9449 difference-of-sqr-1_binary64_9415
9×	div-inv_binary64_9386 associate-/l/_binary64_9451
7×	associate-/r*_binary64_9448
6×	associate-*r*_binary64_9444
4×	add-log-exp_binary64_9350 associate-*l*_binary64_9445 pow-prod-down_binary64_9308
3×	swap-sqr_binary64_9412
2×	distribute-lft-in_binary64_9427 distribute-rgt-in_binary64_9428 *-commutative_binary64_9453 clear-num_binary64_9388 frac-2neg_binary64_9378
1×	pow-plus_binary64_9322 unswap-sqr_binary64_9413 flip--_binary64_9411 flip3--_binary64_9384 pow-sqr_binary64_9418 pow-prod-up_binary64_9307 pow2_binary64_9318

Counts

4 → 228

Calls

4 calls:

16.0ms	(*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
17.0ms	(*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i))))
50.0ms	(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
240.0ms	(/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))