Details

rewrite49.7s (2.6%)

Algorithm

143×	rewrite-expression-head

Calls

452 calls:

3.6s	(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (sqrt (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (sqrt (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))))) (* (- phi1 phi2) (- phi1 phi2))))
836.0ms	(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
522.0ms	(+ (* (* (* (cos lambda1) (cos phi2)) (cos lambda2)) (* (* (* (cos lambda1) (cos phi2)) (cos lambda2)) (* (* (cos lambda1) (cos phi2)) (cos lambda2)))) (* (cos phi1) (* (cos phi1) (cos phi1))))
417.0ms	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)
412.0ms	(* (/ (sqrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) 1)) (/ (sqrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (sin v))))

Rules

381260×	associate-*l/
274484×	frac-times
202365×	cbrt-div
195897×	flip--
195896×	flip3--
151912×	sqrt-div
77019×	associate-*r/
58561×	frac-add
6857×	times-frac
5606×	add-sqr-sqrt
4971×	*-un-lft-identity
4043×	add-cube-cbrt
2539×	add-exp-log
1764×	add-cbrt-cube
1486×	cbrt-prod
1211×	pow1
1109×	associate-*l*
1021×	sqrt-prod
836×	prod-exp
749×	div-exp
718×	associate-*r*
709×	add-log-exp
521×	associate-/r*
469×	cbrt-unprod
454×	associate-/l*
431×	cbrt-undiv
386×	div-inv
359×	difference-of-squares
354×	log-prod
312×	pow-prod-down
270×	distribute-lft-out--
267×	pow-exp
254×	unswap-sqr
188×	distribute-lft-out
187×	pow-to-exp
139×	associate-/r/
128×	flip-+
127×	flip3-+
115×	frac-2neg clear-num
112×	swap-sqr
103×	*-commutative
102×	cos-mult
89×	sub-neg
85×	diff-log
83×	associate-/l/
75×	pow-prod-up
62×	log-pow
59×	pow1/3
56×	unpow-prod-down
55×	sum-log
53×	pow-sqr
48×	exp-prod
44×	log-div
39×	sqrt-pow1 pow-plus pow1/2 div-sub rem-log-exp
30×	frac-sub
28×	+-commutative rem-sqrt-square
26×	pow2 distribute-rgt-in distribute-lft-in tan-quot
23×	distribute-rgt-neg-in
22×	1-exp
21×	distribute-lft-neg-in
19×	rec-exp
18×	cos-diff distribute-rgt-out
15×	cos-sum sin-diff
14×	sin-mult
11×	sin-cos-mult
10×	associate-+r+ associate--l+ sqr-pow acos-asin
9×	pow3
8×	exp-sum
7×	associate-+l+ neg-mul-1 associate--r+
6×	exp-diff pow-unpow distribute-rgt-neg-out
5×	associate--l- sin-sum associate-+r- cube-unmult rem-cbrt-cube
4×	distribute-frac-neg
3×	distribute-lft1-in rem-exp-log acos-neg
2×	pow-flip neg-sub0 sqrt-unprod sub-div pow-pow inv-pow un-div-inv asin-acos associate-+l- sqr-cos
1×	quot-tan tanh-def difference-cubes sum-cubes tanh-undef distribute-rgt-out-- rem-square-sqrt associate--r-