Details

Time bar (total: 19.7s)

sample152.0ms

Algorithm
intervals
Results
90.0ms512×body80valid

simplify7.7s

Counts
1 → 1
Iterations

Useful iterations: 5 (6.5s)

IterNodesCost
02831
16729
222127
375727
4262327
5439726
done500026

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.6b

localize55.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.2b
(* (* x 18.0) y)
4.6b
(* (* (* (* x 18.0) y) z) t)
4.8b
(* (* (* x 18.0) y) z)

rewrite422.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u associate-*l* *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
20.0ms
(* (* j 27.0) k)
28.0ms
(* (* x 18.0) y)
286.0ms
(* (* (* (* x 18.0) y) z) t)
84.0ms
(* (* (* x 18.0) y) z)

series166.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (* j 27.0) k)
22.0ms
(* (* x 18.0) y)
71.0ms
(* (* (* (* x 18.0) y) z) t)
49.0ms
(* (* (* x 18.0) y) z)

simplify1.9s

Counts
101 → 101
Iterations

Useful iterations: 2 (439.0ms)

IterNodesCost
0145974
1358944
21724738
done5001738

prune554.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.3b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t))
0.2b
(* (* j 27.0) k)
0.2b
(* (* x 18.0) y)
7.5b
(* (* (* x 18.0) y) (* z t))

rewrite250.0ms

Algorithm
rewrite-expression-head
Rules
35×pow1 add-exp-log add-cbrt-cube
21×pow-prod-down prod-exp cbrt-unprod
7×associate-*r*
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×associate-*l* *-commutative
1×sub-neg flip3-- fma-neg diff-log prod-diff flip--
Counts
4 → 86
Calls
4 calls:
109.0ms
(- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t))
19.0ms
(* (* j 27.0) k)
34.0ms
(* (* x 18.0) y)
86.0ms
(* (* (* x 18.0) y) (* z t))

series284.0ms

Counts
4 → 12
Calls
4 calls:
162.0ms
(- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t))
33.0ms
(* (* j 27.0) k)
35.0ms
(* (* x 18.0) y)
53.0ms
(* (* (* x 18.0) y) (* z t))

simplify1.8s

Counts
98 → 98
Iterations

Useful iterations: done (1.8s)

IterNodesCost
01611188
14171134
21822900
done5001893

prune586.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (* x (* 18.0 y)) (* z t)) (* (* a 4.0) t))
0.2b
(* (* j 27.0) k)
0.2b
(* x (* 18.0 y))
7.5b
(* (* x (* 18.0 y)) (* z t))

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
35×pow1 add-exp-log add-cbrt-cube
21×pow-prod-down prod-exp cbrt-unprod
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
5×associate-*r* associate-*l*
4×expm1-log1p-u log1p-expm1-u
3×*-commutative
1×sub-neg flip3-- fma-neg diff-log prod-diff flip--
Counts
4 → 86
Calls
4 calls:
72.0ms
(- (* (* x (* 18.0 y)) (* z t)) (* (* a 4.0) t))
27.0ms
(* (* j 27.0) k)
22.0ms
(* x (* 18.0 y))
83.0ms
(* (* x (* 18.0 y)) (* z t))

series303.0ms

Counts
4 → 12
Calls
4 calls:
164.0ms
(- (* (* x (* 18.0 y)) (* z t)) (* (* a 4.0) t))
36.0ms
(* (* j 27.0) k)
37.0ms
(* x (* 18.0 y))
66.0ms
(* (* x (* 18.0 y)) (* z t))

simplify1.6s

Counts
98 → 98
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01591187
14151135
21774901
done5000894

prune604.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t))
0.2b
(* j (* 27.0 k))
0.2b
(* (* x 18.0) y)
7.5b
(* (* (* x 18.0) y) (* z t))

rewrite315.0ms

Algorithm
rewrite-expression-head
Rules
35×pow1 add-exp-log add-cbrt-cube
21×pow-prod-down prod-exp cbrt-unprod
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
5×associate-*r* associate-*l*
4×expm1-log1p-u log1p-expm1-u
3×*-commutative
1×sub-neg flip3-- fma-neg diff-log prod-diff flip--
Counts
4 → 86
Calls
4 calls:
108.0ms
(- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t))
34.0ms
(* j (* 27.0 k))
35.0ms
(* (* x 18.0) y)
132.0ms
(* (* (* x 18.0) y) (* z t))

series292.0ms

Counts
4 → 12
Calls
4 calls:
169.0ms
(- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t))
20.0ms
(* j (* 27.0 k))
36.0ms
(* (* x 18.0) y)
66.0ms
(* (* (* x 18.0) y) (* z t))

simplify1.7s

Counts
98 → 98
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01591185
14091133
21776899
done5000892

prune655.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes14.0ms