Details

Time bar (total: 10.0m)

sample485.0ms

Algorithm
intervals
Results
217.0ms72×body1280valid
138.0ms65×body640valid
72.0ms169×body80valid
25.0ms18×body320valid
9.0ms10×body160valid

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
46286
31016
2179
152
019

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 22.1b

localize70.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (+ 2 (* (/ k t) (/ k t))) (tan k))
1.6b
(/ t (* (/ l t) (/ l t)))
4.1b
(/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t))))
16.8b
(/ (/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t)))) (* (+ 2 (* (/ k t) (/ k t))) (tan k)))

rewrite156.0ms

Algorithm
rewrite-expression-head
Rules
927×times-frac
309×add-sqr-sqrt
307×*-un-lft-identity add-cube-cbrt
233×add-cbrt-cube add-exp-log
151×associate-/l*
143×cbrt-undiv div-exp
131×associate-/r/
76×div-inv
45×frac-times associate-*l/
43×associate-*r/
42×prod-exp cbrt-unprod
12×associate-/r*
6×pow1 tan-quot
4×flip3-+ flip-+ insert-posit16 add-log-exp
3×clear-num frac-2neg associate-*r* associate-*l*
2×associate-/l/
1×pow-prod-down *-commutative unswap-sqr
Counts
4 → 585
Calls
4 calls:
32.0ms
(* (+ 2 (* (/ k t) (/ k t))) (tan k))
15.0ms
(/ t (* (/ l t) (/ l t)))
18.0ms
(/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t))))
66.0ms
(/ (/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t)))) (* (+ 2 (* (/ k t) (/ k t))) (tan k)))

series1.7s

Counts
4 → 12
Calls
4 calls:
104.0ms
(* (+ 2 (* (/ k t) (/ k t))) (tan k))
61.0ms
(/ t (* (/ l t) (/ l t)))
210.0ms
(/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t))))
1.3s
(/ (/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t)))) (* (+ 2 (* (/ k t) (/ k t))) (tan k)))

simplify1.3s

Counts
597 → 597
Iterations
IterNodes
12669
0903

prune8.9s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 11.2b

localize116.0ms

Local error

Found 4 expressions with local error:

2.4b
(/ (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt t) (/ l t)))
2.6b
(/ (* (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt 2) (cbrt (sin k)))) (* (+ (* (/ k t) (/ k t)) 2) (* (/ (* (cbrt t) (cbrt t)) l) t)))
7.4b
(* (/ (* (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt 2) (cbrt (sin k)))) (* (+ (* (/ k t) (/ k t)) 2) (* (/ (* (cbrt t) (cbrt t)) l) t))) (/ (/ (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt t) (/ l t))) (tan k)))
8.5b
(* (+ (* (/ k t) (/ k t)) 2) (* (/ (* (cbrt t) (cbrt t)) l) t))

rewrite2.9s

Algorithm
rewrite-expression-head
Rules
56598×times-frac
22924×add-sqr-sqrt
22769×*-un-lft-identity add-cube-cbrt
18297×cbrt-prod
9981×associate-*r*
2087×add-exp-log
1467×div-inv
1365×add-cbrt-cube
1084×cbrt-undiv div-exp
756×prod-exp cbrt-unprod
176×associate-/r/
84×associate-/r*
41×associate-/l*
27×unswap-sqr
17×associate-*l/
13×associate-*l*
11×pow1
8×frac-times
6×flip3-+ flip-+
5×associate-*r/
4×pow-prod-down insert-posit16 add-log-exp associate-/l/
2×clear-num frac-2neg *-commutative
1×tan-quot
Counts
4 → 14014
Calls
4 calls:
33.0ms
(/ (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt t) (/ l t)))
99.0ms
(/ (* (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt 2) (cbrt (sin k)))) (* (+ (* (/ k t) (/ k t)) 2) (* (/ (* (cbrt t) (cbrt t)) l) t)))
856.0ms
(* (/ (* (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt 2) (cbrt (sin k)))) (* (+ (* (/ k t) (/ k t)) 2) (* (/ (* (cbrt t) (cbrt t)) l) t))) (/ (/ (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt t) (/ l t))) (tan k)))
73.0ms
(* (+ (* (/ k t) (/ k t)) 2) (* (/ (* (cbrt t) (cbrt t)) l) t))

series2.4s

Counts
4 → 12
Calls
4 calls:
311.0ms
(/ (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt t) (/ l t)))
770.0ms
(/ (* (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt 2) (cbrt (sin k)))) (* (+ (* (/ k t) (/ k t)) 2) (* (/ (* (cbrt t) (cbrt t)) l) t)))
1.1s
(* (/ (* (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt 2) (cbrt (sin k)))) (* (+ (* (/ k t) (/ k t)) 2) (* (/ (* (cbrt t) (cbrt t)) l) t))) (/ (/ (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt t) (/ l t))) (tan k)))
262.0ms
(* (+ (* (/ k t) (/ k t)) 2) (* (/ (* (cbrt t) (cbrt t)) l) t))

simplify9.6m

Iterations
IterNodes
025341