Details

rewrite16.0s (0.7%)

Algorithm

134×	rewrite-expression-head

Calls

430 calls:

567.0ms	(sqrt (+ (exp (log (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))))) (* (- phi1 phi2) (- phi1 phi2))))
445.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2))) (cbrt (cos (/ (+ phi1 phi2) 2)))) (cbrt (cos (/ (+ phi1 phi2) 2)))))) (* (- phi1 phi2) (- phi1 phi2))))
402.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (* (* (cbrt (log (exp (cos (/ (+ phi1 phi2) 2))))) (cbrt (cos (/ (+ phi1 phi2) 2)))) (cbrt (cos (/ (+ phi1 phi2) 2)))))) (* (- phi1 phi2) (- phi1 phi2))))
346.0ms	(/ (log (exp (- (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) 1))) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1))
271.0ms	(+ (- (/ 1/8 (* (* x x) x)) (/ 1/2 x)) (/ -1/16 (* (* x x) (* (* x x) x))))

Rules

12012×	times-frac
8667×	*-un-lft-identity
8320×	add-sqr-sqrt
6140×	add-cube-cbrt
4747×	sqrt-prod
3217×	add-exp-log
1726×	add-cbrt-cube
1624×	pow1
1304×	prod-exp
1233×	associate-*r*
1041×	div-exp
751×	associate-*l/
746×	distribute-lft-out
727×	associate-*l*
695×	pow-exp
682×	add-log-exp
668×	sqrt-div
644×	flip--
643×	flip3--
639×	difference-of-squares
606×	frac-times
528×	associate-/l*
505×	cbrt-prod
496×	cbrt-unprod
488×	div-inv
449×	associate-/r*
430×	insert-posit16
386×	pow-prod-down
358×	cbrt-undiv
347×	pow-to-exp
338×	flip-+
337×	flip3-+
335×	distribute-lft-out-- associate-*r/
331×	associate-/r/
329×	swap-sqr
317×	unswap-sqr
314×	log-prod
296×	frac-add
213×	cbrt-div
197×	pow-prod-up
178×	1-exp
176×	rec-exp
149×	difference-of-sqr-1
132×	tan-quot
126×	log-div
125×	pow-sqr
116×	log-pow
114×	pow-plus *-commutative sub-neg
104×	frac-2neg clear-num
100×	diff-log
79×	associate--l+
78×	associate--r+
75×	pow2
70×	distribute-rgt-in associate-/l/ distribute-lft-in
69×	exp-diff
66×	pow-flip
56×	unpow-prod-down
53×	exp-prod
49×	sqrt-pow1 pow1/2
44×	pow1/3
39×	inv-pow
36×	sum-log
35×	rem-sqrt-square
32×	distribute-rgt-out--
30×	rem-log-exp
28×	+-commutative div-sub
26×	frac-sub
13×	acos-asin
12×	associate--l- associate-+r+ cos-diff distribute-rgt-out
11×	associate-+l+ associate-+l-
10×	cos-sum
8×	cube-prod sqrt-undiv sqr-pow associate--r-
7×	difference-of-sqr--1 un-div-inv
6×	pow-unpow exp-sum distribute-frac-neg pow-pow distribute-rgt-neg-in acos-neg distribute-lft-neg-out distribute-lft-neg-in
5×	pow3 sin-mult
3×	rem-exp-log distribute-rgt1-in
2×	sin-sum associate-+r- unsub-neg sqrt-unprod neg-mul-1 exp-to-pow sum-cubes sub-div cube-mult
1×	remove-posit16 cos-mult sin-cos-mult cube-unmult tanh-undef tanh-def asin-acos sin-diff