Details

rewrite1.6m (4.8%)

Algorithm

142×	rewrite-expression-head

Calls

462 calls:

6.4s	(cbrt (* (* (- (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x))) (- (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x)))) (- (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x)))))
1.2s	(/ (+ (* (* (* (cos phi2) (+ (* (sin lambda2) (sin lambda1)) (* (cos lambda1) (cos lambda2)))) (* (cos phi2) (+ (* (sin lambda2) (sin lambda1)) (* (cos lambda1) (cos lambda2))))) (* (cos phi2) (+ (* (sin lambda2) (sin lambda1)) (* (cos lambda1) (cos lambda2))))) (* (cos phi1) (* (cos phi1) (cos phi1)))) (+ (* (* (cos phi2) (+ (* (sin lambda2) (sin lambda1)) (* (cos lambda1) (cos lambda2)))) (- (* (cos phi2) (+ (* (sin lambda2) (sin lambda1)) (* (cos lambda1) (cos lambda2)))) (cos phi1))) (* (cos phi1) (cos phi1))))
1.2s	(* (- (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x))) (- (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x))))
612.0ms	(/ (+ (* 1/216000 (* (* (pow x 5) (pow x 5)) (pow x 5))) (* (* (+ (* 1/3 (* x x)) 2) (+ (* 1/3 (* x x)) 2)) (* (+ (* 1/3 (* x x)) 2) (* (* x x) x)))) (+ (* (* x (+ (* 1/3 (* x x)) 2)) (* x (+ (* 1/3 (* x x)) 2))) (- (* (* 1/60 (pow x 5)) (* 1/60 (pow x 5))) (* (* x (+ (* 1/3 (* x x)) 2)) (* 1/60 (pow x 5))))))
522.0ms	(+ (* (* (* (cos phi2) (+ (* (sin lambda2) (sin lambda1)) (* (cos lambda1) (cos lambda2)))) (* (cos phi2) (+ (* (sin lambda2) (sin lambda1)) (* (cos lambda1) (cos lambda2))))) (* (cos phi2) (+ (* (sin lambda2) (sin lambda1)) (* (cos lambda1) (cos lambda2))))) (* (cos phi1) (* (cos phi1) (cos phi1))))

Rules

2285240×	tan-quot
1379177×	frac-times
766499×	associate-*l/
762815×	associate-*r/
524729×	frac-sub
238596×	cbrt-div
163240×	sub-div
12464×	flip--
12463×	flip3--
4823×	*-un-lft-identity
4793×	times-frac
4379×	add-sqr-sqrt
3096×	add-cube-cbrt
2972×	add-exp-log
1661×	add-cbrt-cube
1602×	pow1
1185×	prod-exp
989×	sqrt-prod
931×	div-exp
753×	frac-add
727×	add-log-exp
699×	pow-exp
669×	sqrt-div
577×	associate-*r*
506×	associate-/r*
485×	associate-*l*
470×	cbrt-unprod
469×	difference-of-squares
462×	insert-posit16
444×	cbrt-prod
425×	cos-mult
409×	pow-prod-down
399×	flip-+
398×	flip3-+
382×	associate-/l*
377×	distribute-lft-out
372×	distribute-lft-out--
351×	pow-to-exp
305×	cbrt-undiv
297×	div-inv
228×	exp-prod
194×	pow-prod-up
175×	sqrt-pow1
172×	log-prod
157×	unswap-sqr
155×	associate-/r/
154×	sin-mult
139×	associate-/l/
136×	1-exp rec-exp
127×	swap-sqr
121×	*-commutative
120×	sub-neg
114×	pow-sqr
100×	frac-2neg clear-num
96×	diff-log
87×	pow-plus log-pow
84×	log-div
73×	pow1/2 unpow-prod-down
59×	difference-of-sqr-1
57×	distribute-rgt-neg-in
56×	distribute-rgt-in distribute-lft-in
54×	pow2
49×	sum-log
47×	pow1/3
44×	div-sub
34×	distribute-lft-neg-in
32×	+-commutative
31×	rem-sqrt-square
28×	exp-sum
25×	rem-log-exp
23×	associate--l+ associate--r+
21×	cos-diff
20×	cos-sum
19×	sqr-pow associate--r-
18×	associate--l- sin-diff
16×	associate-+r+
13×	acos-asin
12×	pow-flip exp-diff distribute-rgt-out--
11×	pow3
9×	associate-+l+ cube-unmult inv-pow
8×	associate-+l-
7×	sin-cos-mult rem-exp-log
6×	neg-sub0 pow-unpow pow-pow distribute-rgt-out
5×	sqrt-unprod sum-cubes exp-neg
4×	sin-sum un-div-inv
3×	distribute-frac-neg neg-log acos-neg sqr-cos
2×	associate-+r- rem-square-sqrt rem-cbrt-cube distribute-rgt1-in
1×	remove-posit16 neg-mul-1 tanh-def difference-cubes tanh-undef asin-acos