rewrite247.0ms

Algorithm

rewrite-expression-head

Rules

33×	add-sqr-sqrt_binary64_685
30×	*-un-lft-identity_binary64_700
26×	add-cube-cbrt_binary64_671
21×	times-frac_binary64_695
19×	add-exp-log_binary64_664
15×	sqrt-prod_binary64_679
13×	unpow-prod-down_binary64_631
12×	associate-*l*_binary64_760
8×	add-cbrt-cube_binary64_672
6×	associate-/r*_binary64_763 pow1_binary64_642 prod-exp_binary64_647
5×	associate-*r*_binary64_759
4×	unswap-sqr_binary64_728 pow-exp_binary64_620 sqrt-div_binary64_680 add-log-exp_binary64_665
3×	unpow2_binary64_639 associate-/l*_binary64_764 flip3-+_binary64_698 pow-unpow_binary64_629 sqr-pow_binary64_732 div-exp_binary64_649 flip-+_binary64_725
2×	distribute-lft-out_binary64_744 div-inv_binary64_701 associate-/r/_binary64_765 associate-*r/_binary64_761 pow-to-exp_binary64_621
1×	rem-sqrt-square_binary64_688 clear-num_binary64_703 distribute-rgt-in_binary64_743 sqrt-pow1_binary64_681 distribute-lft-in_binary64_742 cbrt-unprod_binary64_669 pow1/2_binary64_632 frac-2neg_binary64_693 pow-pow_binary64_624 cbrt-undiv_binary64_670 *-commutative_binary64_768

Counts

4 → 113

Calls

4 calls:

3.0ms	(pow.f64 (sin.f64 kx) 2)
8.0ms	(/.f64 1/2 (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))
19.0ms	(*.f64 (pow.f64 (/.f64 (*.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
212.0ms	(sqrt.f64 (+.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))