Details

rewrite15.8s

Algorithm

128×	rewrite-expression-head

Calls

397 calls:

Slowest

879.0ms	(cbrt (* (* (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1) (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)) (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)))
537.0ms	(* (/ (exp a) (+ (* (exp b) (* (exp b) (exp b))) (* (* (exp a) (exp a)) (exp a)))) (+ (* (exp b) (exp b)) (- (* (exp a) (exp a)) (* (exp b) (exp a)))))
423.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))))
387.0ms	(log (+ x (- (/ 1/2 x) (- (/ 1/8 (* (* x x) x)) x))))
361.0ms	(/ (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (* (+ (/ 2 (+ 1 (exp (* -2 x)))) 1) (/ 2 (+ 1 (exp (* -2 x))))) 1))

Rules

4277×	add-sqr-sqrt
4220×	times-frac
4128×	*-un-lft-identity
2844×	add-exp-log
2771×	add-cube-cbrt
1546×	add-cbrt-cube
1241×	associate-*l/
1109×	prod-exp
1099×	flip--
1098×	flip3--
1039×	pow1
981×	div-exp
705×	associate-*l*
700×	pow-exp
686×	frac-times
682×	sqrt-div
616×	associate-*r*
606×	add-log-exp
587×	frac-add
582×	difference-of-squares
474×	sqrt-prod
457×	associate-/r*
405×	cbrt-unprod
402×	associate-*r/
397×	insert-posit16
354×	associate-/l*
352×	pow-to-exp
345×	cbrt-undiv
340×	log-prod
309×	distribute-lft-out--
296×	div-inv
265×	distribute-lft-out
213×	pow-prod-down
170×	associate-/r/ unswap-sqr
162×	cbrt-prod
140×	1-exp rec-exp
131×	flip-+
130×	flip3-+
124×	associate--l+
114×	sub-neg
111×	log-pow
103×	*-commutative
97×	difference-of-sqr-1
95×	frac-2neg clear-num
90×	exp-prod swap-sqr
88×	distribute-rgt-in distribute-lft-in
81×	diff-log
76×	unpow-prod-down
72×	distribute-rgt-neg-in distribute-lft-neg-in
65×	pow-prod-up
64×	log-div
62×	cbrt-div
60×	tan-quot
56×	associate-/l/
53×	associate-+l+
46×	sqrt-pow1
44×	pow-plus associate--r+ pow1/2
42×	pow-sqr
36×	rem-sqrt-square
33×	sum-log
30×	pow2
27×	div-sub
26×	pow1/3
24×	neg-mul-1 rem-log-exp
23×	associate--r-
22×	frac-sub +-commutative
20×	pow-flip sqr-pow
18×	associate-+r+
15×	inv-pow
14×	associate--l- acos-asin
11×	cos-diff
10×	distribute-rgt-out-- pow3 cos-sum
7×	cube-unmult sin-mult sum-cubes associate-+l-
6×	pow-unpow pow-pow
4×	exp-sum distribute-frac-neg sub-div
3×	exp-diff sqrt-unprod rem-exp-log acos-neg distribute-rgt-out
2×	sin-sum associate-+r- quot-tan asin-acos
1×	remove-posit16 cos-mult sub0-neg log-rec tanh-def tanh-undef rem-cbrt-cube sin-diff distribute-rgt1-in