rewrite267.0ms

Algorithm

rewrite-expression-head

Rules

92×	add-sqr-sqrt_binary64
87×	*-un-lft-identity_binary64
66×	times-frac_binary64
37×	add-cube-cbrt_binary64
34×	log-prod_binary64
30×	difference-of-squares_binary64
15×	distribute-lft-out_binary64
14×	add-exp-log_binary64
13×	associate-*l*_binary64
11×	add-cbrt-cube_binary64
10×	sqr-pow_binary64 unpow-prod-down_binary64 distribute-lft-out--_binary64
7×	associate-/r*_binary64 pow1_binary64
6×	add-log-exp_binary64
4×	associate-/r/_binary64 associate-/l*_binary64 insert-posit16
3×	flip3--_binary64 associate-*r*_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64
2×	associate-/l/_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 rem-log-exp_binary64 unswap-sqr_binary64 prod-exp_binary64
1×	pow-prod-down_binary64 flip3-+_binary64 sub-neg_binary64 diff-log_binary64 log-pow_binary64 clear-num_binary64 frac-2neg_binary64 log-div_binary64 flip-+_binary64 associate-*l/_binary64 *-commutative_binary64

Counts

4 → 151

Calls

4 calls:

8.0ms	(*.f64 (/.f64 PI.f64 4) f)
15.0ms	(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
17.0ms	(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
218.0ms	(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))