Details

rewrite14.4s

Algorithm

127×	rewrite-expression-head

Calls

412 calls:

Slowest

355.0ms	(+ x (- (/ 1/2 x) (- (/ 1/8 (* (* x x) x)) x)))
341.0ms	(log (+ x (- (/ 1/2 x) (- (/ 1/8 (* (* x x) x)) x))))
332.0ms	(sqrt (* (cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))))
266.0ms	(cbrt (* (* (- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1)))) (- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))) (- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))))
214.0ms	(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))

Rules

18591×	associate-*l/
15383×	frac-times
13862×	flip--
13861×	flip3--
10045×	cbrt-div
8839×	frac-add
6008×	times-frac
5074×	add-sqr-sqrt associate-*r/
4846×	*-un-lft-identity
4632×	sqrt-div
3608×	add-cube-cbrt
3212×	add-exp-log
1763×	add-cbrt-cube
1491×	frac-sub
1263×	prod-exp
1167×	pow1
1104×	div-exp
773×	flip-+
772×	flip3-+
703×	pow-exp
608×	difference-of-squares
605×	add-log-exp
592×	cbrt-prod
582×	associate-*r*
553×	associate-/l*
520×	associate-/r*
493×	cbrt-unprod
449×	associate-*l*
412×	insert-posit16
409×	cbrt-undiv
393×	sqrt-prod
354×	pow-to-exp
349×	div-inv
331×	distribute-lft-out--
252×	un-div-inv
250×	pow-prod-down
248×	log-prod
194×	distribute-lft-out
158×	associate-/r/
156×	1-exp rec-exp
141×	unswap-sqr
114×	sub-neg
109×	*-commutative
108×	frac-2neg clear-num
106×	tanh-def
102×	swap-sqr
95×	unpow-prod-down
92×	pow-prod-up
87×	distribute-rgt-in distribute-lft-in
77×	associate-/l/
72×	difference-of-sqr-1
70×	tan-quot
67×	associate--l+ diff-log
65×	log-pow
61×	pow-sqr
59×	pow1/3
58×	pow-plus log-div
51×	sqrt-pow1
50×	sqr-pow
43×	pow1/2
39×	pow2
38×	sum-log
37×	exp-prod
36×	associate--r+
33×	rem-sqrt-square
29×	+-commutative
24×	associate-+l+
20×	rem-log-exp
19×	distribute-rgt-neg-in div-sub associate--r-
17×	distribute-rgt-out--
15×	pow-unpow exp-sum
12×	pow-flip cube-prod cos-mult inv-pow
11×	associate-+r+ cos-sum
9×	distribute-neg-in acos-asin cos-diff distribute-rgt-out
8×	sin-mult associate--l- pow-pow
6×	exp-diff sin-sum
5×	pow3 rem-exp-log associate-+l-
4×	unpow-prod-up distribute-lft-neg-in distribute-frac-neg difference-cubes distribute-rgt1-in
3×	associate-+r- exp-neg acos-neg
2×	neg-sub0 sqrt-unprod rem-cbrt-cube
1×	rem-cube-cbrt sub0-neg unpow3 log-rec neg-log tanh-undef sin-PI/3 exp-to-pow asin-acos neg-mul-1 sub-div rem-square-sqrt cube-mult sin-diff e-exp-1 pow-sub