Details

Time bar (total: 6.0s)

sample27.0ms

Algorithm
intervals
Results
10.0ms334×body80valid

simplify2.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
089
1139
2209
3309
4419
5469
6529
7699
8999
91469
102299
113209
124419
135519
146459
157779
168929
179849
1811169
1912339
2013209
2114499
2215669
2316539
2417829
2518999
2619869
2721159
2822329
2923199
3024489
3125659
3226529
3327819
3428989
3529859
3631149
3732319
3833189
3934479
4035649
4136519
4237809
4338979
4439849
4541139
4642309
4743179
4844469
4945639
5046509
5147799
5248969
5349839
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)

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

simplify886.0ms

Counts
39 → 39
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
071405
1195373
2689345
33010345
done5001345

prune56.0ms

Filtered
26 candidates to 39 candidates (-50.0%)
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:
7.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:
18.0ms
(+ (* x y) (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
7.0ms
(* (- (* x x) (* 1.0 1.0)) z)
9.0ms
(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

simplify449.0ms

Counts
68 → 68
Iterations

Useful iterations: 2 (113.0ms)

IterNodesCost
01231163
13731080
21514948
done5000948

prune88.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

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.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:
5.0ms
(- (* x z) z)
5.0ms
(+ (* x y) (* 1.0 (- (* x z) z)))

series14.0ms

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

simplify678.0ms

Counts
34 → 34
Iterations

Useful iterations: 3 (180.0ms)

IterNodesCost
059423
1174411
2562363
31948359
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))))

rewrite30.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)))
12.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)
19.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))))

simplify433.0ms

Counts
121 → 121
Iterations

Useful iterations: done (430.0ms)

IterNodesCost
01462503
13251788
211031662
done50001659

prune153.0ms

Filtered
71 candidates to 121 candidates (-70.4%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1201121
Fresh000
Picked011
Done123
Total1214125

Merged error: 0b

Counts
125 → 4

regimes200.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

sample733.0ms

Algorithm
intervals
Results
324.0ms10234×body80valid

Profiling

Loading profile data...