Details

Time bar (total: 24.0s)

sample61.0ms

Algorithm
intervals
Results
49.0ms480×body80valid

simplify8.3s

Counts
1 → 1

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize36.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
0.1b
(* d1 (* d1 d1))
0.1b
(* (* d1 (* d1 d1)) d1)
0.1b
(* (* (* d1 (* d1 d1)) d1) d1)

rewrite928.0ms

Algorithm
rewrite-expression-head
Rules
489×pow1
320×pow-prod-up
148×pow-plus
77×add-cbrt-cube add-exp-log
54×pow-prod-down prod-exp cbrt-unprod
43×pow2 pow-sqr
23×cube-unmult
8×add-sqr-sqrt associate-*r*
7×*-un-lft-identity add-cube-cbrt
6×associate-*l*
4×*-commutative insert-posit16 add-log-exp
1×unswap-sqr
Counts
4 → 223
Calls
4 calls:
Slowest
722.0ms
(* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
140.0ms
(* (* (* d1 (* d1 d1)) d1) d1)
36.0ms
(* (* d1 (* d1 d1)) d1)
24.0ms
(* d1 (* d1 d1))

series237.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
69.0ms
(* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
67.0ms
(* (* (* d1 (* d1 d1)) d1) d1)
55.0ms
(* (* d1 (* d1 d1)) d1)
46.0ms
(* d1 (* d1 d1))

simplify1.6s

Counts
235 → 235

prune2.5s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize45.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (pow d1 4) d1) (* d1 d1))
0.1b
(* (pow d1 4) d1)
0.1b
(* (* (* (pow d1 4) d1) (* d1 d1)) d1)
0.1b
(* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))

rewrite413.0ms

Algorithm
rewrite-expression-head
Rules
135×pow1
112×add-exp-log
103×pow-prod-up
85×prod-exp
61×add-cbrt-cube
47×pow-plus
41×cbrt-unprod
19×pow-prod-down
14×add-sqr-sqrt
12×associate-*l*
10×pow2 pow-sqr
9×*-un-lft-identity add-cube-cbrt
8×associate-*r*
7×pow-to-exp pow-exp
4×unpow-prod-down *-commutative insert-posit16 add-log-exp
3×unswap-sqr
2×sqr-pow
Counts
4 → 156
Calls
4 calls:
Slowest
269.0ms
(* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))
87.0ms
(* (* (* (pow d1 4) d1) (* d1 d1)) d1)
44.0ms
(* (* (pow d1 4) d1) (* d1 d1))
11.0ms
(* (pow d1 4) d1)

series304.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
89.0ms
(* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))
78.0ms
(* (* (pow d1 4) d1) (* d1 d1))
71.0ms
(* (* (* (pow d1 4) d1) (* d1 d1)) d1)
66.0ms
(* (pow d1 4) d1)

simplify2.6s

Counts
168 → 168

prune1.6s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

0.1b
(* (pow d1 9) d1)

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×associate-*l*
6×add-exp-log
4×unpow-prod-down *-un-lft-identity add-cube-cbrt
3×add-cbrt-cube associate-*r* prod-exp unswap-sqr
2×pow1 sqr-pow
1×pow-to-exp pow-plus pow-exp *-commutative pow-prod-up cbrt-unprod insert-posit16 add-log-exp
Counts
1 → 28
Calls
1 calls:
Slowest
8.0ms
(* (pow d1 9) d1)

series89.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
89.0ms
(* (pow d1 9) d1)

simplify2.8s

Counts
31 → 31

prune198.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize7.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0
Calls
0 calls:
Slowest

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0

prune5.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample2.3s

Algorithm
intervals
Results
2.1s14391×body80valid