Details

Time bar (total: 26.2s)

sample133.0ms

Algorithm
intervals
Results
74.0ms512×body80valid

simplify13.7s

Counts
1 → 1
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
02831
16629
220129
358029
4115029
5174429
6236029
7308729
8342129
done342129

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.1b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite735.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-exp-log add-cbrt-cube
13×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
11×add-sqr-sqrt
9×add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×*-commutative add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
31.0ms
(* (* j 27.0) k)
17.0ms
(* (* x 18.0) y)
576.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
106.0ms
(* (* (* x 18.0) y) z)

series291.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* (* j 27.0) k)
36.0ms
(* (* x 18.0) y)
171.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
52.0ms
(* (* (* x 18.0) y) z)

simplify1.8s

Counts
93 → 93
Iterations

Useful iterations: 2 (395.0ms)

IterNodesCost
01581015
1402980
21636822
done5000822

prune496.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 1.5b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite368.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-exp-log add-cbrt-cube
13×pow-prod-down prod-exp cbrt-unprod
11×add-sqr-sqrt
10×associate-*r*
9×add-cube-cbrt *-un-lft-identity
8×associate-*l*
4×*-commutative add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
22.0ms
(* (* j 27.0) k)
16.0ms
(* x (* y 18.0))
249.0ms
(* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
77.0ms
(* (* x (* y 18.0)) z)

series300.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (* j 27.0) k)
44.0ms
(* x (* y 18.0))
173.0ms
(* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
49.0ms
(* (* x (* y 18.0)) z)

simplify1.7s

Counts
93 → 93
Iterations

Useful iterations: 2 (327.0ms)

IterNodesCost
01551014
1398981
21547823
done5000823

prune532.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.5b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite446.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-exp-log add-cbrt-cube
13×pow-prod-down prod-exp cbrt-unprod
11×add-sqr-sqrt
10×associate-*r*
9×add-cube-cbrt *-un-lft-identity
8×associate-*l*
4×*-commutative add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
21.0ms
(* j (* 27.0 k))
23.0ms
(* (* x 18.0) y)
324.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
73.0ms
(* (* (* x 18.0) y) z)

series242.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* j (* 27.0 k))
35.0ms
(* (* x 18.0) y)
136.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
39.0ms
(* (* (* x 18.0) y) z)

simplify1.7s

Counts
93 → 93
Iterations

Useful iterations: 2 (430.0ms)

IterNodesCost
01561012
1394979
21605821
done5000821

prune565.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 1.5b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite461.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-exp-log add-cbrt-cube
13×pow-prod-down prod-exp cbrt-unprod
11×add-sqr-sqrt
10×associate-*r*
9×add-cube-cbrt *-un-lft-identity
8×associate-*l*
4×*-commutative add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
18.0ms
(* (* x 18.0) y)
31.0ms
(* 27.0 (* k j))
292.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
118.0ms
(* (* (* x 18.0) y) z)

series270.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* (* x 18.0) y)
21.0ms
(* 27.0 (* k j))
176.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
45.0ms
(* (* (* x 18.0) y) z)

simplify1.7s

Counts
93 → 93
Iterations

Useful iterations: 2 (376.0ms)

IterNodesCost
01541012
1390979
21569821
done5000821

prune501.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 1.5b

regimes9.0ms