Details

Time bar (total: 10.0m)

sample486.0ms

Algorithm
intervals
Results
193.0ms68×body1280valid
152.0ms63×body640valid
70.0ms185×body80valid
35.0ms25×body320valid
12.0ms15×body160valid

simplify2.9s

Counts
1 → 1
Iterations
IterNodes
46286
31016
2179
152
019

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 20.7b

localize48.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ l t) (/ l t))
2.3b
(/ t (* (/ l t) (/ l t)))
3.7b
(/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t))))
16.4b
(/ (/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t)))) (* (+ 2 (* (/ k t) (/ k t))) (tan k)))

rewrite127.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))
10.0ms
(/ t (* (/ l t) (/ l t)))
17.0ms
(/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t))))
46.0ms
(/ (/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t)))) (* (+ 2 (* (/ k t) (/ k t))) (tan k)))

series1.2s

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (/ l t) (/ l t))
58.0ms
(/ t (* (/ l t) (/ l t)))
162.0ms
(/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t))))
888.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

prune9.4s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 11.5b

localize124.0ms

Local error

Found 4 expressions with local error:

2.6b
(/ (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt t) (/ l t)))
3.6b
(/ (* (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt 2) (cbrt (sin k)))) (* (+ (* (/ k t) (/ k t)) 2) (/ (cbrt t) (/ (/ l t) (cbrt t)))))
7.6b
(* (/ (* (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt 2) (cbrt (sin k)))) (* (+ (* (/ k t) (/ k t)) 2) (/ (cbrt t) (/ (/ l t) (cbrt t))))) (/ (/ (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt t) (/ l t))) (tan k)))
8.1b
(* (+ (* (/ k t) (/ k t)) 2) (/ (cbrt t) (/ (/ l t) (cbrt t))))

rewrite3.7s

Algorithm
rewrite-expression-head
Rules
57904×times-frac
23547×add-sqr-sqrt
23348×*-un-lft-identity add-cube-cbrt
18786×cbrt-prod
10477×associate-*r*
2087×add-exp-log
1510×div-inv
1268×cbrt-undiv div-exp
1227×add-cbrt-cube
572×prod-exp cbrt-unprod
177×associate-/r/
84×associate-/r*
41×associate-/l*
38×unswap-sqr
13×associate-*l*
8×frac-times pow1 associate-*l/
6×flip3-+ flip-+
5×associate-*r/
4×insert-posit16 add-log-exp associate-/l/
2×clear-num frac-2neg pow-prod-down *-commutative
1×tan-quot
Counts
4 → 14520
Calls
4 calls:
45.0ms
(/ (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt t) (/ l t)))
43.0ms
(/ (* (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt 2) (cbrt (sin k)))) (* (+ (* (/ k t) (/ k t)) 2) (/ (cbrt t) (/ (/ l t) (cbrt t)))))
1.2s
(* (/ (* (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt 2) (cbrt (sin k)))) (* (+ (* (/ k t) (/ k t)) 2) (/ (cbrt t) (/ (/ l t) (cbrt t))))) (/ (/ (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt t) (/ l t))) (tan k)))
79.0ms
(* (+ (* (/ k t) (/ k t)) 2) (/ (cbrt t) (/ (/ l t) (cbrt t))))

series2.4s

Counts
4 → 12
Calls
4 calls:
311.0ms
(/ (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt t) (/ l t)))
880.0ms
(/ (* (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt 2) (cbrt (sin k)))) (* (+ (* (/ k t) (/ k t)) 2) (/ (cbrt t) (/ (/ l t) (cbrt t)))))
996.0ms
(* (/ (* (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt 2) (cbrt (sin k)))) (* (+ (* (/ k t) (/ k t)) 2) (/ (cbrt t) (/ (/ l t) (cbrt t))))) (/ (/ (/ (cbrt 2) (cbrt (sin k))) (/ (cbrt t) (/ l t))) (tan k)))
245.0ms
(* (+ (* (/ k t) (/ k t)) 2) (/ (cbrt t) (/ (/ l t) (cbrt t))))

simplify9.6m

Iterations
IterNodes
026400