Details

rewrite29.8s (1.5%)

Algorithm

131×	rewrite-expression-head

Calls

417 calls:

10.5s	(- (* (/ 512 (* (* (* (+ 1 (exp (* -2 x))) (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))) (* (+ 1 (exp (* -2 x))) (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))))) (* (+ 1 (exp (* -2 x))) (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))))) (/ 512 (* (* (* (+ 1 (exp (* -2 x))) (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))) (* (+ 1 (exp (* -2 x))) (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))))) (* (+ 1 (exp (* -2 x))) (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))))))) 1)
730.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2))) (cbrt (cos (/ (+ phi1 phi2) 2)))) (cbrt (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))))
525.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2))) (cbrt (cos (/ (+ phi1 phi2) 2)))) (cbrt (cos (/ (+ phi1 phi2) 2))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
506.0ms	(* (* (+ 1 (exp (* -2 x))) (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))) (* (+ 1 (exp (* -2 x))) (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))))
381.0ms	(* (* (+ 1 (exp (* -2 x))) (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))) (* (+ 1 (exp (* -2 x))) (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))))

Rules

19081×	associate-*l/
17972×	frac-times
13674×	flip--
13673×	flip3--
12257×	times-frac
9631×	*-un-lft-identity
9100×	cbrt-div
8982×	frac-add
8651×	sqrt-prod
7639×	add-sqr-sqrt
6291×	associate-*r/
6184×	add-cube-cbrt
5206×	sqrt-div
3459×	flip-+
3458×	flip3-+
2026×	add-exp-log
1823×	add-cbrt-cube
1727×	pow1
1306×	distribute-lft-out
770×	associate-/l*
730×	associate-*r*
707×	associate-*l*
649×	add-log-exp
622×	prod-exp
551×	cbrt-unprod
543×	difference-of-squares
526×	associate-/r/
464×	div-exp
456×	pow-prod-down
438×	associate-/r*
417×	insert-posit16
392×	cbrt-undiv
368×	div-inv
307×	pow-prod-up
300×	distribute-lft-out--
297×	swap-sqr
254×	cbrt-prod
188×	unswap-sqr
114×	log-prod
113×	*-commutative
112×	sub-neg
109×	pow-sqr
105×	frac-2neg clear-num
99×	pow-plus
97×	difference-of-sqr-1
82×	diff-log
78×	associate-/l/
69×	log-pow
67×	distribute-rgt-in distribute-lft-in
64×	pow2
57×	exp-prod
51×	sqrt-pow1
44×	pow1/3
41×	pow1/2
40×	1-exp
39×	sum-log
37×	rem-sqrt-square
35×	rec-exp log-div
30×	cube-unmult
29×	pow-flip
27×	+-commutative
21×	div-sub
20×	distribute-rgt-out-- unpow-prod-down
19×	pow3 rem-log-exp
17×	inv-pow
14×	exp-sum
13×	associate--r+
12×	tan-quot
11×	associate-+r+ difference-of-sqr--1
10×	sqr-pow acos-asin
9×	associate--l+ cos-diff
8×	frac-sub associate--r-
7×	cos-mult cos-sum sum-cubes
6×	exp-diff associate--l- sin-sum sin-mult
5×	pow-exp rem-exp-log pow-to-exp distribute-rgt-out
4×	associate-+l-
3×	distribute-frac-neg un-div-inv acos-neg
2×	exp-to-pow
1×	quot-tan sqrt-unprod tanh-undef tanh-def asin-acos rem-cbrt-cube sin-diff distribute-rgt1-in