Details

rewrite16.5s (1.9%)

Algorithm

145×	rewrite-expression-head

Calls

479 calls:

1.8s	(sqrt (+ (* (* (* (* (cbrt (- lambda1 lambda2)) (cbrt (- lambda1 lambda2))) (* (cbrt (- lambda1 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (- lambda1 lambda2)) (cos (/ (+ phi1 phi2) 2))) (* (- phi1 phi2) (- phi1 phi2))))
479.0ms	(/ (* (cos phi1) (* (cos phi2) (* (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2))) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
437.0ms	(cbrt (* (* (* (/ (* c a) b) (/ (* c a) b)) (/ (* c a) b)) -27/8))
312.0ms	(* (* (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))) (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))) (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))))
257.0ms	(/ (- (* (- (* b b) (* (* c a) 4)) (sqrt (- (* b b) (* (* c a) 4)))) (* (* b b) b)) (+ (+ (- (* b b) (* (* c a) 4)) (* b (sqrt (- (* b b) (* (* c a) 4))))) (* b b)))

Rules

6900×	times-frac
5973×	*-un-lft-identity
5926×	add-sqr-sqrt
4104×	add-cube-cbrt
3471×	add-exp-log
2351×	associate-*l/
2041×	add-cbrt-cube
1837×	flip--
1836×	flip3--
1825×	frac-times
1812×	sqrt-prod
1367×	cbrt-div
1339×	pow1
1314×	prod-exp
1183×	div-exp
975×	sqrt-div
902×	frac-add
731×	associate-*l*
727×	associate-*r*
721×	add-log-exp
707×	pow-exp
678×	difference-of-squares
658×	associate-*r/
652×	associate-/r*
564×	cbrt-unprod
496×	cbrt-undiv
483×	associate-/l*
479×	insert-posit16
429×	div-inv
421×	distribute-lft-out
397×	distribute-lft-out--
355×	pow-to-exp
291×	cbrt-prod
279×	pow-prod-down
235×	log-prod
226×	flip-+
225×	flip3-+
196×	unswap-sqr
171×	associate-/r/
169×	1-exp
161×	rec-exp
116×	*-commutative
114×	pow-prod-up
113×	associate-/l/
111×	frac-2neg clear-num
104×	sub-neg
100×	log-pow
97×	swap-sqr
83×	difference-of-sqr-1
81×	diff-log
70×	unpow-prod-down
69×	pow-plus
65×	sin-mult
62×	pow-sqr
56×	sqrt-pow1 pow1/2
54×	pow1/3 distribute-rgt-in distribute-lft-in
47×	sum-log
45×	exp-prod
44×	cos-mult
42×	pow2 rem-sqrt-square log-div
38×	div-sub
34×	rem-log-exp
31×	frac-sub
30×	pow-flip
28×	+-commutative
27×	tan-quot
23×	inv-pow distribute-rgt-out--
22×	sqr-pow
21×	pow-unpow cos-diff
19×	pow3 cos-sum associate--l+
16×	cube-div sin-diff
15×	pow-pow
14×	distribute-rgt-out
13×	associate-+r+
12×	associate--r+
11×	sub-div
9×	rem-cube-cbrt acos-asin
7×	cube-prod associate--l- sin-cos-mult
6×	exp-sum
5×	exp-diff unpow3 cube-mult difference-cubes associate-+l- distribute-rgt1-in
4×	sin-sum sqrt-unprod rem-exp-log rem-cbrt-cube
3×	distribute-frac-neg cube-unmult log-rec sin-PI/3 exp-to-pow acos-neg cos-PI/3
2×	associate-+l+ un-div-inv asin-acos associate--r-
1×	neg-sub0 remove-posit16 associate-+r- sqrt-undiv tanh-undef tanh-def rem-square-sqrt