Details

Time bar (total: 15.3s)

sample93.0ms

Algorithm
intervals
Results
35.0ms51×body1280valid
16.0ms211×body80valid
14.0ms37×body640valid
8.0ms31×body320valid
3.0ms16×body160valid

simplify4.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
165
done65

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (exp re) (cos im))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
3×pow1 add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
2×add-exp-log
1×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
1 → 18
Calls
1 calls:
30.0ms
(* (exp re) (cos im))

series74.0ms

Counts
1 → 3
Calls
1 calls:
74.0ms
(* (exp re) (cos im))

simplify3.1s

Counts
21 → 21
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
038157
179153
2208134
3334134
4470134
5849134
62152134
done5000134

prune60.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (exp re))
0.0b
(sqrt (exp re))
0.0b
(* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))
0.0b
(* (sqrt (exp re)) (cos im))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
13×pow1 add-cube-cbrt *-un-lft-identity sqrt-prod
12×associate-*l*
11×add-exp-log add-cbrt-cube
8×sqrt-pow1
6×exp-prod
4×associate-*r* pow-prod-down prod-exp cbrt-unprod add-log-exp
2×rem-sqrt-square pow1/2 *-commutative unswap-sqr
Counts
4 → 75
Calls
4 calls:
6.0ms
(sqrt (exp re))
6.0ms
(sqrt (exp re))
101.0ms
(* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))
19.0ms
(* (sqrt (exp re)) (cos im))

series163.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(sqrt (exp re))
22.0ms
(sqrt (exp re))
52.0ms
(* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))
64.0ms
(* (sqrt (exp re)) (cos im))

simplify5.5s

Counts
87 → 87
Iterations

Useful iterations: 3 (526.0ms)

IterNodesCost
075723
1151578
2428526
3829513
41108513
52479513
done5000513

prune336.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
0.0b
(cbrt (sqrt (exp re)))
0.0b
(cbrt (sqrt (exp re)))
0.0b
(cbrt (sqrt (exp re)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
58×cbrt-prod
44×add-sqr-sqrt
29×sqrt-prod
22×add-cube-cbrt *-un-lft-identity
11×pow1 swap-sqr
9×pow1/3 associate-*r* associate-*l* unswap-sqr
6×add-exp-log
4×add-cbrt-cube add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 98
Calls
4 calls:
28.0ms
(* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
3.0ms
(cbrt (sqrt (exp re)))
3.0ms
(cbrt (sqrt (exp re)))
3.0ms
(cbrt (sqrt (exp re)))

series515.0ms

Counts
4 → 12
Calls
4 calls:
122.0ms
(* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
138.0ms
(cbrt (sqrt (exp re)))
130.0ms
(cbrt (sqrt (exp re)))
125.0ms
(cbrt (sqrt (exp re)))

simplify1.8s

Counts
110 → 110
Iterations

Useful iterations: done (1.8s)

IterNodesCost
0741190
11231071
22771013
3520936
41054854
done5000832

prune434.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (sqrt (cbrt (exp re))) (sqrt (cbrt (exp re))))
0.0b
(cbrt (exp re))
0.0b
(cbrt (exp re))
0.0b
(cbrt (sqrt (exp re)))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
41×sqrt-prod
30×cbrt-prod
20×add-cube-cbrt *-un-lft-identity
19×pow1
14×sqrt-pow1
11×swap-sqr
9×pow1/3 associate-*r* associate-*l* unswap-sqr
8×pow1/2
6×add-exp-log pow-prod-up add-cbrt-cube
4×pow-prod-down pow-sqr add-log-exp
1×pow2 pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 102
Calls
4 calls:
35.0ms
(* (sqrt (cbrt (exp re))) (sqrt (cbrt (exp re))))
3.0ms
(cbrt (exp re))
2.0ms
(cbrt (exp re))
4.0ms
(cbrt (sqrt (exp re)))

series497.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(* (sqrt (cbrt (exp re))) (sqrt (cbrt (exp re))))
120.0ms
(cbrt (exp re))
100.0ms
(cbrt (exp re))
136.0ms
(cbrt (sqrt (exp re)))

simplify1.9s

Counts
114 → 114
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01011171
1160793
2337739
3594691
41349657
done5000653

prune508.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes1.0ms