rewrite103.0ms

Algorithm

rewrite-expression-head

Rules

29×	add-sqr-sqrt_binary64_12532
22×	*-un-lft-identity_binary64_12547 add-cube-cbrt_binary64_12518
21×	add-cbrt-cube_binary64_12519 add-exp-log_binary64_12511
19×	associate-*r*_binary64_12606 times-frac_binary64_12542
16×	pow1_binary64_12489
8×	prod-exp_binary64_12494 cbrt-unprod_binary64_12516
7×	associate-*l*_binary64_12607 pow-prod-down_binary64_12470
4×	unswap-sqr_binary64_12575 add-log-exp_binary64_12512 associate-/r/_binary64_12612
3×	associate-/r*_binary64_12610 associate-/l*_binary64_12611 flip-+_binary64_12572 flip3-+_binary64_12545 *-commutative_binary64_12615
2×	cbrt-undiv_binary64_12517 div-inv_binary64_12548 div-exp_binary64_12496 associate-/l/_binary64_12613
1×	associate-*r/_binary64_12608 clear-num_binary64_12550 frac-2neg_binary64_12540

Counts

4 → 103

Calls

4 calls:

8.0ms	(*.f64 (*.f64 x x) 1737369620307813/2251799813685248)
7.0ms	(*.f64 3782789308857969/36028797018963968 (*.f64 x x))
38.0ms	(*.f64 x (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (*.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 (*.f64 x x) 1737369620307813/2251799813685248)) (*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (*.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (*.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12)))))
45.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (*.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 (*.f64 x x) 1737369620307813/2251799813685248)) (*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (*.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (*.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))