Details

Time bar (total: 12.0s)

sample48.0ms

Algorithm
intervals
Results
23.0ms473×body80valid

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
011245
119245
250245
3160245
4445245
51451245
done5000245

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
8×pow1 add-cbrt-cube add-exp-log
7×add-log-exp
6×add-sqr-sqrt sub-neg
4×distribute-rgt-in *-un-lft-identity distribute-lft-in associate-*r* add-cube-cbrt associate--r+
3×flip3-- pow-prod-down prod-exp cbrt-unprod flip--
2×diff-log associate-*r/ difference-of-squares
1×associate-*l* *-commutative
Counts
3 → 54
Calls
3 calls:
9.0ms
(- (* z z) t)
12.0ms
(- (* x x) (* (* y 4.0) (- (* z z) t)))
50.0ms
(* (* y 4.0) (- (* z z) t))

series233.0ms

Counts
3 → 9
Calls
3 calls:
23.0ms
(- (* z z) t)
112.0ms
(- (* x x) (* (* y 4.0) (- (* z z) t)))
98.0ms
(* (* y 4.0) (- (* z z) t))

simplify1.2s

Counts
63 → 63
Iterations

Useful iterations: 2 (330.0ms)

IterNodesCost
010317183
132714141
2187313741
done500013741

prune401.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 2.5b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
15×pow1 add-cbrt-cube add-exp-log
10×add-log-exp
8×pow-prod-down prod-exp cbrt-unprod
3×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
2×associate-+r+ sum-log sub-neg diff-log
1×+-commutative associate-+r- flip3-+ flip3-- distribute-rgt-out-- associate-*r* associate-*l* *-commutative flip-+ flip--
Counts
3 → 50
Calls
3 calls:
23.0ms
(- (* t (* y 4.0)) (* (* z z) (* y 4.0)))
38.0ms
(+ (* x x) (- (* t (* y 4.0)) (* (* z z) (* y 4.0))))
26.0ms
(* (* z z) (* y 4.0))

series239.0ms

Counts
3 → 9
Calls
3 calls:
103.0ms
(- (* t (* y 4.0)) (* (* z z) (* y 4.0)))
102.0ms
(+ (* x x) (- (* t (* y 4.0)) (* (* z z) (* y 4.0))))
34.0ms
(* (* z z) (* y 4.0))

simplify1.6s

Counts
59 → 59
Iterations

Useful iterations: 2 (384.0ms)

IterNodesCost
09817829
131513859
2186213139
done500013139

prune267.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
12×pow1 add-cbrt-cube add-exp-log
10×add-log-exp
6×pow-prod-down prod-exp cbrt-unprod
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
3×associate-*l*
2×associate-+r+ sum-log sub-neg diff-log
1×+-commutative associate-+r- flip3-+ flip3-- associate-*r* *-commutative flip-+ flip--
Counts
3 → 48
Calls
3 calls:
23.0ms
(- (* t (* y 4.0)) (* z (* z (* y 4.0))))
44.0ms
(+ (* x x) (- (* t (* y 4.0)) (* z (* z (* y 4.0)))))
44.0ms
(* z (* z (* y 4.0)))

series249.0ms

Counts
3 → 9
Calls
3 calls:
102.0ms
(- (* t (* y 4.0)) (* z (* z (* y 4.0))))
109.0ms
(+ (* x x) (- (* t (* y 4.0)) (* z (* z (* y 4.0)))))
38.0ms
(* z (* z (* y 4.0)))

simplify1.5s

Counts
57 → 57
Iterations

Useful iterations: 2 (369.0ms)

IterNodesCost
010017293
130914343
2168412903
done500012903

prune324.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite40.0ms

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

series251.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(- t (* z z))
104.0ms
(+ (* x x) (* (* y 4.0) (- t (* z z))))
108.0ms
(* (* y 4.0) (- t (* z z)))

simplify1.2s

Counts
62 → 62
Iterations

Useful iterations: 2 (365.0ms)

IterNodesCost
010116900
132913858
2194713378
done500013378

prune285.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes409.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
012285
117285
done17285

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.4s16134×body80valid