rewrite6.5s (2.4%)

Algorithm

156×	rewrite-expression-head

Calls

470 calls:

111.0ms	(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
104.0ms	(exp.f64 (log.f64 (+.f64 (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)) (+.f64 (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z)) (+.f64 (/.f64 7041008316161153/562949953421312 (-.f64 5 z)) (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (+.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))))))))
91.0ms	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))
89.0ms	(*.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))) (+.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2))))))
85.0ms	(*.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))) (+.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2))))))

Rules

4584×	*-un-lft-identity_binary64
4059×	times-frac_binary64
4026×	add-sqr-sqrt_binary64
2804×	add-cube-cbrt_binary64
2036×	add-exp-log_binary64
1752×	add-cbrt-cube_binary64
1587×	pow1_binary64
1571×	sqrt-prod_binary64
1227×	associate-*r*_binary64
877×	frac-times_binary64
857×	add-sqr-sqrt_binary64_575
846×	associate-*l*_binary64
794×	times-frac_binary64_585
770×	distribute-lft-out_binary64
699×	prod-exp_binary64
680×	*-un-lft-identity_binary64_590
614×	add-log-exp_binary64
602×	flip3-+_binary64 flip-+_binary64
601×	add-cube-cbrt_binary64_561
574×	cbrt-unprod_binary64
532×	associate-*l/_binary64
492×	sqrt-prod_binary64_569
491×	flip3--_binary64 flip--_binary64
484×	associate-*r/_binary64
455×	div-exp_binary64
426×	unpow-prod-down_binary64
397×	associate-/r*_binary64
394×	add-exp-log_binary64_554
383×	associate-*r*_binary64_649
378×	cbrt-undiv_binary64
375×	cbrt-prod_binary64
357×	associate-/r/_binary64
351×	pow-prod-down_binary64
339×	log-pow_binary64
323×	sqrt-div_binary64
311×	associate-/l*_binary64
280×	add-cbrt-cube_binary64_562
272×	unswap-sqr_binary64
263×	difference-of-squares_binary64
246×	sqrt-pow1_binary64
216×	associate-*l*_binary64_650 div-inv_binary64
191×	pow1_binary64_532
181×	prod-exp_binary64_537
166×	frac-add_binary64
153×	distribute-lft-out--_binary64
137×	pow1/2_binary64
132×	associate-/l/_binary64
123×	swap-sqr_binary64
113×	*-commutative_binary64
111×	cbrt-div_binary64
109×	cbrt-unprod_binary64_559
105×	unswap-sqr_binary64_618
101×	pow1/3_binary64 pow-prod-up_binary64
100×	cube-prod_binary64
98×	flip-+_binary64_615 flip3-+_binary64_588
92×	sum-log_binary64
91×	log-prod_binary64
90×	add-log-exp_binary64_555
83×	associate-*r/_binary64_651
73×	clear-num_binary64 frac-2neg_binary64 sqr-pow_binary64
71×	pow-sqr_binary64
67×	unpow-prod-down_binary64_521
65×	pow-prod-down_binary64_513
63×	difference-of-sqr-1_binary64
58×	rem-sqrt-square_binary64
57×	cbrt-prod_binary64_557
56×	pow-exp_binary64
54×	cbrt-div_binary64_558
47×	sub-neg_binary64
46×	distribute-rgt-in_binary64 distribute-lft-in_binary64
43×	+-commutative_binary64
41×	div-exp_binary64_539
40×	associate-/r/_binary64_655 associate-/l*_binary64_654
39×	pow-unpow_binary64 associate-/r*_binary64_653
38×	*-commutative_binary64_658 associate-*l/_binary64_652
37×	pow-plus_binary64 sqrt-div_binary64_570
36×	pow-to-exp_binary64
35×	1-exp_binary64 exp-prod_binary64 cube-prod_binary64_563
33×	distribute-lft-out_binary64_634
32×	diff-log_binary64 rec-exp_binary64
31×	pow2_binary64 frac-times_binary64_582
29×	div-inv_binary64_591 cbrt-undiv_binary64_560 log-div_binary64 pow-pow_binary64
27×	pow1/3_binary64_524
25×	sqr-pow_binary64_622
24×	distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64
21×	div-sub_binary64
19×	cube-mult_binary64
17×	exp-sum_binary64 unpow3_binary64
16×	swap-sqr_binary64_617 frac-sub_binary64_581
15×	exp-diff_binary64
14×	pow-to-exp_binary64_511 pow-exp_binary64_510
12×	rem-cube-cbrt_binary64 frac-add_binary64_580
11×	rem-log-exp_binary64 pow-flip_binary64 associate-+r+_binary64 associate-/l/_binary64_656
10×	rec-exp_binary64_538 distribute-rgt-in_binary64_633 distribute-lft-in_binary64_632 1-exp_binary64_550
9×	sub-neg_binary64_594
7×	flip--_binary64_616 flip3--_binary64_589 clear-num_binary64_593 associate--l+_binary64 frac-2neg_binary64_583
6×	sqrt-unprod_binary64 pow-prod-up_binary64_512 associate--r+_binary64 frac-sub_binary64 neg-mul-1_binary64 associate-+l+_binary64 cube-div_binary64 rem-exp-log_binary64 rem-sqrt-square_binary64_578 inv-pow_binary64 pow1/2_binary64_522 sqrt-pow1_binary64_571 diff-log_binary64_501 un-div-inv_binary64 pow-sqr_binary64_623 sum-log_binary64_500 sin-sum_binary64
5×	cube-mult_binary64_565 unpow3_binary64_530 cos-sum_binary64
4×	rem-cbrt-cube_binary64 sub-div_binary64_579 difference-of-squares_binary64_619 rem-square-sqrt_binary64 distribute-lft-out--_binary64_635
3×	associate-+l-_binary64 +-commutative_binary64_657 unpow2_binary64 pow2_binary64_523 pow-plus_binary64_527 pow-sub_binary64 associate--l+_binary64_646
2×	associate-+r-_binary64 unpow1/3_binary64 sum-cubes_binary64_586 associate--r+_binary64_645
1×	associate--l-_binary64 sqrt-pow2_binary64 un-div-inv_binary64_592 distribute-rgt-out--_binary64_637 associate-+l+_binary64_642 associate--r-_binary64