Details

Time bar (total: 11.0s)

sample26.0ms

Algorithm
intervals
Results
10.0ms334×body80valid

simplify6.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
089
1139
2209
3309
4419
5469
6529
7699
8999
91549
102349
113139
124069
135049
145949
156899
167899
178969
1810089
1911279
2012519
2113829
2215189
2316619
2418099
2519649
2621249
2722919
2824639
2926429
3028269
3130179
3232139
3334169
3436249
3538399
3640599
3742869
3845189
3947579
done50009

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity
5×associate-*l*
4×pow1 add-exp-log add-cube-cbrt add-cbrt-cube add-log-exp
3×associate-*r*
2×associate-*l/
1×+-commutative flip3-- flip3-+ pow-prod-down prod-exp sum-log *-commutative flip-- cbrt-unprod flip-+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 33
Calls
2 calls:
4.0ms
(+ (* x y) (* (- x 1.0) z))
7.0ms
(* (- x 1.0) z)

series13.0ms

Counts
2 → 6
Calls
2 calls:
8.0ms
(+ (* x y) (* (- x 1.0) z))
5.0ms
(* (- x 1.0) z)

simplify884.0ms

Counts
39 → 39
Iterations

Useful iterations: 3 (243.0ms)

IterNodesCost
071405
1195384
2711346
32904345
done5000345

prune60.0ms

Filtered
28 candidates to 39 candidates (-39.3%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New36339
Fresh000
Picked011
Done000
Total36440

Merged error: 0.0b

Counts
40 → 4

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x y) (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
3.3b
(* (- (* x x) (* 1.0 1.0)) z)
5.0b
(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
10×add-exp-log add-cbrt-cube
9×add-sqr-sqrt
7×add-cube-cbrt
5×pow1 add-log-exp
4×times-frac associate-*l* associate-*l/ associate-/r*
3×associate-*r*
2×cbrt-undiv flip3-- flip3-+ div-exp prod-exp associate-/r/ flip-- cbrt-unprod flip-+ associate-/l/ distribute-lft-out
1×+-commutative frac-2neg pow-prod-down clear-num sum-log *-commutative div-inv associate-/l* difference-of-squares unswap-sqr
Counts
3 → 59
Calls
3 calls:
8.0ms
(+ (* x y) (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
7.0ms
(* (- (* x x) (* 1.0 1.0)) z)
10.0ms
(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

series34.0ms

Counts
3 → 9
Calls
3 calls:
15.0ms
(+ (* x y) (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
10.0ms
(* (- (* x x) (* 1.0 1.0)) z)
9.0ms
(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

simplify441.0ms

Counts
68 → 68
Iterations

Useful iterations: done (439.0ms)

IterNodesCost
01231163
13731084
21616952
done5000948

prune92.0ms

Filtered
48 candidates to 68 candidates (-41.7%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New67168
Fresh112
Picked011
Done011
Total68472

Merged error: 0.0b

Counts
72 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
4×associate-+r+
3×sub-neg *-un-lft-identity
2×pow1 add-exp-log distribute-rgt-in add-sqr-sqrt add-cube-cbrt distribute-lft-in add-cbrt-cube
1×+-commutative flip3-- distribute-rgt-out-- flip3-+ diff-log sum-log flip-- flip-+
Counts
2 → 28
Calls
2 calls:
4.0ms
(- (* x z) z)
4.0ms
(+ (* x y) (* 1.0 (- (* x z) z)))

series14.0ms

Counts
2 → 6
Calls
2 calls:
4.0ms
(- (* x z) z)
10.0ms
(+ (* x y) (* 1.0 (- (* x z) z)))

simplify644.0ms

Counts
34 → 34
Iterations

Useful iterations: 3 (184.0ms)

IterNodesCost
059423
1174411
2562363
31876359
done5000359

prune35.0ms

Filtered
23 candidates to 34 candidates (-47.8%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New34034
Fresh011
Picked011
Done022
Total34438

Merged error: 0.0b

Counts
38 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- x 1.0) z)
0.0b
(sqrt (+ (* x y) (* (- x 1.0) z)))
0.0b
(sqrt (+ (* x y) (* (- x 1.0) z)))
0.3b
(* (sqrt (+ (* x y) (* (- x 1.0) z))) (sqrt (+ (* x y) (* (- x 1.0) z))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
24×sqrt-prod
23×pow1
18×*-un-lft-identity
16×add-cube-cbrt sqrt-div
11×associate-*l*
10×sqrt-pow1 pow1/2
9×associate-*r*
8×add-exp-log flip3-+ swap-sqr add-cbrt-cube flip-+
5×pow-prod-up unswap-sqr
4×frac-times pow-prod-down associate-*l/ add-log-exp
3×pow-sqr
2×rem-sqrt-square associate-*r/ prod-exp *-commutative cbrt-unprod
1×pow2 flip3-- pow-plus sqrt-unprod rem-square-sqrt flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 109
Calls
4 calls:
7.0ms
(* (- x 1.0) z)
4.0ms
(sqrt (+ (* x y) (* (- x 1.0) z)))
4.0ms
(sqrt (+ (* x y) (* (- x 1.0) z)))
13.0ms
(* (sqrt (+ (* x y) (* (- x 1.0) z))) (sqrt (+ (* x y) (* (- x 1.0) z))))

series53.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(* (- x 1.0) z)
20.0ms
(sqrt (+ (* x y) (* (- x 1.0) z)))
20.0ms
(sqrt (+ (* x y) (* (- x 1.0) z)))
9.0ms
(* (sqrt (+ (* x y) (* (- x 1.0) z))) (sqrt (+ (* x y) (* (- x 1.0) z))))

simplify1.2s

Counts
121 → 121
Iterations

Useful iterations: 3 (405.0ms)

IterNodesCost
01462503
13251802
211591666
345041629
done50001629

prune170.0ms

Filtered
77 candidates to 121 candidates (-57.1%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1201121
Fresh000
Picked011
Done123
Total1214125

Merged error: 0b

Counts
125 → 4

regimes197.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
1119
done119

end0.0ms

sample729.0ms

Algorithm
intervals
Results
325.0ms10234×body80valid

Profiling

Loading profile data...