Details

Time bar (total: 23.8s)

sample152.0ms

Algorithm
intervals
Results
73.0ms512×body80valid

simplify14.5s

Counts
1 → 1
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
02831
16629
220129
358029
4115029
5174429
6236029
7308729
8342129
done342129

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.1b

localize26.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)

rewrite510.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:
35.0ms
(* (* j 27.0) k)
33.0ms
(* (* x 18.0) y)
339.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
97.0ms
(* (* (* x 18.0) y) z)

series297.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* (* j 27.0) k)
37.0ms
(* (* x 18.0) y)
176.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
53.0ms
(* (* (* x 18.0) y) z)

simplify1.5s

Counts
93 → 93
Iterations

Useful iterations: 2 (391.0ms)

IterNodesCost
01581015
1402980
21636822
done5000822

prune527.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 1.5b

localize29.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)

rewrite374.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:
25.0ms
(* (* j 27.0) k)
16.0ms
(* x (* y 18.0))
250.0ms
(* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
78.0ms
(* (* x (* y 18.0)) z)

series233.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* (* j 27.0) k)
23.0ms
(* x (* y 18.0))
142.0ms
(* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
48.0ms
(* (* x (* y 18.0)) z)

simplify1.1s

Counts
93 → 93
Iterations

Useful iterations: 2 (231.0ms)

IterNodesCost
01551014
1398981
21547823
done5000823

prune630.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.5b

localize26.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)

rewrite319.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:
17.0ms
(* j (* 27.0 k))
19.0ms
(* (* x 18.0) y)
219.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
61.0ms
(* (* (* x 18.0) y) z)

series205.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* j (* 27.0 k))
25.0ms
(* (* x 18.0) y)
129.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
31.0ms
(* (* (* x 18.0) y) z)

simplify1.1s

Counts
93 → 93
Iterations

Useful iterations: 2 (254.0ms)

IterNodesCost
01561012
1394979
21605821
done5000821

prune357.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 1.5b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite258.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-*l*
9×add-cube-cbrt *-un-lft-identity
8×associate-*r*
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:
16.0ms
(* x (* y 18.0))
16.0ms
(* 27.0 (* k j))
177.0ms
(* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
46.0ms
(* (* x (* y 18.0)) z)

series194.0ms

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

simplify1.0s

Counts
93 → 93
Iterations

Useful iterations: 2 (191.0ms)

IterNodesCost
01511011
1386980
21484822
done5001822

prune283.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.5b

regimes7.0ms