Details

Time bar (total: 9.0s)

sample32.0ms

Algorithm
intervals
Results
21.0ms256×body80valid

simplify881.0ms

Counts
1 → 1
Iterations
IterNodes
done2003
61775
5497
4205
3109
250
125
013

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(- z (/ t (/ (* z 2.0) y)))
4.9b
(/ t (/ (* z 2.0) y))
5.5b
(/ y (- z (/ t (/ (* z 2.0) y))))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
56×times-frac
55×add-sqr-sqrt
40×*-un-lft-identity
30×add-cube-cbrt
14×add-cbrt-cube add-exp-log
13×associate-/r*
10×difference-of-squares
6×cbrt-undiv div-exp div-inv associate-/l*
5×distribute-lft-out-- add-log-exp
3×pow1 associate-/r/ insert-posit16
2×clear-num frac-2neg flip3-- flip--
1×sub-neg diff-log prod-exp cbrt-unprod
Counts
3 → 107
Calls
3 calls:
16.0ms
(- z (/ t (/ (* z 2.0) y)))
8.0ms
(/ t (/ (* z 2.0) y))
13.0ms
(/ y (- z (/ t (/ (* z 2.0) y))))

series337.0ms

Counts
3 → 9
Calls
3 calls:
67.0ms
(- z (/ t (/ (* z 2.0) y)))
44.0ms
(/ t (/ (* z 2.0) y))
225.0ms
(/ y (- z (/ t (/ (* z 2.0) y))))

simplify759.0ms

Counts
116 → 116
Iterations
IterNodes
done2019
21808
1465
0196

prune521.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.9b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(- z (* (/ t (* z 2.0)) y))
4.0b
(* (/ t (* z 2.0)) y)
5.5b
(/ y (- z (* (/ t (* z 2.0)) y)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
14×*-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
12×times-frac
7×associate-*l*
5×pow1 add-log-exp
4×prod-exp cbrt-unprod
3×cbrt-undiv associate-/r* div-exp associate-*r* insert-posit16 associate-/l*
2×flip3-- associate-/r/ div-inv flip--
1×clear-num sub-neg frac-2neg diff-log pow-prod-down associate-*l/ *-commutative unswap-sqr
Counts
3 → 71
Calls
3 calls:
5.0ms
(- z (* (/ t (* z 2.0)) y))
36.0ms
(* (/ t (* z 2.0)) y)
9.0ms
(/ y (- z (* (/ t (* z 2.0)) y)))

series355.0ms

Counts
3 → 9
Calls
3 calls:
59.0ms
(- z (* (/ t (* z 2.0)) y))
41.0ms
(* (/ t (* z 2.0)) y)
256.0ms
(/ y (- z (* (/ t (* z 2.0)) y)))

simplify651.0ms

Counts
80 → 80
Iterations
IterNodes
done2039
21248
1326
0131

prune340.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.9b

localize48.0ms

Local error

Found 4 expressions with local error:

4.0b
(* (/ t (* z 2.0)) y)
10.5b
(cbrt (- z (* (/ t (* z 2.0)) y)))
10.5b
(cbrt (- z (* (/ t (* z 2.0)) y)))
10.5b
(cbrt (- z (* (/ t (* z 2.0)) y)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
13×add-cbrt-cube add-exp-log
12×add-sqr-sqrt
10×*-un-lft-identity add-cube-cbrt
9×cbrt-prod
7×associate-*l*
6×pow1 cbrt-div
4×prod-exp cbrt-unprod insert-posit16 add-log-exp
3×times-frac flip3-- pow1/3 associate-*r* flip--
2×cbrt-undiv div-exp
1×pow-prod-down associate-*l/ *-commutative div-inv unswap-sqr
Counts
4 → 70
Calls
4 calls:
30.0ms
(* (/ t (* z 2.0)) y)
2.0ms
(cbrt (- z (* (/ t (* z 2.0)) y)))
2.0ms
(cbrt (- z (* (/ t (* z 2.0)) y)))
3.0ms
(cbrt (- z (* (/ t (* z 2.0)) y)))

series445.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (/ t (* z 2.0)) y)
132.0ms
(cbrt (- z (* (/ t (* z 2.0)) y)))
109.0ms
(cbrt (- z (* (/ t (* z 2.0)) y)))
155.0ms
(cbrt (- z (* (/ t (* z 2.0)) y)))

simplify599.0ms

Counts
82 → 82
Iterations
IterNodes
done2033
21057
1279
0116

prune602.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.9b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b
(- z (* t (/ y (* 2.0 z))))
4.9b
(* t (/ y (* 2.0 z)))
5.5b
(/ y (- z (* t (/ y (* 2.0 z)))))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
14×*-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
12×times-frac
7×associate-*r*
5×pow1 add-log-exp
4×prod-exp cbrt-unprod
3×cbrt-undiv associate-/r* div-exp associate-*l* insert-posit16 associate-/l*
2×flip3-- associate-/r/ div-inv flip--
1×clear-num sub-neg frac-2neg diff-log pow-prod-down associate-*r/ *-commutative unswap-sqr
Counts
3 → 71
Calls
3 calls:
8.0ms
(- z (* t (/ y (* 2.0 z))))
30.0ms
(* t (/ y (* 2.0 z)))
11.0ms
(/ y (- z (* t (/ y (* 2.0 z)))))

series347.0ms

Counts
3 → 9
Calls
3 calls:
69.0ms
(- z (* t (/ y (* 2.0 z))))
42.0ms
(* t (/ y (* 2.0 z)))
236.0ms
(/ y (- z (* t (/ y (* 2.0 z)))))

simplify568.0ms

Counts
80 → 80
Iterations
IterNodes
done2001
21271
1318
0130

prune411.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.9b

regimes321.0ms

Accuracy

0% (0.5b remaining)

Error of 1.1b against oracle of 0.6b and baseline of 1.1b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done13
113
011

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.3s8000×body80valid