Details

rewrite23.9s (1.9%)

Algorithm

142×	rewrite-expression-head

Calls

456 calls:

10.7s	(/ (+ (* (* 1/60 (* (* x x) (* (* x x) x))) (* (* 1/60 (* (* x x) (* (* x x) x))) (* 1/60 (* (* x x) (* (* x x) x))))) (* (* (* (* x x) x) (+ (* 1/3 (* x x)) 2)) (* (+ (* 1/3 (* x x)) 2) (+ (* 1/3 (* x x)) 2)))) (+ (* (* (+ (* 1/3 (* x x)) 2) (+ (* 1/3 (* x x)) 2)) (* x x)) (* (* 1/60 (* (* x x) (* (* x x) x))) (- (* 1/60 (* (* x x) (* (* x x) x))) (* (+ (* 1/3 (* x x)) 2) x)))))
503.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2))) (cbrt (cos (/ (+ phi1 phi2) 2)))) (cbrt (cos (/ (+ phi1 phi2) 2))))) (* (- lambda1 lambda2) (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2)))))) (* (- phi1 phi2) (- phi1 phi2))))
440.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2))) (cbrt (cos (/ (+ phi1 phi2) 2)))) (cbrt (cos (/ (+ phi1 phi2) 2))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
284.0ms	(- (sqrt (- (* b b) (* (* 3 a) c))) b)
259.0ms	(* (cbrt (+ (/ 1 (- x 1)) (/ x (+ x 1)))) (cbrt (+ (/ 1 (- x 1)) (/ x (+ x 1)))))

Rules

4315×	times-frac
4283×	*-un-lft-identity
4125×	add-sqr-sqrt
3332×	add-exp-log
2900×	add-cube-cbrt
1665×	add-cbrt-cube
1380×	prod-exp
1124×	pow1
1103×	div-exp
1089×	sqrt-prod
942×	associate-*l/
780×	flip--
779×	flip3--
718×	frac-times
702×	add-log-exp
697×	pow-exp
587×	associate-*r*
510×	sqrt-div
490×	associate-*l*
466×	associate-/r*
464×	cbrt-prod
456×	insert-posit16
449×	cbrt-unprod
435×	frac-add
417×	associate-*r/
372×	difference-of-squares
361×	associate-/l*
349×	pow-to-exp
347×	cbrt-undiv
339×	distribute-lft-out
281×	div-inv
246×	pow-prod-down
245×	distribute-lft-out--
239×	cbrt-div
212×	swap-sqr
198×	unswap-sqr
196×	1-exp
193×	rec-exp
154×	flip-+
153×	flip3-+
146×	associate-/r/
111×	*-commutative
108×	sub-neg
106×	tanh-def
105×	log-prod
103×	frac-2neg clear-num
87×	diff-log
81×	cos-mult
80×	sqrt-pow1 pow1/2
79×	pow-prod-up
69×	associate-/l/
68×	exp-prod
66×	log-pow
57×	pow-flip
56×	pow1/3 unpow-prod-down
47×	pow-sqr
46×	pow-plus
44×	sum-log
40×	difference-of-sqr-1
39×	distribute-rgt-in div-sub distribute-lft-in
38×	frac-sub rem-sqrt-square
34×	log-div
32×	+-commutative
27×	pow2
26×	tan-quot associate--l+
23×	inv-pow
19×	distribute-rgt-out--
18×	rem-log-exp
17×	sin-diff
16×	sin-mult cos-diff
15×	associate-+r+
13×	cos-sum acos-asin
12×	sin-cos-mult sqr-pow associate--r+
11×	associate--l-
10×	un-div-inv
9×	associate-+l-
7×	pow3
6×	associate-+l+ sin-sum pow-unpow pow-pow distribute-rgt-neg-in
5×	remove-posit16 exp-diff
4×	distribute-frac-neg sqrt-unprod acos-neg distribute-rgt-out
3×	rem-square-sqrt rem-cbrt-cube distribute-lft-neg-out distribute-lft-neg-in
2×	neg-sub0 exp-sum distribute-rgt-neg-out rem-exp-log unsub-neg associate--r-
1×	neg-log tanh-undef neg-mul-1 exp-to-pow asin-acos distribute-rgt1-in