Details

rewrite21.9s (3.0%)

Algorithm

146×	rewrite-expression-head

Calls

509 calls:

428.0ms	(* (/ 4.0 (/ (- (pow (- b) 3) (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3)) (* a c))) (+ (* (- b) (- b)) (+ (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
363.0ms	(* (- (- (* 1.0 (/ m v)) (/ (pow m 2) v)) 1.0) (- 1.0 m))
338.0ms	(* (- (/ (* m (- (pow 1.0 3) (pow m 3))) (* (+ (* m (+ m 1.0)) (* 1.0 1.0)) v)) 1.0) (- 1.0 m))
330.0ms	(* (- (/ (* m (- (pow 1.0 3) (pow m 3))) (* (+ (* m (+ m 1.0)) (* 1.0 1.0)) v)) 1.0) (- m))
280.0ms	(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

Rules

7804×	times-frac
7341×	*-un-lft-identity
7006×	add-sqr-sqrt
4152×	add-cube-cbrt
2864×	add-exp-log
1958×	add-cbrt-cube
1803×	sqrt-prod
1554×	pow1
1312×	difference-of-squares
1228×	associate-*r*
1009×	unpow-prod-down
991×	prod-exp
917×	associate-/l*
846×	associate-*l*
841×	distribute-lft-out--
792×	add-log-exp
789×	div-exp
766×	cube-prod
704×	distribute-lft-out
670×	flip--
669×	flip3--
578×	associate-*l/
566×	associate-/r*
528×	cbrt-unprod
496×	sqrt-div
470×	sqr-pow
452×	pow-prod-down
403×	cbrt-undiv
382×	associate-/r/
373×	pow-exp
351×	div-inv
345×	frac-times
337×	associate-*r/
285×	frac-add
276×	distribute-rgt-neg-in pow-to-exp
232×	unswap-sqr
226×	flip-+
225×	flip3-+
219×	swap-sqr
166×	log-prod
154×	cbrt-prod
144×	associate-/l/
127×	clear-num *-commutative frac-2neg
105×	sub-neg
89×	pow-prod-up diff-log
82×	exp-prod
79×	unpow3 cube-mult
73×	pow-pow
71×	pow-sqr
69×	log-pow
65×	div-sub
61×	sum-log
54×	pow-unpow
49×	pow-plus
46×	frac-sub
45×	cbrt-div
41×	+-commutative
40×	pow1/3
39×	pow1/2 sqrt-pow1 log-div
35×	distribute-rgt-in distribute-lft-in
34×	associate-+l-
33×	difference-cubes distribute-lft-neg-in pow2
32×	rem-sqrt-square
31×	unpow2
28×	neg-sub0
25×	rem-log-exp
20×	sin-mult
19×	1-exp rec-exp tan-quot
17×	sin-diff
16×	rem-cube-cbrt neg-log associate--l+
15×	cos-diff pow-flip distribute-rgt-out
14×	associate-+r+
13×	sin-cos-mult associate--l-
12×	cube-div exp-sum associate--r+
11×	neg-mul-1 cos-sum
10×	distribute-frac-neg
9×	distribute-rgt-out-- acos-asin
6×	difference-of-sqr-1
5×	acos-neg inv-pow sin-sum associate-+l+ cos-mult associate-+r-
4×	exp-diff associate--r- distribute-rgt-neg-out
3×	rem-exp-log
2×	un-div-inv distribute-lft1-in distribute-lft-neg-out exp-neg sum-cubes sqr-sin sub-div exp-to-pow rem-cbrt-cube
1×	sqrt-undiv sqrt-unprod pow3 unsub-neg tanh-undef asin-acos tanh-def