Details

rewrite26.8s (3.8%)

Algorithm

105×	rewrite-expression-head

Calls

357 calls:

1.3s	(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (- a 0.5) (log (cbrt t))))
1.3s	(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))
1.0s	(/ (- (* (* z (sqrt (+ 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))))
885.0ms	(/ (+ (* (+ (* (* (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))
709.0ms	(* (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))

Rules

6450×	times-frac
4924×	add-sqr-sqrt
4807×	*-un-lft-identity
3811×	add-cube-cbrt
2973×	add-exp-log
1675×	prod-exp
1533×	cbrt-prod
1330×	add-cbrt-cube
1049×	associate-*l/
982×	associate-*r/
860×	pow1
847×	unpow-prod-down flip3-- flip--
731×	distribute-rgt-neg-in
712×	distribute-lft-neg-in
699×	associate-*r*
675×	cube-prod
623×	associate-*l*
605×	frac-times
599×	frac-sub
563×	add-log-exp
464×	div-exp
446×	cbrt-unprod
376×	sqrt-div
364×	associate-/r* pow-exp
354×	pow-to-exp
333×	difference-of-squares
310×	distribute-lft-out--
303×	div-inv
274×	associate-/l*
266×	sqrt-prod flip-+ flip3-+
223×	neg-mul-1 unswap-sqr
222×	pow-prod-down
210×	distribute-lft-out
209×	associate-/l/
207×	cbrt-undiv
156×	exp-prod
146×	cbrt-div
142×	distribute-rgt-in sub-neg distribute-lft-in
141×	log-prod
132×	*-commutative
127×	sqr-pow
115×	associate-/r/
96×	log-pow
89×	tan-quot
83×	associate-+r+
80×	frac-add
67×	sum-log
66×	distribute-neg-frac
65×	clear-num frac-2neg
58×	diff-log
56×	pow1/3
55×	sqrt-pow1
51×	unpow3 cube-mult
44×	1-exp
43×	rec-exp
41×	pow1/2 pow-unpow
31×	exp-sum
30×	associate-+l+
29×	rem-sqrt-square
26×	+-commutative associate--r+
22×	log-div
20×	pow-prod-up unpow2 swap-sqr associate-+l-
19×	pow-pow
18×	cube-div
16×	exp-diff
15×	associate--l+
14×	unpow-prod-up
13×	sin-mult cos-mult
12×	pow-sqr div-sub
11×	un-div-inv inv-pow pow-flip neg-sub0
10×	pow-plus
9×	rem-exp-log
8×	pow-sub
7×	sub-div distribute-frac-neg
6×	neg-log
5×	rem-cube-cbrt associate--l- pow2
4×	rem-cbrt-cube
3×	distribute-lft-neg-out exp-neg distribute-rgt-neg-out rem-log-exp
2×	sqrt-unprod cos-sum tan-sum associate-+r-
1×	e-exp-1 pow3 quot-tan unsub-neg rem-square-sqrt log-rec acos-asin cube-neg exp-to-pow