Details

Time bar (total: 10.0m)

sample439.0ms

Algorithm
intervals
Results
176.0ms63×body1280valid
93.0ms52×body640valid
68.0ms180×body80valid
64.0ms40×body320valid
13.0ms16×body160valid

simplify3.6s

Counts
1 → 1
Iterations
IterNodes
46286
31016
2179
152
019

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 23.4b

localize60.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ l t) (/ l t))
1.3b
(/ t (* (/ l t) (/ l t)))
2.9b
(/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t))))
20.4b
(/ (/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t)))) (* (+ 2 (* (/ k t) (/ k t))) (tan k)))

rewrite151.0ms

Algorithm
rewrite-expression-head
Rules
967×times-frac
345×add-sqr-sqrt
333×*-un-lft-identity add-cube-cbrt
243×add-cbrt-cube add-exp-log
151×associate-/l*
147×cbrt-undiv div-exp
131×associate-/r/
80×div-inv
45×prod-exp cbrt-unprod
44×frac-times associate-*l/
43×associate-*r/
13×swap-sqr associate-*r* associate-*l*
12×associate-/r*
11×pow1
4×insert-posit16 add-log-exp unswap-sqr
3×clear-num frac-2neg tan-quot
2×flip3-+ flip-+ associate-/l/
1×pow2 pow-plus pow-prod-down pow-sqr *-commutative pow-prod-up
Counts
4 → 629
Calls
4 calls:
20.0ms
(* (/ l t) (/ l t))
20.0ms
(/ t (* (/ l t) (/ l t)))
34.0ms
(/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t))))
57.0ms
(/ (/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t)))) (* (+ 2 (* (/ k t) (/ k t))) (tan k)))

series1.2s

Counts
4 → 12
Calls
4 calls:
45.0ms
(* (/ l t) (/ l t))
61.0ms
(/ t (* (/ l t) (/ l t)))
190.0ms
(/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t))))
927.0ms
(/ (/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t)))) (* (+ 2 (* (/ k t) (/ k t))) (tan k)))

simplify1.1s

Counts
641 → 641
Iterations
IterNodes
12716
0938

prune9.5s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 14.0b

localize93.0ms

Local error

Found 4 expressions with local error:

1.9b
(/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t)))
1.9b
(/ (* (cbrt (/ 2 (sin k))) (cbrt (/ 2 (sin k)))) (/ (* (cbrt t) (cbrt t)) (/ l t)))
11.0b
(/ (/ (* (cbrt (/ 2 (sin k))) (cbrt (/ 2 (sin k)))) (/ (* (cbrt t) (cbrt t)) (/ l t))) (/ (* (+ 2 (* (/ k t) (/ k t))) (tan k)) (/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t)))))
13.6b
(/ (* (+ 2 (* (/ k t) (/ k t))) (tan k)) (/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t))))

rewrite5.7s

Algorithm
rewrite-expression-head
Rules
230911×times-frac
59934×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
46033×cbrt-prod
9348×div-inv
3167×associate-/r/
2772×associate-/r*
827×add-exp-log
565×cbrt-undiv div-exp
522×add-cbrt-cube
138×prod-exp cbrt-unprod
41×associate-/l*
10×associate-/l/
5×cbrt-div
4×pow1 clear-num frac-2neg insert-posit16 add-log-exp
3×frac-times associate-*l/ tan-quot
2×flip3-+ associate-*r/ flip-+
Counts
4 → 36564
Calls
4 calls:
42.0ms
(/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t)))
17.0ms
(/ (* (cbrt (/ 2 (sin k))) (cbrt (/ 2 (sin k)))) (/ (* (cbrt t) (cbrt t)) (/ l t)))
118.0ms
(/ (/ (* (cbrt (/ 2 (sin k))) (cbrt (/ 2 (sin k)))) (/ (* (cbrt t) (cbrt t)) (/ l t))) (/ (* (+ 2 (* (/ k t) (/ k t))) (tan k)) (/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t)))))
45.0ms
(/ (* (+ 2 (* (/ k t) (/ k t))) (tan k)) (/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t))))

series2.6s

Counts
4 → 12
Calls
4 calls:
366.0ms
(/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t)))
491.0ms
(/ (* (cbrt (/ 2 (sin k))) (cbrt (/ 2 (sin k)))) (/ (* (cbrt t) (cbrt t)) (/ l t)))
1.1s
(/ (/ (* (cbrt (/ 2 (sin k))) (cbrt (/ 2 (sin k)))) (/ (* (cbrt t) (cbrt t)) (/ l t))) (/ (* (+ 2 (* (/ k t) (/ k t))) (tan k)) (/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t)))))
655.0ms
(/ (* (+ 2 (* (/ k t) (/ k t))) (tan k)) (/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t))))

simplify9.6m

Iterations
IterNodes
053354