Details

Time bar (total: 37.8s)

sample43.0ms

Algorithm
intervals
Results
18.0ms330×body80valid

simplify7.9s

Counts
1 → 1
Iterations
IterNodes
done5000
324862
314711
304546
294395
284247
274096
263931
253780
243632
233481
223316
213165
203017
192866
182701
172550
162402
152253
142094
131929
121618
111065
10310
9171
8134
797
675
563
450
334
220
113
08

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 2 expressions with local error:

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

rewrite84.0ms

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

series113.0ms

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

simplify5.3s

Counts
41 → 41
Iterations
IterNodes
done5011
32429
2601
1192
073

prune472.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 2 expressions with local error:

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

rewrite83.0ms

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

series145.0ms

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

simplify4.2s

Counts
49 → 49
Iterations
IterNodes
done5005
32280
2589
1209
080

prune510.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize138.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- y z))
0.5b
(cbrt (- y z))
0.5b
(cbrt (- y z))
0.5b
(* (cbrt (- y z)) (cbrt (- y z)))

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
43×cbrt-prod
37×add-sqr-sqrt
35×*-un-lft-identity
18×cbrt-div
15×add-cube-cbrt
11×pow1
10×swap-sqr
9×flip3-- pow1/3 flip-- distribute-lft-out--
8×associate-*r* associate-*l*
7×difference-of-squares
6×add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 105
Calls
4 calls:
17.0ms
(cbrt (- y z))
14.0ms
(cbrt (- y z))
9.0ms
(cbrt (- y z))
135.0ms
(* (cbrt (- y z)) (cbrt (- y z)))

series1.2s

Counts
4 → 12
Calls
4 calls:
258.0ms
(cbrt (- y z))
298.0ms
(cbrt (- y z))
305.0ms
(cbrt (- y z))
346.0ms
(* (cbrt (- y z)) (cbrt (- y z)))

simplify4.1s

Counts
117 → 117
Iterations
IterNodes
done5002
31786
2671
1286
0133

prune1.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize102.0ms

Local error

Found 3 expressions with local error:

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

rewrite274.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt associate-*r*
14×sqrt-div
12×*-un-lft-identity
11×sqrt-prod
10×pow1 add-cbrt-cube associate-*r/ add-exp-log
8×add-cube-cbrt
7×flip3-- flip--
5×add-log-exp
4×frac-times associate-*l* pow-prod-down prod-exp cbrt-unprod
3×insert-posit16
2×associate-*l/ *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
1×+-commutative sum-log flip3-+ flip-+
Counts
3 → 71
Calls
3 calls:
38.0ms
(+ (* z 1.0) (* (* x (sqrt (- y z))) (sqrt (- y z))))
82.0ms
(* x (sqrt (- y z)))
145.0ms
(* (* x (sqrt (- y z))) (sqrt (- y z)))

series306.0ms

Counts
3 → 9
Calls
3 calls:
67.0ms
(+ (* z 1.0) (* (* x (sqrt (- y z))) (sqrt (- y z))))
170.0ms
(* x (sqrt (- y z)))
69.0ms
(* (* x (sqrt (- y z))) (sqrt (- y z)))

simplify8.8s

Counts
80 → 80
Iterations
IterNodes
done5001
34300
21290
1387
0143

prune708.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes431.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done11
111
08

end0.0ms

sample1.1s

Algorithm
intervals
Results
625.0ms10218×body80valid