Details

Time bar (total: 10.0m)

sample376.0ms

Algorithm
intervals
Results
172.0ms59×body1280valid
82.0ms57×body640valid
62.0ms190×body80valid
31.0ms30×body320valid
9.0ms14×body160valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
46286
31016
2179
152
019

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 17.8b

localize52.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ l t) (/ l t))
1.8b
(/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t))))
2.4b
(/ t (* (/ l t) (/ l t)))
14.4b
(/ (/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t)))) (* (+ 2 (* (/ k t) (/ k t))) (tan k)))

rewrite141.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:
19.0ms
(* (/ l t) (/ l t))
17.0ms
(/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t))))
11.0ms
(/ t (* (/ l t) (/ l t)))
67.0ms
(/ (/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t)))) (* (+ 2 (* (/ k t) (/ k t))) (tan k)))

series1.1s

Counts
4 → 12
Calls
4 calls:
30.0ms
(* (/ l t) (/ l t))
157.0ms
(/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t))))
48.0ms
(/ t (* (/ l t) (/ l t)))
886.0ms
(/ (/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t)))) (* (+ 2 (* (/ k t) (/ k t))) (tan k)))

simplify1.0s

Counts
641 → 641
Iterations
IterNodes
12716
0938

prune4.6s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 9.2b

localize61.0ms

Local error

Found 4 expressions with local error:

2.0b
(/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t)))
3.1b
(/ (* (cbrt (/ 2 (sin k))) (cbrt (/ 2 (sin k)))) (/ (* (cbrt t) (cbrt t)) (/ l t)))
7.6b
(/ (/ (* (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)))))
9.0b
(/ (* (+ 2 (* (/ k t) (/ k t))) (tan k)) (/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t))))

rewrite5.6s

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:
17.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)))
159.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)))))
44.0ms
(/ (* (+ 2 (* (/ k t) (/ k t))) (tan k)) (/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t))))

series2.6s

Counts
4 → 12
Calls
4 calls:
369.0ms
(/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t)))
516.0ms
(/ (* (cbrt (/ 2 (sin k))) (cbrt (/ 2 (sin k)))) (/ (* (cbrt t) (cbrt t)) (/ l t)))
1.0s
(/ (/ (* (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)))))
662.0ms
(/ (* (+ 2 (* (/ k t) (/ k t))) (tan k)) (/ (cbrt (/ 2 (sin k))) (/ (cbrt t) (/ l t))))

simplify9.7m

Iterations
IterNodes
053354