Details

Time bar (total: 33.9s)

sample29.0ms

Algorithm
intervals
Results
13.0ms414×body80valid

simplify25.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1149
2289
3809
42519
55289
69099
715739
820599
926669
1028139
1131459
1232179
1334559
1436079
1539329
1639569
done39569

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (- y z) (- t x))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×*-un-lft-identity
6×flip3-- flip--
5×associate-*r* associate-*l*
4×frac-times
3×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/ distribute-lft-out-- difference-of-squares
1×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
1 → 34
Calls
1 calls:
63.0ms
(* (- y z) (- t x))

series67.0ms

Counts
1 → 3
Calls
1 calls:
67.0ms
(* (- y z) (- t x))

simplify2.7s

Counts
37 → 37
Iterations

Useful iterations: done (2.7s)

IterNodesCost
086447
1219434
2881402
34070402
done5001398

prune120.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- y z) t)
0.0b
(* x (- z y))
0.0b
(+ (* (- y z) t) (* x (- z y)))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
11×*-un-lft-identity
8×associate-*r* associate-*l*
7×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
6×flip3-- associate-*r/ associate-*l/ flip--
5×add-log-exp
4×distribute-rgt-in sub-neg associate-+r+ distribute-lft-in frac-add
2×pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
1×+-commutative flip3-+ sum-log flip-+
Counts
3 → 67
Calls
3 calls:
43.0ms
(* (- y z) t)
52.0ms
(* x (- z y))
29.0ms
(+ (* (- y z) t) (* x (- z y)))

series184.0ms

Counts
3 → 9
Calls
3 calls:
47.0ms
(* (- y z) t)
72.0ms
(* x (- z y))
65.0ms
(+ (* (- y z) t) (* x (- z y)))

simplify1.5s

Counts
76 → 76
Iterations

Useful iterations: 2 (307.0ms)

IterNodesCost
0136878
1372817
21440767
done5000767

prune261.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (- t x))
0.0b
(sqrt (- t x))
0.1b
(* (- y z) (sqrt (- t x)))
0.2b
(* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
46×sqrt-div
35×flip3-- flip--
32×frac-times
27×add-sqr-sqrt
21×*-un-lft-identity sqrt-prod
16×associate-*r* associate-*l/
13×pow1
11×add-exp-log add-cube-cbrt add-cbrt-cube
10×associate-*r/
6×associate-*l*
5×distribute-lft-out-- difference-of-squares
4×pow-prod-down prod-exp cbrt-unprod add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 *-commutative unswap-sqr
Counts
4 → 117
Calls
4 calls:
8.0ms
(sqrt (- t x))
8.0ms
(sqrt (- t x))
47.0ms
(* (- y z) (sqrt (- t x)))
143.0ms
(* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))

series375.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(sqrt (- t x))
92.0ms
(sqrt (- t x))
110.0ms
(* (- y z) (sqrt (- t x)))
67.0ms
(* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))

simplify1.1s

Counts
129 → 129
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01842196
14671876
213561718
done50001702

prune469.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes132.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1109
done109

end0.0ms

sample1.4s

Algorithm
intervals
Results
698.0ms12130×body80valid