Details

rewrite14.9s (1.6%)

Algorithm

137×	rewrite-expression-head

Calls

434 calls:

633.0ms	(* (/ 2 (+ (exp (- (* -2 x) x)) (exp (+ (+ x x) x)))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
599.0ms	(/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x))))
430.0ms	(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) a)
396.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))))))
311.0ms	(* (+ (/ 1 (- x 1)) (/ x (+ x 1))) (+ (/ 1 (- x 1)) (/ x (+ x 1))))

Rules

20488×	associate-*l/
13736×	flip--
13735×	flip3--
13557×	frac-times
9208×	cbrt-div
9058×	frac-add
4870×	sqrt-div
4804×	associate-*r/
3462×	*-un-lft-identity
3423×	add-sqr-sqrt
2950×	add-exp-log
2805×	times-frac
2142×	add-cube-cbrt
1620×	add-cbrt-cube
1190×	pow1
1164×	prod-exp
972×	div-exp
707×	pow-exp
674×	associate-*l*
665×	add-log-exp
663×	associate-*r*
456×	difference-of-squares
446×	cbrt-unprod
434×	insert-posit16
407×	sqrt-prod
377×	associate-/r*
356×	pow-to-exp
342×	cbrt-undiv
316×	flip-+
315×	flip3-+
293×	distribute-lft-out
291×	cbrt-prod
273×	associate-/l*
271×	distribute-lft-out--
261×	pow-prod-down
237×	div-inv
187×	unswap-sqr
156×	log-prod
151×	associate-/r/
139×	1-exp rec-exp
126×	swap-sqr
116×	*-commutative
98×	pow-prod-up
94×	sub-neg
89×	frac-2neg clear-num
83×	exp-prod unpow-prod-down
78×	log-pow diff-log
70×	pow1/3 difference-of-sqr-1
69×	sqrt-pow1 pow-plus
68×	frac-sub
64×	tan-quot
61×	exp-neg
57×	associate-/l/
54×	pow-sqr
50×	sum-log
47×	pow1/2
45×	exp-diff
41×	neg-sub0 log-div
40×	div-sub
39×	pow2
33×	distribute-rgt-in distribute-lft-in rem-sqrt-square
28×	+-commutative
26×	rem-log-exp
24×	pow-unpow cos-diff
23×	pow-flip associate-+r+ sqr-pow
22×	sin-mult un-div-inv
18×	sub-div
16×	inv-pow
15×	associate-+l+
14×	cos-sum
13×	associate--l+ pow-pow acos-asin
12×	sin-cos-mult associate-+l- sin-diff
11×	associate--r+
10×	distribute-rgt-neg-in
9×	pow3 distribute-lft-neg-in
8×	distribute-lft-neg-out cube-prod associate--l- exp-sum associate--r-
6×	cos-mult rem-cube-cbrt distribute-frac-neg distribute-rgt-out-- acos-neg
5×	log-rec
4×	unpow-prod-up sin-sum cube-unmult unpow3 cube-mult
3×	associate-+r- sqrt-unprod neg-mul-1 rem-exp-log unsub-neg
2×	neg-log asin-acos cube-div rem-cbrt-cube distribute-rgt-out
1×	rgt-mult-inverse sqrt-undiv tanh-def difference-cubes tanh-undef rem-square-sqrt sqr-cos remove-posit16 e-exp-1 pow-sub