Details

rewrite9.5s (4.3%)

Algorithm

103×	rewrite-expression-head

Calls

349 calls:

563.0ms	(/ (* (cbrt (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t)) (cbrt (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t))) (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (cbrt (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t))))
466.0ms	(/ (- (* (* (* (fabs (cbrt (+ t a))) z) (sqrt (cbrt (+ t a)))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
456.0ms	(* t (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0))))
322.0ms	(/ (- (* (* (* (fabs (cbrt (+ t a))) z) (sqrt (cbrt (+ t a)))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
296.0ms	(- (* (* (* (fabs (cbrt (+ t a))) z) (sqrt (cbrt (+ t a)))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0)))))

Rules

4539×	times-frac
4379×	*-un-lft-identity
4243×	add-sqr-sqrt
3781×	associate-*l/
3655×	associate-*r/
2770×	add-cube-cbrt
2614×	add-exp-log
2452×	flip3-- flip--
2394×	frac-sub
2105×	frac-times
1271×	add-cbrt-cube
1238×	prod-exp
1202×	cbrt-div
1070×	sqrt-div
935×	flip-+ flip3-+
930×	pow1
767×	cbrt-prod
765×	associate-*r*
747×	associate-*l*
737×	associate-/l/
700×	div-exp
654×	unpow-prod-down
546×	add-log-exp
536×	difference-of-squares
510×	distribute-lft-out--
443×	cbrt-unprod
398×	pow-exp
354×	associate-/r*
350×	associate-/l*
342×	cube-prod
326×	distribute-lft-out
324×	distribute-rgt-neg-in
289×	distribute-lft-neg-in
288×	pow-prod-down
261×	associate-/r/
240×	sqrt-prod
209×	pow-to-exp
205×	div-inv
196×	cbrt-undiv
192×	unswap-sqr
156×	distribute-rgt-in distribute-lft-in
134×	log-prod
122×	*-commutative sub-neg
121×	sub-div
85×	neg-mul-1
78×	1-exp
75×	rec-exp
73×	sqr-pow
69×	pow1/3
65×	clear-num frac-2neg
62×	sum-log
56×	exp-sum
52×	diff-log
47×	swap-sqr
41×	pow-unpow
40×	pow1/2 sqrt-pow1
36×	frac-add log-pow
35×	tan-quot
34×	associate-+r+
31×	associate--r+
29×	rem-sqrt-square sin-mult
27×	+-commutative
25×	unpow2
24×	exp-prod cos-mult
23×	associate-+l+
22×	neg-sub0
19×	associate-+l-
18×	associate--l+
17×	neg-log div-sub
16×	pow-prod-up
14×	pow-sqr
12×	unpow3 cube-mult
11×	distribute-rgt-neg-out
10×	pow-pow associate--l- log-div
9×	cube-div associate-+r-
8×	pow-plus pow-flip
7×	rem-exp-log inv-pow pow2
6×	rem-cube-cbrt distribute-neg-frac
5×	exp-diff un-div-inv distribute-frac-neg
4×	distribute-neg-in log-rec
3×	distribute-lft-neg-out unsub-neg
2×	sqrt-unprod unpow-prod-up tan-sum cos-sum rem-cbrt-cube
1×	e-exp-1 pow-neg exp-neg pow-sub rem-square-sqrt cube-neg exp-to-pow rem-log-exp